texlive-prooftrees-8:svn43184-24.oe2003sp4>  <@PT@7!.ܶujG7oedopeneuler@compass-ci.com G7o Y/'{mjc; Ui~oڂ=\ &P؃:D` 68KwFNvbWXzsc.ѠsgJC4J}ݗ@@euɿx]LqD>ԩt[;rgy/~K6!|bƲ#[?pԓvNO!엩EvZQ"Â9å|YAk:2`hJ̮C=f0hܠhu!(Z319ܲtm_>% &5a9532f2fb1585fcbf90d89a72ac503701c793b09855d9d1f79f2ce4c7e78ed8dc6b8b2cea94de101401217d0032924d0121dc7bL<i7"ɕ]>: ? d, 0 Zlp      0L(89:FGHIXY$\H]X^b +d e f l t <u Lv \z     Ctexlive-prooftreessvn4318424.oe2003sp4Forest-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.eddc-64g.compass-ciLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤edŇQ3edXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-24.oe2003sp4.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_k_^$D]Guoshuai Sun - 8:2018-24Guoshuai Sun - 8:2018-23daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Drop texlive-venturisadf texlive-wsuipa texlive-vntex, because those packages use utopia license may not be free for anyone- Drop texlive-texinfo,use new files in texinfo-tex instead- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initdc-64g.compass-ci 1701097405201820188:svn43184-24.oe2003sp4texlive-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 textUTF-8 Unicode text, with very long lines"a!TQܞW4L -}utf-8f7cad7408f376ba1be63dea553f7ffbc7d231a104a085a58105b249a01e696bf?`7zXZ !#,='] b2u jӫ`(y/۱~!2tGXtgNz*Å$"ZZSO /^.]S=‹\5E*L[{(d9TYe-Zh*d:P]*B)G]bע25p 䅊Zn@IWb*,UcCĊsDknD@^ߢ9ÄMDo&$Y'q'ɍPaz ^HI<H?J,y?GI' 2㳢?"$L⩵Y*lyvGv'/bzFzq<2nsG6 ! œKF]ckiI읱KrDO@:r6!F irfүGo%!yh{Mx^JvVmR` |Ȃ#4b6`~xǽ.-n*Vn͞.Yc26Nf "DLW_؎%H%@O\X>F1cc;9זU&Y okqYzRu_L&Qk1wVQD3O 51:ӹ;7GD1Bn^U5J)}N"LP.N$$3$w#As4|ʜSsmYa.paW[YYT{ j5pdlzE]/7VX"'-k(b*уC~괺rHaquy,:I5 V*heJpt'oaRn\XKxF{;GvA.ܩbF4)4js{F!GP)&4׺17c-f2W'0k=-.'=g߰¿HGgQ嬐~*ŋ^x"-+#_Ws1V Fl1n [ 2[\#7J:W&fK-Ep5:;p#ߊ9  :Y (ZŞTǺH4ZDxɜl Dwۋ rb q:k|bɺrefVdT@Ax:u4H???84{%\)Cl>n~`oLQ=vVu*,#ᣁCHdÀUy8%ʗ @;Y= /p}=>ਭm^_`}jՊ 0MΟI 8UubX{8Ŏ\%x h@ЪY\i#bHEa 7p z~NBz*A p=IgU3k>pQCGMoZ$ 7`;o蒤?+w;Yiyq{ԏ/I*cXZ`;o*܅+'ĝFH̼YMzp4|³w DTh5HWckLDz]^Ę%7 O#E*`WMr8.KS|h*IYnȂ1{tbhHAԧkǝ  Aeoۭ7ChgC*`?|,)$ 0ۗ'7}3n&Q8p_ 5+'MlֺXf8qv9$g) |”E~DMѴcCwmT)8IƇ"'$i4`tBoU.N҆єZ»QJbb{Cxֵo_k5P ʹ|( )u,"'ݐ;^'7}#D~ r{bs;0By٠17sHp#@xHIH .[ZVbP-MB>Ƈg>‰@_uKPNtN:J l/WޗxjY}JSL+$L9<XVeG:NQ omޙ,BbHn,MΏr9C/.3jԿDi`5$9&8L)Cd2 ]/FUl_/uk NIZ͂8_d 2y;8"@Xmo󪉠^Yuf]{ :yAw<6@rKG=@fs)tzKXԣO[w#OE|35 [{sYRT l]ڙY^z: ^aIZh+2I5aT6_OS8l5s->z kF31BDž~R-ug$)2F"B^[Y:xf #@Yf6."VqT"ɢ{Tw۷cS&<ٙ[e ʚFmI+x8 >l0C`?x04$3e!o8{cj.01t/F>vݩ>D)g$374ktͪe49%Gqn`U( Hߝ;+-&Gbz@OG6N@x֊H[9)QDj` _`pü+l>hƖl ]s#Uq'X=ۏNw%5 0sAEeiY)Xz'sXߎhdBtZ]B]eF1=U(V04PpnxtvҀ5b^|,:с8#T9pOrKvmk - \ӑy]9J@)cɾab0#KQ;!٪Z"ڲS?s%2s\}!l ?6d9uKQ\E:捊!}ṦBJ#6tz .#F|+B#! pXD23O 4r xʍkvdQWZU/.Rj{!R̴HnźdϨd$N19G ΔaWĖX&]@}`s`s/-p#h7=Dы2mH:Ob_+tb5{v/>o.k^~&3{(8#\>R:/ۨObqz_Fi'tPG!B0d ߅Ӟ 0*' b`bd2yULSSbEohA),Ovو%(^C˭תE!@#O4W4̍uq#f%C\7 k8l WS(`^A! e5nPK{ ;Qp=0( 8gGVP23\Rt=&#dR3^v\rqr6b UG2Pb !^%XGa{_mu{o {H[4Wbx-f5v fS@gBđx\.X^%([_7}kimS>іeI/n'QG I·>pKϝg g]Jv8`zJ;#(Pc8w%bD#RP" b;ͭCF )žUJ&Ē.e$X >Z&5Y"+8$-S6<w-ZPrFb/q{ Yˇya,cYH@R=yTU Ia ]#Ѩ"NE KfJdR&/`Sˮn[3DW~Rv:¢ŭfwfq(2:DS+^$( 9.+EXQhR߰cjz.Yy~>_1?%f_g䥡Ƽ"PE-ۚ,Zbo"?4DOJ\Do*Y7 Y&JW{#Oc 0@d - A;e `6yD9XXPM:R RFaa6je dh@M\$`k <9I re"obTD7KƃuMRp1U'[Ke-(Κ8#}aͶY%O۬-M a[5\ђ4!CC[|ad擬c=aM&(tA}w͑HV dnhǜxL8M}h#}/!r1Ԟ250Un9gۣ' |dVeEN{$'zN֕ۍ驔olʈ6Ќow>S]~ek,Nk7.GIfOe7Wl#LhnN]qc^jbӶ!sحAI7KÉ>ؽ9o=*-9YS ٚ-0;d,PyP)Uj5eu pOdxR=:P(P('֣{0 ZfsXʇ}H;m'N2,@G6p}O,Ũu+)BћW1 JݫIiJ+a3_Tldo{Ju}ٕq+9*GmCJ0V:gޥmҟQ^iwN~hV*wDZ-#WBDAA1$9EE~ܢ6A.9JB$}e7x!xpzH r'If=nä4 M䕽1AO.VƉLFKUwaG,{L.hNwCy3͜'mbd^H=ߍ)=Z7PDiO8kV(CC36#r5=Krn`xіwPZ A\5?9<=҉[. g[rXa 5Lv]ܴ WEow%A Cf: gr8TE >Xxjw,˼i{KߦH&Q|&ղ ,~ ѤI|;r(nT#»Xܾ]_*{q >qG \J x|Ui2Ye5`xHB磵qSV39D/L<陰Rl? n.[jAKB1㯇 | Vrvv3^pK1$NupɀxrJvlc5טpu+}VKp "߻0j+9ٲf%qbz#ߩ1JK2J"kAʢ>]m_|wP _(q1ңoIhKY&bkMwQ!o{*e"t|!iy>)Y$OFnu D W70G7"$)yS/(a+"A@g$Ň;H-M]'$a<D۽!!zȚHəy~BnqRl{>F ˿49bZo5rd&Ң$]:@v1Z.ӵu%xr/^5.RVwSOA)E5l53+q`D0f1sҝiglK Q0ث94@nZm}2p&DNfk͚#qjf9 &h2r Gs"PKUPL[j:LAˋNcZ5s|H5E@ ܡ|15q%<` |Ca>>1iQ<(zJ&v`VuV͜δzA4F)}ؐto2^(35Y^~^s,}.#CYk$U0> `j-\~| t%v7UW_ " fA% !̥Ҍġx߅X};2>(!-p}#H![cM{N_#I@B;I;S8~|Eo雓wHۧ`ipXri}q";W+ O 螶A732ġUڗڳ䐿kT ܉DZ;WB/dɾ2xq3Fh_`]*.\_G[8pK.݈|1ok6p6l='ײxɶ$M^Ӓ|tH 3nZ*#LdrXPֹa}<4Z 1IfGF8U@..R935UV P2 QDtHҌ#Ym`S53w㪣6uT_%ս*9'xWwڇ~BFd`#:8&ŕ @W88K`RPIu+?ܟU0t~m?7Cdmi BԲ,  I+RohT*=6r6sb9Hjj\fFc!wJiҠ+8Kiɹ"=P2Hr+\bGhr^iÆ)(ONW9-n[|G0w`uc_ $u+^9IdrZ8c.AuF /Wӄjְv{'W_lܷxԕ)Ve ONۦƮnPg dK~ ^;E:TrGHXT1j)DMĘE.$ _ӑv*l@ʕa 7OxĪ(tvk2M#dpJ"9bbG)Ls5nPByB6ן- Q5ӭm|w$gsm]a:T{7uFyѴk ?Vg69A I{`Zj Y75 G R (Љ-"Fe62ٟcT\Xǎ,V (%6q±YUUs@!k6/}#:GVK}L%jBׇEiL\(&11n,z*`d#JfP[oH@vh-,Yw]X6y4i@%& ~^~ *8#ᰟ(iArwI/5ol:Pd=Ԇ]/,D&r4sO@Z~!Sݝu_`7 Vt*JV3۲*]Eivub`eHlP c[{j,3ri~qjx= SC{;g!fhm:y+@5)ىw3 .H^Q끻 C?'ա$ {s?u1oa uul_ê#:p|]Xg_fy4mL<Ć}ޏ:TbnP 5uv:CQ=rTr~E(4&BO࿀[vtv@X9Dj-4_X|?;7_3,˼1_7B /󡆀x }Q^+TO` !\ThC$eB #3o.o6-+B6"!ZYp5] ԇ?UtU*jv>ܭU!UV$9]܋wWE`%@v]'S9-KOE*07 /=! PzWP*CTԐE20nlrQӍjLm~}P+PpGA' |5:]ܶI:Wg(":[__qQOnEo@lG g;xz.cġ5g4!i좉Wf՝S(̓eJ[/.`5I >#؜l8b`D2!sGrY\%4}"aa Kp1L_yVy^V,rT/ydT>*#1f$]p>l9ۜ `wumO+⹓[RJm=!cr-dp٣]w%2qUuILA^_{ C+ mPSp]?WungQoy/E~l}/kXՙCyhc9HT;UqRA0C7 #ɐ{W%P60Dt'0oM? (XaqֽXVfL8^Ȥˀa#H\c{֯*@8IBdE.96J&wi͢E.qc$,l>óGVF՝bC΍^a"[oV"x5iWoτGQjeێ J $:VP,5]~+~j}*+e27vbTMmAi4QA[t t`}pT'}&4{?7[cf<~Nx(L_pJoX_f2w^9lX405zvQ̌6UyNA@Ǯɏ|m41ƬIi!{*4Kȹ}[ =CGGkȆA6G̩>fCplfEɛT$Y--QY&i <*%>{F"@n[b dHG$h^)iw:{7TAgd8;Wv"T$tSJbk8@_1G fGLo syOLqXRMjeJe.DRΦ(WkNpa<A3ヱME {l0(ɪƧjjԌxXtP5hpwR{ nnskZ ־JH#AHXm(R˹ q$:tXCõ[ݰ=^@Ȓ*kPUpq9:Vb]&{t*W<Л^h@+nC\=j,Beqᬫe6/y傏YsFg~X1xQoD~ R|1D2Fz>gEXE_' v y芤V˕5n9:Hd,^Sݘ˜⏗pL0ZT!hb?,UN7OSo*'X0\/kkuLJMaA @iE.AsqfpidST<BY?rB( jIY3rci՟y[${9dͷ]DOޅ7"41od4̚:2i_Ļ\Q=AfN,7l/ 7XΕ`Nose=@~3AW3ΤsΊ jYo A,=^i"XH5^xP>cY٩ZȉhO3$3UW SG |Vsś4s0c0]?vs2Lc%;گr\UW{9g#8?םZO_ɜg?^kYx.6\8-57zB3㮱@}=xNVmϕ!;m j{ 6Rp^k;{ >?ܴG|"Ύ*߷0|Kˆ$,sL" tٗZY͜b1)m a`V0(""^^OPk!$d)4{d?="mk I@K!dI,%84,\P1~n>7fJ?7C KzfrLU-"[KDE o֊2zjf[> ַ@ Q݌—`Xn"df5 ǩ ݗ(Ա`-H'br'R-vzbh.h~7*z%}^ YZ