texlive-prooftrees-8:svn43184-22.oe1 >  A ^yfW^^fI)4b3НŎd7,^21͟ɲ"X:sQK8{rH1kmMF:LQc7k@ O0J}x"9?K~)x:љn?g!Idkv,4sC6yYFغqÌ{2$-$vxW}e8!og4A +.7 Q~H#kUмazy]ϮSE9da02cb03fb9436350d9ebd579e46a5f4b780811b5dc56166df26dd428e97831ac5f3c7080aa20c65926b57f63f527aa98dab3d3K܉^yfW^^f'$4#K!Ua: ?Rn2}6: ?ćOZY;[lpC5=6TnD!8UN9eF[H:DTչߋ~x R> HiJ=Y~)mwk՞LcGJ=3қF.184_Xk`m.6tcsa OBOm/ռDF 1?vUsD(v+)?cX\>p= |? ld( , Vhl|    ( 8  $\x ()8098:FGHIXY(\D]T^b'c +d e f l t u v z    & hCtexlive-prooftreessvn4318422.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.^y3obs-worker-004openEuler:Mainline / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤^yQ3^yXTC5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb38191f8225499666528d99e570dd3d1bfbd67077b3b91d4f993b4fb0de5de63crootrootrootrootrootrootrootroottexlive-2018-22.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]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn43184-22.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 -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long linesiwvƀWutf-8b7b8e11e04e01da3226c8450a46c1c26c0006a8742e9d1f430a5c1682d8a8cca?07zXZ !#,=%] b2u jӫ`(xyT n@; U=T˨|9` L\TSE Z&ꆧh_CuT-"\a Fu،yp^ NUa2^.?Û@̙, ajOKʫ࣌ y;!n]OΧ wt%y!)ŌPkWWv~N(wr A q;~|S ac򍂵-`W @ _#PrrcSD?ټO;aQ+?`P':f8xyX D1%m4ϊV0-(fgmTG𙟇~!z 1CIFѽvҲfxkЫY3ͽh[Nr0% X1 >woCnxVo6,56.8jOɡc8NԤWYQ/"fCVrmPe՞K&hA2?`&Ә6۶kS5)r1{t"(Lr{g|Rq<8ESV}Væ-PS8PTq MITʨ{`.[ /!BpY7̳d{lpڒc|c&P^\DŽ6^R>/M;UZ ~i ۘV}POAg ˉ= + ⡰\E?&h$B LȮ\/j'@zz[P'hR?;S;9&yG⫰^PZk%G,b&#Yg*Rr1ב>l[n5Jn/-ba=;N?-}C$2s<@duVi&T^y2p,z= #b4W*gC >A%tmuMU; B]DE_}Q:]_Fzi]g!;*),^^[".Ym! .oQX%]BHdP$ )oaBX~՚Vm΁CW6ڢZ-w|Z @mAle[H٨}YÌY blmpԯc(t `z&sw1SJᭃt?)zS`K_znM*vWöqbI&;| wCFjx<-[iC("{Sƥ 'kDa r5xH5JQ flwD́S;_9@xDaxK∟$.4[·}@E7YVx>9'X ;e`XQC[ [[fMqC2z;1Oe}&Li-z]F'MЎ杌}k}.?~"@@86F\!}x@IOU587ήҫCJQe) UϽ{;۳`TUwKyU9lЋ{k`Rd3)$TecZ8Fc{lי,A򩕰75kd!5!i(5@2pU$lRnV)v>wtYiz |eݺ"XK>R#9WvJ`כ;?n8):8r?ZO^b,@@ZOdNN:U bs. nG $QQ !GN^K o+)W8α^ȿ$^4) S0!P }|J*T$)9ŵLMdA+zBq<,&6sǘitӴT LssSlV} gHœW!Ҿ("@X*H!6o)ϱtFԜya2P@.H4 o`]G8iZ)ʟPͥ]Q%蓏Uμ5QfƑ9 b"P(fdIY5eL|#ZUF+ w ][MׂU%{*?zt=gH3>g¦#<Ǔ&'ħ^3,^[3Ft_%+ug?NnZX,"oEw*CƏN捕u̝Fv+[|{g&Ri#C [̆ΠR)fcuYyxKVp ^4@'% 7nfEEYP&La-i+?#9X)@Tf*^:M0c$8$ٟ :QhkS<~B m.:ͽ6eE<7#^8_HЧb#P_#HIԺ>(F2jQL76ozK6.VfB .XyrAe ẐSoצ˕F K/96N~#r\lLh&s!4wFJ9A!^~O[X*zԷ[X>v!Gaj!!?cX'*n*e*rbR&-&n0H[p_)I^`K]]ٳ^1{C#H3H^-GxZj3KPJ7>Yi  !`_Nt̑v@zeqyG~1^^We(n&?)#l&5yDM֛R Yf{`pFm_Y0)qe05WRr_nfmSuDWTZk3LX6kBӋ™3Wq{HOuec`ߒo%M_nY6r2|R>ْ\Vs3?ܗg2QKk˸6>(?DY=қ?C~܄E] jE3 AwSqK5 a~^h?gId)w|GSDH|Iv?#,-|+w~ʭ Ň"~Ei9)o΁t˔@liT/j@SM])g]@p\r40H2tnPXt8֟x_^P(N6:߲G0G(\bT~\W,v,^q(A0+Bɗtʬ)ɰRyuM hE&Ao=.#7qJLxX osX Eߩ\Z^T ZD\Z])ՕFoA$ߜӞ۔lοӘ`cTS/+65{HUOWk ǹ3F;jNnڞh~Ff!kN]f$:'JLp0o.ofoOxcGƉ"pO,t}bdSJW04 8 u$cIt[;V'l v6oL~~x;=]xclujM;Iaps~$Q9) ;ϒmwu8~Cz@44hX+J1ha0k뒗Ɉm h>VH5 d|ۙ(p4KffJY&VeU k%z? ~]m[6ge){S >^Bv+!rR).<"0RfNhB/ >&lE h-e~)gV۔Xk8?$%ztcHc I,Z['T%rlGbjmA s{ﭤg`z^ Ġ."&κ46YHt1{h2F'C#J ќ%퇩a4uxeBR(QqȔUߊH/?1mr 7>Bq\L {ig0;0b߃pataSW)ybkve4'%4t`yfB:(ꌕ93K T-䋓M\s$^?jޤ{UQE Nlp] 2b΅vf.<,u؂_ɚa✜/ pS\&vJ cpK]5,?TtzW3 mZOI[>/x@΅aMl[`T]roKy#3A\&U\ eĿT󶬾EDVHF_Ȼ1M\pHՕ'ډ3dt/il ՃM#l}"jxDFf _j1A\~((nVnl4> ߅m<PrY{Gy\VK@.ޞ9kqk0^ҵNA9''m5? }_~HKp6XiM qc )[Z* x9_q5[Zr&bqHUj2ZS>ҥIx++sY|pu jHᾒsszBe%N8{ܮBrTet<4m!Q(2^3= 4Ά%@|nl)sfF=[mE T/~UíJه*PÐQZyY p-2 {yT<4:èSl< "Nu, g/Z_<ёJp$1(h=~^>ܩ.Cd5aYhKFM͋cڙwRhj3&m.9e&b\Dmg e ŵﳐi- SpWb'0f䱤&Ӄ~90qJɌB:Aˢgܳmkshw I~ǹlYU4MBx[ٰ_ iU~ݝBV/ }eo&U~=@NZGhbBݨqedEѻmLl_QkCxc)I_:%CUם2@F- )@%^1T:$Fv;\.U`疣4IֹݧIؓ_r0%lD_ZƲ>̅"Ghb5 4dCϼ}M1CUJ{u5YvObua] tцvqE2v >M1xfҗXg"hG)LCi %w«FiUГ* IS:A$`V0lF&Z?~v_pabv"e(#&*+9ZhC,Vس_3pt?7eG%+ 4#[:'qwm^aT˶\-HC=w+`-2eIJ' kcFLfX^`OW %;XUiJ@-,Tr \yif'N{b6Z.Nodg{[?L]+`%.~DbK Ql鐯CIH<4&0n`> e"]XH~i ZV\a(e_M6-.ӠD壴 j,3_9, cFdru- # ej$L&!^ށ< M4k>R>[|IK9rVPe!$oJ,?B ݖgvMX8C8\aV"RP `+'oFXx}#E+`-?Tw%q.*bdEA_ ocǧj!68$iFeg71_\QA<;.b `ǐ~Łp NX¹Ct:[{[҂V϶,c_s.Jlbo`Q^@BJ{t~i'xhׅ_x}{PeZ95bwem(E 3tKۗsUf8*yJ{!"uHUm5 zcͿ~)1ngKO҅]Ǧ/bO0~/x{Nsg ^zU-ܙkn+12,R{dAÎ'cb_~EY&7/(7~]N'Y0QFcbL{xKq8pז*ǡ -&m(p9_iM?|PbGow}a툹<>$`;mmQqeD/R#Nkqq &T{eE!|F*g.l(M7`ګkwx/SBn?G!ԟ{Qh몖1( |<7هF9ŕ|7 =pc1Bj- @01GqA+Ms;#nEi^Va#ȑ :~ 9!@Pk^T՜! ~{lip`5C@FNdnO 2cW\0*fGRfKY5DQzotHZnqT> SkjoȡgClq훾*E\v9%hGi槾T=Q\3bB5GVm*9ufvroM>rgC(zcexTq j 5h*}mκț]ϲ $?:^:#GYܳ5b`Bٌ͓c2Rs2 +S_Mf1\1 G;׬ב([='ԣW`4xv''r$K4:n"%e4R&xTmg2:f}]yS78*귱+ۚvޜ֕9غ;俭eYW@!zңDNr~#k&JvJ=MWqU mJmx懠k;oKԵIK[08@,V ʶNa\XqG2lxާZ.ͼXr07C^{'L#1UI`5h1Ԭtpx bM1kKӦF )D\07GmW/Ep>eO$y'\ZTAu~#a2A-N+OQ[C[|"?,ɓ:]3Jk28|lj`m~ uXfƅFS5xۅst+>ACʑ'¢p;oghk*id&[]Q{$Tb+.n0Ax $zedFA0f<{Mu4-pł(kw ζEoyybAwf7oBt xBE>-nCOkkHSث6c<13sP.GzDH?o‡~߶M "%Vb!eCs\6' ~^.:Jo'p8pn" v“XTOpל ǛYt׊1cDv†儠2Sy_{Q:ՏL+ְ ґ{w\kl)PQhr`dy긕hO?7dL>9LHJT7j\fzgNPS6_H}E0,_m# l9*B%#!<,ҦW UvR'z TrTi9jsAb= #@"}=άb`ZG}S %3};RI8'8?AGK; bJwL4DZḂA,#ٱiGDa :>?T~[(hm'uk,Fs=p:[!ݜmk\ mQ]0/Bby4&Ag=&E!"VQH 7,- Nc(Um窎"Ƀ|@.xR݌(rr&8^:`8*S}*(}:~.TjG,GgnZ*op6s,گc`)x ixRbD(UqL% 6ErT.ɗb0-RCoÊuZ 'G#qI'TAg*5ݿDRi/zMYǬ4WAVu3<z3#;ǀbD<*:J}|IHrA#& v %-SAmN{ Z'Fg?0=AeOÖ$?=Wg&j9ߘ̀ rK=4t>03V'<&E)!)K.Ob:N` 5"W2.cڸۛaLs^-CCOfjglr6Mhpˁ} _ L*mpLWo!_:EUQA6aX./h=whmMǨ,m=ͽ2n_so:J'Hj;.rSlԔ|V$D?\~ζ ipBv0K=HZĚE06hk, i /e8b3FExu*b S:bjpcϹ{<6BAL^9J$'CPltn7.m!8TX=AxYxuNZmJaf]~TlRgC=67<5*wcgqsܒ#SeQmHH^Θ0i{yR =)E8Nn:ƱrUA^ m UzT(DxHpoXS:[= 3 AsnOB7Ab_2 jFlEՇ-1U$ #&Q%1@/ct_#O Qgc֊U{A۾6l#-fM-Ro[Jںo~D^fNp_m J= 2Ta?vȯӈP6(!B ;c?s"\k|C3#kBڑZ0䘄~:1Sս5kK!,BMHv=6lظSf}njI=WAD0em!nukWB"ĝŒk.ZQ姼/}B-aC|lX#{m> (Q*QDct.aR'N M%Uy4!2 y&vpR/ې j6P,^RjT!$- ?gr~Ӑ񣝨l̀+r3f/1c0cx]R w2k^x9p s7!zk^wpi~?#WT782Z.˼D33B8 ;2I *[-tDÿ6qE![E(E3Oc1 ;e߅KYz*TtI~Nh|ą}AYm:}": %K㌨aM(أVÔ2˧ڊ#C}Âo!ZgHA'ars,ں!БK=H/*{l0 ^Xd\M4@Ld}("IHq^@,jaڬ.zLc8,0ؿn V]fg;ܦ~6J]WC(1D5HNil~9 _(zoqx p`tZ0rd+ {1~L3k$Kiv`/s$m'Wg2AWN3>G 6nS5wG%|Uűѱf "0TScp?.a\}?E}Ht'KkH7K{GT#pr~^81Vve"B6<~.VҵHB-DT@ jL@#UC|ycwkW1Wև8N:Xrh(HrAD˟DF%έk·1)Db5jJ@R7R8X!eK2 6-(j0l ?$^ Aцf d{ZH^3-<*8IPX T<mcF1&KKUS{{<%nfgeg,2x"E;L l"}R-i7ld !f5GWNLw ) Ħ=xN$5:`8~b3Q:K_8t0K ST;XD8 QbAt9}/L+׬< '@G )0&nʐ!f g @b6Xtw$K@^鏐O(ĔHle n+vSS-MSHpXُ `黽Mvݣdz%V⑓A\{ znj-Br3Պ4Ή_crN$<1e㔙>k 龴KzT!pOx{3HZ:6+݋,oAdqI* Y@MHpQ!֕E";2V-!f:+WqźsIP?dsŕZ'@^.ы]mr"k|Le~脴acsdٷ XIV3qRH,h-i^枇Lyp;ߙ6Ηo5be75qH3l5I˷_\c)6s_rR VYn:mco6uC6 ZdLD34ֆ<9PN  8( K9ڷb)7]\ DT `ݕm8QPd-Z; Qշ$0+ve@#6CCsr!'q F?[Z)FhVe?~trŇb/hݻtɹhO#t$/i@ghf.R~"y#/ h %:_=G,,RwH"X\vhDG"/n [ ?N$p fz̞lsЭlr'/Yeܿ<# \hT٠m^zlAkWo ) -P2h/_ܾ1wȔb52zmU֚ڪ/HSU}pV WM$ߎ~,c w˸¡ika,Rd@p5G2K cO@2vHi,)i(ߙdjP_ߝ6%l=|s\UBIB5_x f)<$H6AJ'|ϭ/}PLu2EDUG5&RSCyE46EǧiJX ҡY}6\N )Q- A 1ؗlI=N֏Ɖ$9g0"*l{(s\|c0ӽsx4g@![ţky?j'@^.60`-< ʈ]Phn?(LA01H/:fv'@F4+n@T:vYKN:&v7,F.6sǜcJktXޚĕ*V IZ}]`ppTiaش* fkߐMNS[+o^"1 O!@ 2=g=/@d/ [C%a+dCl]dPeك 󞯶ȝUn#Ć;$.C.%P[1-߶HsW <:vwv_ehnf$efiǾff%8c2UXHݞNT~)D9cgl3g8`YNĢpo^Cmm DjN<=.>p6U ,-ŏ `Vko{ zGw8U<0W1a(v&s Z6:.2˘4RCQ{ܷ!!kzDL>43@R'V̜6+FᆷB̑)k`, tGy"== Lͮ/,! )[@2pm+r'4-Z׭CԜJsڹM'`sia?ʵqk%R ;y'KNgMMG:ݶ{b3g?^bHd˥NNp9)sb/ vl5 +PA-9σ|ҙG(=s4 cAm-S%fJZ[LY'~4[SmXެ#Ȍ쿳vPxt~SFu\ JeHr8l|bQ]we @ :hM G  R7=lS^n U^o.1Ŏ#E@Չ( RK+ rh,1(H _jƔD@ͭGsmݐbyRMRi(,>5oI-JH.(hPW%M^12k4=(# #ҵ˻t4G u$R we9`}Za>awSqGRJ_;Z&5"~z. YZ