texlive-bussproofs-9:svn54080-2.oe24090>    f ;G|`u` L n7a33vDەzҍb,7X~ .i!QVCM}!:98>{*r*TAē!wz1gJ_/P+K+dan)^́"mRzvh{DN8 K 20`6"5j,fOvqdXKށYM¨L QES*"O z!j'/ Y7rӼЀ0>8Uxʙndǻ C~|嶓?faT[FY΀tϠK|>2df 9\F`€,29f089d9f172db4a69f6b38f6da7b544b18903a47af1fc382fe218fe3d8dbbc855d0cfb4d1df19c5bbb5c0e49069495af88c9c7eFpA8:]KE4>; ?d( , ](,@DN co    H L\p(89:"FGHIXY\] ^Ybdefltu,v<zQdhnCtexlive-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.fdc-64g.compass-ci;LPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fQ3fP4 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 1726655999202120219: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII text?0zutf-84920f015d1fa6988cbf13d1ab3a7977b379546eb8402446b135c192ce4fdb33e7272c8e716db3edf88c689286dd166fcd78df58dfb94d9d47dc4ea6027726005?P7zXZ !#,O9] b2u jӫ`(y0$챈QIh4$8z*T-dTY狘P;(C2mB& :}ʐs҉W V͋u (?(&‚LU&m S=ey$IXݕӿ8obuϏ4n-w ]}Av $gjjkW4S! S[iGɺ9#nf҆zAn]f;"جQ$$\̈&6.+*zJu KWyNH~@Hd=d#3rvՏ_xң,ۚkmXL{ ,]XB ڛ߃ŌN3Y ٝ)ObX$#P&E]36S818g>jW2o=[e`F"}CN00HF_,`v RǦ˪fN|f4 pt׊F$.襅HE51Yg}K5av1(#$fG$_o n`jy8n2z6q4E_$Q] LZ=/ٛwGhLyvH5y~\cߌOu2je dxSSaGq&Oɭqx,$Yұ-)IjU _GvSLFb͑,tϥ)trjȩ-yȞ=1Օ UtC(;R8(O3ۇk~5Ϣa~ƋaU~~򺉕2t{K0ڐ{Ui~i.,Fžd!Bl8ŏ t?Ha E 6`RX,_8p;-?Z`6]y оѳ֫Pԭ pMOEðj/ACqt220{d0*e(Tɳ f֮s _ 񀎙fz )5*atfx+hZ6In^U*1ųbD`3 U|ha5sޮU z3[>ȫ( 9HyQ{ECoJO`8||9 ,}}=( n+;$ɫtXhOEqcA H5PQS6}8CW,أRqٳQG_CcjAo5&ޚ饃8֋{H 0N2"tL9HGU ϲJb}'MDšʮ;viki)h2MXj[#뱟 /"OA|:'֔N ݟ,X! nmC:ʾ1&Do _SZ6]`K5jBc2Wö,?ܑb 6cLx? %$Ts:n?F9q7(X(q܉5b;,GBZ@;z2  ۳7pfF 1Xjͺ1䗊s v*sNUBYJ1gE{ںO1]AW όB]jƞI[`zQGJN^HZJap]Yl-1hH03~St>J EEٯRy'_?_ś?Z C_%XTDU㋗oލBaT n>lӌ_%^HUl h~8!%'wmL@׎_R WJ C]P,͗L~zyF:s-e;Y#W&F?9W5~h?0PQT] wwU}+&]v@ dP7᳑^HZTϰ &5#Ώ9}@JDP&doN+$NNLͥ %lj{a$ŵ2MzݏN(/Gvb]2eZ8e9$Plߔޮ.(m,!33/; @9@eͮSaG/Knt@J'/-Z"LLX|Rm=@V?I| |ySz0%d["|i'xK!LݎНA &JƾxcAyQ fʲ\YY7l̈́ IsY`dJ5ǖ! 49+ h*wᨂPc::dpq1:A]! @Hsc3ZQf+:q><5Uv,* @S"* !T Է6: )ygίK]KCǤ47^{U+[|'Ѽԃ=c f|{flZϖf=%:,꾗k mjRI5fM*#IU>vK's!$'"m~&~32D^&$&k!Ϭ/86qPn*`\l-uާqމZ9x/P ^acF"UX(ZiOuaD\;6Έb"gz O1Lʭ9K I0 (HyCAg}=_l=*nέ/R:uG9$1ck0=\%.*5m -()c"q%^UFK0n@Ղ衅3r%۷\RP* '/VlEZb{A6{EW쑬N}"0/8%-D 6|Q1ÿzMܗ4q7*:ZjMmFĪ.0+n1S#Q+T)m:Э q_uEm{kdDMBhf~#IRIz3%RHYszm$Yw /4DQ3/-eÕw7Nю)srNӬYC[.cKT()",$SP{d~Pt5nAG&Qax K~`ߑZ;=TnC}k{k1bHIj0»18FH|@[x&5CU uJ'ۙ זCZu'6$y)#[B&It?3]1@Eؿ?R%*RE4+ik?=6 pPmС =$)ouqмCF[n;">[5 8 s3 PsDTg&_&Č4IR{[Y-&.i&:zҚI 9.!CuDo4F9 c%FQ Ǿ{"ִ5xPbWxm(zOK> &Y74[FPm>]Ӿ66FNm[ZOU:?s̱w!qD5_OQt%ml$ᬬ(#FqV)h!~w6zlBշt.wJ/` 2:VyοV)*RpcʯXV4DV]#JT3LbSc\Nɸfar;Ɯo45=pǩpGvqPifE4*O76+cw |?z :{'>|5B( ;,_ky[jCPS k峀iTX 2 BIؑ"`a `?fϝ!N J/ kqZ^n\5wSM `| 0TtX/{a@ k)p˰{mQ9WD}OS)JmY$I/ziLIZщ| <݁5^Jc|o G\Խ#9 ~@#WנaLrF "!\mWv<~!4*D A]p vV&aћ5b܍S RE0 l"2T7o fB( VW@t+ \(f#bۺ/]*e Zy>cվFS'm㏸"),P)y!o=4Bqw[ 4ܡyOrrAW7FOtQ #Nۤۿ##ϵTf+Jb$1k^2E˹~c?꩏Lk8)ҥ /`hƉEQDK u3I1̴6ntIvYh*4az!ΒU ;xb/(tWPQf|?3<[WMӼoӢb^ ƽTTitj-ʾav%o odYDCwe#xa=1#TJ.T^[ERFš-ltwEf'1ؗM$;nԁpA^D'K?qr0z31 I*sv~XMgJ:g;P,Yk,Fl&ލ[*>4Rco:J3$i{5=ƺ0DK%Gj[#6WvNߪ' \eV19#G^h7ylhӻƳ8*aWY9,W"L19|l9HJ5?ƒ2dFr]`=ȟ.؃h*k X0.oVE6٥"2'cΑ)TܽSK0hD+W0#݆5MOŪZlBn½.dKU_Ƌ_p=U[*3 Ì%a!2(?Bۮ@TNC3a( +yN,t(܉xB)E,Ϋsiҙj )98Go4$գ3Gܭ3ٹK4.P ]5/-Bۿ[n[qt}+`JZqn@D$̍7P J Dt|ǰvnJg# ?.$r;V L^ՠەٍCPY K3I=謬-ӲW5J᡼ǟtZċXAED婠%6LClQoe&j@M(#]`%_sh9NW܋=hf1֞d1a \Mv A%@rWfqJ}o ǷE|B²좗M8OO1 M.vKpeBYy0gԄ%U=C슴q͞M љ`A=t០"`s(Kc8֚58ݺJM N8rJױ$ސSHsw:>7gL#=q U $n@g֙j7@dx/UA@[|=PKT`KV;#C}ߦL/s|m!Ϋuq:h0)W#\D҄/&̐= Tx׭̀M߉OK+ "N;S:ߋR^dʘAP~>c_CgoXьR?69XNhߎY,o `96CĚ.ӕF G]\Do'͖~eoqf ݯJ.g*}` ?R5?K؄=7<*_Z_k$^uG?G%;1*>f˖\Rʘ1-ɖYӋVA0Dڪ[x6ʬN~D>'y-dE:8_i¥qdv`s^0 2C"CxR;IUm`dys Xty,J1<1 c,TuMwt}0Ⱥ&^G2WtӟxhC9/x| U%",ҨjsƷF\SK]:< ]W?#ƣK Ѻ;|th¤,\!@:De4}f/Gb#?F7CdIy}0}9Tɾ @|wqŘ8f3+ n|,}Hd@0H[!mjKyBSm6Vy?܊ ۑ[cβ/Ƣ[7٠!gD+Z7*MK&vh UOy']Gw]AzFH=1Ib_b$MG^4< =yO`Y| {L_kfwG*/l{'f, 5anyzGxk(.o*_yw<}TБtj~ F!MYlS,!Gq|wYGp9*$Iq@AK_6ˑy<>- >8r >eU݅nd+QKۅ3 BU=s6_8ыʹoЋu0&}3:U'~ `b7\2HBlPܷf7tD%i `ID9p/<@ AO-GbN^,߼'9H/X kb?MCe \A~Awm\^,g$yNgԡo@M>F:xQiBu-JvnD+]g> P}G|3Q߽I6^۹`m! .Ј- |^"#.L9~kxvѓZlWxZG @e Y3[2 =FRX(Ę? vuI[[ _z,tԢFT; Y#0쉬(]-97H:&4tZ3 )E7%KIDk.jثyuNhۊgEiq {7Pr#<,(lILsCCDvD 8l\ug8>m Q1yܸ.G'VH#~Y BG1o @lHRPQ&%=V"HiMGd/ˇghKR Z|ԝ֖UpgG" w4̖#QOu;uϠv ظ b>c8ǧ%l֤)~ҍաg}s!ujY8ul,Ä<scZӱVݧ>afq.+H ܉02N@{tluFbP\V%L,2kDͮNmxiP?W2{,Qcxq=ٸ y}fgF*hz: w'e~ +PT%Qs3aebE9\O;]>a!]|шT~˅R4(ǧN6!$B<ȦHJ (GBtb-6Z3ܖA^1 0vR&WK.eO8՜f왱"|[D[-B\.;( *ơp9,5G1oHȢlg^lOY؃^!=%I 5ڒڄwX,/VtO\+Ї_1,{3,<ꮓ ] [ox 'ojvF*Ŏ ye&CiX~Q:қۼl!B=`Zy7lKORb[k Z^i&.eG%V~!!{ y} ib_4fSvMY#c!gmD`3ge,iQu;KZ1nړ{ڔC:;A*ZaaX!A)\a; =}IT]ױ19MTf'aeA4 y?o^[qɼBy#h_80̽D\>aS41KԎ/FB? u/ BcT/\1&5:%G|#.J}!sNxc*ӘvAL8ב~)مuVaT}xee.WS´;5{#U+A)zӖḐ9>;Wՠ}d+ SXQtVp ,BmTDG#`,J®Q 2B)6f+LvkO!6/<"DTNED?4 Oɼw!!py ㇿԄlaڔ&Yhw'$$Nvxwk(+kS;_sԙKFZE,q~l%{_D KD< WELď"ɏw/-HǺ/-t;J/Sۻje6j$# ˈ̺6&Wʗ3҅]7 Wnw[1A+u3LC-&+᳜U> zH34Qi;A^ VJgY"͸'|"y&JgPN? WM~YOf0끠&N*Cea-MNpw˕-U;s3|7_{Z^I-ḘxhEW(s;IPVd,|GTnY0MXs! IŇ[f6 tme n BNGKnm2MsCFyAK9]rE'5vr ]+*ЋVD`Î3-0SFawhZ.`KbǃM9R^4Ж2pd\Rx2Rd(mԤK=̊|b)#wANm]F|ڻfIlEV tH!(iRG"!je׾WP:8N_Ftp畣T}eR^pFK P.aHM\1iC6(%Տl$2 fS$*@6:]mV&tg@A`fYZB;myZ]Lsѵb;Ns;/$N$ˀ̘aH&:K qe0 M/hr꥚NbG5m& ѭR Ӻ+1,/MP<ۣtas݋硪~‘dPÓMo{4q尰:s|lYV`Kc! 0kMLhRsKtixo(>Ͽ4ǀoј6qO-[] z6P.%!pCԆdG pr"B8yFHx3qa踜.1g[} Qr|׾LMDTdW_A&#ݦ- LWP~`p[”ۘ[ &1(JtWϜ ]e֖klw&WkVITTd/ֻ̖TjKbth@Ȇ?c׀`v姹XRCǓ}b^.>F(#rpeܼ_S0je欂ei7b %AbS. V# R2[70/Z]"A97۟\7~>ER֬P{?iQ]ͫ,$QZf?omË5i;[BꚌGþ:!Kx|<14bV12&UF#Y >[0sAM4el7wwGE-;i~- dшuNuNJAIT@dM/t"nqyr `YF3ᐕxXsftK)ȎoC[%Z'9r Q)h^bq8Zur?+*VPtu;d' Խ|z}H^B޸==N1x+8Em Ósf[>'JnT|@~#ϝoBg+ u\n詋:nZ<|_D1M@#'!Մ֞A. WTwcl~gbyσb$UyRn9-kk/f,ds2=<1w`KH#>jGpS/w|IWV&9̆18U!J9 ŪǝK&#.,Nk*&>;D<@W{tmD:I B7'/`ղ_!Yj)T1ұl}+:S*(v$ێ)24#K*0;? AyE8DZ5}w ] WƢGܟK@ibG3Cʚ>#Yuq~KIe.݂(|ZFXNW6Nu+҂ty ]0J=sp$DFJN c eb{9!ǥ FWĎN%yDz{,D$%~I|EEY_8c3lI긭|irGK>[PTic^0h3ޛxi&崯 IIh0hN ެ+8= 3{yX/b!b C=7clpѹb,Q;\{uҁf[,XtL> xtչ%`=#QoM"[%7 oV096\T}IK;L̕hgư :]ށS5(@0U2A2%<GX=^͢g {*qF{a+шb|ҢضJU_-V)X^KNpRc#:'jYxR*֤S[R$%eyV *wܛX0Vdơ\~LG ź* F`:T(b.:;Asnc5;ɮtz">ձ]3wQLF7Ӟ juc'|/v +#5@BL ?i5TjJj^39;`# _X8>m+_CmUTܗǀHK聕5^jn6~̮<0Byfp0;rr>߈Ɖ(mf׍}`'r`t. YZ