texlive-ebproof-10:svn57544-66.red80> K KtĉH2!c31^ WgeY}support@red-soft.ru  Wg8"-gf d%9A=?{^ej+zugq(p`2z?ŕV'8`3yȓЍ)uy;vkOz5%eս\T.Vʃ6싘 HLF5M{˩2R-p's4RV8;'m[ j&< bb@*UdWi}0JaWIq&`dxU YI>kw270d541e96e3c65f18237321ea57f6b0b557a2567f69aed84a5f71f4082f6ce974631df822964c840982bc31db043356b55d32743\7|_=>; ? d$ ( W  17@P X ` p  0P`  g (89:TGHIXY\]^bde f%l(tDuTvd|Ctexlive-ebproofsvn5754466.red80 Formal proofs in the style of sequent calculusThis package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires expl3 and xparse.eiFbuilder8redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤eiQ3ei`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(expl3.sty)tex(xparse.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:svn57544-66.red80texlive-ebprooflppl1.3.txtebproofebproof.sty/usr/share/licenses//usr/share/licenses/texlive-ebproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ebproof/-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 textutf-8e88e687ed706468459e96f23ae83bad703580fe8512bfc059a96631419469982d0fb51261f13d2b0baebab722f7acc9e87f11a648c8e6c546b70951fc0f73b8b?P(/h3:ӌ$0`ߕt\rxSSa5\CO:=~X2琭Ɂ'v ۢcRZU4iZf=?M_w:B b[mY2TxV(Ͷv! ̵&biP0.* Io`,|q Hu"i vm:Ȏ!uMجZlO[b*%UN`Ne-f٭&5iܞf? FmغI3Gߜҩ[h9  DԸP4 d`\I.2*Q B Ʉ lyl+**9{!dkl խC¹RƹBGzsOtRSSoLW)1:ubCCaM((Pbaaא2p{S{^g /SP\!vl[=4si|1@!P5ԓDɲI kA", E NB>+U,D<GQ!!Q,q $ \s Zbe>~/c?LJǁAxAmD"RD 6k:vt97Iۃ4vVZcJ3Ƹ˶\Icis}QNyk`xx깂Բ$S[ݵ@PPddP\H sZyA>>Ko]z)\H~t!?;$x| "_gv.ʨךӡa9m~Z$(b pW:s@_.%J>l=seߨUbjm$CvSGϚZƀԴ]*|>Xl9ڨ i|KY~8x9uX49_3ż钤P}{nYc: IΑ՚3]c0>)2Z `HX _{ƹn@/nr~\Rbm3zm۶vsN¾P7rf_?lɟo #dÐmYfiL\d*9aAiH |״LPw={8Ϡcy"BⱙXLYǷ]rx40+ 5WM? %+*\80p7V  T8@ŋDbۭ LBO䩅ϙ^ 2qi{tVGGEkzК.)&Zʸ5q\s1 ‘'T#'(IrAQ)4m/9֋uGa ,XdL(\PdT\^H L"=.ϳ~?`\4N.NW2{ѷ|?gLO.&L*>6Q沮A> nը {.a4HgVD|~[vKsn<0ֆ}86{;0% )NmBev_( !@5aئaPB-SB*>^ :Џ֩}B=mԣ00RG*`)|u-bDG 59. o(Q QGA "Aj[.H.ID@)#XdrI0XQlGƃ2^N>TdHAt6sRWLyEew\}G8g9Z`sbth}yAD)LDp 60mد'y(5U-Im}1;}^)+&$Kfn2&% 20Ȝ7$TT猺}:n9Z|) ~HY8r>E_eGN/VṪXObOXN呛mlƲt-HDmqA03tXBT" @ g!>"ɰPPd@ 2$CР@0"5`«Yiվt:fD|%ΌaǽWS|'9fM S{hOv;7oh~iɺB/.fy,0uӐ]7t^3k4uk[1)n]SA/YVVjqc.;Ù.?4_ <٤Z31< 3bx#s/՞]2g:o+î]Ur14:.yg<-z.6{뎋ɮ-IX2~#ȺT!#sD$7A 9^-rO9J4D ;Ft]!;aWʼЭrp0{WpsqzQR݆GE/#^K\iSfS75^Y4t\J9N Ź qiFFSdI;3y-c41I4~ʘYqox$8pU'ǎF5I+'5$\<7'J'4J :ulsFTOoyX;%^jNh:%LwZ+ͱnim"f?{gvTls=ldpTlܪ) ҅c9127S`P0#~a69= mTBS)"D1-VpM?18_> eh/FF3@cڬ۽]BT7OYt6w2z'&.k)e6rct >wS=UY Re`XSR<<ИuHr!RiCߖ9ӟN)xy0b8qY .`W 9g=X`#௾ =2c(šN< mԤ!¨U+(xs>JyK3DJupMwޏ06+חo(Sb\6a3B dBz;г S]MqLΖ&3:")$ B"/8p8+sfHӓH q^=`A9REۓeK'8:6ÚlXuH#Y0Z:< &w84 SpSM=GrJVB6- `fo#!i~*INiY(qtFՊ|Hdq<+#&hѲg h;}J5 ye4;7d?-Sd8 6qwC05d;1:07&F0KXCZr(EtV1ѷڃ>s{0mܙ2˦ƨ8e$*62_*̽(YRJEP=) E~G_(V0QcŀYr3;Q/eY7l 9) 0Skk=[NR>S7$,| E~Z%v9 `.˂ꤑѠhqgyT!I,()>J;nSkAĻ+ND)i/1Z۩rl|I(B+.HCǣXD W.Ȯ"2 Y[ }cqJTgI hjqobwfwA ܐ>P[pulY*%߉_Bӟ&ӂiwN末%CATʁΉ _Ypi9SN%؇RK͹T: -2:1C.z  q֨ ;ɸIGw&&8EDÄm} I t$z9omN.3DDA2M PJ.~_\T /]EbTh'?Al'B 3 bB ҔȬ#ژXl]8v7w^>SCp&}bL60"G+;-NJG8z`K^ *%q5>¡܆|F$6 !i .+,q/&WczQ5dS'Y;V'GpqKu ܎iЁR=`yk`^|hZAﶘoq0rrO8q_O#)"l AG$"}7S1,E L ,>K4*Ew@G~uB{q>0MNr"(~ĤhɶscEq%\=oÐH&^ Z[[)@:,vduem׬<L19hLыȴ`yA="**}c":MT9BH&nM9ր(Mf hpEMSLMtQ S'ˇy"?/\Ia=g+џ\^u/QP̏@x.iaxݝ,?̅ ćχ%[*fi c3 bTm81 c 2D"rN>-4X Gp'8C]Z>`gGA%9 &nNӋ@pI\keIh^FMex+Rs|}^1{Lִ3H #z=נi%<>?W# 0e+)NXFD?%x~ )Ƈ:(Oޚ|@|J$%a"3-4b[m8d /0)|P}$zSi=n #^܇zd0$cpB9 m~E\<78 :%3,I}AvX1,q#,M0ZPv%L~8϶"\wf=f"9)}?r\|˷纤hNjUP r]V >gȏ*)\{fs]AmU}/9ՙ0 syM opYcKڐ  ;y h ܛ|qn[&Y֕tdw4pQ@[Ly~p13*J׊=f?`pc@.ear=PE@OR6)O))>:R%*v7.(:5yWʛ㲤fs:uȚb+)Ț@sXK'#eZTuo=ȶI5i婸K %IαY!XQj7*K`D픂T,BGNBR&O[{bc(yx6]DTwGG?V5~CYBo:)2(("BjWQQpBipxȼ|VAдMs ~ZCEMG(Fddds_Q ZB%6r*Hz@6ga-lQ T& RkVݺBHdRT{7Z~S4&E5UtbRKZp&4&fptƸ$(@NE owЃ<}hrE8q4T]ĹGH0pa?3I Y U&5s[Ep:*#[tl6¸RDpw7j|1`ZY%h Dd'7 MSW|u|VML83_ڇ9Gh5&$QoyR緳zFk淆DT*k[VK#_e\U%jQ\9J/1%^eũ"ALmGі1R!PmӅJw<,S <m&[QE*B f* c$k@ڿ~?ƆP{2|RN@5[??X`\Fr7ZfV~GuwO)U νOw]w_cz#B.L`̰6E /ʤ%c 7K껌艽P8DK{'6  VCRWg |`>/~\On0CN1#cww"ֺhPrtsRJ}?!pMPל)/~t_{K萷p Oƈ{Hs3ǫշ*f˲twʜ -!49=Qxr#*GЕcTD@ 4gsQ0ֶVM[V8EbaPn1V \dŠ4`"Zʎ&3_mbexI 8/. Ye33o#^ 銵p&.@T,Ny}LUd<C>  %IOFR}Ud3=iM3 aS>OV{V?! ޚ!LwtVp,1qV^ "ri>P@h@KJe=dsCS-t!vaTúE,f)K'Iظd-A42lv69z[B7X/>.ǎiӅh$drnK \!Oٜ_z<+OEB y{[I(=78 S>'="G5zpt xlK]pf?FlQ~~0Y%^XAti)KSćk'uum0*78UHv炦,*. @LO>0 4TBzWY?e4i0@Wȟc% x5FR [fUj!x |~ĠU^ b5mmGWC*J? Hz\1B\@ІND1Ylɞ%u#IGWOVzF<C3q͙XC.j,>"%yyhh}"#'rVvjp18IU85T%̮"'"bhZ *u&ET j`P5’K/kw ߻w+@7xG"n폸KoYM9ĿCڞ0lUڭ5T7oIa̱pӻ) BS:Cw6wRhbQ7 Nt^-xof`o"" ؼO9@W]{Q@x]LB 8ڒ0eBQb=]]̻Ά+ti6+A}E Qṝ!`ёq/Y[QfG1>300OѵmSxB@ZNYQ@ㅁ~#ʫh Bw&&>#B*;w*<_%hSg~,NWYAi.c}gp} 6KXM׈