texlive-bussproofs-8:svn27488.1.1-24.oe2203sp40>    fQW\ ;G|`u` _q ^S `1ѴyNX2Z*?$({x%ޯ'8]2MkӐ#2l[ڙ[Ozmрk7Vyv}5qrM-{t__b|=싇 €h}9HG/xȤomM{|Ƃ_ttt PG!蕈z]ѝ'ɕܸ,LPu'6ϲgvQ^jMYo;M*-PuO~&m9 hkv;9]#^!-'|4,G|'qŽX430ӶJ o౭K|uKGVݛ˷v,f437ea4346afa3f277dc1f1b763984ffe0235e4e2b33f69202f0817e294e213eeaffd785a39be27a9bc5715d9b29129dce1c3a17GE`OƳ4)E>; ? d"0 4 e04HLU jv    P Tdx(89:F1GPH`IpXtY\]^bdefltuvz  D HCtexlive-bussproofssvn27488.1.124.oe2203sp4Proof 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.fQVdc-64g.compass-ci;LPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJA큤A큤fQVQ3fQVX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb4ee8bb0da632f7d9139499b214bf7dafd733c996ee3b4c5ebe87d74d01d3fc62rootrootrootrootrootrootrootroottexlive-split-d-2018-24.oe2203sp4.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.17.0`_[f^$D]maminjie - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- split texlive- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1716606684201820188:svn27488.1.1-24.oe2203sp4texlive-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 -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/generic-hardened-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII text"蹻/?utf-881e08366873a149977a54a1eefaaaa3002724d124319aee4cfd72f8e960b2e5603b0d2c424b7ae39813488c1218557469a51d6db36c7748fe5516616e60960ef?P7zXZ !#,O9] b2u jӫ`(y03ՁĴHok ivÞ+RX H}*x3嚋1q< ɇV+|(b7 D}%WFjK1xE?Rt~ o[CqTEEK/sB@W,2_?*3Hd _6\ǜK!쟨~%&eSCo[у,r)9ldaJ,0TVgUaF7Y\f^OW-|{˔Ͷ['vG |ֺQe>~x taX=YZ":Y/ g/[*v|ͳO /9`aZJ?>5T08Ŷ>R:LQ~X-}}4C%͎i=A-,﹮GPa#o`U5Xϧ{=HA:D%kd0BD"> 0Tuf6-0 {MꏈsWk1epQR!ܓqبA i'LңAKHLbqm>*D> Fy/?)||+ 4=Tljc#DY3!l'Wb3\[ fLE0?QGʣnȠbPI>8?4ܿi[|Pz?bـaa{s`j[>v>0^OY>Fnnr;T/A-m CvK(7bG)NWs:hѥ!~Υ ??;Cʋr|!T,!n-5򀔈"t^a/<aId0`$+h3$@m XJFTh>+;V 6vxpb^%zpd}([땘];@'֟hp`!)q> MpNti؟jpwyk9)Z^dўJ[L'orƲKi_1:+'wh;N6 b#㦱Ġ8ƙg:pϳk {^*zKD5cfΒ;Oo7dxl Ox-`$86t6Oi1"V>ÂN=/|Nzb:A< " 哣c-}gNK@|LU~?)]<&;C! ^DWՖ. #L>X"P `0a}O)M%X`+JR?] 7.>)R.£lO|'@Xud+3۬gؑ;[~i]tSZ%{FhR#{@mbٟ?r Q?hGo 58<'-ςp}ňV̡8E{HwM>Ѳhr1#֓)C tfEuduO/#q0zG6EGn˜o͂hn; ]"Ë}6e6ٷ.zsٚ, (#:x 2@Mٲ!3["siF^dX:8Zw-Y*l(fWgdJp?Ѫ55Uu֒s]k:,EYg} Qwbuô+r ޻3|8R6hjӞ(O'IԝM%|e>[ڃ|fd|qn8EԲtv@j [T`\Ύ+ft1kkB OK1QR {!|Z^JVЎNI -#}Cq/upa D:4KWB M\k>zPhL7$#\uS¥"*W2\=߃n@z"h [B![zѧPVזƃ`֯B2ԙx=hy_} Ljf4Րž|G9UC5mԮ C Y:_&ljI4m/Uzn9?> Ms-7(+zhWtӁf/y(Ѧ' 0EZ~.On@:xos<)]ܳ;} c;):ȸ/:Yi}D2pIm9ẆiqQqڠ$|XE`5AyBRIד1Y̧H5oav4H>yp@m1 ô?C-J,tE[-c/3Ӯ k7ճ+ DB *Jg؊Oƣ*9.7eaj~Uvu \/\cJ1tX`C_5򅐧1]s> ɩԎZ1[ѵW_4rdRW?1x",~ z#gI'34.?!,RvSHi ijZ7ʂ- $/ rJcVK(Ȁk0tЅ#މU8dpTDFIxdw~ k<蟊q㔡MjHJb>K&Ӆ1xj*X&RBd{'U G9] 楊^]5c8nh>ӀM$|LQҖe.^]~KWg$˺-Cۭ65E^.y_ B{a.vd=>iy1Awɒj #!Xڑ1W>IW ~^_Ϝ4z=dTh63#[:: }wkDF4Y'ula{3x%b` =rdb0VO%|wgǧ`YuތFueWW:)=/d=T Y} p3ߎ-:.QQ4ap6S'Kv2@o%K5/~ݘ3G|9̛qb m}r !Xcp dIA[)<92dXd*܁r)W /g4WצuAi@ޙv7Ot?}m] .CZftGzD (y]A#d]A֑U9Qb'ܿ|%Q N֪宪|BQDA\{>6hfYCS+- O+"H (:I֫-VG^.h/4+-sr%ŭ?bnI FլdH2mrO^yy߈vB*ot+w@^04%hg [oT- =ƾ]>`?2KZTLa~UD/^Eg`ukv)/ ?Sk*B8A4Dm3P55K@s0ڎF:0"4e P>eۡR{q~H9O ]/˒_qMo wgbn-b,C6OK#eYE 8ĞՖT+Q}RAr\v( N:x[@T9L1Wvՙ` =o5ďIgae7n?)XS䞰k%vnUKE0DCO Ne\p?yXr-&'k 3BjJ1Cc>iy|D`w#0XE߃ߚvasu(꣈kx0Md^e3NRqc8[˟~?0TQx .@ 1IC"RңmGx{0A Cy.KT87=Mr&&VOMM10"[-EXt=Vd';O C)Xi1g\0 ki IZa3dN" ( I!6Wƛ!/mZHܴ Y %A / &ä*{\/l@G>pI )1?ɅDwnP:j[AˣKs-^ X|POuSZ4"tIۇ&&$["Y>?<ٙ\ɽ1$<Ϊ; F8>ɌX-~iEq5A#aV\n%pl,\'f6cUc`X6O`;eJ ږ7 kڋ)܍Ӓ|6pj󌽪zw]1gx[E)JA@#OOhF7oLzj] gǦ;*kfpG ż٘niG1ضW2)Oi\~mZMC44˗Iiᘻ X]5zhw>b\F>Z851|޽ C<4r<@%uٱNF{e. mMMJhrQʺ2'K[jeVAI̚K maM%v;-hDH{sF)5".S_(K|E6Q{K ZjZR¬j5M-Jm' #ߐ{#./_o5~f;Zz4trH~0T?uuHƲ72gTC0ce(›BB}cayBpm+{dhz{T?`XvlʏRtJ4HAɅ)rf[^־đYA&mhg׵@P,US%N~^;OBHidA\n,p{~5Xhџ'H;˴)裂ǃԝWB+[VNjpJwbay{fs۳2ݸ a_,rЊvNBGѪԬQ;';aj5* ?Qur|nK8>.WΕBT1H'R#Q ҞW$>$CV mFUƍf sQC1Urc&=p 7Mnoس_T:gg]*ɶx1(|'Jo4SטY%{\,Z.Hb-м<=9g %PR^'+(Aub Pֺdw"[g;z),|_T6R"%󫟞D,7ݿFS #!FK=lS 2O7.dz&fAэ /S32e(+d;d* L-$q8AEk6{.z,~vb]~i;<*~*чC5v yqx>]l; nYcyP2*M$+:u`?O]S!޿:J7BWsaUM+D&xB{. jc%ZJ5ʔ'}gՑ} D$pӵQP@dzr  r -mԆjY,ά񂬜.]p#UfzƔVJG[\* %1D6t*4L>jlF6Tu} Fr8y: g\k$pT ﷭iUTv!^u,6"iv̞Fѽ>ƒTdۄpGrIoU$T !wt;0gD1S[}٦SoT4Gi*Ü>6Le.r}r~qm[\؂&@+A@gIB{lt8Z'˞ۍ{Dh_KIW6˷~ɞ 4Z>25<v=~Pj]41u]nI{V̕7ų\#=Fm>Kβ(Jh:YOˇnͅ6oaq 씻g5>`k{kVv)D\GCƺ6{0w1Q53`5cи)( NM3\SuZKʙ9n׌(q)ڛ8+>hկ>bˁ?`\ ~t+|B6꫙.-z"xȸפR?D<2OsI1J9.Uq'u9zKXWÔ4.LLט #ϔV3Ɛ"'ώ}]7'ec^6Lauot]jb|uiN|J&2Y${j0mjӔ 3I]3g*(aB 8 k5Xɚ!wF^&J?`l*bN?4B}xCgbc>m}m5ðO 3UNŃX㻗zAT5X_Fș8z^~@K|G&{\so*@"PTS -N+r:k-" ?8'e"7؛ s[ifd&EbK+J`>[R=㢞nۀT ]h!#BV_;Ggl1kX*NC؛M#, nˆDW x+LQKZ"lN{V:?pSMSTW,nDsp&ePK5ͷŌ=P!}W (1,gXqH;~W|I~jw m;M`2n h0Sԥeq<}6ϧ,G&D;EIڠfV{yYp< d39Uˌ һ,@ xG#=L3稯1[]73'ZmNG4LP2ųKtQe;<8׎1%~XY0d2m{&cb^7oWxqȞl/l{>Y(>_հ w'Dcr(Y$ufǀh,`Bi[E"{ ߣ`dCuK>z w˥`ԃ$Z. }HIj֗T9Lfb+'ӏ5> kz}V^=^u  UIgcm:`zY!%xhG|;A[M/諩ZԢLϯJb ƚwB1+I9?ӷ,*E=$k1tD4tWCb~"Nӂ^qEs18B]{WCқS;ctE"@ﱞxqZh}RYPxGAz6$Cʶ%ft3٬qF&UKǔq"S :|h8(pDbZ=Tspf=߼JezQ?1$erUly5T!=e/u3ؠ3fWB Z`TOކ"pжT`02@+TePoc@\VQ޼fFApȵ¸3&'rIWKA<=WP7P>I m6/kAfn26XyJ+T )NVP:lP#C 9S:KP5f9[\ld,ߝMYHz#\DvדM P$So'#ČQHm?[Fwc}>"%+,-\@LYK%awVS "ohy#;v1Ϩ )?s |(,S4tv 6b@MD[tj\Ev6\MѠ? G&\`9*IsL }lR$Iº#0AUbFdtG kaor5 ?<}Wr 6wUU|DP}Z K]z;seng5 (4q㻃9Q݉cm tKgJFg}_ *|`DZ(@ m["l* ?q.L7{iMfcJ'^P_P m gRFTG^>pFk=\80P, 4%4GɅXmF"y1u*Mr&˲#6@4vU4 \f^h>H^$k`AʜIsb\sz*fcZtC~u\(CYQkx~~ 1:?$i3 Bc+U;X菵JR:c;ݴ`+weoCfqgS uiN\*pz^!?A w0pTze&;T}&Kp3 h.e IgDVșaS]>yDzr)ӐvjrmH!O̾.[]HT m4[6vCq8 o5z(YU/,3~A#1_RF$?lx}=Ef6 }Rټ MTpAl80`a;n6b4 |ұʌ=/!l ɏQqnkM#"/@k t w5~De_)xkp_s{Y*jxbyTJ> Dznt2t+:R)?VY__0 oZ9=W/YAp؉ 6//ҿklƤ&d}{GQWG8э6χY#L$@-c]p9땾Z" LjfΝLΨg.CC4GN֎zk9a+88Y fPtz QAC*x׸aJ,~(gX(8Z|Tkے |`Ai]n, \1"ux?`X\`-]&Mhu[T_qg|]&A)e Җ\fxkza/0p O.i()ä־*;O?UWzLu%?&WhR T@WN{82a\9YYSgti 8,+:v>g@9L k>i9x@ILy;0)tJ|5((|(صvdS ݁d|;::kfdsH4qV ;-YQ֣rbzZ{h }9BkzAoG[34pcyk-gt&Rs5?.tUvQi7Rg[Y$wXQ$BPMXjy8my> |,w 06M e5aԅtgݯccp' #@GG=([Tsi`R>_,9M^4baas4k^R@gN)t|'YۨMg~o+9C۠_ג~u#01Ζ_w1oWwP+n@z'8),Md⫶B\ܧJmכ] r86_KWHn"v 2LCuWl1PǕ#3 ʭBO OQ{j;w ~mMc7NR#5WƓcR=8>EP!(IgrKaV'TvUP97uӛS'A`i79, 2$A wY!`s=F&EӐXk]sMZe ܱgoYSy\e$fV*s`"1td(q@d݉"0C'Z(02rOl?v\ -vtH3P`?=6yy 1}hA$w|K}uާկbsw~ƒ,ƛ$U +7TȿoQ~@8unJ1Qu֪-)6氱J|hW2cVD o=MBgMR e OmtFr %*B5U|d[sA1gFͺ1RHC@!Bh4AB/yLpW90;{m[L&T8H4: ꨑ(lf o[ :I3$B yS'z^0|^g2##cٽX})-d3`QG"6-Q4[E1d8_G;M-`^h9,ʏ符&ߓ}ju=u^:,v '{;)t o1 o4`ꂼ/@RtAT$!oձ@syrsmR7,&0 ki֫/7灦bkJ{;:< o^VPSs)ȽH& Xp, ŇW[К?ɆȪ힀 EoC "b;4A|Ԙ oU茡ji]4׀+,lYM!OWInM4be?Bڏ/raA :Q8c71i5SeOdlB.phc DӀH#Ls䎐7h·aǜn`5>ѡR>Y.2m$ф粚i~^U@XGB$94!WFQ6tQf `tlL YZ