texlive-bussproofs-10:svn54080-66.red80> K KtĉH2!c31^ Wge^support@red-soft.ru  WgGx̴&kU)`"f|!)ޢ/ zaMP]1~s8lVgl^7Yd?D~Q} *4FƞjJ쏲%³:L5F.ߥ,WFѴM",6^س$IZ^+K7+ؼl3:o,F/VE*V :3M_Wr2906ced5e639d81c8f466d7e6c05d2ee54f749d9c56a2b507c094a1220ecc495976cfbb0d7fc25c29aee8db07ba52c8c146c32b6D1 HrgnP>; Y? Id( , ](,8<BJT ]i    D HXl(89:GHIXY\ ]^UbdZe_fdlgtuv  Ctexlive-bussproofssvn5408066.red80 Proof trees in the style of the sequent calculusThe package allows the construction of proof trees in the style of the sequent calculus and many other proof systems. One novel feature of the macros is they support the horizontal alignment according to some centre point specified with the command \fCenter. This is the style often used in sequent calculus proofs. The package works in a Plain TeX document, as well as in LaTeX; an exposition of the commands available is given in the package file itself.eiFbuilder8;redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤ei"Q3eiXP4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(bussproofs.sty)tex-bussproofstexlive-bussproofs    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:svn54080-66.red80texlive-bussproofslppl1.3.txtbussproofsbussproofs.sty/usr/share/licenses//usr/share/licenses/texlive-bussproofs//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/bussproofs/-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-808f591dcd7812567d45e2bc7ccfd70b28a7efc44f49ee709900d6ffd0158ac0a4999bfcb60a210af0ee3d3ab5bc343b74926e7cac44e9021cf29dd7669b6aa1e?P(/hlz/llҙe2-5_Û{oΧL" bsdDu}:DȵCqL40( CC]l=SU[6TYy >b!EfrɶiIt)mTzl+K-z Ff(6et`bkza_ו5z3MCyղ2n(FcRA90.(&C"F Ԡ |0` JńߴX-ʹ\NyAEV/ ~l9g{kCAl*ZW& N?2'BRt'6eWrep%Y@ PdH*"l(gYGcjOJ0Z=g2lL/Z/*j@DT th}BDCq!+acRto`JIp D$1D@dB@1>Ơg  ON0`!a^Q 늃L;Uql 2 Tk8kCZ .HGntj%LMin٢Tl*tݩK1n?oFޮ=IJn%0ek]Ì<[YiKᰘ, ?HO ) ֫쿮Xvihbë UȌL 8[3o{Nw x3C?[BDt=.Th.jkoPRxuG}#mο\i i)UZ)JUqj–ʢQ0[(+Er]B%L*0ފ:Jy+tSŰT~+( BСP9h Pv ?U2[HԤ7\>_VyX 85uLQ|qZBF,L-~cmy,O}eNH_Jw.?qxIkkoZq~,)u(ůb.R5E--O1lƭx=Q)(ҁ.(hɤ2dlm>ɩ^ՙtɾ…v-[TL6MJdd({Q{/ߔZSY ¡I먮ߒ? _\#ż)|v$]t D!djLZŹʹ Rtqppqڹm$6 Wٴ/BxTKnoK;bh[K=zWZQY#z G)E& @BjoiKtB0y[T\ϨWbD&Aݿvn;coPnʞM5/5Q 1px|^ /4P g].WKӏ&-9G@u Y{V͘ځJ-Сx?6  y7R䣹\. $*q 5 6`5J`Aw>ϩS1 @c@ DYhC @@ ڰl\! 7+si)*EmcY)ۘJY;ZgwM36h[$Cפ>hMa;J2#vzU dki/DɃk? UJ{zszJG$|fTXtYJPNQڹpBs0Lk8.@e4Yf.O dpA P4nMeЌ_7x YaƚQVE#--P7^QOez՟{e܏t0}GMUl\IiR]r#}0635w/v!vhv@h'1C/ [J%(vLgBoGV~ NXiI+ٻxpyz'c pev@YB,Yc:F Jg?d- PJ&fwT)=6C&,J݄ߛ00-@Hplq3gT)aTzԯpz)&tǼ4"}ƩQcާm7?zcďoh~\Yn8!2č FY`eahǎ\$'@v.}E4)na{y_>_.~8vZn z_t7;sI> LV#l+"+)KJ;aˇ.Qy ͫx5FZ(6ǎuGn=]?"8F #T.mm`%K]b5cLjx1ݽe;D3/<}ikDdsb:ذ@)>\Fr94B\?y p>:G*%1ޟ%N{1Q#Ww_!#K 5]Q+@/^[P 6|DP <`@WJNC3SY Q0J,qിag"I;ej2Ũ p7D]cxP  qX!'`_-Q h^0e+k0ܐq@nV])5/V[ף)ϟ]h =yI۽ VX|!L0Vu[O+$Z؄tX1FgAS B)f3)bؐK̽(10Vg9jtA雇M&쁆$TޔHx4At 4mlgLm~.h^+.% !*K9(QO:XVa:cP\Z|}&˶q4WZ !36-^x`6<, h=``\65Qs~^CɤP7?sW} dpV$8 ixy?ޑ٨c B{4*;yS~Դ$o<9] ƌR j\Wb2ȷ𫋶ښ]c/4:XbmZu3]QZS?;)OevEJS6_/Zx ^D~=#?_7dsS񫬧>"-2:K 2č/GȀ:{k di50Yy6wY)er6Ee$9fZ:v< .bT+Y"Jra ل=dljO8c7f 脫(&]NJ+yUJj/05ΓUPDA S|e Ʋ qQ). "Tu$k)[ ûLHYh? *V>a]A,HyBAMNJ(Q lAЅ͇?KpẻN"ίm--NkY:&Q 8? MWx=~\eM C t4Ǒnu1*oӕ"XZ.@J B-86mp wXSvuj F9b,h D*848 5,cWJO8O+Wb/4h>`z%k,2137в0s]ag &$dyڤ Lx]fnqEp(\VMaWoL27z LH~=K6 P`}w-%2X hFdƢebء$Tf [-`ÊD? ގW ߫uq$lp,8+peWIL.ԑ:Jʇ{_Cc:)'oN<ŷJ9=iYT6R-{RCvp$ggbXv?K8-@8CЖz($T?d h^JTg&|Y8/זΔnUgl|DJI˦ΎK39*~ąhH^1 GR#,2viH+zVZV\BuBȦ.p/N>ڰKI<ݤ:*JQ EOD]@r$+i4=ʤ6a G*XL+{W߲ynZGͭfSP @j=\15U]GZM'i:Ϸ熄FG;PeT DA2N A6lՔt^(CDm#Y2wĠ ~=cSlHCjU ڂ 7UuqD0Y;bxM*4":V[a0,DΐX)ᖥ@E1+б{&"4c 9h"ii;i (ODGҚHTYfgڈexDbg~*!59()NЭ m͓ϑx)ixߝ$10sz|BFP>2I8f :R<߷բMbq']}5hg!f&gQ ;ܜ 4㐻vƓ A贡U]g6aTd> &-eɥ|S(v\R8XCr:MVV| 7291BxԲ) eoϛXSMs!ms(Wl}k[rL9S""`ٖUw FST@b?tLgH,cN؇kJ0W$$uQuQpƫ}* z 0I|xhk&qc4jp~ȷg%EYtWx.yW'%IίㄮҒղUom?U xbnXU4Ug )&m^brF'%z"XXrXJeJh&+m|\2= B&K`b 7 # 6P1r1ބKT÷mR5w+S?>XJBMVfEc-k^p_%^1x'U׏ׅ KK_ȵ%bwD^֬ vuC[,VՍNڛ~(c0iuǹI25h3t[4spi|{GmD$Hl-77=iE4F`) D-]d_{GD#q)Z=R=kZ2 ֽ?R['m*aÙi֍@+9QH S{]~H;ǃ? P:|^mJ?ڔE'o1+~n. # 눞kh,0k CfL7dy14 >)<@sމZ)$s 65Tp#+6uYyi?51 .|B}Xh,9&i$ j5K A |FM$ CY>t1x('$x\i{d\Dž=͊<1,0Cyݎ@h(80=8(Cd'c,w;vz`r$E! Lor>Q2N2h V82Q=\j9Ԇ\d(v2Z @ d3S$"}lv i,&Ygzrwȅwls9wc`XΛu(0Mv$@Ck7O; :\)eP*D03mCjѤAXEDFn(,.eB@= )P]ݥX?;¤9J([`DXe+ 4V'i6X=r1i>?#z$ن6(pʳc 8,Ń P  ɄD!D ' l")qA"a:Oq^/%K8}wg$^ RKR?oR&yĴ ƞצ^:Eo=O~;zGwU 6H I0a8IotQf'/ExQx4}u2^)zۻSp'JUvF;$oj(8S( i ?ɛ$>@Jq%G 0z=eW%!wn"w-i8a7u %W}{0KLeS9x#5;>8G,ot-zmo0A WP'A {#'V/K4|پɹ]KAR'H!UltRI6g0*HʔnߵbhKiX d{/$\4!ԑlSRYkdf(pI7k2ϸv8_@< ȩ)j1]kX> {j9m)WDSRJ7HI{9i5^K_2$*wWq+t_B<3mLpL"߁$?g1w\0 gFpF"~@W|St |dD.OEE)Mӓ:GEQ,r&zfUj@( <̃"Lw8e7 Eo(&GLϨWMU>-wd:!E8m-UaYUR] A0ϖҺg1teg^K^&D!:eXffFꕊ5 BB&&{̄eqZub=D]8"R @%L؈Z`F:JTף EaV"w?M,NMziaYDo:hec$tҲSDKC\ C M!}.0(-+z} 5n_",e>dgV'Ib 9Ld=@>,t~mB g`)(F<6ba b ݴ-ӛ 6m) dZ ]H bV.s;kH 1U+?^ӓ}UbKLS"UФb+(Dh)EOtWRTPRA |(R/]`A9=S?dA Q8sݦ`xfs";(DAZAvϟ$3ݗΏ:q s9ǣ$:b3{S `qNr!k66f1qhak@ Pq)(c3r#қb YO:CwH.?F͂dMeˠFЋЉ5B@qUNUW05]5lMݚ8*ŭǺ 2Cwo3|C Z)D<lh!j-V,]{L׷VK9|NdotK23rcW0C*)5-p & 0V,T92QVfQJ"NSotX4µVLI]kf [ǵxr!~S[TnDLR j |y'iQe6 FSreS8OÓK9K/7=!X ?_ӯ wTIG`Nm'fpvExf^R*o$<˞6'%:5d7/8yJy`dl0&Ɠ's\16S: &.5>@$Q7%(=߷2g@0&4>$n 3*lm !U G*$M&.XM#,8%UΈLF1ޙӕfqaka(!䠒BLSBXŭq(*wP3|ƜHY+G.jdvJ JV 29V1ƞ}d8fFE02o9?L~2U6u@:F—ex+ވ W Rs>TWz֏14uӏ2-] t>\\L*# 1<%cHp,T"GFe[NVE8@ Pl|fa j/$ϒ,O+`|@r"tQ_̮ rT 9!bg"$̅T|xGT; xLչKXpNFa6smNBi:0 |m+=†R49 xDYD.*9xQ0g%? }X칊X sW:TqF2^6@|stUMRm%j@?UVݞ"1% dfUUl&@M;a~Wz!R$ޠO Q/l u?;`Uʛ-aMq 6۵;q lz{+_ i}-AJho4ASSW%Æ{rp7UݔCrD ]W[V}[@r/ LqJd!y8t<-r\Y!? +Di-3e ZD6BM+sA3Kn-kFK{nHgA 8'dˮ2*@kDL5Ayk شH˼rңv nFanƶw0L_XvK yN/ŇR+j# s5<y"/sܦǟH!GdL3)&`;э;7 OV|L8 x|*`O27F,:«,c2ԒS#6C4TH= Qu['