texlive-prooftrees-8:svn43184-23.oe1 >  A ahW^^fl#/ @EI6蠜]O, V{R Z8@r#Ԥ}z|kͅyn D{OȌsH,p= ? d( , Vhl   ( 0 @  ,d(1889D:FTGtHIXY\]^ bc d e f l t (u 8v Hz     Ctexlive-prooftreessvn4318423.oe1Forest-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.a`pecs-obsworker-0002openEuler:20.03:LTS:SP3 / standard_x86_64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤adQ3a`XTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-23.oe1.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.15.1_^$D]Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initecs-obsworker-0002 1640980592201820188:svn43184-23.oe1texlive-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 obs://private/openEuler:20.03:LTS:SP3/standard_x86_64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long lines\?ZK6=#LCutf-8aa1e8d1c9e6184b169b14c6298d49ab669c4ada9f75c6e0030e95ee9c7a4d074?07zXZ !#,=&] b2u jӫ`(y-7g>HTufdB@VP`˚]8B6`zΨ.~P`VHNIdd}zFK eLhf) I8&!5C+Mp\23t=k.],rmCWL{W6 *dL2Lgx}yBU' -|EBCdj'ӫ~6HZWQΫ}I70&N}O?N*Y 13{g^'Ҷ}^0p \%P.>h=|ct&1FzF/hJsw"ܣ %{71[?5d&<@C9(/E XM%XOy&lf(g%tuy8z~uPXG,H$OglsfCRȮU-8׹(rI~krlHmGX9JD[|nQ\vGQ YYDQI7c.RO¾ Cqr%3yM(ly^XJ7xz1:@j=TDp mܥpŎ.l=SzH+VMi*{XL?97 w9w':G0b2nϳw K!23y=*Ä-hx9 vGOj5SҐݡ@@AdnP:!Wr0ư] 9:KBߟ0Q7!S 7A26\APR'WqH,8aP.b`zF9\Sgu$DǀU/>#P; M y=<)Hڀs uULwhqd`5pm[ VV(MX@AM:k,WQ2L`]PmRk:.\,ɇ1)$w|ǟIKNڋG(j7rV B(DHSCHXC@#z8s re(Sc$xTɧ>u՗KzG˺zd<9E95:Eʳ`-r!pX0{E8<A7/XOQF5h)'yˍ$2:^ bGΊa-}!Zdr:w+8 '} J c*7?!n_,JwPf*G6_.td6ftP֓.YXÏ?Tn" VPF&ggqN$Np$6gwh;/?}9ɽO̳݂?ْ ? 1~su5B ucmY\#ofۧ~61_@a[l< ^S\`j# ^3:ưM{eK66f<:F8x$@DUɳ|CNQ> P=:VR :iD)L&'ƧE[L޽ pt+$P뭝ߙC's4j@zgO[4(A8RIFLUsӺq*+hT , " ji2-b&f \%vdؼ~ z?|!Z%oo >Ӝv+>l$JlH*J/tHO},BdٿTXV{[ 2[s;``k’53d[?z4/-E /d:إF݉ۚbd~2ਐ6YzϻZ@TNٹAz)@D(J"_ z!,D ڛOo~+;~{Lh/1@KTy^8xezͱhc+IH@* q{Ƨ?F3T!Uy0 $>92gXAi?8%^v;_bbRB!c[eSCYt6'/uUK^+90צeGc#'hM})q_yh 3oӪٙX%^`jI>L3&RaQ:~ ǐM$lIOrHs)1g9TMq3q6"0JuR0[pLhIvxG ;ɐ;wfyȱVź/6x7i(RUpx)08\a)Ѩ ׶.T_PԐa:Lǀ ĔQt*NEPyT eUPäӹZ'@OA!/ev= +@cux%mi/R+&"8,pLc#Ns+Ox)hh2/&b^jC)`tiu{!eͣj3RFscR/4N+0\`o zwfQ84쿻=L  z*S nHWGhel4Ly\K?(T5<\c? %E,&m$(Jl=r'>vٝhӴewjkm%(oePdyIh!u =@Ѕ7C@CgD1oT801M/)'#Tq[^XP(j3ʫ49^tM3~!#Ms/u]QiAUĦE^3Farv6鎚||vnUTd^:̭c3,*!gITs%;m]b\Â__Ǣ/7apYS۠xk:7y[%ؠ̈́zDhIYeN< 7)Ah Aقi0q)Uo^ <ȚKԣ1}\mj׉|oZQYXK.3$s`+Ԓ jofNȁ 3w®+/GąJE(iImK;1=[.1(/|NseָQo 2nY_,PWX Q1z\uqJ۷[ *0m{`]Pe[;2逛6.4TЬ >wQ!n΁Qn#*AW ~ TmOe_ŷ6ˑ-9SB蚥|m]'KEpP9UC yjzU/U,Jef|N'1=+>oo-2WM _3do`2gb{g$m-PM-Dra{=Y"a mL`~Ya[`rnu02i房Xڰz,oVtBJk}V<:?|*i:_ueISU3('&' ?gH「ǜOK$6dRfo!ѯ>.ˇ*rm YfN#JEҶt(V"ql tGQSlaֺp9]:O?Ӻ8 3!cw^\d$yRQfCf[Fv_EQnQ 19>["tb-&L[ZM[[[Mf `I w(Z}nmDAXVIi_lgVVez&ɒQ5]e۱3/"MXgqz"-HeTPꇹ˝ m@"߿p0eSm#DjSikp]9`%Rf ]lňrz>-?*$[ ' )(3B7\#s^)?CW:$L!z1⩗̔GKzf$PXg6f)wa_@~L'-Q^MӁ RY˗fkjd5DHȪ.TCI>qJ{]+) p/=20]c58lk S4dca>B Zmc(kk4ii6^IЊLQIj(G)_.c=Jau3H2mY4J~*oU.w_j#KpDwMj{YC u:q˲Vh\iAVP% f&>`lH:$B?6sUb^9 꿋B1֔l<՗y8xb`|zêZbV ~)PĽ)jdߞp"o i+rUk68}"+))#&KԶB6 {dEm2u}m4ap;xd;:j{dvU-Cn ݁ZɌџIky44E _L?e2ܷ*1IZ"y+&)v{wI:*7N5 )Ja'H3}!mW)V+fhSnLW;N0 4&s^Lܷ\ԱFѦ$5E,Qq&Uz D^FD G5 WP$ ZoK<O孥XDSKEՅ{рH~ A mq[(zrSLJV2^_.efRSPlGWO#w3<[V%krIdRZ & u&m1`u{n\^sޤO`mc7t\qG t?n˻V, k.jNȼw+U ]/|邮C;.:]Do/7e /S (`!-\Y-XjK[^)I>ǘs[0`Jc/Ԓ~:C,>=nSNG#MB!L`DhmJ%x r}ӟqrJsu-.gѨ͐,-'W*XR呵<,-yGz[$26>zE C$unZb:c9J|l_Cи^@ vŢi剸3Wޥ2s`a,u8a| -h3dboaᣠ]Âdeeގ.%s9?5鑡^ky" tki!56ᱰe3-05snAهFi5嬑q)(@?B! 'p6':,Zo ˟Kp\fEqM a ΀yKnyjyx?buvM^G^t[Tp.c|ՠ3[X1iX-hCjYe208yGo\&¿IBJzknf_:vܲ<:< !Y;cGմ&VŸT -8=j(dv:5q~58AZ:t'qC&9Zrr? TB[~yB J5-yA=:J?|7O,3,U%rލ7>Iefvϒ⺬EۭMF^2?n6짹bW&Jdn92|@]w0N*pCxf 06(e.h" *}bo.}XP$Gr2K<:EÁnJ) ( uH*%5r)n)!c`wDݚ7JnA6#VH(`5BQ61`/W$6Oa/NCaEY9l}Ng=p(W!B4إlXgh "_K:P֔ h&C:#f 5MO\ex˲B,WϻO`Dס;oՆ)ul@\VՁAR\@tNg>Ճ)\?erd0[]Fvxa~ެ2Z5%j69_2"h=!~A}x.2=bppFI*{P\4Qʖ+B~SxTx)]gH`v؛V'h]o74/f.Ay5Y։v=wnY cN}g1iO#ZxcSȥBkoj,ͣ _h;]BApbUS4*1)1\&9JG.t>T;1}&\SV\ݍr8ٚtz==[_9i(}dM0|nA2J̚rE4c͝n>S?0e ,p#1+a0rBW?ֻYf iѺp_Kg~Xnji{'QkuD,7\:,CNy#M ޝ܎2,b5PŃIG{ņ2y#\UsNԱ>[Dpbn,Ev,sRW,vϛ=[f͜ޏ|mf$W2  1D5ۓ%yF[3[B89,Uh0yvQ9iCBص}#y)|BVJ N4\ʵ՟R(bY? g'*A.X>&ZVB^D@pm"mg nzO4gGNs#DS~(uoD͈ ̟Ϳ(mmɊ+g8q؋dSkv\E Q4zz]]R+ uFms˿RٛSdbEZ7OE*Z(Vw1ㅜ} f#*;hi?BU w pM"T`L ؎4kIw!'W>:7y~GQa(W>JSE*I4"ԍ%WYI:JZ#J5xLnw:%"5V NZ[ӏ&'ǚajԶE82H6"Fe\>BHr Θd$6<5ԥ}0+i:ԇz|FqwIO +I5vH&VLJbֱJ?@cQG[gV~ٮMǬ7۪7@G.\YۄK_>,1#Z&&]$5yCQ-:GeTo[Hх һ Doj3C`)ᗭ0ƔMu Xp1O.rqD c=Ї;F\2C S<'Sˡ"aéDK)n=6i:9ADĐ \֟q!!ّbqbBq\KQb VEֱ q~|X1zEt:eCpB'ś(/>rV B{l*S_Z־~qT̲cyƋ_Lfgy0z!ȂCbu><a˫ U,UX+ xDSVm!i W_т6nYȶI `MNHsa6̰+vȔ&຦6LO%\++A(-?9ZpuE1hnExs=[ _whCɟ]e:(E9ꃗ;F&v=i&Q@T`]1߾| o]f/6~֥B}JJ]*YkQaWWܼ>$ )$l Pܤ&c ӂ9Sy.%*w?0dL8y$Ύ:; >pn ST/~ylujӏڗ eLh ag Ь] 5a(-'P 1URK`(Tn<4a2g%ǯ&D\-O%}vQF2"ivQd:PŐpRX?^)Q_q}KR`{-yٌI6 H} O '8'v ;xm݋_2|*,:Q<cy} b?8 50@D>݇|`\~Y_ 7?69؂͊)&::ф]2HT^IfGA~XA <(@Q%9 O{o;|*H H|x[{w ,Y(3%ph`s?eY'™=2fFv.v#aP OкNZm`Jc=CǃlIH?& ݐx㹶5Uv밞7*c OCSt=0ZlxrH{R4wkW7یڅ9uj%vE)1ڷq~2*df))-h_z\Aޘ}e;(UݸhpDk>ݮς,@ӧ9x{l) nESZ&̨půY׆+,*Hk RddZ): dU}*QW(8YE&&m-Y^o7Y9@uȎa΂_!EUp8VLϲڇ. Ԥtp&]:yv[f Ɒ]Z/A)"%`(\qWqvd|!R=C'yR r8dgk]X3ѯ2CXHD:a3q0ڱ.O+ wh`I #)oqפ%w$Qzi+2C#m"Uuko>m..oZqd 'j\PweqDC! 1m!A1G QEFvd.fppcәS!9LEqCNW.(.,TcӋ"Y &koG%jM8Q76dI2+h8˸kQ_+ګc]0+i@L,7!C76R6=47L9GnF46 o]Cc7VZVB~Ev`0S,||oRh1ts:FHIX~hEH.(zc-_ȸ=Ǚy iE͓5f@_ A`rSe!xIh2FJc(u1b1ƭ4hV  ߶8o,sMA5r?A|0NmתY_'V Z!EA{s IV#{|=.ׂ}5fc[Λ. Ѩ#VJ ȯ#?j^"67t|lrز =m Sectl}z y Ö3$+&o/WTtj_~"C!.׃(;RTC'yOֽ[, kDcy7ۗ9wpj?s!t/g 'N,>12W Qۢh:WWm 钋|tǙ3bFVꑄQ NVC!˅դUU{|V*)qEģ,z^L mZ /hwqs,-pSKq.gLg6 C_7R*F#$eQ1@Μ7~2h9%g{FF *Uc }r,N)axOlao\j i4S}(yREw`C)grt 2$!4S_g9M ԊKD쉴*I: 3O{&ƀ)9VU>MZXlbAk-{1^߷܋SU %[@ %ynUia"Z8Q7OS1wG ӟe=&~u*T$j©f3< fn1XXuLD݄ɉ!: e8PNVEALLP6v^)(>myKR/ģPMKX?Z0*!P$9p㷟B3Ψ7rw]QZ5S6"8[n*a" lfIԊ%DJ[wzxPhm'n2&բ/ IY|]al|~ΡAȇ]*![ nξ/K2=Z'+ѯVV/{;`ۨ ^nf jV܋%ƸSb>k/\ УT/j8ekr/ 0^r7O;jYl{#`6t diT~9ƀyi@ JBp<0yh,qǘ|N׿bB7>Em`Z=\snoo]ef9`84 t⛌g2x`O{?אkLs65t=_Qj$j1닅( 3o1?Ƃ;[Q"p!t@6ܙKH_tNQxm]-CXQ]lE'.PU<6G|YOe*;XI-]iD0M\dT:ݐWʴ2Lד+$$8.M4-)rx&,fAlգ^-Sz&+%{:ZyeʳsL )$3;NF&: lXSZ9GKy_݂kD'9yV_J0* XJYeuS+bH9whUz`ϥa_kj$ ~/~~?-' {ŻyLR֌/!EUB+-GpVGJw% R4#Ye/kf443R >C+)O #5*tlͬF lNN~+MK̏܄6!Q$Wa4rx> ."tM8MhyWffzUAIV{k(2ȽCl_hf,q,Tϭy1ۻWE\s[#zrR}!̙R!W}mx= /lVIzjx" uQهJhDJGwVfBsmpi'I/7Eu ޗA7UW7bhχugz|! YZ