texlive-ribbonproofs-9:svn31137.1.0-2.oe24090>    f!k ;G|`u` J}'F6/4s{>g$]y'X,kS65jDNk!m&LτLk9[8Q> RV*&Z"k33hYr%!,DQ47;@ m?OJ] Uwx]a5oh9g4q&MSWV..,fϿ%`+ʷMiF A@"OQϏk̐sKpgFANN<(Ҕ9S֬S&6 RL- |lG VZ-;|v %C#1{ϖ!MqY|(n[!Dq(4}StXVZ6G~ !} W@hO;6fe2cf18beaebf26336dc27dd9bae3d552808775c4a4932d1cccf7b13da11e0987ea7417a176cb0c87927703cdec8f1679a52b23Q] W}Ẅ́"q0rǓ>;?d$0 4 Jx|       H t H (k8t9|:FG4HDITXXYd\]^budbegfjlltuvz<@Ctexlive-ribbonproofssvn31137.1.02.oe2409 Drawing ribbon proofsThe package provides a way to draw "ribbon proofs" in LaTeX. A ribbon proof is a diagrammatic representation of a mathematical proof that a computer program meets its specification. These diagrams are more human-readable, more scalable, and more easily modified than the corresponding textual proofs.f sdc-64g.compass-ci#LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤f!3Q3f }Q65f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-split-t-2021-2.oe2409.src.rpmtex(ribbonproofs.sty)tex-ribbonproofstexlive-ribbonproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(etextools.sty)tex(tikz.sty)tex(xcolor.sty)tex(xstring.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2fą@cY!@wangkai <13474090681@163.com> - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- Upgrade texlive version to 2021dc-64g.compass-ci 1726947443202120219:svn31137.1.0-2.oe2409texlive-ribbonproofslppl1.3.txtribbonproofsribbonproofs.sty/usr/share/licenses//usr/share/licenses/texlive-ribbonproofs//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ribbonproofs/-O2 -g -grecord-gcc-switches -pipe -fstack-protector-strong -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textBdpkN 2 utf-8cb95dddccb7e671a8036441a41a89887318ddf49c72ea593c48031b02dfcce93f8d3c06566c6a603320c470048cfa37dbbf64dad953fb16b50b9d7a76ed56439?P7zXZ !#,&D] b2u jӫ`(y0&UFo>ք[j肷=bS6R_ p$`s+d}8v&827 ?]?ӱvA՜2D1 aB w[y #S>r>v= Ǩgn$59B$ d(@a|,Jϴ  ra-׾ٽU.RԈ3ٺ77/ 7X}Χ؏NZbTAI=wmaCQ`ř.K'c٬yR|'n,$LS8C2AL+35%|Qk氧 w1ZIEߋ8k6R: {TY1aWU1|hwg$!]ybxxYQ 9dl+ G-SזfHS>!QmtS#®?I uF@dޘgt;/Ǭ NAV+zٓ!CG\EF—7 B|Ч@A~z14Zuum ms2IEVhk}<%ȵBqW,KcaL+=u4G*jgZ3}^2 ]9o,UmcP12 %aG'Հ䐵)$M`%& m+AS'hE,8o!HFڒ9ΎMF|CU !W#Fp\R~iYxu!+=>7;*@XU?U#Ue䅢 >UL6Nk!9L$x0rծ`05xg9-UME)Z ??jsFɛ9>EDѦ/l<?$cEGe:Ƃ|;Pgk/ qDf,tċ?9>Чdo) \ Ttp`.GG $dߣqqǬQgˠM"ύy7>V ̡"EJ8C׻h*7pn+zH: awkNBwtHX"ǩ(^/mfLiLs!CF\,E}&t};\?OuQ+g?(դn(arjJ0Z)'U"k4@LwۮFM<3+`a}]> v]SN145K P ˶ҥA3D-o @R!oI~3}l_:A6cķ'~kQXoxOp0czv")"Tv3ZImx"$/gx)[̹zhfNRyuſ<\v&8sBY!ʞ,+m1Sy>̶_СMk{73t6JК\cCh(HUxq@e),W; )ԙf2#{Wtצi*9xh)?p|s5ˢ+%p|b2fۑ}6)47$#wpc'o6잹ui*A&T~%F#DО41&!9Ɲ2f(MWlό DLu-PYN}YfU@<A)*z=/pzZ ɔF&Uk˲X,L6y. /\ |}#Y0qSǴb`歱tB絑953J WRbl_K?8'ttgQx& MOԓKTB W-vr)04 6i̐D*`,4K 01[>rfJhtoS%gӧJ9t? v˪j͇u]V:`=Q:+D$!2wK9*w~\ױGֿn'r;XVْx Q~=!%mJcyozcĸi]xpYEqKE葐xm>:_~x%ak>ICbi c#i-!E/9╒7+}yVL g'[l=EWL ;Uf=7$m|$h<-Rr' &|vpӱ\Q7SrlGJ'4CjDRHיqEimkA$nÕq&< ydҵOj۫uYT-- `[H6 `7}̆-? ye&WF&\p,mC|Y$|՟ro^Wk\ jw{ wBqHqQG8 S,w-~HDuM,t(D*:Lgjvc|w{bTI=cLNs<׷RߢШl $A8<9es>lz'Z~Ag|T}ݹ|%=efQpeF_hH5dRHP$b0Ũz cyx)Bn["``m-DΑPPP2u+-rWs+4YW3]H6S=Գ GvGkщǐGUXx7ĆzYV*Aѷ|LbP\:gI{ y> rM d&W4 k c 6gx޳(|.6:*lhب{z[+D;B~iqx݆v//z3LZ|=A Z <,QE:d`a~>@8h""\lL_S󲮝pptSQ([+2B:ũMxMfJݏ}s#'4z}@i Hw~nHlJ.^4a8)QKܨz@u{=?ؒ#4BWeP|(K4BݗSY%ODݪ$bƏ_#jqmX+O|hBkDVM^0M#xJc qhtE&\rDZ 5-ΤDjǧ7#tL:MߌUh2ffe޳Q1`7P 8P31A@2a ~b#tÉFb4!Ixt޾]Cq]WbEXXyc!dc9*t]9dSm!kuZN^~ vA[Ɏ<f}"ԛcaWbGv; /x*K=4"}OgJb(iC^cB_OL*@l(ogѰ6'Kb p*L jxZ:/0"hWya`ܖK,?HJ kRf?Q3SjKk5ܻͼ2!\< );H0NAjQ$~k}P}M?aQVa$q{ Ǝ(TBs| kjj8AtS_ m38}QY a7iN#'= 7.zBs!1IK mLtR0^^$uEq2!_E{u侲rI ޿WMdfK ]bJK>#] #<#NNcAa{nqd x|Xp*-|;ƙKƒNEm2;TRvR;x)Kz“4<}%͈YÓ*dq=].NKnr2L=ZfMֶh{܊y/ 3yݾ~w#ڢ(njRPkBe|&E`YgǰR*_e㰵Q=ɪvjYDOpA?+6:8"01{dnk\ݬw0:?oQ/\9\I~o 16za\Fr[J6uưJ|@9j[ ZŽw&̦`H1;o I}J͠P'#|0auU[pGC:Bnw1Ahqqh3.}2U|Eb <*"QFX=|GxooАpN:uhnJꨡs@. ㅳ {X}kCl|\պ"O/ ->`I7l[N5kc3akLm2[EمCJJ6l$Wu})e_+J_ewƤU!"s4? }Fbi"e%fNl_/IxylşB}`l[C겿 ZJ(^Y!fYJ->n{G_aCgƫ?̰5O-IBIjŊt6Y~9}u^@-*UbW?V!:sąabMS&{q|8J&Ȫ:PNMzr6GiJqmrzyy/G/\3MTN喡XJj¦5%njvlԉHFnFI م9>g A3)vv4 F*1KvMoB.erN 5P(^VB\؄A+o6FSZآo Z Q~90zH秵&2mxݯ4ҜcK/ *Xﷻ(d^{ƙ;'_{ O`_@)~$u"ۃ]'eQh,,rؼk(&ѿ-9,*rz4s({j/Foy6BsyVI8yD|zq .?:;ԣPe=V^)ׂ1ѺTAѳI:5ʈ.E1T}Ly<=hɪGH`һ$F= 4Cn}Ve8tVu^&j\)[P>Kϱ5x=3퍈DP*|,6© }(-->_Qܞ6)O_J>}K}*%%#uca6 ^.3eDB:^9GQ`h ux?cs0U7Y%Z/)7P`8\-%x\YC@8HIyŇsѕG|,׺9hhY[ԋGPGf*'sF^.q{*׎gx^m; 2G!NxQ GH :k#L3ZqoV%Ηr Xh7`EԱR*T 58]2x6` !+D}0֥cldz[H:*bQCmq ZuWͫ6A9{O( jߪrv؟3(5,!?31Me#L˙oVP3v%rD%- Ė[U$!5u։B yd X׹Ihj+ ya9ruXdy1G&.8ŝ?sO4ZNu(N,L?&?%H,D Vl9cW4gG]tH|n;B|}&3o%}삽?3+vON'tM3D>~s%4S8?Jލ?GX(4w|cc$Ɛ><= >qƝ.C:?`+i]Ͳ`d=3}ᾓWs/4^g@an^$vak%Oȋ3ft+5u2m?b$%>* *`y_ ekTj" #/#mdȲ}I_^ZPbWfIש15ڔ;"^N\"U$.섙JڦfQOc웺 S#dBp(&d}(DZA#5FkYuit?LU '`o(P*Vs?`XVދpa̼Rd^Ph ߶"Rg:KPzM+L[^XC=-!>T0ܕ|:6Ju~D"׊aSp;!.H5C8?UÈ,85уw"pݶu#B4# P\ Z&s|҆f0Pi_5pDV)]hPĞf`p +5nDQWI/~},u[tTRrX1;BW_{Bc)'I253}Oɜy$)\_ Q20y^($Ni+ŗ.ozqg-?ǫ,})/C~PE6'^)kD!`-]Q*{uW['JDZ)2Ӄ}bj*5q[hCt(,p#;- \؍SUz,_09]kt;L0 @v: &E$_~i jĻi#T/8'E]:/K1H 7r}6 Tۊ>ʔZ`:ސmo%f`l2dd飷IҗnGeP5zK)Snٟtg#<-#qt/q7M)"aH=&D]U蜊hrb7<$sA麓U9;ޚu҈ h(5`Ccb3`@n ]+|~,b 5A 6 р6υTvb4KIAP̨1`c1뻅Nb8.<@iI QZ(2&/OJg5[gc@]Q%hǂ1!2&.V6cqDOZă;\.א]JsQU yd/Y*e2 U ^IQF-7zJ0"Z=GcmZʑ! wfdVk>UΗu+H&t_03?#  ''('Ñ)ew;qXD[hytK,F= &HOσjq7Kxc%؂>`?IqwE^}q:4:I}2GC/QM~m+)${"03BF]!:nX.θ,NƢHjMUNr[hd)/C"m2٪ܚTEu=MC5Dr΀m*JѧJ]Nڷcjyij*A2A3LhGlJeЫkXu.E6H0%UmOJTS,O r=͖@PZ#|HURl݈z(Y۽b!6S& V!q< jtZ 9'  >Bµ53/SANQE({WxV/u0/u1֞q\b{^5z&ԙ[m/аLJmV<\3o'hgQERMtwZ"(k`M%pE8/QcGQsi*%_8jY޶tL6#sxEVH1M8N^?o%,eY+Rvq" yVE$Ohd؛_+c 6μp(%:҇!,%B5;& Lxcoi)|Y F_B)S '!}}פPT5Wҍ"VqKv?e̐Bfj],IKIqTs X ,PE Pܬx%|Ӎ2?d SzfJ~Hcc9Iv*aE NpqTN} }Ic^?҈C!)EP@vlѕ+pL='gT| iثv*B"3Un!u&S~v.A>Xj{y,Rskr*|6Z>,@gu~ +0}8?P\UFc5zk*Wĝ E9$fbG@&wjbijn涪SD㺆3SKs\MoM?r<H%wW0_#߹q`}p5تIwoF!4 m`~GAFHH&=PK4+X*N}h2{Tn mHi"_w\&X\9հτD˷~ԂvESc=YDh53s+[Y%eKq8-!:ZZO&MҝW9S~ч@-6=+JߢetV*Ƽi8D/XÒg]* %rAO|A_6f`oeص,jJ[Z^i6mFQ#K] `VY VxԖCF\AQ"TSv 5 f!\O1G$3j0R71%9ϩcwVYը kUӭ\ I؅x? }MV9ƺ`lbg1M41F{cEZмqIiZ)R Tn Эh{z@ё\"rpfM< 5џ9=t.`zšB,@.ޚm.Wo2wEV1;S!c+K+.@`KRv>ЖzҚ n-,~ҺUmlhk*R~ u:MBW),֠dyq_oU-$zwf}A?P9)j<ԳI*ʄx/-&r#~QASf4 ,+#lSPr|Wיmhi~dUES̆nnSWt콍0P$`0xk|oNdKFZLvӧlJ" dHH J,*r%=&u|64W*7#-۵8q6(,ۉW=m5"]ke9 M,AکhURn2.zGkMUW5BEa7> +@!t |B2' >F ,a:Lh4ۜP4$-ǥ1WkR42yBtzV @{ 79X{\F }ݷl!^@]֠ah  ӾW'Ih9S`ҞÚ݆ӾgVN4?]ͩ]<^F_\SغԮaB!%z7W!X HHpDsAw #XxN%)sU4 E&6&=]cCd#KU4AWe^?Np>,$'ѵ2o,i)BЀ7ūQ!m&r54T&+i˒!WH ]O.[ ZRfU+iČVQ4"YEŒsp8ߗRvaϬʔ^jGSVeT3sI%Whסw;OE9eQGb-XԮ.KVt7ęEiTa,E7@UË{tkEQxMVBmDK+kg|s:#84ۋ;ŌrA`;?^ZIi` F1QNt]+w4Ai L:oԸ!V{/@]|eM͸c4͔uV"z:Wˡ|_l.-] K TgJ JwvS$V\{JWD?0{M fț u~9d@rB7ׁϗ t5E)%g:0PaIJ4ۏ>_ݙsƻ^f|⢼#cɲea|QĚD5@K#`j y jId@]茴\YX!C.ZrXHi5#jdOȀ[vm?Tq[5R_,nxC}2@)rȼs~hI7?r&P3j-&/aD%32Nt@ucuS+h_[^I2|]ts*;[ o슲֊}5RZ0󓶙H~daQLPO^D/=}Q ^-Q&dְv?5߲q2:y}Tx_)QUx0g=~0te ;-Ur#yRs`62_}bcZE6P!  7\i?"9ںUjgoȠˍ[0D]T"+.`!kNW OKحG\Xxi4j47 aW%bgfnTguf2 kF*5Ë{^1*Z*Y^6nkvF"ozƻ4u1xyҠ#j %wbבc4jKtAD)*ԟW{B ՔZ}QgvA"=woBf}]-*J+Vj KD\h8EE(?w8LJoZa=fmIX@EXMZ|-b<4gVlZP/4?cbvR};п6ΰSy˟8B֡IlRq\9:BȷMhxé*$WJefƦ2 GHϣ}M?kPקnd9ko YZ