texlive-ribbonproofs-10:svn31137.1.0-66.red80> K KtĉH2!c31^ Wge`@support@red-soft.ru  WgTyv6 Ikb/^d));ITJu^p?+ YVw"}}>}pV0y>t 麧Xv-;,p3 ef GyTNmć<E /e\!#;> %w18ĥΑHOOo2+Azf[6Ȱt4P,D_p?mk>LZk ʣLKW *֨kx_d0b184f1a6d0a735b88da322787b8beba2dc5174414deb4e787b2ff2de2460c3d6ec7cb49800f9f05680d6bfe65ee6d9e039ae80O"[9$Lcx"RJG&>; 1? !d$0 4 Jx|      < h > (d8l9x:,GdHtIXY\]^bdeflt8uHvXCtexlive-ribbonproofssvn31137.1.066.red80 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.eiFbuilder8#redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤eiQ3eiQ65f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbbbedf7e765c78803bde066a8b6e24f4ad4bc6a3c7985ccb96a5a70d01ba138cc1rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(ribbonproofs.sty)tex-ribbonproofstexlive-ribbonproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn31137.1.0-66.red80texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX auxiliary file, ASCII textutf-8cf67a6b6401b7b6a2952915ba016c188380b56df4c0ac4b70c7932dcc29723937883492320317760e8cc50db372d0144bd98ac789e5b3f1b29fb26d64186617d?P(/h:%2&zLjK,Wt48=^k(}JߗAxE-M=I𿝣_uPc[Ђa_n7J׆3<5ŕ]J_!?}^h|#KH#v6dDa5ζxa5Ϛ8.byP Q?X)jr=W~wd*ǘWIBJ!sx%d*![㻾~#;(+לƶ[7N=֜8cck!%V~-]O;^wźBǖPT*,aX\", [DHpX,V#4.BYL"S#6ٜ(gJ)k51'%~XnT=Ě^efw_7ck?ГYz7[9Xam5lymU0ȠT0|nBTU}Xѝ|n-HYڦU>|t_c#mlNewM DVE@<$ ]n`1660Z{P4R|na*hEuEDӥWt "-9pl-\wKz^I 9mT϶D1i/i1ƞN]&mۀ"}sGowA_6r-<."iW]) t*P 3c^YkyR,6 Z4+rl5 6rvi$ f#x("5x*M($LH(TD kǔcv]X_TVwO])S^F9`Y[ q_h, )TyqpT2T|be7F[.^o&O,PL#O?L^ $"OEoˍ`6Σ OGW&^#1O GE qv:#G!@<“'h֜mL( :iEٚc'Q.H>$զ.M4 $Hap#$PՖLc};_ YHi"VJ铭y>GVk O l,[؟z4VpOiPTL1YlVE~G@q";O6yJ0jZR4U@_8?aNi9*Uh(sP G99~ȣ( H9ED % iU@+J n\D>T]96xՊIGVy߭O~ED7JEmDnPYw`?z6 (+Wik(= ׷&DZI1Efgrcŕ~ɀ)Onp|*3J/<1zfz.}T[SAqϓ\D|ձ &]ĔݣzPUlD7BtLJKa5I gyECv6ͧ\(FkBsՇP*l-^k*8eLAr㩮Ub"bnWuNW'J[r$=tv}/muo@j==\Gg1S6m*Y᝸ OӺS40\:wmFe>vT#I,.{(>KJ1 n95icEQKUOJ r,9\^hq[;f́ѓZ҅۝0KV4\5PC$ ;$݉-UnDVة繚4,2CnYk,>\ քQ5f7?}0f~na(JK=2GҢ; QW@}t&FM D`ePϊÝ3*Q5t{k ѩDt\%\j;&Ժk-z&@щ +]сhraژe#/7!,)DS_ߙ |bj(/^'}; Z17 @m@`[(1ŒLF4gPaoA"N)-xfbW2>rx jCY}YݯL+]P!#؜U7h|ZN _rm!nǟ,]Fg6s_ g@II9rl۟k%jIt@_ϥ)ΛpX )P>:#c* ,= Nc),DY8pnϮ"rAIzxww apP[>X#aP-&X⼏@^C8d~R`2mXCNÐni賮GS6u!PzWө="![v3蕅Щ2uᄭA Pb ~bK?N2\$i u 򵴒DJ]9"%gDX2`g[g%;ؐjqR>?`~! KML,&}Y( L$@3նĀ^+ .BZi,Ի9XQЀXņa1X)6uDŽ/-,Ɣm$lqAC3W f҉4SXuX/_7IQeUrD_gM>Y$+ Frߗg,@5d.^b̃ `?I0K큫8bO%;6+] q6QmtZmd:"%ͮqbL"B#{iGʆ)H$>#KKf}$/j8[dy`p@tco6ҮRPmvtX *D<<j/cOw6% HNk,1wsBçҡF6>|@FTt~׎(c6 ч#YdLd` v&z$2DN$7solUҪ-B:b.Fm j.cJč&gT#ҶAkl{[ *JbG%ʪ@)RTgApL̰*s/vRYe~1kAH2WEL8Ip[޼0bcbbkCTt \5N)HBDJKu]sR~!7 R8@mTC /׾~b)gE0-x;>/z(=oԲRgA:Y _5e6Pڜ AYϪeug5I2tUZ-6ZhS 9nN*K~RȞndYgDȤ+=c 0cÖ<.BhIdgPD(S]ÅoOkaG<> cSfIK k8_`0aVPλ]@Tu6*lӮ}$ EtPte|yP>;d|̹a{3ef(ƾZlͪ2j.mm?xkZBU^Ho.M"|6 AWmK/_pNi+(PY3 W`(MȨ4M_) ŸOe|HSȊ*zRWgQs,mHtFs`- EV~,qZ* c8H,E=PJڒgJ15VH | ;3,N\pKFŁ- 9-`ȊSs*uzo$\Î Es}c0O(,ϡrSCFtԼI|7,`w*'@v^;&g[l7ec6 N(C0fL3>ĀJ[֧uqXf,HLjP yQ_C;bqNP}#t{RpKإ!6)Ler;1""?RG`vٲÙi&N7?)JՑ!ٰL=O<=.Vb='.sDA#䋆^BW+ t .5ECιxvZ$G?dWygk$-ML4l@ >@VV08/>^j7FxX*9ƏPpXs ^DiBGAK 0p{Jo1|%!MĖA5,*$0iSTqMcU늤p&}n)CPE׃4:Qs̙YHtJ,X8U~,`"1?:f?GB=Pф0*0DN6 R6rwF`OqFi:[YOƤR籵}m~Τohq{}zOB^j pDJUR lƱ-uFɊTgBLϹӪ">J/ Qu}4At'?^| $A`ի>j׎QnP 'k+ 7I ?"J٭{ɋjE3y! qx XAo -FӇ 2ѾDa;+>Lr!iP~)Ԃln؈[HHXIt[ ))U6b5|* `V7xaQ!8Tjjh3rWd,~`~J iwJ^k@N(r+u w/rPmaF<6R05: tWŐY.7 + ;9)OP_4pXAsղ#Ȥ5,sb\F%MSy(0RQbroQ(nLuԥǦf{b;GiTf3 {T=4ģʁ" E7Yk_.Ns|um.{=IEuhY/~$XttܪdS l/\CIIIһJx =XRJzZx)FdEvuh0T`Қ{?ijt)UJ(Q'H2@&"pTȻhx$AE8f-E{f-ՠDpF41Ɓr(^xͩv5lFD.s5GcXa ;?1>(K>ylS7hܝ| +( _5Tn+a3Tڢ4\=M 1XUɜcsuш}BF7E ex{N&r˟:u#!{w u_܆;?LSKl-0ؾfY_?}ZZ-kĮ]7U.H'P=) مQ铋][0}J$$x,+W~kD8u+P9(ҷLلWM9oeR,E7w].ScY0oY^N܄hdݪ-CX= D0OO} 3"=jP0ǜ~q?~yxp0TؘH"BFfj Y{ !4 ~G͊MqQLOo@]N{0 b7/64lzвd\^ȐXw#ϗ0hF9k߮Tv<E6ղȅ&Rj^D(*mrʭKpDN`fqXh$hV@8 b4w),%$E/ŵ ƄDB-N-c (` ˥RPhE CB1aDcC $0@ hȴ6M^i: B&rB|lLz9^F]suNl$VROvAd@?bE 'Z%#9THLWcۢ_e|1&^2㱫*.@o4AIIRVb*6֨K7k2P/IW}.urOl8RJc g=g/_AFfӁ00P f*&Vؖ0;I7z( H=fTJFd_Zq:'TeJudw@/Do_0YKϊDʾ IG5+.h3<;o6yb\6q(;qY[̥fp(A?$X=M a5v h)&{aRyJ:~(?ђ⯳UOzM!zNb}o"$0ݢYK` x;]!p@9OX oYfH]AUSD͈V~C"B*: B,g] v&rȼ:c&9< SV4Vy̥x 齗~pXj (#B6 YLaRmWFgo`(HJQiY{ߤ;VB Y*Bj =eÏ8'*7GL[lnrrRWG&;}%X綇*47*P=|P G,CΣx7ܠNOmӷ#eiIOy(`]ɝIWR YC,#yIts :NKo) 6h9}NC bp(UgۡhY6jh0gVt싣>&a^vdROӂiDZu5) P#H{bw03MA9$[5v! `nuAʢu*lS 1΄[;G|o'wS>6H )l,hg >TLx8iXZY,4znك}- M:>A?*SGlr-e -,Hu(Y P]MŮc54؛QhєRU.ζ;E&㺺,U3p%idU!#X{:ڒzᄒ9qeQ[Z9 f 9+XyE~f ZyW$lЏFOcYE;-&GlHhb cޭa;Vwz5WUcy\e~cX =O)q +[1=+3?G$s#`9D_\)Z6-\Uջ圹-2P.o f,$y %<+:m`C̔)Uy28u^3ps""jV / IedDr#h%)sqx>jTavCҼD ʅx*{W-Jf -@Ax4P,ݎJ4RĚ`";i1jD2CF]ޏM:t4Ya9J|HǺr`7oNϾ]7 ;ъ`@\=U)&$O  ж墎1Ȇ)&#&AajHF =CAv mn~{yoYAaN>h(~yu σ*5N Z1~i+rcN@H0A67̱ln mnfje?Z/@{+i owϸqvt3߰V$+ wzrSg!Ф[pې, WJ]%?q?m4Jmv[^D[dﻞUdni2,q7JWqA!V.J"!hqmv>ho$a =#jk1㰎v1}5nWf:= sV#s;(an?YKE\faa+ˁNjL P&ք ebW4IY'{-w^K2vxJsWFH2=z) gŢy>?КpZ. P[3cz@>ZC xסp@ڪ{_SSNH TSWˉbXQ͎E{d>l4$i=a_h;5PB=y>EB= ډP \x"Jul@q9Ϊ(yYez<֢tg`H "P,l`q(Vqb\ut TFBrens.TRY*3W6cX^5 y0Ke!֫i@iaHPbWӮWq*Lb;EY _i-§ WЇ`WS/(gؑ&IZ]] +N/{\qd5fRYhm{oefak=\SZ@P&r*'.R -r/cno<'$6$*O~)Ap Pne.U7{/k2JopTs'ZM=M_l阮5E`)(mJ!vTIatp(+h@8볭C9mq_qI:ZlOU,r+&c\Z 'kʀo;_,gJ (eS/CB?^[U$0]~ $ıhiKCye:&~} ׍tҷrݳëƭ5e5 P֦8R*PU> H^t>*շ[-c ޘku5uBLa$3߁SX~Z=%'"Ǵ_'Ʌj9#ɽe[a546 Yry0= B n<+u_9 Cװr-\cJ`+<!h= kj֩ (Vi-"ƚtGn&f1Nfa&ܢFs8K[~Ö z [:q81LAEBTȊV!ˊ\z۞ɘ%^S,Cln ǟ$H/%0y(PJM Bw Yw# k^D^ qpdŮ]fU&=paL͊DuQۢ0rh4`]2dN2Xrs9`bHltW KeN^EHy8 K*:{I||`8o~I|pRG\!Y586 q 8륣J=yq^b#.A@lJ]&Y5[ jr$~/ho&$s5D\]1|9W 0Ƭs:\ˣu>k$KKS. wQyf,7l27\B~F_ f|}vjXpriT{TU*’~<9sF^LOql9pNiW"?Xt/͙  pBJss #݊0[ӵ.۠w9賦A qSȒgB뼈ͧp[D否GLY(7qqKPe9I{3:&+sh;7&~|غiH: h%109AH{lwvX¢7_/̵k~1Iˆc@&f|WgT@Zf6RFiD|1Y!4Cgt֒oq˔$C˫Hu gfbʕdެy82]pL{9Kp;xp0N5JW@jYbI+5wt & _ g+WLvAf^fjJ|S?!dl6xc%ځnk\`@45!$bvJMv4DL.c]ox>I EjNC~ңZo/pBU ʘF)Ow ^o3g96Sa_pnSkM9ąY/>CܩHNs n8Lޢ*{W̦= ? G*!D.ͪQ'| v:Q~-Ą˘ƞ h(MjGȀwgFr6[?L {=Qkܐ'ϚrTZ -NjPbˇۤ =ݵni˼Jտ'ġ K-e}ӎyxP!+PMvJ鶾.y#R8eN: TW$ 1JMj@`_.sav?TR}M3`ē %9y¦'mJ>K$Y4L73WMuHO;"-){d'ƏЬ',4f7&2٘ց BARp'x5 u.6$ry˴ΙU(}6&|]l-8'lê{:i}%!}ڭhyVoY%18f`yOT:oI1sq>i*|J{lQP>BCY90Qp/1&AA|=Ռ(Êg  ud 8M >bƎLax04c({g&*ݿ.Rc0Ym6z5kİhɁSpcIs` k T?n"#+ع7ƵuHJ &BS(M0Lb<&s"_ 7 WG#Fȍ`J`6:qqaO%t.2Ty@ =XB-Kd%R\iNdwj-"WKXI`2 0H^!C1lduZ_T9ߞ1K1O~XO`T-,=)G+Y?W.^X?IBIn,q1_)G Yb)0@,#,R+vBj9Ӕnb2GžXKK:[C2hH-hC 5l؝5P`gY%83 * Pa6 }ɭ6h qаD%*AOߺ`XВPˇVE>ƛ/ýj! ӛM G@Q<3{:NUL;v65*