texlive-bussproofs-9:svn54080-2.oe24090>    f@ ;G|`u` q2(1;AlԭZV${l+_'fXW.A5r%߳oiS=(kܮ~,;mϒXpC:o[5UahR w*K՛j:Dt3 Ӏ}P ?/- /ɚ>f=K²D[ǣ/h$A 7=g+ۆx;?d( , ](,@DN co    H L\p(89:"FGHIXY\] ^Ybdefltuv(z=PTZCtexlive-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.fādc-64g.compass-ci;LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fĝQ3fă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 1726661761202120219: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 -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII text٤GX.҄utf-826de677060ae9813cb0c5dc5b5b8113308366ac0db05057a485123c1925133d04a9e251d84ee9eae89cdd3a5b083476cd4aaea1aac9b02ab2bcfaa20ece68651?P7zXZ !#,O9] b2u jӫ`(y0$ S`FP/ r U=~aOD e*2$VB߅]FRϳBoLCgFa\ƥ:J=(P~U1XJ]$`/d#hTςh_]@>+)B̤6ߣW{|Ss܈.=P&]P죗^o]n4yCh~vmW˷\/9U?wc̏6Z =ȟ}|[߲ PTZ(]Wp.e/*qQy+'FA` @CVdPL s$e(Ж|)Eq)q#298Iqk/WgG 2.Ӫ __U> .=8}mgO!> 0=j.ߵHӬ0>N`-6KU vފ踝=AlABD.2K>x=tN3]l ~ˊ#QGfN =jCVJN:Ѣf$}5y XlQАP;s͂-TR2p@<qRTym,B^ό^7ĆQ#@w ǸXaN=<imCHvQ˼]eL]r0hL\? eT`֓9iyd=h#;8_J<8V)sXvj;p\׵{ms%_"*8)18@oy=FzOYUyV@{4p=rˣr;HqHz@QdHziU.(0;Z)OA)vQSP WA *%þAS|4|-V:nH n &6qt–2DCvdi{FT#zM 8`]ά M/\I#(XrDgڝR6, u*+Rq;xX9ƭ`t0is].Ɍ+ >g"5J!7{-l[!clg;,AKZH窤<'ydT\ְ,][m#Jj|Bͣt5(FhPfj Lh*7?#N[\@:gӾji(;$,hhʷ}XI 0gZ/NT[g;z*=O 6SOsˏcⶶ6{Z}E] r" U?Mv$]xp*6CuĽ  mCj(܄zRvWk[B3j=(WifQ_=/$z^S_NsZld61B晭US'?)=)إO>SSe5p$֟@ |:CmJW\!V̀Hvh˧S\A)a LaG\(z 'u+df[C/%RWce'x_L&$!r(}wgefR=PI-=4|8Q1ϟG Lځp?!^ݴBTɃ9-tҩ0H{GW(?*<]7ݸ^ԬCAw4"&fA} |2uuhTJ<0sZD657|-NN.Vi K+9Jn&eQ_*j~RznE.:rIUF)˸]4uz'AO-2B XSǘ\@o%sp!#ƀ PP:$\JuLTv^r$6E~qK?R봰RZ\IBW뛨1*= 2467 BF<(j3iJ 1Eǁ "~{C| [IZwPO;F%b>|UHN~~B^<Z0BMwf!#yEω)q&|8+kq&SZUj0O;&#Qs$ZӨ\\Y=䂉(BhO6ᡱ3LUCvAѩ'!T_GR憧Ҟ7Y'|8 Vh_VA /m~bou]o;!{'Qus ʹOƀhMݫԋ| zTh?\D˴ȑ_MNZ#Oi{ 㹋2(Jd I`[;yʕKzu3qK`ٍQD'X I>[cH]MONQW{4e pMj+Bk7#tEۉ'^0.l\Ȕ"c}Yj i\b_JԎ荲 1=L>EmR}t89aƢDPV E+'|D@9R] +K9ԙrAqRZv Wa4l\ NJ>[l qFîKP^F脕9pTX<|P%dM9CQ)|'WWٍ n9ꭍ[n\K?áW,oZ6_,G讣d Ws =-M\m+[(ŭ>#b4L&W9$ 5f/f>`MʾDuq@L{[gt\v\EԸXR Dݨ! ҫ~FHQ( `?Xd47wTryxi*cTn[ MKwlWmV?u (+ϵj>#!d T,R\Lh.ӧy6-3A7('dH>AӺ>+ȕ(nA;0G;iMmi3W-R\Y$j[qR ƞ- ۪ъR[Ӥxe;Cl30Ԓ8ˎ '~P[sS'[(`hh/7 7%cHWNTj'p0q#to,>Zt뀧z5]; 0@(d``SĐs[mPQchu3zAgr?N֓%,;*_?j]=Oy1S z2CdIm_A!UsbxcMt]?C/6-^B(EwR6l]6P'wAn3iZs(/oSHTkWHvx.EMW(rCXY Ӥ!MW>)kZ|ޏI2:<6/yׁ™%84ENt_-@yb߸yIÎ$gat-'kd:Vu9ߒz a!Z²0J>Qm 'x{]#hxN6ZCCv*ь )3aoQW{e_] _{5Tt1&@k(A:h"%R)4'STz>U8KPL=ɚ*{0FoD03yv @_gGĶ݋E$ڹF3DoKd'ʼ|!%aXFZ4J={!#ݪYe6M*t9s0jj&G*`>k&ls>2R֎eæq~ s>lf:G/u8}ԣ:E;O7\ex? /q*m52n!ìqLkQXڏ$]gK1%c?Ls\D+0B{*^P/چZՃuSY۞u r+M|#IGHްYV$?/HjX-Ʃ*xw\ ؊c84U-pU6uab;bVFu]# qC~;p 8kF /oAͱݴ S^SUr?19 xѠ{08H?w)_nm]X%>ZK8B6.̅ps\s^2:N_'r"uy*mgӜ̳ =Q߉W~liqӅ@";8n7b( n=kGsu܈ 'TĻ- t_Heml;&"#+|2[mDu~ƊOͣ_-ddf֐~v旌זa[ z@|ؗs6zՏ!_FkŻ?AI9XIYǰW5ɰ&|e&^Kt_iĒJcKCq=ym}͜omwrߎ pEHYf>( 1 R%/)VWtyǾIHC7ݢ'J-?]N,9{ E^La117 O)#qEܻ HB#F#&g>i6QnF0Bt6%4~tVM/ 4W8 >?> _WQ\״2i>5!b9WP"}hJ ~-N]wc}lۿK6-9dr4#Mbp[6:f]d(n%H gQ SgpLJմnE7%Um󟛐0IάA>Vwb i?xhwU꼞v^wό.Dw[7 lu DԲ:⧼jY =R;i\K05l#ěILZPb=~@sƼDz|i BmDD_̸"Qڽ.Li; ;.-ׅ5?i1\#)ܕb;]$Wɠ{N,-b$h#rv|xv6mߩ (6-A5Wbe]؅PI CE+$[qGj0PP0RL)(>C]}VD_i`[c꒹ Mn@*5Ɨ1t }- #%)Fwc'&"v-)zk%e_PXo0NkƏ!jt 3mm]H3>dスڣJ>#CWj\Je ʧ'4 4fV&yf}%zG^]^k0wf: O$)? 5;yvCnڲMBXs>&\t[ T%q3"*E7}F D\*j%㶡 ),9{nQ)k苧z2CPj*I{i} G7bg=1h^  g pB=a氶@I$]rjFJٚIid`W;MzZ*RbʒF`U_U4E5) C!@鴾E.JcP YRFYS[a7p\\mO2W|. )iV{ٳVQ\qwBVl"!SRX(_1 i& '`X&oh ,<9qw+ @SB 0g-2@Ѓfl/!"Ilur%w!H,pEdNq꞊\zV*^1%ª\ŁHリM7ԣا?U7 /"3U6Nt 8} fKN;Ȳa&2wr#fG)*‚%N]ɿB]+ qf&k=D[KqG#. 'U|'q* Bۅ4!/i70 G{C#,Ɇ1E]$:صLnjN .zuU_cX>'4+> Puओ߮7+Y){ve qX\@nY9pOMw9+'nLnS8_oHO`[$U-!X1r>0''2@@q(mʞs1PQ#ŬzNUNc`xNzmF Kw^22ٴ8jNY ۰pl3F72 M0ZiMV4& r en\%7M%0?z6WdKwmjUº<: .oEW'd!j:9rc gWC5ZC!n!dW|,D]T;AeȬeF'H$R.T0[G 7y>}4nvWtuK"iw.Ѳ7mؼzSIr v&G^FMmE ̭ D>I0o`9r , 0;jc3D{6W~sRUvpZaBoVG법yV~H4ˠ ~FI|}Q%uR_Pi)rfLXjdvl!yÓlYҾ>QR*ڶ"Zsia;o++Ǟ;b5GU{L=<[0 eF00~p2uY('J ` P7!.( fCv5QkDGz,}`>  K߼haޏgT.b gyN*QR)< rAք^zݺwfNf <xyux5/,xG0;7*6-Z&څ:Z^M (b mh#L5 a4J ER}}饢鱥l^0Ӟѯ>gftsc.i!#,ln=s2\/>.JNmAi8~&TED:]a˿ n! |l,/5jZPby7K]̇ \mʋ"m#i 3RU^+W~ݑ 1.X'hK*!MVvN׶.R-=@y\ \QMbQoʙD>Bo<}JBk^庘U˯0,qƕ*Y&,%Lj1ֻ#?.DAS=N}bibi /rRSRrrHr|+G4)<ӳm0bEL[":+KaYіl`]L{DlZcRM[AS-~6θ JAdV蘽J *{]d8݀&ʱbypJ^!և.̻#533싟y(m$XyFz~ ޓ|l!کx|0`0M ~{ OΤss+zoKa,nAA c {E5n:8u[-#}tE/Lzy ޤZ:%LCSђTWR&@$EYago;:J)>+r3л"P Sێy9Jkꛫ'+ϳKmBs5;=- mUT0d cYZӓPW6w7eݮ QH~2ǃ-a{?>%Aj/om~!i]FK- `i|oaƑk#~ހRhaji I'&.|Ih2h o";@E2qB:}clQA<& fj')Jؕ Z ú^x9 N78sbV#(=!MccmCjH{cgP j`5BsыtN W7WG^a+)FJveOl=|eB_['' 䯑y?jn_wM* z=u\٤:K4г/3" M .OR IQ.@bCasH|=Q~rd?*A>Lj:W@Oojq՗~}|_'u?qf2d 1ۂ@a V<#qsx8܆)o=?©, ?+94*d]6A)*d\^56$݆|FRk҆Μ {7ʜI{j2 Ȑ?pjX/WbͶI\a^z%Q/?8o4"9Oג_-6#]0pĐ$.VrT&I,QU^KtpooqxPz s.AAGDqBqq1<젫Kj8kAE1R=IȻCEԿ7v"hwZ!50.;F!ҹ8N o8$""9bȮPߐD}]q?]kWgӡq쬨D/>4ࢦEKT0e YR&'N8>L*@O'iMD3 M)sl}.`9ZE3jnFyg\ EY!1 rA<7/jv$X3̈} Y#j1OwDQ.Bs|k`2% rj܍*, }u԰ݯ$==,/[\#*0oKcA1UYh9Cc?e| ب\3aCqi@#\$&'ѩGLӾiC٤K KG=v:e.q%"ՆUK{pm1~vЮN2X~o6}ϮK/.0-!4bR.J[4cV3L& lfXճGڀ|}l7ÞZ n^MUTSO:XݍBRwU,(BBf1?v7ƜIsJqSnPQ] ;sG۳ͬ2isz[~#Ǚk l&r_.juE͊`>.)5oNvax+)I= )y+(X*kԬhgᔖǀQؼweypݰYAwsNSD wa,pw_O2*4Wo-`Q\d8qz$a 0D 8"^U^=+5ffGLü[ 8ՇD$GԡН/驏ŸK<)̪q;{>Gkl)y .[_&qvɷC^&7$4LPHj4J8kQ$ٓ:nx~#JE (`u\A;dgb4E- p+:$*yAm7PURX,Aөw~$z ޴O hL1COA[5ӗs7X -kqisHj`Y9 UADqMy؅B^[muWURAKwKިˮӌ{0O!YFopxSPnԤ)Ҡg)[##b۴X\$˶b紷倄M4巐}q ^-iqUo ͚Ѿh3`jRFB}~$"R9g$B5 tgON:?tYPGۢ!hRY֫nb*u.1J%ӥGlԪ+Ϫ Qt;׶ YZ