texlive-prooftrees-8:svn43184-24.oe2203sp40>    fQW ;G|`u` a *W8A'3 bv3+ !I+j),mQy73N,h [c}tMUŢo06lVVI)?kB_=(ϗ*1 hiCfXaWlG)q,7k|g 3Mŭf1SN aA)q9TtU,/~WY<%iqZ}! a1S%o\Kx;NnOb@*MeOw$_UoQᎾrM]86Q?cmp^~7FK(H3rpx5A򀬐 HhzsrPޫᲜ,W1wA^ë2iU0͛Pt*[rg02883273ad964c0400af62165c5a6465004b4fa432ef62b1dcfe9e8b2053be5500b75b28b2fb1ff64e6317a8e4a2b468db044e2fL=]IqKR4pr~>; ? d, 0 Zlp      8T(8 9:FiGHIXY\]^%bd e f l t u v z N ` d j  Ctexlive-prooftreessvn4318424.oe2203sp4Forest-based proof trees (symbolic logic)The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.fQWXdc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤fQWQ3fQWcXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-split-s-2018-24.oe2203sp4.src.rpmtex(prooftrees.sty)tex-prooftreestexlive-prooftrees    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 1716606808201820188:svn43184-24.oe2203sp4texlive-prooftreeslppl1.3.txtprooftreesprooftrees.sty/usr/share/licenses//usr/share/licenses/texlive-prooftrees//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/prooftrees/-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 textUnicode text, UTF-8 text, with very long lines (505)nJG:IP[utf-844b0e46bf77fb1d1d8c1c6e89bb49a1e453701c0eeba1aeb67f845ebd531f664e6b032d0d88b85c147de6b7f220572254d610c58d901fbdf6a8cd510b8292703?P7zXZ !#,="] b2u jӫ`(y02"{v78+-3.)RDIfp3J7gȸճ7Z7F'N(0xV@G>/#oI_mOpApM875xhC)"@7:V\agDPtR ϏlCe}#t߷ I~S6~@@ԭD kzey 8/%{՗u@VqHJqojdTCzh+p&~;=yb #/+g ,D٥2UӗJݬ&5业0-uF%B3لyOH <ʜVs@B4?&s`y;*C5X>T=ϵÞlg V.lۏbzQi>鄷| Z|s/JbB)UH ÕmqzCE#@ 5?gY7rPylKUԓC߉G2!@=_`-q?kFᒈ?%xHO=Xf!?'1KpRJ[i >5- a7VՠqSUd$~"JBV.q16FŲyIdŎJ|:G8df_EnjDo;3Zzv(LMR =T;?{/q7;:ha?6eJ).m!SFh3I+9W#r&HJCdl"i2tuewqWmUJM`@.X.xC$}jqg Xy^ yT< ?R!qM!(y_1] ]%%*8ŨةَaP`M)ɴ 3J^d(E+TYYʺ MA/vQ%VM-w{D<VKqHs.C ,د-{4`tR qS%a(籴lg DUxw XqXQM\>:m1g#Y[$'giKf3 =T5L 6 c+T~g}$u֎gT,/֩fhHM{aMY0W)P aH.z$U@_2oPm]F_. ?._6Ϯu jY*E7jfqUBB14tB57OibEԊbQH2g 9NMh\CΐI,#`0eۣATYaighsX/Ekrj܃^[!m9V4ӄU/jUp(؋;75*u^0NM3x]{^*֟z@$}H޻w0C%!z C">,d.A-"+2W#g\ƑVC`cUzV3jL[`fc>,h Bs_ [}WUIgh@Cq~lm z:Ƶ`lՀ!-g:uRXRۃA5%i!ena N >`3TKۖ )NϮG泛ڗJ#XG$֭Z9tLRc,\ȒY-Yp5I9K |HOؒՓic HGt`*sZ$ ?冬${^Fle!7[sAN2%3e>cag4n&i%^D+ 5X=݊RI@Sg'}#3xJ%3z0s6/K4]+ wj(Lrg? p>קW$ LARN : ȦDsP'/;Xi\^I÷x]$Q'C[[vq&Ά. }P XOWk>*HcUU"THZ2!,W>غwR s,o9[OX%V\\=I 90igx҄){t@m 8Al6c?D9GlKs1d`2 Ye#܋&DEm9҈ P6 ~LUץZ\}a\pPJoj|0G>b0 ʾHґmuPx٧pܲ$1սn~OByakv]u-< dބQcHon43Fߒ'7;9L3n㿤2 e%[}l{C#C=z' z-/ b霕R&GueL4JK'1s'ld;.|K t^VotlTTGjd-YN}P{Ο Opx /Qpx- {Qiר:M?kʙile؀^"&$dK,@*5.7Y񷿜|"1#pYLYNw΂C_3fڿԼioV 5@r6rkTvq&ũ p1T;Y;H0m8ˆ&Oc,kE\nBXF\v:}҆fsѼX4V=Fd냵`KLsװq.ݕ8ȸwd<V=K*k,)(<7&F>;qt ך2UlKq*meLbz9 C66-l0]B5 鬧N|:|7.*da|ea )Z|<ъHzI/ڹx&'aPst)ͯ?''ƘJ4rW՚uiRxzgېh^Cf523Ůf!+xq&wv@4+SwT_4L{F_h_IF曉c" dg:8I|;3~VWSy'7گ0 j1"/_..ؠFt |4 6GHұE`㧈&7$프V nmgfv{҅GBuun<>#{` Iۊne3%\\ ˞f8&9i^B mޯ+ ͒a W*?t2u|7JgLW{ G!U,G3[MB!9,lZ;j /Zplm=7Z!aqܿ8?)4k>-ߖPM:] JAw-8K9Ii/sdeCN h,([,tӤ-;TúB.7 ONÚAXnŽqеU/v6B0&;Da+”ǒoe }R]]WĶ hXi9E̵fR!ֳ(gg -0`5i~A~DNv孨@ USӰE9"`> >TA"o~( yl)ia>vR /Mວ>  5n;Doa|_Ƞ*X;$`-gJw IVW 7ӗBx#0s.EU*nmOѺzolEL1zt L{ -,?0Xͫt01 Ft8p&1z"R!'THS)`sAxe{B)xtҡ}zH-O0#Dv Dh܏}i^C}a˹GB`qf?qa-9x/ ЋK+ Sk )>i{ CapC9M+ڪ׊;6tC6 #+˂\pEb *3 "+K!f蛨{}ejx"Fϸe]ZbIǍG3M n)we>?ښp|V/@ 5ΖKMi\&z-Bd( Bت/,%ے"d":@}"OXQ-\Ɵ2wɍi0 Ժ.aiy4dՂraBx(6O웉yȤ˪c3)8N,kd- #3BT|/&T,,P%@: .5L4xq)7(Q>uLwj42ގ}&W^ eգ6] _Gw+vJG}GW ߛLwIO7IЎDF&([.]rI?&MrhmGhnP͜xth%>G:!L=#{{OöKH,V2SfϠMĄK w~Ȓqu f>LTtkXA  z/;G \/Ym -bKur~]95*%wIPCE7Fcv[)g0ae}ֹٕFe -lza<0S1#7[§vB(ZJF֢#w*>hBi{pۛ\ X\$VʹSV[Iޭ*AdJܠ&Nn[YxJ ; hubMy3sx3ވ.ctGCAq%@;^:Om5O酾)$C2wujd}bc0R%]VK/C)H_n[kgnebS,"8 ̂9|j^2z]1> QƠOFC n;إK ֔tNmC{w~5׬]XλPld{iaHyUUj-{NmH%8⨆L&.!ο`\SToיxe12EBlQ˴ -O˥uLoek-ʅ(zo'~0Uw{!c;墉cfٚr!%8"4*wCYAAݘV#70}s{ca9g6ģRf 8^&F>-xO,z4rN2cT*}vQCð\i*ъqY`\x,e? o╂w50pkol/Qcegng喁'B.&ԄW=x:yS6/y˪iBد>s޿7hSjrqy $ T]jf.O RS$w>""e$,sfe ]J 9ه8K+ɪ>Rub@2c6Ńspk$-?7}RKviHp٧4+'FrPIsBTO"8MZHM5,}6pbr||uhVV1HGb|](t]]!ՆT.^؅EoF.؛߸g>y%b 񸈩I"Z cStKv% MIa>Y\3y]O<32zD{[I&p-%19˕3V3'c 3LJ9u$Ě%csuERrjWg'?,0DNTl6Mō5bШ^ղ3_׾{R<Ri9<1^PJ PawhC7*B'-q_Gr/Nj84<ǥ*y.M.|g%E}D/`Xڦ(=<0gw=*3ZԛD_L4}4CEBR)2 Ӯrv{Gl*(0]Z PJm|km6FnF@VjiLBrb(Xu(wx٣-*GTBଦiJ]Hcc9ʙs5__ɴ/4`Qx.^S¦tj 0n^Y%#U4QC~ OI:Fu zs|[LMb&ߣ%?X/5}#iiTSvCx>aY'=лmwj'HpTm1oOam3pуQ\H|;X]$H ӍOF(|c1+ RU2T% ;2|U/H[SB;uD-Et&[EdSP^D/ %d'ȑo&5 >R" d'2JQ`VR&9Ubmq,.ybDq80]dT_8lSe$85[! ϶tkv|SGR~#QPc+,wer縬4RA *'B %3  ?!H8MYxuv E"|};^3x}KF-K} 3Z:UĮtWP!U/8pRMJDaX]AqsX߳LD!c_h :i%wڹkmWR]:op3?ާه`{,2Υt.[28"rKRgױI/R^YbǴ_ 3ctW׍bwrM&9l'l4_+^aQE`?K/UJ 7EWZ*?gT/\U yAp_[hh:<m" RG4eNe t]׍B3$ם"6w%ou=sbHӋ)T/L~StdtCZ4I%2+-#gfIùupyp璌\U@ZcP!b?8ӰL5v >; ߚ0gk&>U 6 좵^yўGm'\}dBz0MjL60 QWpSU! O3'u/fV.ɱbʾigq4l{Q^i6x('8ؿZw{E0> sM% ׋K0q> F ;^lʺ IsFԢt5>L\XB^C&0#T160{7r@xL&xa٦cOi Ri[FNn0)áLjW:<+6`qײpKbC 3md&g5l踮"_&`[%5qbGʪq54q:V-`uOb.!']%NjyU]TyޟCM[XIHD~V<6ډ./v8}Scfc܌N2%*T.4geGL+8ME3rw'@#c!p WUa̗3=p]8"Ky ֆsFGv:oBhaoym˛xA駀d&l'zv @T*p`vUU|ĶB^INz{ u Cfi㑲fARVDG3H~ċ /!Kzpb2Sk\&M`Y{g)sVdMuwCdSM/*UŖ @5?Y tTCI[ ߮BHoF@ND4x(( 3Lr,/&]2i$`9[e611sԝ!4A pbVoDz*gA=0K8mFqH7BG5w~y+'犉}[LZ< lTթv\"Pvf\xa NtQce|"XoЧoԚ;_[Y[_褼zeOV1~vj"*&+B.bxʂ~XP` r^Sf"83qAz)Xyf*[JVpVTVi ou:_Jh/W)8) N9,ZgB/2qY /ŔKloYiwoM<̰NXZõ!qchG}KW]#~ .\<\?=|/áhӽ~G`-ԁkՇ;Rҙ&bMZ05C$ $R6Jdr' ϒCn-$D@ɯo4 'O{P%bfoijg|Av_U ܭ+ d-?@8|*^A4#22[a$kjy~ p:X q\$32G~ԗv>G!t ~͍[5},rLv,.Cq2GɻWtl\Ape򓳦 51QPnl8aY>e6؞LAF%&jL p]8&Dvl~QT;Wz/gPGtj8JNp)Ġzu 1 #ѠNd EfNS'q3zvo U#8fr S5+XDlT ˑ|N@W96[`hhæΧG~'hU[!ջ*N.vË; P |Y97HMdc0kle5(9F2lBG[; T#JەK@FmL;Hl!OwHV>q>q65)@3Ot:f ArR *Vn"\MLD$/t[6:)Hh !b?nC&p ؀hNS.n`&D8n8gG'za 4#m9ɵALJeȓ%$ܤV|Ŵ%jy{mxPMkzwsGTs6gMؤo+2f 7+Ϻ;3 )ڔFM \BF%VBɗew.fqL_ GNMd Y=@+էQGͮXMp_znZQu#:ZМKԠ8l]x庅RGbfV?|^PU"JT6;{ N = ˔MM4Q|(ԤKU(wG cxrultSG|@rY ]HH'8zQDM3H}scſu͏ 3.ΪO:/Kg0$[?V6 (=+ ~" c-♩M\D2ӂ LdxI$r1:VfLSI**H6-3V/D.U.\(fèQ[1Uݻ 9 YLNנvK!<q>六*J q | aӍ R/Pl_ yHfFb*e;ot,Q(SJjz>/*q'94>p^B.l-O}28:J*/=['֢9LIL]p#sڢȵʶ-a(-T 0B3)78lݣ\t{Wb?('=q:z蠵ZY{yduE*̈kk\cKڷ,vzjBlK}N=xk?ݥXfX"f7~L,T3زd;ޘL;5,q !˷OtnAVsnPbo5u"/ibio+|eaΕ$-Z>)-ا9'6 콬cS&Abr[LqA>]ԛi;|TZ`n \)( dH+Td*ƕjSvfJ@g~ yʂ9=zX,3p1Ai"}|L[GK:[*²;ݟuXfDL:5d6yO45r0j4}GI! t/K9!/zG#RdMqJq??.I *QSFk*K>!ͪ#NQl v b. = [ܷsgo\_CJw{3U}N l5s/3HqP)3Txo{w%[%ȹPFzlglrCR}Cf!o)vD|I<мJs$MA|O2",X<29*pqgUp3Q~Dt'ȥIfF4ۡ J3J/B7-j _%/oo =Uy#$ABWBڳe,TA`Ce0'nLИ}Ig\A{7بŴNZ$'L .Kw!ݞܦ1v*9 e>1ݎҰnWV%m%$:N5?(#%I0v-XwZt\d4^gRw74rWZPI~9fs{dtq5dc_3^V++szjyfB@BF<{Vu1E([:%ɲt@1_:? -fk+c=;liO}wzΈ˱[4!+^yb b?睫o&R /\ɟih>:H]2O0s/`g1O;[[j iNij_"bL2W.έ:T^L+i# \0 [ϳfa>CA۴m%5 ɲəLUM"> 2 ,cHGU^{s<얞4G5i"%>+^='D5Wrpsd-T0ti{,^00$_d^;%2؋Gk"r%Ma Xj)'z YZ