texlive-bussproofs-9:svn54080-2.oe24090>    f5: ;G|`u` W =[-ih?zsݐAUS9)I|%82<9̂g-*Mf*{IϠ\ۃYӭTF~")o:&9ḱ KfBdpKV/!(!亇 [:Ƥ͕KE ˫P"m咂2q}jtHst`mڢfi}:#i&j?V^]wuO<#@r[J} 0d8bd8d9364c9213e2868fac10317fc9f8a9e290cb369109c8301b6b54422b0ece7303fd86b6a304af3ffaca00da330623d54eddG@Fz*W6>; ?d( , ](,@DN co    H L\p(89:"FGHIXY\] ^Ybdeflt u0v@zUhlrCtexlive-bussproofssvn540802.oe2409 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.f0!dc-64g.compass-ci;LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤f2HQ3f0)P4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2021-2.oe2409.src.rpmtex(bussproofs.sty)tex-bussproofstexlive-bussproofs    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2fcY!@xu_ping <707078654@qq.com> - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification.- Upgrade texlive version to 2021 - The following packages no longer exist: boxedminipage2edc-64g.compass-ci 1726689313202120219:svn54080-2.oe2409texlive-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 -g -grecord-gcc-switches -pipe -fstack-protector-strong -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII text CB^-x矿 Uutf-87d480ae62f4f5fee069bb2895ffd8d31936872182e9ab32124502769177161242418b833e6ded9d6d9a3e91f6ad0f8181d742e54eb88da45d526b25f003f28bd?P7zXZ !#,O9] b2u jӫ`(y0%,m_Us.D'_7ҔJ[ű!4x-M:TޙEJιOp]Sdβ޺4R)B5JuYT6h_ ?4V*),</B Svs&a݅@hGg {in (_f+'vq0oIR9~g՝ Je9?Tr 4PU$&d[h4cʊM9Ĥ:}}uh+A=P{{mVE/j5F[m*UKP}F(XqQ+T7ӂqUX`A2dTp&9(7 fA'Hf 3& 6Ĥ[&0`ø>rRaǃ/ p@P љW)IQVf2.Lv;Cf0+;Ջ)W:@0Kr&ܛm{V̈g"ìm\ #A09=qJ´N|D#{b]'r hH՘~)Y6$EHWWAV"ۿPv{&oZW-s>6܇Web!R}ŠVAF6F^_t X!@S."ҭdJ HtFZ>qR0l"+#tǁ7$ +sr#V49zP_}gG!dKʛz4`D 7ʉE`DI&X(G5<dIѷ5) Մ+6wF-_twcـ$5B#EoU29 1CX~fu`A5T< 9^X% nVF=unЦ H1&S۞|RXSz@3ph=ζ͉j( wpe EWLDwLvrRi^.jV͏oHn ϷQ|^L,e7'9M[ԾXY0WQL#~a"pcvɮb,>)A}Ufݵūqy(YW( c2>&xza_j`ܪ~9>jd]H UPċnn6ȶy<#sRR4ѩJ3DAqMkJb*c'\Ubmm$[}@V;49"5t=?2j)(;pu|tP./.pQ %ԩB q.6BYYnh[ZjI_ҩf*mv*_ev{f\hpFתn z4rZtlƆ>T{f)Tj)ttAD3}!=De@Y9 R Ѱƭ[V <@5ɃӚx{VsOmC(w,~ɠ h^jܝ&|L16c~_!HVķ{]nc.`pBƟ˸|l"h{U`'ަ6Y{jbunpi@$7R܊`Q'z]Lvd{W2\ +wkQ5{. s/_w5+G/Y*M$+=2,wRAd6A(mq%pq2>,t ~sp`U1b !/ҭ#PN2xn4Prw,'?F%<BrV*oC^d1HR0|>*D7K:jwyGu'8O}r4Ԯ $k{ĸOf[HcޝrQ ٵ]S"̭!+ҠmguDKmlm'ƙ(mAsΞ5RyfEN"hBaN@KJ3P%ɿ+Ы*9RT;jʴ za4&U ٟo?InKo n]/\Hb/Q$"&^ G}iPATk꤬7 L+bPhFxRf luT Do ]:?[K>A6UVlk6,8 yd6@7dzy~Ty?YQ0x҇818I˞Gn6Q+|1[Gx)xz?u3ݦ*:A0:^f ѷ xY:YtB.&h>FnFs&'֬3Y8ذ;Zl](STRBm $&2;(?*՝Iyt4D퓈'XHo}EhIqKݲ(ۓ`D4g vKh5P\5 ]|)(Vlt*PUB!FimPꍀ3#cLFM_aDsI6N>dب+cd"*ڋo;WbVB9(݈y̙2rO-ʜяϢ[^`YԲZ3D%|qacPL-NUﵶg}QbEٰ07Kc^JZy)~ᰈ4VQBp!YrAc#uPīhRϟa-eWz.BdFE8$VX;n*mt2 Gf]#8%4Gvٽ۷RȾdTvYoI?+J5Ib|u/!PNHE^m 2F=pƬvRO|mi.fWarcM貋bZh 6'\-F[7oWl% ]o6N'$ fD[Ġ T!ڝF.LR 7&Eߍ ֧-"Q/kSvRn*įN-q%nJI=,dBɱDe5.db>;U#'i[˧ϱ1' UCOvԐd>@埕#]\z'I&f jnrK4-p!ҟ2pbe+Svee26׾U,`ѱM|:O@DvfW3\どGS9i(V7 EKk"M[)5 *(YWٕ&٧^,*JaDjgQ#Sś4?sfӕ0VFvW%bTBn`+pǤF;~$8 'ųscFħh^EěW[{Qna[h:G@0. #7#';$@ hb`X^X+2m DvUƬϮkkQZr*G=4Gc+Då"UZisQQ5d=@23G)>Y8&bpW޼v~. OE{UW5o2@YBTi?p=\YI꽭*b8{_ǻ칰tZekpݘ'cڒzimS%8b}Bɩ2 -EjDݢX;QKf爵=l{y(6~=mr|{zm pK.",Cq%k_:nju<><|'^P4Yd؂r$Jf^1ĵ0D:pu@j{̢s~F"^nuy,ggaPWN2X^_=zmD#?A"CW =gJς_>/⻣`WEg1'd9\.JZ@@)}61߆~Vs0 өae(?+ N<) uw fU(vֱsY q`Pz f}7nM@k%ĉƱ4u~z@d/ɖ)4i+z#FNtT+@EdqYRFd0%=\my:SL .k ̺P"dvsjzjj'=jo`5#HtY]Bz3YV鞽YWJ[B5Z92iBMhF5Ą)Mb&Fɹpn4Y y?Yc)&QY7KKϮ6ah|h=%{7)"gc dFyݓHG[*+.Іh0ύꀱ&<˙UD-)lP$ӫ4BaZӠ9V_[L{dc5FYЉ. HZ^୓+Qo^)eBkͅN8NeLoIVaO2Lk) @[<ćҬ2"%A$nEˎ \i]]h)[f#!^U'VF$1)}'8 ۵/݊YNs>֘t^en. ?P`dT ӵ5;2 1#:ˏk ltP۰QDy,cTAv b],x3ROrqp!e[/"ۏ#W X ڨ? JSP1v\QW|49h釕fVt{I9G EҢ`Tp1aJMӔ.S'褻Y,zcn9S3pZ3`FڦbIn,Iu"˖2J-&_NlE?ANG^')VReYgۂ{r p$fUu\IJv}mdR3^#Do^rO|RjC,; pY.j L CaWkSЏ6&\p"L|QޫD7?ͶYAegar-(֌j_IRRTnnQ׻W+D{y":t [9;,ywڿsk&vErBsjl{ty X=0/ywEN1$k}SK:򴃶?.P6[L%'7e(ԃ??:,ꭷk;PNp~;!R)N,ӍHעt{YX"MߒYO}^d+KإG"Яaج"YyKuUVpF7*>kk[d>y's{O t y[)t$T9·t"Fu )]Copi4J_7P=U)/b>xwˢY?i/yfU&F c^MVw6-cN~M&IMXŝ8і@^N1Z" gsB5$!gw1NDD:&)iiN1 V8\Z ]N̤v DD?nChCIj]=N7(;6䤎BID+J.Q'/FRwh+fv<X:;sXF リT9VM囮CIL;MsZ$t t/-MJm(e9ب`HON8J9֋mFVEg;K\9h ԯumHØ_jYvEM"pϋi Zɒ7)Λo֒K\-tG/'}CH6*@ő|Q#^YݝO-jOW;P@PȜ([+r֛%qlWHrb)ER`~V浺TC25a Fﺴsn;76y->NӫisZKGy5DK1 t(@.*f#] cWw2^!> <;7'*Lw#(* HУ CH̪dtSw%/x$\n,l/_.rZ&3080,.~F9l@ѹYkLIt? u.{IDz?^T2Ȅ_ .@Lm]󌱖6M4_>?'/4t_֑Jes*\ַhaW}E^Vt@\|S[?85LKմw=@O Yh͆LtxcABNUfď@/'oWh=u4%&;]_z$u13`۲+ w,E(g`Ķ9a??O8JXU/dG@{C*fM-NO ,%1`9Ra -,@ i+7A䛏{Ȍ!%uA+LKu$lOkR$[Tl1"1>m3^4+dIOp(Uh%&}€M=nX-·J/ܧ6haEBsd> OlF2tmv`/U$ANO ~Ik "&[U#XQO@.`ꏃ֋%c1 (I 5N&c `.&ށb`oQAu`fQ FYFtyo׬Vjxҷ%K4_"> .<Kk!{`Onp+ENU4q3oŸd}ÐR e=ͷ˹9@Uz "Wd oR 0έwSGVq(AW .D 3x<$o,g4uB>-0\=RϮ_r_׎ f`ģv`4_#0\eCԩ )ɮY޾HñbkqU4-T+4_ 0 V##Vް#X24@ %XP Yk,7\% Iܼ^Cm a\&yC%q"G28V֙k<2vYK/ o:<4(h+ds;f8'W#q! 41]3}s+ &[N]uK+FdTA?4*  *>"h~8SY:Gz#bLzs6~bq>UlX=p^(XlZo޲ :h+#{?xay9k+Kkl`l*PL8Ci7v"54!Q&i@|J@sUI)p|sOwNEnwtx$uk|/Ii q{?ɀt宬/]UId]G}L%5-F\w8$d%€M.VmA`w痈bD@(@NPi<e6K{Oy%l%vV#T\i'Ѡdp5ǃ/ 1@{`w(MqnU# p_qJe됋XPDşJ^EC܈NMH G,=TYlCRj1 ݇ |w'bݕɗ=+{K s `Dv~U[aǣs4|X1^ d [4Q_?GZeO .mpkՂu6>ă47=wf׿ Og=%爑w!.n#w Q3m xz/L]38.,baQF%O)gZyˊe32 ?HP- QkLKݳA /Ot`zutllP)_S\1#8O VNs63>L"\z~6LJzYs{Us".\Rݥ/ m9θK)0_T1wW:Ի8\"XGԻ&շzA!oU5!-:.V(F\Ă@'wp֊hv[Ùg ұ^R@/[+ʝ*κt!-Ts.t]d#YUG;APr2qt̋Ey)y&&9~y/|!,ۿxF'b7#/L=Xu;BlF%*A7BUJ t Dڳ+A;ʏ2iAj$ 羕Xf.OȯȟVNS>HEr-IJ7sYM]=a0t'43]Xv70|atA79MQɰ_ %9٠^G{jSXbDyM ^gTbNd?طIh"NyRd`zJFa5/R Ħk,굢ڄ+pjVqT .P}oVv'YV64嬒v)U]͎c6;rAp x^;4A &ѿ+aeh2A9 L],?[= h'Azk"<A~m$:`!,j^Vw=E]|R_1NBȍtP*q"f܁\-yܨIsRU -`yKlb*6(-9*O*zk)bwJ]uRka@raCu*%+kI` K`S\\,i1nc1W@?H/-x}K6/& ur { F_U)_l5d ='IH57Xg*q4xdpG;\XW-,ߨfG-1I:*졹m\b77938I WW[{Ef{H-NVTxǁzȔ}WPЯ/OcH87׬x(& &枤8 꽺zGe7!k}ku;i7QJBV%7 M>gY܄x1פn?Bdч "i]$OS[rB/tJߦw|vYPsJɗR+llVZ]MMY]S틈@/{e44$⤟/vghTjbQb9OYKfǘPf.[%+Oh{~eB{O> nNXJUK//F\$'{?n#cgٙ cX¨rwo(R}z6ӈ,q-04۵-Dd`*4ٙ8kv߈=:',sv&t$,9haX!QCFǩ5יKnc 9/wpk8.'bꥰ=]h$*5\ ?6emSזw'ͷ-̍x(/c5 .ˉu&C'^ /-B Z:1k)5 hH3Ѿ qY'ao3Q0ZBqUAmCþ hG2/e7/ җ/BȪϋR3,Ip V3ڬgMY`?zKixf_kmj~a&;Uev8gj(at"AVUD<!z<+􄍬1E;Q))yÁ/8Ĭ(՗vvꖓqj5nLܽ^Lޑ_s:6lQ`1 COg\h W"$;ݻPWe֢a*s  uc'>$Ѿ%-lH EB76 &1~7/#gQܗ5bAdZBbnឥXnكQq)h/)nRk[J|bfeKDaIWn12?Y'`C6¤ Y eBuT1~к}Ѽ`>^`8h ~SfKrC /j2 #(Ht+bre ;nRfY2*-k+ޑ^̋rѸ*IBEHS/{$ (2WIٚIwVnܦi'6;V( P\/xCGFk!G$faPiW>;j|^lbG$,O IU}%}UKiq/" )!G<Džbe%_˯lp}D / aШ'n:Gviى>κ9& |t@m*#ts}) )$'} lhHdwLXE8 :Vti6b(a3UMV+T%_ݥD˽@O0N}cA;iǩ!j 3o^46+$3٣jt.TE&_?(t;׶ YZ