texlive-ribbonproofs-8:svn31137.1.0-22.oe1 >  A ^yW^^fPHIQD1"Dh`;cKbjchS}mnEgSa Thf6hM!X$0?i^igMKSC&INo` } !7nP]*юּ ~-z_ɱE/3};׾( {ϭ 2o.,&O ]ILħYQ8( eT]!x%eSQ,k8@t lŌ")a3X83ca173ea41dc99eeb606cc3b16af7edce90c19a493b608aef27fcdd57ea2e6ade3997365fcc16bbeacc5117fb761e109f1a00eaQ^yW^^fnre0 4Y3_M@wr'Ȉ'PB5soqҍVu K' Xh#I$""d绀wO72\gDLTWtD0eljdM/E&>p=?d$, 0 Ftx  ( 0 8 H  $4p  p (89:FGGdHtIXY\]^bcdefl t(u8vHz~Ctexlive-ribbonproofssvn31137.1.022.oe1Drawing 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.^y3obs-worker-004#openEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤^yQ3^yX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-2018-22.oe1.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.15.1^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn31137.1.0-22.oe1texlive-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 -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textiwvƀWutf-88e0fa6848973768dc503d909d0ffa5053d6224420ff574743ec19e5bd3a4d2be?07zXZ !#,&D] b2u jӫ`(xyT (R{¯5g?3 1:_-`3|6M)̆Y9 _|ӴzK6!mʨzP<*o"Ј|IO4Ƒ\8rIsaBR={gq\wӡ`iU]ȱy̖ԎlTYY//E%P%;xaЉs=bgU[NRB@` 4A~Kw\3o|)}Q᭮@Bά"@֥D "1($.Jdp@cQPO `7,t0'Simg ܧBuUf -IÌ7FRzLf+;ޒQRfo𢪶@ABx{P1~(LG[q8bR40|YI=_0T] Cf!MiƐZg;|+ DhR L q'l.igmetH dbS @Ǖrw]=ҷ!+W)_/ qqX7>Hwij] a9v qK !$żu"ajuO-ͽƨ7 rϯf@> d2l'< +Ú62.MN,Ṳ~'nFY`F+KB\= TᥠSQK}pGoEΘlz2bӱ1;xncE?tv//F`̅2,ߜazetXY(- H+p?,\oP[.Oq! 5%;iv 0.ci'*AuTAt拉\Ϧj !8<71Qatɡ"=ሃ%@x ZT\P6?~!B{5P)s?t\|c1vqj:;T8 TΠOW *VE/.W`E)>V껉,c' v+GJ]`Kg2'R5-Ė*6o"^)qkKeaIHA4Kci?eSР!0Aiqvf؎Stv44q^oDj y(zϚ4Zp;+]wztnd 9!ٵ t}t{`2`gCsn}|+ɞ\ WezئQW4 20#=hLEf*+|ؗ:) Hat0R#D PT@׃LkuFcbs+{SCTZvq`hv0 k:{{:Hff6$: Sqi=` z8SU':/'EqE{ֳ_ 5*̤g 842ՙf&*ir 2C>bZguԷx Ã1یpMs9ݎi]8WBhf,Wb-# |/@YB\=X)#LwB5ֽGa|05,rq-RN .۰aKwkxB-Yor菮-?5}+྆0 4KUzgCf\isdvfC:O)Po!d)7v.'FT ʂP,@@-2sXh/`ܱWi M,e ɣB0\VW0]SjOhqf|>7-*ō56+av[skmSDergg.3I<{Ё xA{u@kܑif~jb\*nG'!eX(KhS7 >W^uQN TY_51eslD<:y:o$RneF/jA䣏#1ˌmjm -#1}3кFзkY={~&B4`v'%3#H'c)^:IhS,qsr9tvxr; !m+vø >iPH/:yj⫬lb?aavfK+M% r~Gtpn]?vO fCoQB3k:3nhE2[xwƕ wȤye^ͅ~ao{ .:4I6Bgj9<䫙Tn)q3SfѺ4? !#RT-ʮ g C<8 I @9 / my@ftN:q]Ӛv:DOKEdb fnk|rvـ.&=";r$*L&,ܿ٘VO\:JvoV]r[ɣ foؙi0yfǣYqRՂ/K1Ue~3,QHk; NGd[rf"/c,5#1jFJ|BJ=rOw?F8~\{Dv0D)ޝ=x CF롒;/O@݋Èk4eRLc~նGS#Uا*޲yR\ 6' C,2%r; Ol YU&e.̀ʛ v@G~jyݐQOBp%!ҤCfWxEH6Bo{Բ>V7q6&*n[93"!`GҕyZ6 .V3rBw͢&T 2L ܙG4G>P}sEv)O140gkP}JҢ˦,7AU_~eG.CTiqT쐖8̻ʵ* >e&sWF!  1xM*ZnSyVk|.S2Fً4[k <3G?wZBɹ(V}QȦ1b4i5c6lłq(%J!*ܽp,.Gv7-m/>nə Oƒ9=8ڷ{u]5\I=p8hWo2@4 VXD9}֕/Nӣ, fm[E㙙 SU\u-rq_SOϳ5LA.y6UU6A2sVD腙))zl f{v˼_A!¶ٞJ|ZZZY`6C銯uT|ecGᒛ^ÿh m[_HN)46xQ96Sa)% q|]To;ܤ?3pF{@>H2ο|uGS Rݒh,E:j&Obb1Vxg2Pt'zMT#VqY8IO$D||:xѼXꅉm;ӵ|SG 1n9We::Pc3e,9e4Ij>K?Vp'}?E/Ie"hV?NGU|&A{屴^%^KiyONǓq>4=ي2ZH@@uVQeuww6xɜ,R玕Ü"$WlܷE> mb=`iHI!HtK\Raf2uFeGx='x@u PeF;`8)˚ }y4^ʈb߄<iaϯvjflBsg[@^ C&YA=$4澪54 jq@r8J%7f<x]w҇x(Ñ1%/4QT(@s@|{G2ؓ0R?оD饉^li6NDђRR;O^R4Ͱ|[Ldpb͋ prn gPr2AiwOONzkPylеdUDrkD~9aqHAx'jIXRE㝉mƛr':55?Ӛqx6A Mô>XyV-!ճ)8raQb^oh+W(/|f66̛q\P &//Q]窔4w6o+hY &V/3?OGv(FW#Vð-}\pP4#1NV}D]TB] .:a7]~ Ҷ̻"ORĥLXi88[`au;sCE]Oc !T%F)R2I7)_7{RgHUx?{S^ueuxRS(zBh$aխ+ӑ-BY7v/]My`=mW B(Y!-~ܼ<] E$_m?l/AkT~g9?";B鉠Cr00I#фjm:1w[#]"PP2,F>zjjT}<̒j-V;$Nv~-đb8Mt|Ț"Uu|_,v=.̐ DdRaXLk<-MmC0)OB^|ej+^OWߐ#khu QRCTo ֿCj\} EΧʛ[/̻Z \vD8PJ8нq=%.)LG+ΚÖw6-X <,KT/)e1Wm~f6qAT!TL@~N!k-"r;;Ce' KW kښu|YÞh{ِG#敓&m癢(scy%Gr-++| v u6za밢B@=w6I.dݭrBbJ>ub4`p'qlNNVC'.+(|HC!%ⅠM~`Ev&.sy~*|#ig5 w:+7 Qa?+?#{FE}`y(0Ek:m&W9{e!ۯ/bɂǗƵGt;x mQ3x $yb>8$bDtrK񦼜ќO`Kw>64]'B~s2nF/{R㌒Wku0/fkon}D=yzE*#KYUS8O/´6ʷ\F0a. Ox̞`?x2OqG3u7lQ J ZdW1DC\PcKf᳑12?Qvϙ<  n-w2^;7NihBk)PA}"Dĵd; C;ִ!LqL`l~h 6T 5[#iѠUbnPSm)Lgk敻FZj-~9 P@ &J:ka>Ϯk3ݴ~ͪkSޒXr]چR):XV{QB#K#ȊAoD,C)(q}OS@S>cӬ\Q"5Payox*:& MQM^F`TܵqTaz>GGqDvTATn>Mls-[e. /LU Qm}a[m-z-YOKzp%w2%ޑ[nm-ʪ8OUU-ALgOFq0k 2ҏõ]!pߙ(D:5-_D:E¥ZV)\W`Ig祐Q!^}_!`LZ5A{&7% ^JCUEz\y&Nkb\ky#05^z"q}x:qmTKT[r`;b6:tbנ]%jp"RMHp.~F$d_#(e5pVI]U;=ksD=u/@'aYl"lQHW}!Enƛss,3e#- 8NO,nNL_@ N &9)@x`'ɬbhO$2hc~'R-V(؛]q>2-3 +/J# ED]˗/)tl8}`[0>3a?[r:ᎧkW__@+XiKt~_$!Lc>.l&r&&cB=JMM8 k(ښt8Kʞ\AU&-kZR8u^`׭kSn)XzMU)хdRoWm<;B T Yy4t+KVRaъ-jLyO'GGW` OH 0'QpQT2˚^ߔ?% ibuS蕠 h/AWw&Pp,](#D{?w%D/~d)O;Y QD ȩTts:-Wp=k0V7Ld9"S=n99|LN/Y8V&ػ#6EC'C^7 /yu?SV_.bz~JXs?O(e|W DMd1\ i=Pɮ~I+CxFZ+?6D$w g K3jԶmCdW61'];g}kc!͂b$lyu,?/9x_?AV,b`Ge?B:$\yVEl]E^/Pioz1+8];eZ=ZƮuaxmֿXB9c}OE)8_? ]i/UBY[nPit_}yH]n8,pA:ك^LOfZMfh6qY59T,+\Y!hDZRZ 83N%1j'3,(@|q.2~CV~]=t[k_j+ܴ3| ]cyf6FSAPk*saUI`&JXtPZ9afl=CJ]#BS$ PA2x`2&e!/]vEhS 裦˧{GM62ZR.gq5ޖi !Ñ j&*J&Z׉? S腦wdس-'1UAk-^|TV~2rFn%w&OL,H }yԏ™$wp`֐jr>}sF'\:e |7AnSq)Ъ/[AM@?A_(y^Hd D(2F۞`e,sy8&d3/9WKSL}Oe~oǰb;4fsh'6xvY(HSKWoNh2ND4㹢 h7+VeӺ;bl 4n62޽ӱH `-wDT:BU* {fe拌lݔ%R-g6T x3#ܙtvMYh2-}_ ~&mݩ`>?ʑUȵȠ .wzx3CAM0WPѬ<˧@3vş#öTt΃ŤYNB8ˆCS<'OHH 0'qST uK?huG܌YmQ_8 C"xbm\۰$Jc~)Lsޯ]Crd< w"}vXM~AQ)ry~x?ՠu2Pӱᢡm3$EĽ<4 &BG{R"U_TE:P @F!mORWU/S~r MLiA.晥&Z|m*;҂ԨI"0N;fC*{4\tktG9-oc)3:]K<6Gy/8-PS(}_%8Vwjt>ۀz"%͞Ag|^-B{ _]g$S!7eK5ppBq܃+H#!J>},1KbĔ |Qf$m!Y^e]&;Fgs ?{ThĽ]NRqFBYNl[K3mq@?L"nw_pCk⻈4Z|G}&ǸCٕ45?L =$Qa Yޠ֠(_h\Af *nYWFXQN3yD\8q}/ս۟a ݋U~|p ȵ~8 [YwK"?+WEŹj! ^!d5@<Pd @ \A&7I(ǩL [Bݑi'* EZ3[Ӽaf1opoi?8S \΀b \|cfC`3G먢;F lSft d nʫ`Jsgk`T>ڜQ[[7:Ik;zl-<0(:fn0~;{VONx ӽLE&ʡ1m̙O@égw\&qMV8%tFBƗ/-&ri#/U,F3EPFg*vŭ7p$-~_$ߵJ?> >myZ p-4?= ]f5W[H/ r BZ5y9o}h9="meUf׃Q0o:O X<m=Lꢱ3X^i6Rl/Mz\܉@,.n@l'*יopǿ硯apnPTuKUSDt[uuMVIb}~2ϽC@~ )EގeZNYdX,` Xx =' ( ]yj;2~٢ĵ N 1r[Ɇ=m4!Qy*3$YDaښ$*xXPW۷u)ӭ_AGd^"/S%h:aK_PW+bOBܾO* ԣʺZ2u &4T'-#Q] }G 9/ݺ*xhN4+'\ʅMB@ϛ3~N :az )F@i8+ y'%:5nR$o!ŝCGdι9k1' ֠Pjg8}\fg쌿IU)+.?ݐ+з: %C}%揀Zm| (y1a&Z* ̠H ;avu >q8eا0Πzɕ'߷pCJPsk\Vl5|! yU(Ѩ91 >m$\S]TwU9?ǜ]#✲+Zm᳤S;Q#-L64+kmO Xa Qt_ p{c>U'2HR7ψW8Z#qs 1h Z Lg7|;br^K~n3pi ^/p,Ƿb .3&]"wT2ބxRE+2|lu>i]vfW{tKџSq#`z &q61D>cѴNp^|.'sMi[*P3toK%n#9%E)EUra%yҨBV槳]-y#:^7ZZW %ݖ)(󿨷uS#-%'궧'FD=NpFռ⪵6@ұĹndw `QENy ~ i!JU=ovIV-EH1YAհjaR#DFlu=ln@o:F;w*}ut|7vC f2ϴ__'A|N+O|BjreI;EoUm@Z Ssn/L'> jG<zn9y'bMI|f'2"E$y3<^Wc? :{6-ǙƒA˺Ҭ%'N:/mTTI(=icX!aP€ E";>b`}RLvfٽHaR7h+ kJ7AE֐\ZQϮi( ٻg5"g `c:_Ă8L@v2RY;]<T0slPq<ԫP段i ?Nѯm @lf3dJ}ozD&b1z[ ,4h)6#ثSI՞ɵ-]@vy,x@VA cمCk߆ 8D|-zuoճk'E}"B>f TLJDR4AN;`ĢFp!u)e(#aV%TW%'6v]ĭVNI쟗~HE%O\ꘜY\C W%W4.ds>*L |04ERvؑ>lVýK&1b_ >oڸٿÍYmI7 ܎#1iX>`5g,L?cSUė5Sԝ>=\&C|ݛ4Y$ tw,PVpvn~N3vAKj𚥗ss: jF&]݈BkrF(d]?T .A.T,|*X<דذ9w3q͐ kHYI!+f&>"u+a +s+.l%HM5t Nڜ-!o--i6htٕR Ulͱ:_=8P;*FA݄ x3ua;ް[w|eެYrBs1a'-m=j$g&7=̄Zo'N'm |q?]8{JE\[Fhmf%Tgm a$O^_/²4S/9 ɋ2OtP~/ ҭb7v`~eRHYjoٻl9ѓ±7Pm5z8#dIڪ3GlgxC;Pg$ _c㚮N`f,wS 1adz܎S)-4_p9xHٰ~ ;13zB{D!Ǵ虣u(DmLrWw?wPe$oD 3_;4AҺ9A4>~ ݡJEĮU9#8~K-{I YZ