texlive-ribbonproofs-9:svn31137.1.0-2.oe24090>    f- ;G|`u` BkwtdK+ROZvx@58 %)(+ږS*a>a:V7Z B-IB"#6/o;ZY!Wf1ǓBo8+2ic;-z>93d .jn__B?s:Rkqu rc-x7Am J3$Ғ[C'yK##dta6ϰPW\8K6W19tyhMN7`=ic'Fvք 6h!1a03!>LRkmUz"j9ܘ<q~FVq\i ٨%`C3ad9c45fb90b84a79b15b3b85b0f1a29698dbc251bd0d14233a5a17a4a65e99598bb70e1c091efb0f534101df28249673992172daQa ]΍CE-6xmK>;?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 dc-64g.compass-ci#LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fQ3f 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 1726662923202120219: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 text LZP)jautf-8074dd46968a883a239ed601d5fc62fdea2ef37c579b69b9727b57623cd36f3e48a2aedb0f0006763360234c8530ca748234699b09e8d5cc9324ad5c177b10a97?P7zXZ !#,&D] b2u jӫ`(y0$ ejW<#$zdD*̪IX])*_gsQm4ʼ렲*>r OzlZbxM򟱬5= ɺg~5@-;_ cD_5_cKcoh.D0. n c#9r&rE#MyRJ_a]) U+yOd6x}Z3@2P4@>5l"H &ۈT쇛eU.J1 u{NVVP|q5#k*CUZDnEƘIzO%"2)H E Oei}*VTW\lx];(_73ok[-0g}6v~jA?R±rvUD˜[mba~G(rt$~jyov/j.h(O[:kc%)-РBСT*?>:"vguL ;,18&9Vnw= Rg eU8Z?T}ljyn5x+rGASsAL5CTK9iGX+ca4r&Ȕ٪NeAf=G7$=k 4C $M~; ,91'F߿c-"3DVS\ yluuWn6(i6B;rڠfQ^ P=I+OVæ} M,C#A}c%x…#G+Et_Of!'GU5,LND*==#hSIwilwH!9V~O`t+Pv];80^'.E!LB EoDiN2r9nW"Nj'c]%~T .9-$ihTzw=ziUj>3L0OD%MsnZhc|N+Ö.LUOx򀦏`jlSM]I)sHATc^v<Рذ/p)Q~W>js[.U P*m"a7rcdciE7ꅘ ˞$M.U99|,DƑ`9_8"L>8DC0{[Y TH;xHr$Rzm 邰@ r|~ia7~Tb*.栮;M9)r֢XR ~;,j|B$*MZωN0jt/92oW]pzZk w?d9DeQ!a:)hb NXXMpX|˛ :Aşzm3]f[0a `\d)gPmk^T0Qԃwi>!۪Jx~:]^]cy-L hc{0{PFC~I4;k:,ϧ>^'{nZJ>mKe)֏,%HLb +چtBlXJٞY=Ti\zIw]?LNjQe%MYNtɵOgSΆQA˂&aT `[+09)bU5P7#u H#]NQm07x<;Y}ҀgJI¦rD{ؼ2R.2p<*߶®/g-j ?3^н+KK͝q쏂 c,C fs|yR%.Onkk Knk?:BQRάIPsO\91! Xf(Go^Ȳ]+VDhz[G L䨏 Fkd-Czb'm &gbն`؜[[_hO@6s֕മ]|{߫^-/^T`6{ Dq}d7 'ϳGZI@jvrc~g?CRƿ1/mj"ǰN1CRF Ɂ4p ?*0U:5NԢFtY  HQ  ]Gl48A$-`FsnlǮHH1CȂ72Iw@P^a 覀u`O}=f@/n+ W~^U˦uO 4Uy?H&R#*{ݪ+0|hEqόkF+xN|]PSd=YwG|[ `?';{~EGat4_^pCc&nEP_ͤ5 RSK߉aetr/ZMjN=KVT[pD٣v9G0=DMh7Tt=Ԛp(d>A+)oث|-tgwH_H[fG 9cmr2fYm:Ej*zkhPwq!Brئj xaerɥ]57gݼJvLAQ7)X&dSN9脟xDSfő x mQ3.pR^恵|m0+o:r11R0oamnٓΚ1L쀑v8Ix]$zو7 Ǻ| y|u&/[ m[J6{Pz;J{rY3/mdSs 8kxhc.a/\ŧM/pf(H`꫊Q4'ՙ7 .[sxS^. ]('0srM.$>Me,~PͤڣUOVYzCWXTb,2J0)QC V,ו凮a|do.Jc DE+t8zoel+em,I"xnD_$P\UqVd >E: sz d t`dJw ӸR?+M 2YV:&o|X{Vёa [Ew1s3r k $brpѵ]uqTBnG+U7m? [qc#Ap؊ǪHYΦRޞ acڌaJ%xt{׹{N09 2b/>0y~n*)^tCl{f+y <{H:2(--7xF6F=hMv!&8X7XXBTאh=~N֖=v l $ոQ*FKK!~z7?pku_ܾГyͤ5!"ݛT u<+luus:IoC]m^ 3֬ǫD%Ht.qN#[i=lZ^7+0pR7܊M8|/$~U΅9Lv"1>,H̯l$YFjṔb4izcHS"ͦYrmM1S*:lkL3ħlFPjB xmg$`.?Dr2dO!,im">(=)ٴf*M0~ dBt}s1 '~NQզGUu # Kɝ*dMXiju=ŕbgqbk|+P\*_f9/ vSaX&Ƥa9Qpfnȍs63~g{Ge,"r+'e!n$j*"0 hVAZ,k.uactN Tb|잲~eÑBvk.ñm Ew.L8G*O/̪bSIq=o=Gz@#*D)L}7px XfYAX·|'jf3{vI?k}u܋ EU2v?)`9/1ӿpq(-ie]j 0+@ՐD"l>,x0iFL, ?فp19_Ah71!: *l9:gpڼ6 CãW-;\qe/[[B&1c̮= OC@ CvX^2C[:{dž%U b,͇{%; |' 6YOw߹BP>Pnvn:N0(`*7?lAr"ykldX&4Zc=;9<!U)v>s%}sp_ a(os9({<+srO OiGhg|?SL&!2w _o|!'c5HxiJKU*zDv 3Zԝd#)6ң«I-dP& 'VdB E*-c|sؚS"GlL$MV90(JRܟ<(,)k;QϖjٷʓTD͊H#-a qwYSojFC$lHdE9A$%V aD}Lh}Tl5NL`E:c28t tII`%>^j1`_/'kI%@{幻-e(m$NLz[Ցו:JάvXPn'B}H>IGU8A\I>l4fg=Gn/m p7eI0*wa;D;[{!K=#_EN k> LJD \k1>(F>],3W.m$/ V81,4|5%oUT*2po^3 n6,O Śk . Bxm-tM;9%:D]y;Yl|nز R,Axa#2_> IaD{ |>cFQOF cR!WTkWdB6-[Iem;ӛb"N#ߏBٸe;bh/acKh9m\MEjCd㈼ Ө]O^\c'6g  ֿ_8r5$wpy 5N! jPo]xF3V$?5Oƞ*WQ,)k9k* I09iߵ/g%blQA][tl@_X(%bvSsq\BM`,D\(0lQ(g_SoiOkה ? =^37nM`El5G0aC\>{x A/Z=! {hCH<";)&Բz#-D2jq2qT^EdlPxi 않Ewv.Bo\#+'o<p~,OpR;.7<5/N8"k塶#T")A`jJ&byc*b (n8$cW\pu6yX92be sUx+8sLUR%Zw up8< {N,vk4˜c,Aj~9VÈ3,;n3xݻUmߒx`ӶE4ǕQ}\5Mbtg_X%'!v#~s BMmH{j*>a *͍(ΠLYψ׀q>{ʗ_?!O_B5!f2A/ߠzW[^/a!*\w:nʓI%͕^f[]aC*C Rfڵ}F ~|g)t j gDOՎ#3 G*_"ss-*VPXֲBub%z{ ?Z0ȍ?T٣=.pMB Nң]9c1O4LZϓ'wC͎mxg!uK_f6(Yxd VqIZ]Ą7+BC&bύPWaAb 'h'1zy,ycQ#oJ9M;zȒ(z_e~#c%3ƨȠy%fn#ߞC{v.(oun[[# 'i-= T}#8ElETWmBakRf݇~WxFC04Ս}uB_hC4}OHpͧg*@>3@bZ\UEQ3Ӗw|; /Qa ұbԴrv55X;c4naf++fJ;.g0tj{eK'Q!ERC誜I75?%.L. ڥב ׊`oTGZBfd* zCU7) Є"h,q"\ф,bJSԥ,~w I,9 oʛv, K75"GH5"BdŜ$:<rvi8.kvb36,6S-ɂbT}Hs]ը#T-`#[:W/:bD ̢Oa# 䣉fIźLITxi-N_Ikx*s͕U O_|W. +]aDמ7= 3 <+oII.}-?WwX;9;LV_sލuip}b 93,@b"JN^[>XMKѝ[?o2<54}1EA0+!dN%Ayv.T/}?pg"d-C:6q̮i󬐄ݠ49Si?1Pj NVc?Py,.yJ*2W`Pӓ-}&ys_'eG-7=a$oۆZ)Ί&Wwl)c^NU$ :?} Dc$yjn ʹ1\SZCm\BtFqȊbz 45?Vt@CK]N믊5Ċ'il0ʹn؆aVS^W3* >NG9W?ShݖYY~Kp>g" K=3ـ:1n(B1,7&ދ(aGaö +dmzlLj<&Cm.H 8.or0nus-Bx&D(D+a*m5{ڙh1SKo}68i4' 5Ȁf)#4:l?J3U 2CV,#4(OSW\;/C=WT4ӟQ)GP7)&YuGa?BGhj]Z @Jyo~ ]V.l@ t2\Aڜ,Ac>FGT]>'$8dFQ}8iAF3F+pY9Kh(;#lG̼N`RVɃW6q5%eUni%(g²I/LAMv{;ڦ?^ j2j )Η4>6 Mr֙JDáX35{4u6O re)L` 0,4vzz}|~ԏTC>ܑ5Vh#lNh]`an=_ iK7];㻄m}Z{ T#{fEޥ=' 7b4y';s0S~>bSW`g,cIz%.I1`OE`srM/~1~V|"'WV57@ ? Cң5G&2z/>|ƀ#AZY\" ,;AD21*e4w,ZR%>`l *6$hKhΐoP(pok6)|>VPТ}OHՒ%:;`3Yy 0yqP\XB|}AE(݅xCGƊy @"- z76zz7 1bTu{xĒ|5 9$ [W~w8kkI{dd\xJnbBU@-˯D}峟^礨nbi=砚IBOiΕoԯ<\lK3ʙ = Ɖz™sm\)+﫬ɰ>m[FH&$϶7rhp6/@pJC,;@sl++UO)vf"=KFQ Bò=?欸ޭ_f* =v)3+h6HG ka"qɰx;$TA:evSIm;wN e% ?E[(uo<%Tb1sRP96ҞY9(] Ad Yr$-jԚ >Z.bMȬd߷IDMZ2SaY.j$zW$7&tB`rƖo;CDAPK?~Ͼ[Qfm6~;V߬՞-{0vB^/Fړot}ˆ'q~hzZBP@e҃k߮Q}Dٚqr ` `(y!G\c_IQ$gA%WB/IžhaY7:~IjdViy;\O8sϔ9&pltav#:P#x=}x_ϲjjN^%m|eIScD-@;7Ϸyr-^3ʤqveyWq7k,h;"|k$rdNS>aJkdT%'C|8N:,LXNۺfgGϑu}OI+$.'ۆ F!MVJ3 %̧%J!!$Wf;bwZ6EKZ.B$rY0!v}MFTN mE`og3yߥP .65ʭ09uHj/tpr!:(Pz,0&Tdy S$j ^MP(Ƽː})S<$Ӊ֘n]nzMyy:&,@mT }VYfL/;ZZ9kl@kآT\#lQ4U\g S i:@mj@Ne2l4\w$}Wةw5"UEF_S,·;"5_s9'CA0:ٷ8\xH*a5ll. hnTKtcf~wl=)& S_ZE*jm#Ճ2פ"`z}9~~ӲxF-IS} z~N6k1VWbnNո5K7*RkTSˢG a.E}Ű !i\)8ukդ|iP 29â?酊NGWF zܮ}1RaSYafǗ s_D6@o-(&.̹q#{P8\4i25[/٫>d66К9At_[8}#I3n (#pi~4?[ E&ajFN QTu݁\߱j$t:5):Vj >~>ޒolŮVa;}3(ikgbz]FPk;glG5nqH]u]PiژrBLCUHv:'VcXC{jݓ"T"&î|בje}C?ޤ.>Ж|[* eZA7@错VOޏ` 턐5WqB=bY zj&P  y:cdCn4Ez_1Nח֩B29wdfhOiC6D;*LcQ*Lr xNu;2=[dun$ID'o qώﭐę-%b%$ /2 iaiٍ̇2ۨ12ixe混*@Nu %n83] O*eՏ;4V=CX˵^WV`PpSt]bDt߈`処@EY'F j0I&2ԪV[F*u`fq=ݥ~k)ΰASխ%TXNqPiYSwi].=t|b{ 7<}8mSypzIo(\y<qP.Sw=0rPܦxc&CeH4=DdQ4kvA7Yn`:ߒ&ˊRj\#HRPϿC&.ݭy &:BwO)PDJV3uqY?bE=e3nO(O+'iغ?0 }PQn% rZGj ]\#=ixڭE.Tt'%T8Fa5; )ܶ;S/SR[2|oȁŽFADl:%Z%,n^^l՛%mx4@͆melUQj!Kþ?23(/VcV=D"?2)}F :?bjh6߭xs5+1d- ]Ԋ6 *IyG"'k6 QM8LF܌q[>[즾" |׀h=_t|F~XJ=X}⸼qy@\ (vN[K\Yԑ<Єsclk.GM_!$\z2uU,% ,]\B_@mcLpD~Z|߾8!&).Hck]EvBn^wA7zt{ ZGaVv"Y:?X$,ds.R IB&1 yffu冲χD.%pB|.n"ͼ~B!&GLj Wy]>="Ng_u hʊI<AȺ=#m˷6?6-usVo#6|XU敇Tq;ƹjs.N3-+^ogJQYKsUhkYB6*~9r/7 (>9S~psG1N-1- RXHLWۯJXpr  8)Ru MrxoFH/v8kbQ3jdJ:5Q~߀ Jٟny?߸do7/S"@(3z`'Vm~p\ a?URNڈ%0 L e+$)y^@ޅ?5:{hWpf̾I׸5% kΖ=C;qg_Ϻ  IƁt#_8Pu}ԅUVt>x=X vKQשgRFoAy<3+M7[}}q;nlǑJTkVU|CKsbEhJ-q 5 ъ'IL~WN &4U)QYAC !Wk(LbeܱxG,[]H ✅8 ڼQ.WI ҫ2 GbH*G"[_y^[c4)[TNZؖ+D$ej>y }[?c9^`! :}g@7c%{htix rk ;-CAؔhظw'Ԝ5 <g? Gfv g=Ϙ|G^4tp7}Vp>9 |:q&ד+8W6N J6S/.c_MdIܘqSy:M? Nm6*7mvPtܼ T/cE6?0z_:4Md.!8N0hXVO]SqOjD^{*9/nyݟR|sPvxo'SDxJo 7$l9P r(r`cGw~iAUÌ;\~j/1gMtBh6?^,|\Q{*5LqX3QO^l8P%Y8TS.&[,!e}lは944@JFE H jFh>!~${|V 9۽krl /=G!uU0?[7n*#_xsB#DAF*o%A[^`*gc64S H#F\2Jw 3J YZ