texlive-prooftrees-8:svn43184-24.oe2203sp3>  <@PT@7!.ܶujG7oe~openeuler@compass-ci.com G7od Iv!Z cZn"hUuh>C$Ũx y/to4Ѻ3T%|N+YYG>Gw˻ο36Nٵ]bpBTV^G@PHp44RBc߶-se 5Fa8k=h=F8br)KuäX(/ێ&5vmf10 `@dZcoN8т'")~XDF9R⯷Q8`H 6T!w!*lʉy:{ ' n?T6F>f9aX88v \?dijk$h@#{Q0\P-/֤F:6==KP^J70a9358884e8ec6f2a163a02914be2c41e4ce7d7c216432d65c89a5a118b16370d2b96d048ecba9b876cf0484f8243eed5ac1928L=D ,(n<>; ? d, 0 Zlp      8T(8 9:FiGHIXY\]^%bd e f l t u v z N ` d j  Ctexlive-prooftreessvn4318424.oe2203sp3Forest-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.e~Udc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤e~tQ3e~]XTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-split-s-2018-24.oe2203sp3.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 1702758229201820188:svn43184-24.oe2203sp3texlive-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)dù+0Ul@,)utf-8049ac2f5888451d3674fa7676f1aa88a1c5c2c4b0eb950df3fb57909d13c848ef3c54b0f3e40f1374132587c4a0ceee29007c9731c9e08b030b6af7958ded1f4?P7zXZ !#,=$] b2u jӫ`(y/vS`Npx4\9Qۘ@)6?h`4P^Y+t7k(cH6*E2qVfZ>el(6eGA$B÷O [$:Lń0}-JV-=0VqV-.)+~!ނ5UWkOr([&GElϜo{} 4=+= V,tɨ9q:4v -UmtquE)-UL{ݲFnL8z 3(qZ]|06 ?)j%Z䌄[3Z8g8#JûE‡ֽ(AXjxڅ(h(OU$WMvi 8(诡UUl[l*7>'ARЮfxG CBǢ{]uAT_ջ9N ͈IY&JֈSb4ρm"X\D4(*],񅦇`ؑ\aSmܼs6/-6YzuE@w3qQ1 d(Y A˒؊gef"(9xZ5"~fW*{AH:o&RͼvIuH,Q yм "?ufgKm"K*#'1@LIl)C)}LVU7}sK*btW+asѮ1)A+ٲl[&:/5r))}it*y;U8ծ̅4[巺znW0:W^Y/䃠 92(/5Y'|GƝ-`:<,i;f|ePSF&ZXTaV6]h[EnDG"\jJ3UePUُܜ/QԣlZMHg)pZ5'²]#H,3Lc+xa5''v?ω-?L%0Wni>`%"xi)Ϊ3>ZeV2[ O"ܭeNe.tsdf(vBQ5OSeRjAqk\ *]@NP&&D5+;E ٭/jv9'<;}S>Ҵ|FNhX/]!JVBH5NzE{ K5ld{ *0 考'bg$`ok+kHJ:Y~| Lae[qDf+!Z5a<6)0b;KEkjT!{) ,n+`OSڐ;>Sj8JY)y{-x[|rW- ؿw Gm0-q#T,#xdzS庫z 2/Y,@bJ7u9bg8 ғpspuh^Fspک?v~o*C&A ɪr^/ЬyIC#DAU)cm'+E2/ 8HQvoțBs8vbŠEUh([XDY|ٛu8X0N{y*jxRL>:Q- -7\Fwu,'fIF(#.jFsuTvYF opQx63'ΣRXg|}NgpNR%ͩcoK;ۼg3̴ b/OqpL.[zWo01@/VRQ̖Ȓg98G)IsmѲ{&DWNȪQyxxnG E9 y2W]9 ,k2aw|ERYRTW>J!eQԶIniFv5-[޵Rz412y6cZY퍬=/lD6e.nM:T1T0t_p@[2 =4QbN#Ҩ5ke@}2‘%Pʊ(?>ν0h%{둖zt% 2zc'O V{ +&gFá%„^q' ^v\j b!$C =GvHV=oB]G>N8tCCn#&I낾nz=zOhQ:!Z-z`Ϟy Mu~B 6 X*#vUݛveaFPڎW j km1"Yoq 5rnڑ>Sd+sxAv`<͋Dmu [k@Bg1t+d {v;b0=en3M,BόzqLZZq (Do%;THӒ6I 5G,,1Al|D0||G~^S,>%,8!FxvdplKo[/?mRXgJJ~<]ە<޶mˋY6 v긦)3I079'E.=tk<#T ʹOߤfӄeӅ*65G:\/;LၙЈ͊EEc8qm3B* OaP,SykHM(C8Gz .%k{|Whg@,PQ\ N ͂FOJNU(;MC .j)-̇g,NgtZ&.+ EW0/ؐٿ5v*2uvJo\\؟\ EY)d+飧0cd#yGKk|C u)6dl I7mE5`5@39H,{tolEWӪ4_XLmYQ)/,H,Ƅ|A(1P#uS?ff\J^S],4iV\(,JmY,'Ha:h<c: DOK*j!m8/=2  U2Ǚ NL8yS8!LS\~‹Q]U$p[t}b蹍.@dh'5(By[>pS>*<&C/Kbv?$$XЏx~Ek侩-+_ħ ǚ5޾Mдdhɸ!]|Us)hJpV!vB["8C=a)͓;蠵&e~P2Õo&*cރYQ7CjҨ/b+.NH/>_+33#>tPu|NM˷Lz?+ʻ8vu}ORgrp6QoR>|5;Nmk=I F*ӄ=aBۼg`3ŜA2EVԗxㆻk^Ťq a+zfu59-$0:-`&D5" (*g0xcyPVk'oDeŁ`;@ջ睹/7Q܏㳮Z ɡcшYWqrgy OE-['=P ϕcL}UudSʫWs'5yxJH n<vqf>uܡ2m_MڋT;NCq8̗c%%e([Qu] mcO# ̲wfC]mZ]m¬-~5>#_kV4h(U`nm,'=jupBdROrVPu JC5wAxh0fk6yh]И]nw4}|Ạ|*]BYbc6p}+PE{FCT8x_TWC`Sko<Ȼ7)VRSQtfXvԴ@y|u>>'ۺt($mpV>E;5I9:nNuʝF/y߭B 4&AŢCLы֘eڏ棩k7]K-QW@ BL&*OaiܐqZ13ZO^xӫɧvop-~8bc[(T")Md:5W__K9b9mQu8z̦( _IP|΀Kh ?e: A Sגօ(!SC=u~pA5b} riGwu$HA F,:|mJcQ`@t ΂q^Z h?@=n> 8cp)j#J |PljabvkgV5T=1TVᑿIn|WF /Yv}S"lۆBgZ}rҺk?(T; ]jo҈֮s.0f5PZwTd.Ϛ`jo'=uFGPv-B\ .^s 5U}Q̝z|!ʐw1Eio[h$?P]^wQPnj}x{ [ZDuj2[a `63~ 2ȲEZ [r {dl$lx4.ոo94934B4}2%\jhoH&\;oO<1Ԑ;&I~ŪXF 1'qŐGB} #~}.9<%=lBS燁o!u\4,D{"f=S:P&gȃ 6L>~-P_N<ǸZ{ &j]x_ w܌Foۨbf@v߯нz:^%iwL_e8ؕ@O@iivY-O ցg#A7M̐ܬg9qTOPڛ9CȔ  W,m!J/ Ea56J0.횾 +c5cs?aѧ.2b"xXCjSlT_IPEYUVA+Ge9#OoGV='G(pU3YX"Ǖ6.mmYb^h>8N@Q C*2b3K7@6A} @-jf+& EM穽ۋ[-[ @N 6SOvz 4=+=7N4UΏN䬚وo.¥@'+iNB{.1ٶR_"bkp{ÇmHWEBv ih4Ev_e]jx+tUv O hq4>w#"PV} E=i;XXן3Xbٟp';:l6voqXNHLQlI=C'\BtGH{c)9ӭ㕥QFHAhoAl:lԮ2FlteYϩV/% C$9,tNz+vwa_q5E흕`"x hk,Vh J(՟%mۭM]l*9`wV"5<+ vՓ6@p;LТAG+ N|ÌSA̶Ҳך?7I )3;(TG2,ozƕJ:=7Ŭ|OHYM 3@Qu .JD:N#զQʺҘ |ί=VnzpeJ,BE"3$ ldEG6p#êЖri7% e ]xljPtiPdJ"[=0?]& ENekX)So%vNGaN^}re:9?Rx8;IhWhLڝ^&jhO(qB_B?LVRaq:Έآ% &h F8RwM-ZtqQAaAcb|ΰ:xAW^@^&!0)XA6)b%Cn|YQ.p$[.RL-b>1$Qa]A2 ڝ&;]&&Z(n:TASǙELr70n uF1om24;OrY@=/1d} Haӑ>Z[S=f;\?bV@'H! E i2H-oA3rK.ah ʜ>܏đ <䍓<t U){ؤf{w߰;+1/,үgY:+!W'HVL) JkkKߢ;9vU:\BћT{eT.y^:97aE{:%@V=s"<7HL,`RI +۟R#,}X7AŲ$J)ebEF\F"waN0)y9`&M"7<ߚ/0:Irpp?Q8}Hfy_?cġs&8L_prd;'}-Bܴ>0F"鋒M 1[4 Lc`8Lh:Q=HYgCn`Ҷ@ۖiזK^MG*k <,!h$V]O՝x]Bk!:X6n'zi%~]zAoB(xք^ː5߮xzq L_i˧WNC;kǖkT=_3#SD KXr՗!bFl+aF`w c|`4 WYX$ }g  (dx9Uzfqs?žxU/zˌA%m۽Es/o"i1/jPM)G5zՀYt׃'06HM^.13`erԽu;:Rt9~ʬ' ;9̘5&qA+ OqVSNl ql,M}Hr܎kZ.t>P0|.YŁ2F`Ч ptjR@&tmUS9~M'Yg먪h#RwZ᜚KG䜱 d`̞pnh4c;Db_;vBQzL[{pp"JH7C73"dlZ{{;\~=3Y;K+x-M2©k"15AZ/rSI6loOgN&ej=d@bqe IҌ+ ЪuǕ V$s6n0`6o|!J&ŞYyŧmm>#S/7F׹>UdG!A';رvMta Hoץ!L?&d_ &n7Eބ}>7Yi슔cWt^|!o/kzF>ꢻ=]L鱮: { Xmhai-QX-djd ;Q*kI,vq fyN*Zz"6灙`€ipuZiF-; w]9q:r  n`#m.4Ǫa-R~Aq\* X˖\jNzɽ'ՐOD?<_6J{ ,Sl% jʃQAmkpg ~gQ 3 .TPc/~"4ZW AZdS\ 9$I2\Y`*/y9+aS.ׁ,\ZY Hi)b~rJzG[oB{gK/~vYuId+>x2qd_[?_YF"Pg,1HS:@r((9B'85IYG };_PBis0D"(MV}ɂ+ 3L=tAesjݷ>l $j+[% WG`5@Fǧ@-Ld(¿$6A; |o(]d ӌվW|,x̶pgA!yQrȯ)zXNc9Թ *ƛk0}ݦ!aLHF=G*?CY GBk#Z?,;; 8C %l}ni3\JGѝ*^"K\þ0W\wukj?zM }{ hfe7طdx1E\r}Na^ҖXfkrq`FAjŏNqC6Ti|Ń˓htk- F8h}(lnwjڣ%nє㑱2ȅ >U; +q%r&fB HIٰ2:Ԑ!AE*8td2y˓ݘC[ɦ;,LR܊?@Eu-A8*MZ9 uV*T_^MuH^k~fIR9-.Jsw|}``=Eh!Y,)kdZ;1?3'*kD_#_vD°_xПl9*EO=7Rs' 297z| `~w0Q5 5٦T Ф{X }@a-:఺aԹ}V)zTf-g }r"30j%|䁯# ]ɼa \iT3YL7j&4k1ov.U.TIol;1ڕ6f`9,HVkOȵIծ xٓO4E#|%ú}t&@T3?%å-t[.DzFC `zXSTc)Rd3ߓTxh]qlzwWcS!?5HN= Q=jqbyth&R8n1 %;1d<'i{mcLg<2STl^{j0(2΄ TJA+( "85p2=*M2xg~="4>?-{DHmR Vg:Pq:1$nIt5䁑{Sv_wF-3%<6ƶ =ICs.Gi*cp9 :Deu~&;߾xxPے ˯iS" A BK NGRLBo|a+rU!ĝ>1fgS(OAZbVs94tD<'!_pBD|%WhGW;AGZw4QMiQ$o\'f~4Ф߼ .T?}Uj_%`iTm].}UC-L~Lj$8 1N^\ {t,W^$]S-Kk5Tz-eYzH J,xZj25J/v!i6RSbS{omxh_xYv_<f\7bOuZ@Gv{`t1jB>񥮬Fw=CLE|EBY!,cMғ4TfNIW-{D=q!CQӺ SZ riCx:ol{e)gOC,fI #qAw/DLrb%x\9N &;Ŧ%򧂓pъٯ]w|d^(y1:(h}BU@ zQVޚxƔ)%H[{ elfߡ7p" 1BgM 5\ 8Zzȍ*1-Jcne1yc Q5TkȢ=w$v.Oj&0W%q(BK>@7A2X|J s0yXzض YZ