texlive-prooftrees-8:svn43184-24.oe2203sp40>    fQj> ;G|`u` E ? 'yOaCɛۏOlP8쮱@JP7`~YKq*w,.CsT moc>@n3x4[Y>1@-}5jĘ#XiKj ؽl6W6A@}m=JZU'_Ɵ҈q퉢NL4 k֤yLg{O:Z2_ w'dCy\zB  y"Kpy{0NEed596]̅t8 3i5EdaN#|搟V<:9>UT*2bbe7d28c44b8e747ea7c5783485382b705bf23e52b39bf8ffa6af54be40f4132c14692f9fe7a4634cf978c885c174d16d4c03dcbL) b#FdG#>; ? d, 0 Zlp      8T(8 9:FiGHIXY\]^%bd e f l t u v z : L P V  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.fQidc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤fQiQ3fQiXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-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 1716611496201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)̑XzTutf-8faecc9d15e15ece9e80a9c686bdb22419ec8f7370c98af2199a4835574aaffdd33890c9d62c6ebca3ba904d33b91fb469dbfd3678bacb548073b0ef6f27d3c6a?P7zXZ !#,=#] b2u jӫ`(y0u=pO!>pHCk!u)[~|Ӹ"t`Oo 3jPEo+ku]r|IRm O-ovpS8|oM}RIN 7 eu-=phLNy96-)Efjhd5.Cev4_H'ElkS⦎dT9LY/ygy&|h+3yς Sj^؞MDb 씻9d?وͺ0R!0?OYJ Hm=P?F1Ckl썉[V '"kVDh1oDS<P*yq҅yTͮkhv+\ކ%˭+A^h%Ecܷwg̱LTh~x.UX(O&1}-^DZHd~\#dz4{~(jt>cR3 ]wE #Jdt|#n#|ֲ':Sf󟹸V:dx&p64tЦ[g8ji4j@NCmt[kB ?!o"B& HDOĖ [&H>.ډ&. RiygJ8 z^1BLc&ez0$>}Yx9ZjfJ $2==€YrG?Q0g3p`V""+D$yXk4.<Z ]hpt ޳RՃmR%2^ti9UX'=S#oAa}<9%T\ zRmY\>qv 'yU=B~0L0,̞fּ߰m/B'kݘ,4qDreB :f{DM:,܎~l!ei! xN+O6>[UM!qKɦ-i3YѡF9[*Tҹ>l-S@MLI,8!$C_iء]ZH{z۶9#$ yWӟ.?(䩇fn_q=K0Id]|upr6I`IOFp7]JeaexhEKz.2~]*lbg_ʕC$tlJ9 *S(V˓#R|PVB=(Uj "8Vŭ^6PU4.Y<_ڋH \%s֎FQCCi*u쥩2oX4>~M@f31Xj@z>iՓbrGFz5ъS 6"r!#?"kTUM;eF)gG >2ey<(}Hy􋃁I$nGcL/zgyġI@_!;N+-|ݏ!]qbˁGjghZC6RWpv>A ;fabs),XJ/Ƅٹ+ͰUȾ[~U`>z5|m5(:ZOmW Wq Vۣ}Td-Vbh#qLby y.Nθ'*1CWM4-wĢy طFh͌p;1@;Q,<|aX-pѐ Y |0Y]:Y:qpEn5[:6:(ZsSq]@" Eȼ+v ŤfYu6uF`KzVZjh"hع9_K? 1LjSCbBH1.>^TjM!H`P}fKj-DJq ѽ#b.IEaqbK| dYAb/Xs/:>pqa&մGa˧20i{؈)vh||hUȫXD-da];&0Z BGB X0-眠kˤ-ћ"HOȜF)zꊛ"eCf"q-Qd;']ǁn@6#}\16}/PXAW{,jz VStgv*i:] ^7Kw] ) DaPxmǨjk5C qO>ImQljzLt|-N qS%=`q ,΍,sxҐ$%+hbLah]ոz΢nJdn0ֽrloN܍:w-`oA揌xہ'Ɓ!qs6C}*.=>m%a x@A'(vX"lb /R 2w6 z%h:ʺN~zK=DN((5L JފRMa2tu V0f~QrQ#;nUF=U[/S RnLt~10(w>$}Q˜(﬈]^!֐Pǰ* Eҳj>~ 1- wg58Fnu)FRq*CGL+eY|[γ1v?oZk*:Aym! p䚛y}#—I#G1Nz뎉 Fy&8\䑹|!D =a͊M2]YNUm+Լ2,fաÁtD-_y|ϵqL)uX r&Ŋ>'={ObLTɚN8t=NjYxӝcK! $F$wd*o M0lN6W|z[6NA97j!zi}uy:SOQ1;v Y9 h]Hd^rD8A#OgSO$L5gJ,k:e'8=#<cd?#l|(~;t;2NqbqUs`mvitnw'u@6Eז@BؒmZ18џAqr%g:xŌ"#\iB$K %spyrok|3 /@Xf~xʑ>X V/B;'K>|`CG`y<8 I"3?C1:&7+`~GD~0*Lt ts?G.BʸoZ`2>Wi71,Z.XTzm7-o a<:ȹ8{kjf 4+{1'D%XⅽHJi޽Ho7cM7EgM2>7\Csva([&U@ h|Ǐ!KBr ᦔ:)F`ŠH5[re.$86\b7}n\B(~*.\MMW`@i6ezx p\+u ӠBpĽTQ-(DPv3[ P&Ec"L:î@k-&7!/-Ϲk* ހB=\Sx &(틱96XdiN0s:}y/sP@N&ix]F~XgAXɡ $Jy>FTpN.nȇ%4'@ K\: *N5&?UIj=]uBugR?4s :$I33;g-]eLu1?=sW4\.J؂gB4+2mؔNCujo r2OmQ{v,.UCo0۷jb;&{,578q\O*wc:?pʪ7'/O_VXŽ{- , AXHOz=+}9"V,c?ڂ͠m|ӿ7/yNvm"o[tu?UNm U؆?z|V7}L[|ͦC~i̿E6 CMk̕; DXi|@#~}-5,)}Sn髉TAfbtt2aސ]C{%"*lׇL=h^vʬZ{IšF ^~K|)rD0q7:JEȇ?3#,2eܾHfܲ=^N`.! jPN"1e~ˣFLӁI٦)ysTmDA`\ZoX3a%d8uUQo2<=\gMhIA"φw0p9<)'Cl&hrHߑǸbS=,YM"QMyLNO0X^pGtX' FcM̊xv{3&# Sͧ<]g¨¯TgGg'ړ.ޑ(y"~ХKxA6G.l.*^}*S`t17߿4̉MىJҪOn4u_D"G8aCVh4(23)BPlL SlNGҐF] ;qx.GfSO<? ͭ?S/nmX 8pJMmK!/É,0uI85L>f@,a(M8>Dwk8Rᠤ{-*-]i6 /ʿkkh6\2_3(_ŀǟЊ(N`)h/Ue+TUGMu{\aVz#ObҐ\.i毁;[7WZ[e3N 7C͔gԣ+.J|RNE DC a8P!}P~GuUE?Cia'&,VSpL h~E*` W. Wt7*] ߍjaȏzAc`Q&8O􀙡9n=26JBGv)?b>P[x+֑@GQ':BDEo0#f]Wft7olqh^SF|[ȗU>Z"CMX=Gv$p|ś5Y (5ZFOVf[ yRL[23diD4O &(,B,lYHE. 5/5yE!c"Bc|`G:Y"1UTTS E$a?Mf[fg&Ky0STB65v]h e[DwZs/ JESh"@>!x [҇J]/8dkcu[.N^*0ɫ"?M1+hU^)';YԩgG{m=J!\ Dmfh9cEFqU}$!@U2HP*Z CO\.9֦߬BO<6}m^2E<}v* ]Z!9J-ʴ Q.O(ZaNH7|a5M &lJUɢWOD8x4t6IWO|[./rᓑϘc<@iDc;'5s>xh/>Luɡ5Hmh%ZFYAkM=(y/jpE'\0 Ni⨪)Y$`>`ջ:%'kKS+piPDv%R=1n $oTjL6;#JQ"&ǽ Wܹ^fw:oX]/~*c(Z^WGl&vБ;&oގ-LæְmZH`?DϸXس4Tɴ-JDVn<6|fӁPSp*@9|39Yv"^-{*[;hF$,煕eO,ٜZ;Y(ͯ W2F/ xpzv-fdyY0JFcbᒽ{l/-&U"!c)RuՠE* 윻5TT>d_zn#$gp6Q\?j\eA3s^j-nIcB(͍̄H2kL𡝊~zkB'-"N_s|8Fsݕ//կeo*mh9>:=C3DӉ)+ ۧ5/%ZiEvfZZ#ȢO^ǔSFS9yg%"F͸c E#^t۬EZ.W}LCZNKv(SչtƂ3Йp N9m΢`8!ZڕJmLz@i-bլ1@~]/., zr,'cXls,`2Ter\Bz$p9pzz pZ#7b ?QtuvӺ>+r.d]#_وT ̩2]3\ǫV-AZT6\l@z0 ˁ3vCZɯJ,71Z2mU59:;O8˧Mf7%-MPQJK|G<<| aWގ/ ]l%+3 @C[vmk9J{{8ˣ^RaE)NϒC]Fw_d O?=m7H&Ho7֑!|xvpMW$U}{Jm?_=yCjEX;v[6g{, yxWŴ8ǂb8Wmd݁Vn`I8 *G1 uv*َ,_!8R٘P]\V W`HX[e5#zOdԍ aGe˶1-' Y| O4g 门R3oC,KvX ϺLmѸ!~.CN%xgd߉sK̋!"I]GhknakOu\T=̞9%pa6l^ZjQ(/>]lî4t` 'ӍfSH"VPBb!߁\sfOqOZy5nJfOjhV }i2gvdi9=yG)ؾ;߆cPo:?G6']64C> =ci˗]GSxCoS?tbC=d \w+oMLPN[u2r(  #+[h# F1rTfs[9ڮ?54 ƈ on 8Y'̈@a|o"LMұgp(^gs.۪{kJ:~Pڵ9y%hGg`3RFڗ.NHJ r#;r׆u {4<^ITT.}[eYVip G~1Tyq?-k?^:00bH븈q[ OtHǔpvY=o>bO:wVJP0^+!z'ո6Usbx 1ŵndzg *9,9; ].{n¡C>(QiVkAaޖ)ŐqZs8 b"ȔvFn+u^IgE'q=DYnD[j!V4X!n/sY]thaԥo>M*&6_e)fOB4n(Uydu) δ$@&k*/ 1TGNAJy ^k͖.^X|8fL ړjyn[ Ѫ tln ^3دlWMįd89oBNX`mEDWN6RW%m6SiS%hkߛM@Sq%-' R",VH(qdnȟgU#{zU:͏'ZaKcBm8Ց!P]iű*q[7剹06SlV97C]ۨ4!oiQ>>?t+a[:+AbHL\/@M}8h Ž/Nf>ewO@$ .M2[mw$InyPMdJ)!e# uv1 T ?(+luߡ5Ic#f,hb'<7]}:̅)UDU㢛"+e~ ;n2Ze] *?&=iJ4f##YH S1( ]b4."zb*e|"Jɹ@PJh kB>X QJ=`Ŀ' Apt$A!C#IrxТ n68-x+x};;f5+کm4G62oK<4lݢ/+cubXF -ݓ D/]`0ؾvIDݿ5<~\ Ż4R! ~2&aZk`A;62Ԗ =թ}`iNx#qD8 _FfM([?/7Um5ͫਨ}FQ&Cw-_& ]T,<+9_X7hʼ/Xşĭ>Kj8C*;Qw&!s(PٔonGBI%&@5ت4vSU)S'g&˅A8Xe|65n{jZ ƪ++lZ8_Vd}!~Uk_'`]tI!{`.31EOx $u^-ف2rkIQDBwV,VSiA₌oe1He]zJ->Rc=g`~[h^\7>X'}msAZ x4KL1pc>v{-P@5h`|o?C 3E'8+#2E511uCӦu.ZPQM; 9 :\kSPJ0s>@F$@BN%@y1z4 9h2s'@abӍ7LxV*i~Qi0 ebR9ק_.6tR.Z#p+ $L}xo"4?V]O5@!)¾RUpkPP-aYu4㢼XY,XѬZ'Խv\PuZi<(7З|_T2_$c[葉T}L3sW$k_̬^A,WSA>6>m|p]ljd} _oDtBn$ QsaEbT\)uT]} (Tid=CZ9Ρ/94_Ci-30JU^u+9 nuDQHƙh0(o6(z`#rV=ڍpMڸ ;m0 EK/!"E3:=J-XcJ@TeBK^qᡣ7GKe.hk0pEeH+E !AQ`E*X NDuWR© yFHzrr5Ch%,X3R&*/t9o~J|O1c -l2AA8]-9skZ';G8w=$-9SLyh]t6X8 \xD1*ʴ$b:T2] #Bx% {`&J;[_y[ȭڇU@aPt1un'Qv]z@BQ8y@i;c}.b:ZvlؗR˿4&SMgˎnD%6xzedGֶB[ь|iN T羴 jT+Z$o tOr)@!(PMxf%ai|FSvGú)bh P>VWZ1.ȟ_)Rl xW:2 cR&D3%Tq;B$5yMO ^_-2%k36\{QC/S8YbdB`6KIͅl{9 Q#>eLUS>]=)xָl -.J#@MuP oQYrUÔm:`Eݹ4VOfv%VGz)~Hi[]-ԙ"P }v}ݨJ0>$5eNS/s @/0uw G wlq ZVh´5(5et4)Aal/*kl,ڜ@CdXHE5+ ڕo%LpsNM-Dky#{{mI0Մ:i6~onο:Ai6P|H-@c͘[Iڜ,~ut=C{uG0Yyb]Ė.wCIlY2- ZX303/Y-  챽Z('ǖ3.ڴP) S2c1}*`w:, g=v&֌,U?,eRL6Az>Rw)qՇ&^hUJ뼙'+mxב"^k)CJ~(&&l`dTsN.Ro(TI3%_; mYqk#vV /JV[^cww#2XB앮ĩiO$i^iڤ b(Ҙ$GxPPjnKb` ЪJ)ם;Cހa'T9YY:+d+M:6U}H{4NqwHЭ@_L,?w%.ɧ\%G$\`l4}ҜJNlAq LU*0] \{Y ]я\gdge [, ROks0R`p95Ž]Ll2/ky_pj~/"1ծfz](+ƏV{^Ktd̽:=oF}vZZcc"ӟM6 eWt{ )q-btkSBK_/UET-~[LKqܱdãDo kX/ivzJ{(JCO,yr_T}ǗZY  P+@hɲ7Xw}kgn|ʯ/Ȯň)݉f?yeƘdNH!la I5$ۻӀ+ʨT J\h:tŸ^ o]2<[\H/p, |*DdI׼nhX,cS&&#_FMz<WE7YI4;y=龋3 b;;FgH;}