texlive-prooftrees-8:svn43184-24.oe2203sp3>  <@PT@7!.ܶujG7oe~openeuler@compass-ci.com G7o~ |! KCʿ*lԑ8[DWt߽CV!_ԊkP+QXP"J鶟[8XH*C<6y oSz=mc$S4UpNL[-H6k"@F*DP^ t:ܺ0H[w)QcUV "Cu;o],9\`~W2ѥβ]ops?uHO=! `.%Ϗs0Wt7f!V=X p= wK8K[.I4M0֕mf8֎-eG ;Lk9.YDbM[sh+vssz;g4{b?2> G2beb4d288e1288ce255862245e09c87a993727e8132dd44204a31c9cf3515a7bb0cbe3999fbbf88ec8a794efdf791106ee754260L-[iy͡7>; ? d, 0 Zlp      8T(8 9:FiGHIXY\]^%bd e f l t u v z : L P V  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~&dc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤e~KQ3e~.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 1702760230201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)ޝ e~$Hsutf-8204951aed029c34a44615fb42cc5a0c360d82445014627d5f5ce19ddd2964cd9976cfd5889c3615c2e770fff54bfc752e8fd42fa775781a94d2dea273b41e64d?P7zXZ !#,=&] b2u jӫ`(y/va6^!,0.4 ,T82"j&x-@oiu#:Fu1;6ϣN1 /mfqiWr+SrE.U.6ͪ  ,<ADc,ӴҧmYex;sLۇ7GW6 5c0uz\Z.#-: eG 7=#qËPD9&U'nB4[#5HOP8`q̢jGL:;a.opb=lƦkɴ9E1)w'y'N}GWsCWlT(J:$9b (;ڊ4I繄z҂=ۨcټ8J*zČυtd_8˂ncdl!i CON dp#slS-|MFWh\0!y*}q6P:@E݁d"@N t#19Nr|18/\_SDzjCF(V@W(gHmFkzD[hoK{A풊ۓ!DrȷD޲so2EoK6VxsohYUCo%MƚV³yX}𕜼f}y kk+}*>pҋ7|PK?-MD%e,VMo6[Q̜UTDr/n,6&@8LۑD $Q ̂dQD?osE>+_oNݻeQH66|~**r83?`?QIÉ!b@#O6^ӆLO1`T5|% !ΜZYdߍMhp E3xTuGUdRJ lSm}B< @]mq\L@uf,ShYbI,Omc$tp#"da7GlIr'aYRFt8,>!M2U'"deޟ2+awƤw=`L;%uKgTK!.#,FJ&Jݙpcс2$|EayiGYtܱ. EC'aT袕?$9ȎbM8z`N:O-D8 ٫m$5YQZNjku!^g'Cm3Wb)MZ,gUBe\wNsX _Iq=#AR,FG!qcn1 ~BO$ {F|Jwc8i (cu"!zB*uքV&JNiǞnDrCa؜&}`@Xs:ۊd>|m0El(z(&c+MUΡ4sf\( Y9@<`cb?V 'Ǟm?ՅT,P,tQMs<^M}MtN8,րvB"!q6²98:lmJfM{ۀ#cx(cAV_$oj.y )l0ZwG*vca/חQWka,~Pñ08Z d DɮGL+[lwa_Y vvzH|h~D8g1§?HHy*v L$"'s=B`v1l7ŤAGLk.'Q$n{{k}g4kdq@NBTQflHNn3@BzHEl6FB |k hUK9"ηߝ٬\fQ5? inZ  TF6[+g`XS)7Jd+̘;g ;DENn*I%H5Hy/^UAtO{EXT#Yf@%9hXYDy Cndz+ݓW<+N{ odƒI y/a<47j}p8s$4hINo^:TBXx4 )Yv ,BzvFN#r Jc۫=y=9ϝ%IfJq7fi/`3JlmE~Pr~og FZfٮ!nAͥJiR*EhE'moGsUQNZ9kڰi5XCP<$<gb2)e_jhQ*Q(!Tj]yrȂ2`*~JhN&SF*}QWTl@P_F@/n "&Umi* DJ +7F%z LEaqnl R[1GȘ[:V/ /hS $iDQ-4ĦV6nfmbBiE³cyFE&rѳ<_⻲q?Kȇ_,Q-O#3xH-*&τ6t\<(vޤj.+FH*"&GH,G,7F47><<\SR rlS*^E$UMC7+t*洣 ?3ڜN. Sӳ{res V{⺣s1hHJc!oZ|||NY^(!_E[ÒpY  [Lh_ N= #^X^%}juq 8y#Pn27:y%N1d~Ts݌}̘OǴIUƲV`? "FQ H0Gj+2lt뮘6'7 <^5X20Ǒ2 ط41m$ƖX\i]X0@q@vkOTm#1_jmQĀ91UÇ~9qRس±%ZdwuȪxSn,Bgek!0 vD{&r+)R5# |\rؤOjUa֨@}. iMhڳyvulsXm[S/Xvn_;]3v ˨tAmUq׈qA72|GqdąԸBb-:N='xк)@_A(Woz Hr[{ׁI\zW'BbŖ7{ I2fzl!ؤa- cT,AA-:poz#W7٘ckV\p.q0JZD .S[pJ278(N?*Uc+կB%|*Y vF\#6z0W{!>3b}T'|kYjMlNDiTj;[eQ3-ضU18Ј ^W~6|OKZRM{* Sʃ^fŚ7m o%k?5 relH50.xy$w9 Nڦ'!K&`_%y5zӤ[o-x =n{*6o${;'p#RԂhY&ETxw~ L1t;{Y{ _7pIO6Yo_@VMHyypFx@x$?wy.1f'4,۝WPDVЊ]?pۍПT&&"@u{|5C5A1A tb%a7 ID1 |DxFtޢA5lqO>wkA`;7.RbQ68yYjh\n ARK*ẓwa~}Ċ'N{PI,2ŅgӜ#GlfB-Dm$Pj1.#bF7!eZUuR`)PjU]̳=}=9E:W72.>|daLHlg#-pqᯍˌdyPkuNv[:*ET"zېR>U+R[ r|M0ɧKoKjvt2iN,eMYtP-WrC3\$N >eϲIwv]YF=rs_ҿ)7τ{ۘSzɕ); _׵ nas U2RḴq漏 +d۰.&hu:+B1*=o )jV%L橴fҧT\Vr\Y<"2H|b I+ѧB. KPѴ+Lcq_[P;UD?Xx#:*uŜm.ܛ +ylrx ջYvƝo \~Jb+ fVc)G맥fQYA5ir&2ge', N\jRv ȿ[ʨଢ` )L2]9h Q*+u  &C5j{]:MW 56ɿFJ@?_TeB]R!an@YvsPpWuLVVEg.kU/5l6ǰo0I:Z}k/* 72yrސC'(Wy_LZiH̳hMHu$Va1<,Nj$MҌ, uM̟S ;u"r5'nWV3)XBAِ-wqsPSW[Y>Nn}nyO}ڏzb/@*~U޺s2^iDS#fSx. .1[OrH0XO!]IgDNpѸRBhFֺrF:Աw(ژ61I)+Y+yme|rw#ɡ|y^.[d1`_hwФ]:<7.'zF]Tqo0g#[Hfê\H{ '%R1$w"A$JCΆ ANOiZfoDk@3^t ((n%=m+w>ޱ_v;}`CI;N|a Tl.6\wW%JJY>6af KaCoz^e'j; HAl٧N,Sb9 גPt&5O>l/Mv&u6 sÈ1C2Φ;l6yӕuבπ%}Ib!Ph^&ϤN)!cI2K,Pveh~Uŵ?C%+=9i2țFN:7~ľ#Kh "OZw7qvTgU+* ٛH}R1{GnTG'U\JHHF~gڒ?7QݽЬ3ՊMD$e(Z̓}څQz!MFD` *@7(uR^>:Y2P(h*Vwd f2=\Sz $ m_R4VkGDzf~}+rx,Ñh>ZcmdywL΃5>.RL6>eket}&e ƨ[];GQjknZv$ҜQ(R ՇdsyM|2e,T"(AKy#'L:=̭H XٳW?bnRk嚓6Jt|;Xqfv+Fʏ붪f|:iXi %8϶a1tR] \ATuq<Հ)]Pw>ՇnRS$NkyLvDCE_1K l;f8 L.S59YOhgYԠaN9䭸xHztR^I,g۩;9"dE! >*uNz$=95Q͌ n2HG#I"6\G/ґm)<߳ RC\y5‰Յ8/Nsۥ*6k;6>utJTЃ!w3} @yUI W 7:[ E_XqAɨQ857TZY:[ஂ"Hcꡜ/l X@He^sXth~i$FHlZBpY|NBpЪLo嚠7Ǫ=Q,hsw}c9NJo'5?'s>:󩤒?lHm[@Sed,χA9ʼňxL|m{0 "KٔAdUգ֛qR}ǎ&ܡ *CAR8Kk~/&1/`O0ˆ`nez%`R( d'Smp3Ղ`ב!䈏8#vn4H@J8@F#NM,ྼ\;lZ @C&ugnR M~%ԿVa&OFձT#e"_EQk Ax=! "O z]jO.MnaaEaa;QTr]0?,6S:^ۊ\SWR(V&pɶ' eS n~iGY/`R7lyklIJd(-K,'U쎔("a!Mu6P; C 7}X  mLt>nNL(x2B`I*G^9C l =oVyKL./tfdpA RZ"ߐ7ӅdTNr?\̸li<M{&H@8 =Fh:q(;FO`b"lOG+xJѶPt~xlf4xLAbDv4vo ] P82v&38d&\g? 6X~TɶӇ;?ӲMLP @bئh@{d^k#RS zKzϋa)NԿRbk N9({u8Y'9Ir1.tfHm ?M?9t~;@c!gU#S+aY\U JgviH*=*`9T>[Y> DhW纰y#G[cxMXw*G]}w>=W>Rzbh8RqOLGm-Pq r9@]oiBx n6Ɉ <{9KAtM-#-mm@CBq mK{܅a"O^9$/4m"Vp$ppiR&½Y.{O(wj[x$;hϞezh@/e;*h>iF3)b8Z!}P1H9A`ާ>9]V5B+0 >FpQ?C'7|mIi53!=UNC]2-IR: 1 ۭH(LMA2d1Mi2I&ɛU [}kR WSMU={ ry7gZm5kaiZL9͋)ԉN,m)HKW4xXv#D?*zlGuNfZh?)KiCn2w]yVwV ˁl]M1Z(뫹tV Zљـ?Z#uA&% 0P9{ ńv$E0VQ!&D1[D9M?„s-uӲ]@Kj"n=APYߖ́Qؔu#߿g-+GGlT) lb/!xpҵiZ0g܈ʸ8&ھ `D"*>d.˹ey:KT杇JzC44l6 0)f]MJWVmI>lWU'a$<{3WӸPU80|´7'U~zTHxRFKσaz0'^t8sZbF-r?V 1Xq/x}ŸI==w9lc渜<߅?g)_t0$]vnঙNy^ pb<"+ԁA,bښ_p5R ih+וK5czc.HgJIo[n]kлxs ~IFnOߠ0 Ï7=jw`(gG;~N]Z_ĭ`tqdNrͬ4wGUʻ5x-\U\RA->d[HRL1 H`c2x]+ Cr?̿( N7wwt9g):դDEھj~VjYBYoOJ+ÍHA8Ӱy{&?/Jcu {@J+{&R#ty H(1!>$jU#tIe(j:H\}c"੥ b)cիZj_Q]*u۟#Kxb& +,Hbsm4PyaZ;UQx.dUC}ʆ/qf8Tkl0a@!lIBXbdҿFX[7(rn ׷͂,yARXn~|=|I$©f#2^Pdue1H0E<믣D qg<#] LU{!ɗGγ(K+3p %n|J=S-m*D/`ela28q~W5 * ˧˿"j`gيM= Hy Q ^ V;N#z$ԉ6Oo@Xq .p[:kCo~*U wd'p\Svab;[aHTu;61M%k r[o]uţADΕЪzWC42JEhj f\kK<sPZV(]NjBCOS~u]"6fT(_z۟'U4X.z dF@id@G4V.Jpc")J\}\f鰆W}2H9g+D@ ]vjT-OɋLŞYk;"?ȕgbyCQ;s%M;;كz1X-ܑ=B1g#9 0Db~+)]=ϫ2|gF7v*lXa\.wTRBwWM-';AMz|! YZ