texlive-ribbonproofs-9:svn31137.1.0-2.oe24090>    f* ;G|`u`  w? 8&dA\ _=m_%,>EBp+ə^.w뉻o#oEܬsTG^-3[JQExLDxUUHd}{ȚrJO_V10B};?jFW+P`ɨsX^E@[;<e+d G-HFu`J0;ƪ@Z8DǥuD6 -JW@~}\>kj-5:'شggxjmT]4M*.lZ5†ܳ8piYO& .eG()W" s-2;?d$0 4 Jx|       H t H (k8t9|:FG4HDITXXYd\]^budzefltuvz TXCtexlive-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)Jdc-64g.compass-ci#LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤f*.Q3f)SQ65f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-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 1726687562202120219: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 -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII text +e\utf-894f205ceb1f9ed771aee58de622f807c8cb6d828c4218bfbac93b8936813664a00ad0947109cc0e1573429213f818a508437929920356b39c97b4290a2c05116?P7zXZ !#,&D] b2u jӫ`(y0%,dܥ1F|<&8CrgD~0#Bʃg!͵xjdQ\{Kx^.toN0=a~҂VԖkbd!N|=NPLN5$8oC24U^=0)s#8Ǫq r`a%El AvЄ"ebӍaDHK|Bx-- E@8Z o}gY~%WM.ѕ> (%2X+9|*\Df:*kҤ%ػZlOڭ-˪N+LuyIE[=փ/z喯V\DkDi)[9r->n@I;Ӈ^Q09ڄ7߆uݪI-p=vOVɳAT/4Q$9 _HV?B3ARp|-V^l߁űxxR`ZT~D_:E~k/=e\L_VdMzP5ffx ͖bUumw"`H&dᾬM؍Z== U-UAA-!-] Jp)$O8VҼ:xten\`_w[Љ1 TӅq{]!Xo1IDܔ?TsB:r+veQ#?&`+sL8g//yb^1mk_x_m\xOH) Jζ MOAY0~%gCd1`r޲-%fYD*r孆S߹%^WmI!s2cM!Z~c{ɸ> &?I;B>"|~),m4$ZDŽz[}2l,oO(h92D5XUͅBX SV\:-2$e߶i!V5 vU6:_Zc3zD0( 1}?ܕE{$Hxʕx{Q n;UAgnb \@o B/VDnv]RAҾu}k=|l`φCDL.ySGڶIRaN|#s, ԇDt"Wݦ_ ܧidpb\⪏.kIٖp/$)en@ΰ1f3zvDtxsBI=Q w) I?*O(k9yxƕPx%tYNIuHݺGC;*L_&e\ t}s}EhǢȃNm*\4LӼ3%̾e\3xLq%*'[STrkpB!״bFI@Pg摏z1*-AkyԨ"\!:܉cb͗e4Zȕav,Ex'TY3?rel*uJ81@V_Ћ.d bۿt#5:DFȼ(@u[lEpXq>BSqw )]Ͱݽ;+}MyJ+C%dZ+s|@O D<`sH1%΄~Da:%8ĝ69xˎt&ikYB5s <(!dAQJ.J6$;ѷU{^C2%*]]%[OMymoʼ4s[NtGxZ e djH|SXs^ kTvIy{"p6Stž*33&cho<IYw +=ݩZZh~|t58d!/8h|t29kklF:`Fb@='Ғ]Dl nq SQ50wč0c!}$K1N1M̈́1ߒ*=dȘb՜9[9{,ȓ$gN@In&{`Y:R"FXEą~ܘ<^ N0 r,-|( h>L|DGAǾZJhγTXXp.%5K2J+RXQ^kz1AqCVHWբu"f (S_;Zc+fMPcslT$I% Q\GǺipq6=p'C"\[&R{?܉L77/ra{fr"]2׈ @BXK7h!Z;\4,W $u}0_l-/A])FE+/?^wEaZ fE8cG2mtFR'+šοC.`#[5kkb3/obߴ~Zdx(aƀB2Õ G)+؏@#/S*i+8od_jz%?}6P*' Q]$,@g2bNl#} tJ-5?|EtXx .=٩q'9TGʯAu|k/|Uq`ŵTɅMgiFavHϞWGjr?L\&Fcw:e;ظ9R/ &y࡙[@רVe` bϤ6m$)DѱwZ /bYe0sU-QJtp9H%θUͦ|Pړ1rC% < Bu}[jbvDu٧/]9)ً,y ?r"; --c =nq~j}06>9!nuS-mi$qoep'L[3Z;p/Z6wpLlF6td]$ ]Ͳu?۵0\'>jph`?HjwCj1 p'2G)Cd^tpt!zgw-htwj+>(OJTtISOˣdI/FmX܍Iu|\gD [󩎘D}p"N.Oh5f7G]yTF~ry%[*`L(QNo" 5#FakvQav \&MEY[^u6r? '~3/] [oj!A Yr+G7BDq:Wh'a -of.ߨJ[eLȊ㖜7q`ȇ^e\`B E{F 7+&!vTN-Sz A`$|^Y"gD:$he!Bo)ݨCvDs@vLY-]_,t#267",c){D$@8U4elc>9-J"g[F>renO)WGCY?-0XjaG4N!"P4fO<|a+:9TV==,0ju2"G4t1vo$O7;#C 0 _8ɒZ@Zכh1,]~+Ijrч=l1L(7}PEcT}5C w2 &D%%"htUO҇_ / C>b%j%9T:t@t!m5=1E Oj"ڵ^c㾕hg^$B$"=hb=\h"F-m|AaV6$vs؉vPkQBl yݐW B*Tq|`riA#9d0,!}NQB~F9!<74Q{"+Dd APYMSЏǗv* $E z5 BJTA8b(P݋GZ#Z 3H?&_$\Y[3ZݨUVn̑@=˶ ;AzCs) ,DH:[&~$9UE5uw2`w/ty;)6G3#֕p8 f^`]U髂 qf N|c|$':u}?tg.}&`ceϑ*jMЙq?`pG\ Qp@wQh<ָ3Gd;Hʉ*0ǭJޏJI0'RC4  /tѱ5k2"Il"`ŋύQx?"^ ӃmuULPr?= r|XHqhq=8TSM dL@@ *Px;zӯ}ք_$G wmWUhH2|n^+Y718Nh rP1H7*mܙӡKWy <3T*Qyu4b*_F5^TJ_+F>}, "ax+N8m-N4/΃mN>MF`ր5MK mU1JDИ|I3!1D-O[,gc s̠Iѩlyk)&.'RQRu$<J)(,Y/ $5Zk ́=)J1pu/p` njj8aIatAws3r<<5XKxR3X gpmټ#6R7F/isUTFVv~ߨ˴@0N0əb$T <"[Vx`e6E$SA^FʹXK .Ѣt:3d#N'#( |ouj^h²yw1* eƃg:.Ε`VN `EdXb4Y(^毫[X27JMXےcY/%dw1BR(Iq9Fѕ~ol\>=Wy#/"X-Q$cF}e k?j?Ԟŗ/b4D2*"ju?ȇ6St#A& ^0&9.RۨFYDUI g&=D6n2ǕnZ7RL~CvKZa]s=scݴpPRL߲GC \7lem)mgƷXDTt7c ǻw^2sFdOΡ\^r&IɳX qEPFC3☵U,<QkɆ 3i[D?6!az9Te~dCXŖ!  I Bf+_D,`Yˬc;{"FN`U;gdJ0Jַ>_6t^Ce*I$Ogfv+tvY8B >}` Z崏w8`\ā4[Ї^kiJ;JOxCfr-*iwAl*:lr0#l J2OjVW܆QE)R-eHV̸r#>fGk0@`[<.Dž3Dž(Ir9r1/T8ׄDqnfH+9[+Hy[\Ug_жH{6‹k e';,m!qŴF8KP_,fRXJ((fE d> uQ~&tiΧ ӛ}Uj[51Ԣq WSmW8wTx҂-"hbJFvwp:M(344X0KWu,:[!0 WG`y3nGPy(Ss2npCb_ &$tW R wRGQ!62Fq`5sORә)K@npjiр)/?G0Km4mWj;9{#8\#]G^GQP 3s(BC ;CkyjXhSjil mE/z]JpV{6*Yx-#_UjO)O/~'BxV\:Lio $c:/$hmob:o/|YװTsʻ^J1|X y}>(VF%+ЦhRGwV6,\_5ꓶ1$<5|K-Ye .Z zg{O Qۚ}oxsʦM?Yw D îk\2Kz`qE!j+g;S_[Σ:0QQ7@OL_A_w1p_r,!kiHt:p_ j|or6K]py˝D,qWB0>gMPD-g끊-[262zd fi#ޚHjo>6WE](,ɪf >]P4`z1=m΀in3 Nbχ)\[A6-&՘}lQ,pqkbAuc/hJe~jZ_T}[W2P~9u\K止پUXƷQ3VE-Yf?8ObBg4FC]?iNmx POֱG 4@x>鸸`+Ω'?q^*^"1&r6P@ {cx=ϝ`=^% Lq~ iwC|fSphO bvm.LKK\X@E>TIg_RzO1wϕKt {`GKߕPHUu} u6:BDhfY\ߦ(k#ff\;Rb"(kBGq|ɓȗ0'\v<݈5!s%x^DuwȎa! SPӓXl Vu(~޿G)j+xHQKw[5p< { Hغm-Cf Y`NnJ3L\AUFDHr8@~2L%vت> \[Hdh6~7cl3:0tɀ{ "XVK _& ]EM2+KWXc+v\2Nm0{i!==c-/RfM.rp2VmA`|Ⱥ.( QLu6?PY!G/ꀖ<ٗ_?71m1YRa =N]hEA FxBVq:P3Y鉵R>l֐WԞeYD.t@ѦQӈ%JT!( Ԩ*xc2"LF'!ظ;VA m礶q:Bi[T  <^}f8:k^5a3ZUYC>)w尬jYd>-%Z~Mxu o7d]n "C}=+ ^pF^=@>=XG$`C,?=Q~nշe"7~dSkge"ns-n?Uky9`} R[懾! +Z/܇qܥt2@ nPR"^133^7 5oTSMgk JC i8:UOC+9 Oل+[ˇfxaHpKw|4d,'vhDD/an㡰OH.D? #B]2@f-@Ke싷|5_xhf֍n\B%]mO?dsa q!@m, HѾGzC5fKw Zi.ԇ8P葼5s kzf 1(kv)CRl K8P XRr~m=]Ҷ+Э5zM&jv~=1Xqb6MdUMj!_jm27l W3ëRSށ|4= 27KQ&ah% \@'*86x/Vk[с"E8c Peʬ[R1WoCD'LnwXcۥbR3\hi= FjOX0]Ne/ @iP*)n]- 5,(9|Β+y BYtY0 +yR皻1,'adBsiPӂQ#t/cI푆\NKb@ I8em=r* VcDFB [z}]LMࢊx(*`UEqL"5_&Mᵒ(G M.w5Bq ̍g `T 5S~ bew1jL¢I=:RוTUNOU5۰*-/C|*2'X4 DYGxho)hsBR?zBBEߤ.BE|$} Ġv881kvl] 5ᨭbFm\79Rp4BRY=H-;^ĭZ MVɺu^{ߖш}f욧=ɇRdthO!EUBꠡ@eCJӔkx}0QV$ OE!{u{ί S,0$"7XՁ?D S$Ex* †t\Y~艋WPU3ex#r |T%L5NTFA 3_PU 0!0 ;!#CORX-bк|} VFW%m=3@Ă[P:Sp$3; }9g~mLT8 Hgj4 c"4U Z˯q z;<]ȓPIцu~l4a^[FIoKb\E'OsPߘbD"ɰc)("[No| Q:&%; B0۽[l2!0,e$Nvp Ӿrs.q0b*ied9VOk]@̴Η2v OY @m"#<@t-7ƍE,Q֪;h)>MOhjA $vDl[%. HT=rgp U\2*GLj,GuIgj̜g1L+1so?< \p,d1 Sf_lDy2;A֮cG IcAȷۘx3!Mhg  >^?g5Nx> xI1uϝy-Ì XdJY4/WdiR34WhV-جFb^1jHIMg! Ռ#L[.ۑvO۠O0u:_ıU79v/C2 hkșhяW1 دԌEs&C nF2=ev *a{-s1wCi]t|^!|Ž4 Po0=52| M?ѽ{ HOJ3gpYRVn".] =Jˑodv{8DQ-9 4*yۑN{V WGq(_pߣp? 녩c{㍺oߝM,j:"8J6i;XT#Ҍ1 盫 u-%@kMd@r~KA̼Լl[ ߋ{\yPTJfqCՊ\4Rt3 F)\e}*O-$.g\<]DvE%73ҟ+b=M7"2igCĒ =8_PqK^u)ӃDxc-KP4HIRR\@{-iR8L 8k2Vy)~E-wɧowt0 Jfma=dXb[+u=J{99B\v[-zݰY9:=ΡgZ_ꈢ_)ç"rft|5:6)Uߓ%?S#.)SπsM EGMps Eg7H55]_ѕK9N63܊FWL/VGQ,P;#[ l'XֶͽXw"@ᠭI%c` 6-4y rANܤ|׾ː&^H9YzZz<3J!`R(E!ע\g5Db~_ \eƁy?dUY !e1c#Qjw.'J nP9+-A4efguc-2A<OsI̓֯%O[7cSSbv4ҌDN ɹ sFcylʳy=(c3|WX@!k[d ܀\HitlriqvfxA1<Ν) SIomyGhSSS 7޿ PRX 'K[qR)L 6jĀ3o])t'`wEmȷPNV#%bvy$nJ&u;9# S;*ǵd Vp^V. 7}Q/sr~et5;0Sk<_6;jAcz%]T9ڸcFȅpa&~W 5Qll *W2hLJ20.>@HߢYBE FUpj GW4)!?P7 5k9{BQ YZ