texlive-prooftrees-8:svn43184-24.oe2203sp2>  <@PT@7!.ܶujG7odqopeneuler@compass-ci.com G7o ? \p8EsHO`A%wq<_2q'ԮbD&É~"?ok=lXQYAjy+5:|6x TDyvQ"#&mze3'jңFKl Yʞ 7`ESqmvB_Zۍ) 9#w ՑuPdž SE&?=ĸy!}5?}`76w]LPV/ԹcHO"fɐ ݝ1Uʼ&Ygz mCj?s1foy>arGsa!Q*B %`@r %wi2-^fJ"DX牉[7Z7e24614b69d5cdc4c336e959fe620988d2786ed3e4fa812ad617ea582093876431dcdd08e436c32353bc712fe07dcd57854ef1418LAѹqk2*bu>; ? d, 0 Zlp      8T(8 9:FiGHIXY\]^%bd e f l t u v z N ` d j  Ctexlive-prooftreessvn4318424.oe2203sp2Forest-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.dqdc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤dqQ3dqXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-split-s-2018-24.oe2203sp2.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 1685175733201820188:svn43184-24.oe2203sp2texlive-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)`[zU2_utf-840b2b4951f4e35ec6684b44f0ea01a779bc47ff4495954886bb03cd48df09bb5598b2a09946b46a51bc2a4af408cab99627cd76d59a56a139cadc441d6763b7b?P7zXZ !#,=%] b2u jӫ`(y/+|@-$<YV4=공:KJ?dIRTg#h(Y <9maȓXwK%_I:ES |?+@@lה_ո~&VM><ꝏŰ$i$`yH~zs>{&$=ᑨ&tv`G;o2CNq=~:+vT> ^8|;o'`t:'PIc`䧍}d s(@[l_ P~$FUV@zE۸SrS .+/نn,E;$*IW9AiA'8'/# a3̀+iR <`Jy K rg3O[ KJltϓ2EI/-K in?~.`~b[ߺȾ(jE{g@>]$ ~F7˪>:+ B t7*ɵip]kdU(6 H%ߜrݟ~UG@ܝM.&&k ʷр[7ũRx%T|]ǵygyDZO ZkJepc FvQˍ3([ 7-ބG2pU&˰xV2{cB4-L7(1*X11ݐ'*M>aw"g2¸9<^Eߏ!%FiOVVC%·$sk[D~B\ s))+YAAZtHAu \@'kpz|σAd7VZUVփ$(5|uwU\B-x-PY",B|VgFIZ943C 1o0l/ℯċWUf݊=vC+BwrE@,K9ـ{^-UݗT-2S;9O03֪c =ro6ܜ?KnPB컛|56(# 0o`9vUDP.v⒋Y %턪MGѕdExRa9 vR%Xt >vt~I݆%*\1% PjʍroIR<[wC\A+oms<ؚbD1GYּۼ>ie#qܥx b1aT\7@QՃ4,-~62 '6pʁe֯*keWNp^b,]rJ<$DKDߎg>E"Si욜pHi %@2 Mص}ZlW{+9K8v>Cן"Ο}kP-Btn:ോvs|d[j?0 @\dF[O.~#>Fe OY=zŽeQu~-4"UfJd>*lu i]*jQӕ P{\w5*3c>\V4iVi1HNHY+"'& b .љ!+#yzc+)νJC7n$%Qpɴ63&-0v: ~}xYյBzԓ ǼlX,2:Q47jٝD$%pTAVߐ~ ~!gy?s3Dӵ>+533Z1SԳs A2׶rt'naG6Ͳ|h492=rf>7׫K,K͌Dzr߫mA![~y! nq3PA SŖTת1@Ҷx1(/{~`) 6D!uwd ĶM Q&K_ fϘ|%pKu[l3Ыc`K&;C~H7#8(f8}ޯm(R:c1ߣhZGXQ2U Ftv(g*y_f2  "H -hk/.5s{з?yk<6͟_dIbIĚXF%-\8Z&s‚-ԡ6<[|T'޸>i| #ƨP6i~S"ʐyxa\(W8(k߿}52Fd0N~-,h?!%t~{`Ð}eR#ǐ.#ވl)E@Kz߈H>h Vz列U| ,H,X0SpB"R'J̚ѤX@ym?L?teFp+1 lS Vi08!n^$T{E> 72Ѓ<Voe#ʼ7'A>omZ5d$pӏ_\D[1#?K)ܤyUՔL<cć|8&q7x )cF?ra)cr鑊b\]<vyr]#wnnv>=|o$G;! >"&Xܚ]ISW9<2 I^579Nbύhjn4 N `e]R|Lj%. ['zvyl28ͼI_zR梳 M?6q}P 4oyn%/0l&0Bqc:oEyw,i4^e劺t?Cfd& v{]tVE;o+:r5*1cC% I`5DfĸΫ<}FgckL8exq77yIy_8ԬUʄOqL>m;IƓ?D+Eп:ҡʥ3="sjeԄM u&H(w,z|[!bTR&AAKM[}KC=}J/ZEPŦN! u9^E\ܗ徘vѹđmf}eQ Цɽ,)c}V4kM^Ğ`w,\rV*( :$;BAȬ2 #XP7xKHP:lھy |K3/sYtEMlក?>ιQbJD\ӳ֑Z|+v{(}MhHWKqxY+̪a)&N0bJ|T!f_)Ѳ]ׯ'!T7v3OFw~ey>Iӎ&`(1lƼऴQCDm=(WgQ vq8}D#uavD}<YMaR5n.2Lr.ֻȕe 3(dWe:BUWs`mPy~od˴qXs,G b'~fɉ;C0q=<)%!@61*mARwHژS[źe2;7Р8l/{zE =z/AX*:~4[&#Zw5ݞ6bc+;qx]0NoGƱq̬lu&6ZrƦ>%7R){Fxe_ .20 && m6r[wͮ$ş&*b~MZ@4}h[V%O]w$^բDT.k立"UmИHB/$CQP?h1XIݞ]fe•Jϧ_ P;ʟB#%XRX١UL_qM{2t`\x8k$"UnDYR2sfo2ۤp][g=t%4ܟ']Ds i1OxbF ͬ1 0: [DhגĽgu+(ŖTD`c** μLR떜n\]ٝAp!=o;"bthZh4`x8G:~__p#?܅"DIX8~ں(YtK~ c0γj+s"A'ݎna/5n!hq1[#o9 + ape4 j<'R fn㻳9쿪7zT{Or 猢aer`*t.uFA{mnjEm Κa&szۚA8_Dx} H];7'S>9, 2cpR:ת?gDUfA\..P{gַfɿa(zN8w~!2(ئx@8FRn8BP>CQa莮͡ٵ!ao T{umm!qw6[,$44+%z:ݷҬ\=; n}DfMhpЁw u L&b%p,k4'jWE/.%B>U|t6Cf8]SCk?E4*kLIVd,%Ą/JP& bvv :UgAg|d%9Ҕ>F@cXxBB /,iU|֯xLvӝAwn>+Z6&~o|D> M$0XАCy0L{!n" tp(@`J5neU5VW[IYx/hH-Qk]H]!Q4ݚv7 zٰ*YL\@,]\fJ }68 IP|za"eăЗG=> ȵN ]!Kʽ0a.ߎ=@r^*[MvDCaq=GjԸ)Zo?v6C뀙Ũ˄Lv؋ژډ~np_eaOň{^^eH憡K=72!lU9]@*pA:֕rZ>ﲬ<7GŇ$B'^: \viJW Pi>76>(2Lo-.wvlDc9-") TY1Gn|䤰y^&K7+ 0Qɝ$ب* \>$~ߐzP&NL*w82o#X(7Nke΁}Sin -8Tɧ8majdEJօak Ύ - H 4OAn0 \L㔯BxL&QaFIC.EfL(t+Ο= =9@SV\#-K-|%#DFrgjs`=C%efJ$QxJO&*p/R=` cC(!Em0(bN6Mr#%N#L尡( nLvxbQ%^4>kl8MªA,\ Upnmy|=/5N1XLzKx l\~U "agI<;iٛ"H(=pi|/̽93+ 6306cACjMPH^PRԠ$pj0Sp7:kV.ኩ>̺&45t-*Gnt=UhFi(X@ ܱ;+ĄϪ% &q1̲׹#EaI9kaðsHso|PT"xwydZX c3E0k#q2_h61jFv.Xr] CTu7¥t'ೢQcgݲFvIV F GP=6z:.#|tƯK%^˨+xu-/ " )^޻*rY_d^~hoEE uL^OE"ɁyK!_PwC܈Ì&/˦T}vtrНe껝x齨 .2$2)`>F:@;=@)ZaTUTթ k2!JD6qW4`Я6n- Sr›m./P/FܹF!^nOF.vԉ4RhѾ ᪚ɣ3GO@dRL, ;ȬϥU 9͙cןʥ1^3=m*̓_Psςp|&ěSL@8rKA,IedB3ߨӪTwݾ i*]ǹ[]yݻV.|Mah_ JŶ*3,+)ٱ6+7U \]tˈ gkUH~bo vtqkb~F}/j?we9{mT}o=?Eڲu™Ax2[0πgt5(.z'G$Y#"59s>| ?}T#`+ɬ}@>ѪTB<)|_׾F K9egT ѲWZ;y\I62oRkVS, rSVOFHNN$E|n:K OgR?8,7uvւr{ť :a*i{,FHڌd˥bI=N<u;P aK]ɏ"eC!K V}:3|k^H9G&C`~I󍧢W^|UgG}\ר彇 ].;FE+#?Qij<7=컖tjE`I/1XHI[ndD:6Aht@VVU<I"a,]V4PNa,6O7;d-}aGjs(n4_LM|(>irô(/0*TkGGç+r.tȢLYQ7zځ CS\j1Jĝ6H/}V '$آ ~tT^) ~YU3%"_Dؘi׮,X*TpC" T?٭hE#|`9/g ^@Ft+x{>Lwt& H- Y& dTB6jf;i[7S'rΐk%@X8/FQd~z>%<|}XT|>BX?ZٰŽ?s~sfLmpL"lLDCجι|@ dةC@t'N][pIӾةzkwn9LIK!!7m|eh,3] Q5 ÉgE旸iOqOF)L13)<-eޒͅj>o5P?rF%_fj9>'+kLCkժ;lVHlNbg 5tթIf&oY9 v|APOh3!ZR眸K^uV^%WF]9#a&/RȠ;v) /+W\1UƐc1<sEDDJ2st/}(mWJTBBRvP\24&?ijnqfnoCny 4[X2T=*-HY&WеÕ WFw 'K9vkDx+z_.EQI fպ:&L$f{RoR$ؕ3ހ(vUHUh6fFeBH'U-$jvה}N,fǖt ƭʀJġ&\Fff.ץxj] U#<_A015_GdxQdg6t=y40apudu yDJg9a /kЂҙtFb1 K-JyѣQin?^jYE 吥 YFc ddnQ;;p^F>+Q NBsy &ÿYj`A{’ObkS>lV_GUi>dr-}zuLj 9LQ.]٬K9VD~$T‡`X\%=2w^cKowQҗ}D[,;Dp:5P?եn|ٵ9yax*7zVLo[֧+}vk}׃ +}U.Rsl՚=HQưz3zl͓IE:59uҙt d{*tk{nXw!7@|;dh]_aGKG̪a^0`Y  |%)9o=( e MGA**]&e-  \ϓ@h튯t]O9³o<1FE4DLkC><6b^p+V8NhQN!OB A kY({ D_8Vt#V 6RO}|el)ZT{/^bz{  &?dyrF"E֭xee*Ϙ1X0^ ܩTD0vѽ32^)NJ5KӮ^}XHVds쩟3?c3 G}a$ӳL%w t:~Y!lB>^ }b3~oՠ whu!t%<\l,Z)^aQ֪87>JF꫙?5َRjx-Z9,{oF#eWheM3G6;쮾Y _UƺYx] u]zs> Jl"7 xS `!MX.~]Wdb⋯Gfğ+eյ39YzjJh3HN$Gk#^kpDA5a*-.xӯvF,A?"UlB&p;B7x B!;׬K%?s qnlz >ϒD$Rr44Igх$++%< ՛q)|Mr;@eIR{UNѠW=e5`c-L>Rl ~^D Y<`8ҍيxF߹OG(1;r;Si>3>Ɂҷ6A:W T)\n^峇$w/٧q'3(!O_H͈>hzC^4ιe`M`EC ˃:G* k+ Jԅ"{+G0 NcZ',\S(@v-Z:m~[B)%lK2ǟvQ@ignOb̲O*2x$,SzN~Ug~; :_Xh悃Efg젯/VQѽŋ tGݍ?P\kG#H}}Zm|fH/zbNۘ9Ns^J* \n1(- 6H YnlASC 8뀪"2{οs%aQg^*mE ȷ mb>q(M%^[hLz qp!:yxw!7hl&'v=3^dS|] P.(jKg= n֏+$ESoPt@9X׀пgr.IHG8G*\<̏"lWuisy"2v ,Kc{ ,T#0hP 撵}Қmn& #?.ͧ9H ӈhmm6oYY* kF¤@b|mYjAv;{z. YZ