texlive-bussproofs-9:svn54080-1.oe2403>  <@PT@7!.ܶujG7of@]openeuler@compass-ci.com G7op DNo@ Ɯ.{C:X\EiN9]ߨ{%;zrC9ǒ%2<m3?쮴O.Gn!jIB*(zzE>'GUX&Sփr<AޅpBԪ 2q[iGX|}2Khto%ksj Y +*t;su(H:dPٔ!78rsr~6Gsõf2YIHmT˄A2[@2q}ur ɅVv0106e3971d511990241abcfdbe80bd339c7bf01015a3fd5254dd9a4c88c62addfff717f70f6b8e16d9954099c95c87acbae013acfFnhF/onي:P>;?d( , ](,@DM bn    H L\p(89:(FGHIXY\]^Mbdefltu v0zEX\bCtexlive-bussproofssvn540801.oe2403 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@Wdc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤f@WQ3f@WP4 5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2021-1.oe2403.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.2cY!@`misaka00251 - 9:2021-1maminjie - 8:2018-24- Upgrade texlive version to 2021 - The following packages no longer exist: boxedminipage2e- split texlivedc-64g.compass-ci 1715492739202120219:svn54080-1.oe2403texlive-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ȃʤ#ڀutf-89da03d355c7455dcc1fcda25dda3235b22587e328be41d21e808f086002d18157db52d66eb23d27add5796bc0b96c04e0c011d4e5cee4dc695e20cc4e4f4855e?P7zXZ !#,O9] b2u jӫ`(y0M=rWMf{Tk(95sY>e[sB-[=omzӬ,{pݖ7ۢ Y J"OKHfXQl.J&{Х%i҇uLg0~w/ )gZ]#ND2!d{|s3dp4M^R}FZbI43HiC7wggyh>\W<5ͭՁ\%jɍNR?2}>Y@LKI4Czguhۼvg3}t``(<5~Q ,+(.0ĿK>k9)MԉKQI  (I :m*ke/1b=a twƠ:I3Qv8 ! QttkL')WPbFW]v:BKHBza:t=30L ^Dc`xm!'r04-7un3F3Յd.CN~ߎg<]uяojuD+( m)Z'(=4bZyQxX!T$~LP餵[@ROAD/LpPOq(X9iUogwscǝiDH KF%v Sa)[ NiUږeJH n>'T_?l ?MKë!*R[ ih@H`_Ne켆Sb}D1f^6NZRZ6s&ycOwg8r/ ;@*CYB̬wM{1EWQb1COqJZ8e۽ \xa.ݼQ!">wti̇0Y KZ&EyϨn*7tU ĤHLN vSn}݂EI&ٴ&\?7ܿGPZ*rCF)=Ӊ4Q5c悂YAv\:Y_om,$ܝ;Y/KNFQXvUb+ oSɘ;iXͼF~f6Hگrȱ0܃۽qJ-Mv (*\{Klka^[z,׿Qxz3Ġ8CXQ*ԚƫiJquLT`<`p>w`T8D'.Uḵ/&=X)WrUxAt27DZb Ah.M 6QiV;ߐy%b{hOj<>xnn9PvlbH; 8&j"%}Wn'97ISML4H 'f\qC€_@L -.q0ԠSNAY2+Z_,}jzf 3B#}F2!C]1=eaGl'!%t{M~y'Ġ~i}A@xB>ٌt}ԟwn#=Y@4ЍP*h ׉g k7zð{M3Heom襕=2$*ےĠ,ZzNyDO`2X]cH|xypQ# 9 =<"B1%y9Ô\wx2tdC>M"dU9g~)WjK .d2GZkw aXˢ%&A~ %mg%XVt#`h۸=w1 ޷ ]t(ޱ^6{tSiI'Aep&nbg!v0آ[jr(Mo]l T]NZ45|&O$Åla&pχ ㏒{1ڻ%-*LA+9l;І<4qz Wm ~: ~C8zQi9{UNNI27'mvt؆ZHt]ԬR (|mF=.ǎծ ֩:6Dz,N٫J:v2m5>\cql7NAbOY k[Xu(}LTꩈJ?7R-W:7v8{>Z RN0QT7RpC Vdo7S_42'x!X9RzPab/œKOwΜR5}r{so- {QH%~9Etʠ6gM6>wBE1ٗo5d;Aux`He:3y(oB7^L8ug o6MxMyA. oڛ3o_u?>EADHxLS3h>l0lmvÎfDŰ3pM*-!$F񐌨 }ù>[4% х" Mh 'flYDgb`exfL"cu!-2tP %Չwc!K'@-hRhc[ bfy비pbېΝ5GhT@F81B[̓ɰjxa11HKf*!*k^򏮭k˄-Y8Y+k:mDŽ9+mͶbԇv#Z?C=DbS{f"Ɠ| 3<ሒ›,ѝ>U>y0] !Kb]d>1PC75Ƃ¼[2w)?_ }.{h 1KHF F[-#EJ vX=G 3ъ,w`S)˜5xh#M35R?Ì#2zLDsҍ5}La^3Y8B+Vܳ7fp\1γ5|{(>h8~;zAzΕRbx)^`cTzƻaXZV̀T3j%0ֶtauP7yDW!lj[i{M{z[P?aMl2͘T(+f3w85Rb{d9a4'n+,ÀMfFKm2ՕJq<}&w=c\ťRy==>KֲZ0#tgyf'jYU%HR)m2uHq# [Ze5} +I `TmB Ug)^Kn`~NBx#r.tOŠ¡ӾIKS{$ 9H3*1lLÙGuHWmeYF)[~vR:p]۲j&6d$^a.~;f;)V\7c= \rm/'q *Xt@;e5T'"`ThhL-NOӚ H {nÆ< g(."a~nkқh>rpvN]$T)XW&ZGv\`ߨډZxT]_iL5_ͱ&tH1*ժuh5OZb!oH8I7u0!@zmy:iL)׉;"nB\]Q׵l |)+0t\;[bHP2qVyNjlbzNFKCF5!䎓@н5]LaY03 3/sm$fKLؖQWDakA|~ʒIr  Q&Xj_+%:8J-1d,N28JJD~2O!4>:CN4gsp9eQg t=+ 5U2`JmvH.aN I\ HOSc]zIX6.N)"Z/'EeWrkgx7Z$#\^k<3Oinw8bEwL+b/_8(=JGsZby-vS~pq*JhĞfv[ǣ8z s%~14ChTtz{7ܢB16P273CރS Ќ.c6=5B3pݐ%#+xgeBqfgbǒ:y=mЭ}8$gԜjia$H 7%!\w)Y; ̫AINǻ<庛u3*uо`6T}&ʚg%qpx8!x 4* `5*{x?܀Q#K)&'{߀\>@vmqiQsb^A2Q(*ʁzSߡwfsrʽ :NxlQNCR-S{,bԵJDɬJiE{&13JN-VI-d4GtB'&)\mNlܴ{Li&,74m?wSV1M/kCm ! PgHIL&"glmJ^+LCPeN@xÃVcC5:TRv,_k5>Pr˭xڎ`X\C1>gEy\߶[i\YVV>y\{|V)Y>-JGw8VZ9#vdvsPc+a$<%˶ }OZ.Eg25?!6Ž4]zubkDD 4$#/-|?T]`fOhbWaJd?G䵾:d⦟^g& 'v$Gۅ,ebsX^|L]l:..:s*t1V28 #8>u/Ob_ߑ>DQ쟘&c׃i)ıcA9I~0e˱Lg&'€}†>ҭx0uf޾6g[ TkrxTTLoqK0Z,ߧ ]F"QiW^>y)OpŅD,LznP] @졬7 ̣ˬQ+)O§R^+,C3 [fNLWL8Rd5@Υ@,ܣo;W-У0m CS^" T M8yGLx'ޣт-ǁ&JW5[J'U^\ǩ~֟R|q5fSFbkGicxe5@sz,1Er*(ڍin!no9jSΉB9{ʀJ7nrQF -=JG 92?pgkc\ D1zK!#A>3p쎅V}@l2LtFT`T%k~>BZ65 'W 73rTpjx)4Kh#Wp.A_U"ӗ^sQ0UVq XL֌_Nz Vi7Yđ-;ޱ1~S}kѓnH:oxn “I{*EZ95E#/.`yO_eY]F Šơl~wi]ZǦ/Z!_ Gq{iq( T8dŖА9<"aXv;p~4ڸCD1G#舎ehJ~%it~x#עo`i|jL=XBsi 7$zQ#]hKr B_:*`SV5k$'Ĵ?{ǹI9BzRiLC`HQL4sQLJEg07̚A=?Q! 5 Tu4d NQ 9Tg r.fD%PB]eZxc'Nzz{%*v}>6]#Rn~6M+pQكV!@Ow*˲q볈<_aGV8^،m c =")ʞm9zC'hVqRczK`';v6YW"g8&5<Ӿ!nľ[gg0ydBq1 КdvaçTGW` wn4;@6y3+tn-x0e2cd!EXӄ XyɃg7N4lC s/JS&=OI_%50F\_9QbZ-Ś?/Pscf䷽Ѯ@*[]Cd9C fzų5 eLE[H۷ `?DMJpk^<]h'xLBuw%X%T@K0 ku&||[Mأ= aސ_~m]? b1XA~׆ LCf}L4tXb;mX9FW--(WQۛws6=/HμW3IsE2^/\W#U= cQ߄zM*~P25i9tx2AIwj6V]q[z`Ay|fۮIQ(bUBjT9 1>'d ?^V_W>c.L<1jW4\Ż+O`'#,Ia8 "X^fs1?O @vmO./bGZ̕@Q&O|1)OH8մ{Mct.Bc`?Pk5قJQlVDܻ<9zyfv1o5ƠMf/){^ aHZS~T%*^! JM?].4hJjP"ƅO$or\SfmٍmaRnho(N45s]2P)0Ѱ %~ڙܓN`}$W Fn7.Վꃱu^F5ЛPĵYl0eO-um2O@ǪbkٰTd7lѯ'ǑTE:2x{l^"Qp`Uq$[ W)j͝pXNkTiݬ&FuAю7OG”8A BZiC:;s>Fh HV"pwМ@/zvkʝk2{j o=h"&/u-}hiR\fcldז RMp8$c(&/0=s!U*CkDtÈUuqXW(;7&1߸X?ck>+ZeNFvwɀmely _oXp$ITY/JnُP`٫"tB)isi8<)W&-c>sv`lb?k-]mz|Ju\E~X;J4Zɲ9[ '`>lk5'3'>kLsO'E 3Zi9=2P#{DU tsDuA>Sw_17RݞNB+>sѨIJTІnA\u^xui}=st[GXN=2lk{? \M&D yY0sVy&G(D`n/ƐB"Io"C=%;\J} c~x9Wڲ]4d3F Ay#-KUϮ>B[O WN %ف`[xY?ȣ"BP^ / p{_5wiƺ!yF6Cڕ]Mu4 alnѠfaay [h{b̃TCKyl/j9I vyL[LY[T{}/agUF@U<X? mb'Z^M rPIH]ſ YxU[riGHFղ[F}Gz5^^tz4cyc&}۝V{(4'ѻrUV`컘ʺ텝8Z04SoBʃrU5JfcQK\$ٮ3dA()"HqhhPF4&1{֚<ʱyd(bGZWZ0lU_dsnw?,@36qzt2fGVZLe]HZ5Q%jqZlO#v-Ã` ְ_CdAl(ޟNXp?8/6t|Jٳ3s̟hӴfuE~]Rr1!W@+1 i;zKj!L1Hw5y "eKM'GdYfw .#UhʪV9Ws,olҳ ~o31)ge4.gΜF>D7F[F% 2 _dsyrr?֒axvs!.Rm^Rw ǡT %{dm#"Rx8n9u it S /Ct9;ǻI,48xRu|=ciQ:"n?A.AՂJyc||I AvG_[߇w,Ba Ch"L3VSEŜ?֎Cjy%0F*ɢ]BY<~u5b7b{`FP @#oi$F`4[1:/la$|/ sSHEvC~JvW09'ߐI?iCh _\4Xq Q4q6۩OIfrr5 NXƪGm=lr*mc,%R\Oj?2Z 2*>zz?|3?)ou%s#"ws8щ*%%:ҜK@xCl a\U)! W(1v`4zV935ԑ~<[QcG&~ .Uq<08Pg֫F k]rZA'돈&!w_5\X%^ J;Q`\!5ٶ:ˉy OS43fp@ 0Gw2k!0iBГd/9gBIGhUSmcZ.& RKD?Fk1r +km᪴O5 BJhÛ{T/ Qr_ tHR &SGv- 'Sւہ=]D~=/Pǵ~АmBP?R Ql-{VJ+C2@_F%߮;^s<õ4(4 5Bk'ש#Uh>H09P B i!W)F.ZtG>=nj _ׇC7j"![i}Ñ?K c|m#dB|y xēt.1v5'0ʛYF㩝̤f)kQ<'sU~064D2jqV>R5XQQuP\"IQhi++|=64\HQVcАmcsFud=6S}tۃohc]2ǫ4%˱^/C5g 4pBvj _>{x0c@2׆0l/ a#h^.xi&rcй HH|Kڵ9d$< MѪ`jEn˱HtXQ4914c ¸j8 PoUY۴xnp{?/xn 0zbv`M/HAЁ3PHF2ߗ'}U}MGWDG[~4$8o͐ch&6(Ă_: %3Kѽ&i>7$ e´&*>;("dBTUn1Ȩ@6QKAZ#dA,n}Zx):X,i?hFkQ0GGqXaO}-f#zW N N\Mƕ ^t;׶ YZ