texlive-lkproof-10:svn20021.3.1-66.red80> K KtĉH2!c31^ Wge\hsupport@red-soft.ru  WgdpOt\G  C46 n "V;{#!gOu Mo֏f4C-}.284haEJX/bWn;:cJ{z@ּ 'n!x̚AL^Y/=_2> 5昜ڳh>%ttYš-Uv7Ӊ@SV++O /ahxT]fm%7A_Z;?d( , C  0 8 @ P  0@l(>8H9T:G@HPI`XdYp\]^bbdefltuvDHNCtexlive-lkproofsvn20021.3.166.red80 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.eiFbuilder8MredosredsoftGPL-1.0-or-laterRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤eiQ2eiE-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(proof.sty)tex-lkprooftexlive-lkproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)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:svn20021.3.1-66.red80texlive-lkproofgpl.txtlkproofproof.sty/usr/share/licenses//usr/share/licenses/texlive-lkproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lkproof/-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 document, ASCII textutf-8c116acf93ca6a688a0557a440295bee1485bed571118ba389e1b794b62ec1dc322466eae53c9350d348f8fc0bef71f8471d6352c0cafecafa38fc882ac350296?P(/hʿ"1jdnu )nh@nM] ^6P) @xUv4<>7ss]j~#ԁ0GOn9=cys9{n禵WrX5[߻rJLnToϿ^dm zeGO!Lh{2y}CoNt÷us6Yv{Pz iߞ9^6d蹷\{Xkvc[ un[J5cܳ><1b:gJṔХqF\*w0iȑ6C+5dޙ=0K"$$$Y_1N L^!%C#mͪV( |9iRHY50{dY&P +R5Y X6\mPH$$&H(&Z`rpj9EB?u('<}"D KPE蒉{Ȏۋ#|ge_{[ǚC-2*[s>ǧU?}@ީ6*mGZgc. V淥ݶ~AGف4NFר~I%'֍v_o,!(럕s!zl."$ Ae\:2TuYTC S]4ز\ʰ\(aꨦ Hk6hsB.Vgh6S?Ow>wGձۿ3p`{S^V20 _w%dhw}c59 htre.X1=b<[wRXһV!@ T !r^CAIЧCZe+ܺekUN~eł[5=J\ZLk *uޡzk=뿕6|WJ ꮤq~y;t( ɒ88(CքT %ipFE= .P(e˺T,[ E0C Cʠ0$/ PB}(0UKc",⊒0S(G5Y RI•eM <2iL` 3|B3ݴ)4ȅ&Rw{r#0}& #-QF$& Hd8+Dh4|i&ގfD묌Fճc35|MO q'^ G\QrspnEﴵ m{|bshF2wXl2r*+5=N5>Og N p;gF .jL@ LǺVʲͼrq;GQ#"h[{r>;|O۸zFe,xZQRtZ>>HL! ,,o D#)m߾=hd+Z&vvWRA12JjƵ9~*ڑ)wb$@m8*eO\pʭL U(V[=7pN|\M"%I@j/r H'X#9zƏZ?_Z9i[Yr)b%V+upg/*t`p@Ѳ(117-rX X?j.NBAZ30DjXB0? 9E.~i=۠{߲h ]mWrcu@nXKN l чbW"eZ#/ V L0l NF[8ٌf|P 6n*1覂0F\jq@+:ɞ6'8Gɼ[ػX ~ ]9N>˝$"։E"C{e% r~$#d2% ^*T'ߊkP@6F ng,ON.G~8 mDh|Ay`Z̅bs.cE3ҕ?,"1}Di۱$NJL.r3Bfav3w2d ]vփ-DHTZGIyeg=|ger͋tg=K(a8Ki踵ӂZEzD~[`[ٜp (q vr^uAaG*ZVZcXV& !KPT%(9OyT*̦W$Q1[HMmރ w5e:*p$RUJhw˘y +Tn=M\-CKmbYHA GAO³m[sJ0f;Vah:Otb}89#J*uF1\?_~Sn  _O_ lkTxҳ2%9fG‘[vo x_.!7XJH(%x`k)8Hࠪ`W&ўwn8 zՌCC MJ:$#ZoMk+( ^OB( a]OU7q1lcm'\JLlגV#6jV ^[㢦>GbjZ؏;&guRf b F1&ijn얪񸶼ne<.Uz=c[ܑ1 ̈́9P nS CbW%Z #G t}mR{Ibnk12+<ڎ^}.H@Ý}$u}Tv0K(XWK~/YNR?\kċ)3`z+$邯P)K\AHr 2bӤ``385Z*VߨrD)_WcH ;-o9zeʥ2}a+- LSڢkv>p%R#(w1cg#X ̪mM~[RGkZ2{9*Wj;TbMeQ` Bx[B2yN:rpXJK_1@< Z`/ Hf*=xF{ |b;G>=^F",0@ dy=ƒC&6;$*(QiLޮeaGCuM fLoDRrRsܲj m)):˰_!@,4/^Oa :2*tO,@0 1T_,K)Yȣeuxa2.-FDBh4F.&#+d$`=@tA)(_V%  Jr:ʾIK::lQΒN%%|*UUa2Q=T9ihWkVsh¿jTNmM>Z}U?3$cr4}L1//d@X?F[Bh9U^Zڡs:?0YO*Z&22\~i"N 8`TXeza^ej!0\:O,裸5Gup7XLbGʹ)z;-)=À~n bcSgLDdȽ]*%8& "4:Y8屍Y\w5;l(P}0$V mr }i0V){=A75Y 7w>j{ŃHV׬wpYƣj2lt'+ Elv{<9LWC(pV#; 1(dbEIci-b'Ԇ.Q7qu9U;ۑZ]e=p#wYJWC$* E!M#w%ٍ<>?xbUEx>A.X7,</ctJׅ xyoU XGv #{(:0b##[@Ip]Yɶ$xڌNU2DM˧(=3:e'6/mSx9 ?* %ghj ih+1uO//ߡ]@K2*i5t<]`&wAǐd+PU8@T?'bo/Q/QLf0}כYj8 hJ :}K\A ?ȸ+e@ڽ0q֓$K؀1̌dKN