texlive-prooftrees-8:svn43184-23.oe1 >  A aqDW^^fuN-tXI}NMIB -+]'C^4v+JWd׷y9NUh71b!W`o0yR}d|ky eB|b"/JTl?7Yu mww ]v+F4}%E΋DlW1=?DL"+Fv#^@Vb]pgʡXG+83ae612ea8d3a0e444ef214dc095d9c2a1e3399e6b50e9a724b486001f02f0d82e6c8f05c2f8b8493d9cbfe32e752da928d6c09fL<aqDW^^f^GכExxBu k)pl-6)k]R._:^5*Dl`iJ^eCB2FC2;T9ʞ򾰲FBGƒ3h_pJu*7"~qzDwڟ*^ọ N=K&{i5>AH 䨵Ree[P/m8xQlƋ 3 }R5z*n@d7]ݹj H7^HwFd&$ɒb>p= ? d( , Vhl|   $ , <  (`|(-849@:FPGlH|IXY\]^bc d e f l t u v ,z j |   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`obs-worker-0020openEuler:20.03:LTS:SP3 / standard_aarch64http://openeuler.orgLPPLhttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ$A큤A큤ahQ3aa 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 initobs-worker-0020 1640980622201820188: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 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:20.03:LTS:SP3/standard_aarch64/abbc448fe7db60563655e2f379ce7a34-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textUTF-8 Unicode text, with very long linesXq)cXE*+uutf-817690b40d8117d16469bd3eb6145115992c6c134f62c3f86d8260f11aaa9935a?07zXZ !#,=&] b2u jӫ`(y-7g?Ts,6KHQj s!ކ>]^f/ju-N!T?T Vt΀*v ~BQ#_S -Mb{Aͩ3\,^f*v\A%5}}uL8 ; i=ؗ=QwRY'*5ƻl8' ԇ7fnAP .hLx=⢌;_0+Fj$[CfWO5ܢ8ѫ!ۺ?S{07$J\IvyBH˅k `=ǼG̹}՝\J$ve)Td& b,9Ls ;"oPc6^# r, ǶYEJK!7cYJH?iD Z*].]UoٟWm|Ɨ-^3h?@hdaXB׋/a@'ZŹ2'\]CʉwOe [ /.ʑ%LY} ~H&0ÃͦX礩k͠䑫x^i%1_=M 8'_{6 *M g+m # 5m͙WLgKˮ;#Y_b!Gs=m0?Y#2eAzp *+pb.:1n%ʼnr-":0iQWWP'jZ*XJhdp|)L>$+}Եffꙹ)UnvIh)3? ~ioqVy]Ȫ}bBݥ#%w\7KyCwawM:"OT Rc=@A5Jb,0HRL+s[V k7ph{XWQy뾛l7"SxWh0fѵaPGG.7\.u@ާrW)NѝD63^  NħUzW,ZxtIĤM`m/ &h"RozTkeIRNrcֽ{ n]p[tEٝ\0%" B2U6|Z.ʦZZ|row~uĮw쫾N6 h:__!3~`i kkϢ()d.( u˄_7M9]kr[L\5^vsm!/+@!ʿw \C9pm1"&S^~]k^eIj7"k16؏@[OµȘga~傖ylC(ɚYFUa}?Ew]Jy9`]G062dܯo+gwQ)r) =[ mL uVz6I20j$'(wBXxns a1D$N  o36\ف^Vo lk[UH Ӝ߉yuKg"U@4Kmh3d;KcvNl5N.5T9cY޹"1B7 @`\oپDz2}5mMkF=v8O٤ې x"b0 q| Y0?H~EKB.+vWCq-ien6yZ y|&hL!iM?ēHPܒbv14p;a#&[ѿj1usߺ*0$G{#s;or{s,`6A(mnG`B}W$.}8$PMA~_$D ZVh "3Naya)^Kċπ0/l@_<܃X$<.FI=-B!jN(BQGr/;0NBȅъM81(='GiPZ`ɑv?4U};ʹܪdB68٥Vݷt2nCSmsf6{4{)YH݄G2Lԓ;U,0Փߐo9v~9Pn0L3-d1i2>OS.[@Y^OaBu(eh fؑsE!# lǁޱDţ|k`%pC٘ )K*JbUh\;P?"MV3G>jӱY{j:xW+&B%rEgҮ;ȁ%' &;NH Kg4u`Ǥw8ZF' Z9\=i )CjvvJ},#/a.m5Z|2gv$uSkO^$d4' HcF!jJ+۴hq@<;C?/(V"鵉aGuN&QXL8mU集觶GxD-M]W!L^2{_ʬY/DjAU!]‰F`qJ0<(ؑr~ rq~BoG;t )Kfle#$4D#0R捪0 7:ưq+BSB)W ?$i)pBcdIDpD>ffoZK?tnVi@ǐ~ !>{8EX̴͚ 'u`XA.rGhgpOmB Ϲ)[DìS*Ź8i8|4&3g6@cS}ei ܌3΋- &|l?SuzYD<`[Qh*â'N|?!8@;l%y+\V4Ku SUxlQm%dI Vba}?KC홊x Rx0õS׹q?ITF8z+ErUn5o I1>w2e$;Q9TOu$Ripu J*g6"5*E*9 ():2,Wn!P]33Ι![pcUSrP7Aˊ-Zr5a?uRN?h߷Xmr5WXA?q\iFu9XvwYdpt cv5-*)K_pm1?C>Lizؕ_-^xps:m]'inr`]>RWklR#vIVЬv|S ^z(X^rP+Tlt43cfD1RaxY[gRn-cnzgҝ ]wr5)~4_l)V ^LyPYW9us RHL(kF"bWbpG_gbCT>g9^&0!COɳQN,-YsV0>|4WӃlp9)$@1@sB1*jm,SGCpK'#ǬvnW# !,AJE[h=VqdV=zK{2(wmpG&w#,!|\XҎ a}Z ̚hh\}R2djA0 ՇCO7b*-(cz/ѯA5Ⲯ֑2f,^(eaRir&Aa/~?*}B*\&V6/[,i0%;ݍ6KtʏBIz8pD2z\NQ1=AAqvɹ{sC98CS}+A3Ѡ3* %6~dO#C9i 6rĉa B1{T AltLS$R뾘b *8؜h\a? ӓ}?Ȇj#}TEM^5 c`n[gW{k*jAvTA9|{M-3E/?:y am%RiȵHU`G=$?"sҠ6`#w#ˎ1y!'p;#m%)([#uZjC0FԌyyYm82MkMSY(?* HO9N ?`NiG]pJԋJW4e!ՃUTIFuGxjPW9M8CxRR R``j."$qot Upԙ f8g&Mg6P1}xXKqe{pp{i;g69@mN9GMaH"񌾉*"v9ڋu>$"A:d. Gmx\rt0׻Bi\ 0 y\f\IѨXW~6=YX;Ǫz"$ggIMo{)Fà~eDq[jyev2Fv ШJX|7;ZT5Ʈ+SGbfn$5jGjajUw]"b̪eQ sFY2NL i' n9{ /׸WEo/GfT`{!SjKA@5fOgRiޖd܋qa5]i GcKhe: BJ!YI4U#.MX7)0 Au\|׵^#cîb/*tX0 ?3sCq4nr `"qF6a&vcA_mۉS3A8}|?7/L]Ep7U "&;75=&A.::- _.D:q;PL)g i*!]hFI?);Fdly ;%͑d/jA ݍGCol\-W  !X)P]q0V9o{YJ.T/\|!5/|Fd~R=$MYšgk$k2Uo0ҪaخkS!{ X(Yk9:,sƘB%>gJqp@yS_k8z}ļȖWDfmWuLzߺY@ڹ35C؂0+qjF!}ox'r~O9݀lFWTm*6¿u9.ܛa,$?S8r|P9!KEƪJ+ T8-z) #,♩zMo>=u5Pٺ2q!7̀M&Y(U?QUѿ=Ab0"l|% A v)K =Q%[>?Ld[K_&_^B>a$FzMfo&(yBIMm#EPKK46xݮȲjzI*٤UqYw3@4w'ф#{e4:v7S^呭% Djn&lXxQ8/In*m߲ X@3Iea0m₞sJztQ1I|e#!I."9m;=tªzTRSizdC>eВ>ae{\q$zqIt? ܺW!OQjO2@U^)͒3˿KxamƘ5zI0s{L x faQ/- ]xW{g6;4<9;\N`ѤM6I<*1l]m)^5^U]\i;ȰO1Lhe#NvDͨ1?>_A3?AnKItb|Dx^UH& R?i/ɎS$7{ƘeR/DTѽy%&C]t՜9B8)vO-\I3Ko"iך<.{]^is"lvRѧĜǏe2]0ʋK *eȣ}xTRꬔ63x֛v)\bbzֽM̸GJ+;#?U5AaF&X2ONASZ[poi`_aeEzj(zmbsó/f(xHK[ b-r=1Ě7P7oSz7.jit[%T|abbsQƛ;t$Qb{9b`aHY p"] ƪKΒy;>4~Pb-|;!kSCNi,EER,(s9lֵ"{6j29SaX 6$\|wހF?Ѫ݋iapn].U[`We{BSNaLѫi-';*[`fsާ(-a<\woUťEѶ0e(CNLoǗ7׵jcwNshCҲ6U8o~Mj&&X$"$vzR齅Ώʊd},nPϼNN}SK`~Dyg2 _W;M If#iT8y;_ߓ:h _Na,D!Gl|>mj+h1YKZ$Z4p+N2)?|ȇ_ȒywSAT%̣47Vqlia%Tlg{~w|iF`y1kw4depI8?`4vV)*v7H>o"<'T7ryɗ&RlG]{V&k"EΐO;;~"γڄ$`B 2ʀa6Mo>lW kSi+s kiЛX*c;n9> z/TK=[O ,P>\|8В.NX+`?{ſ3~W&KqL,zK8-QhF:& r-̖T]<1]o4G}{Avт.i-Kd?#莀rko!_#m 1ր,q.S#ir# sfg|>[;.'?ȥ2Ĕ1r>H ÐH:y83{FL3AtɈ¥>+j_MaQ|r]/jC%XL[*^nT;RF:0οk"|&Wyv>:q_C ^!LI |?bn:7tȪg#혆8I xI~xBhazʈ*]CZwCY 2|⤙,\bD"`D?Ӿ̦\)'F؄9F^]JDSNU 9.}b-`*z7$EYe3g.j)6"),[Nk "2y)XꇶϋDe4};Q۳(ĥ:Vs$gg"G,?$+kJÉ6I'͕+ : |kRc V-Ya߳oxN*!=Ф31QAɶ('!]̓wpULiWKV:lr(vې=mc EV`Z-<% Uk]%Y958qڿS[C8S )~ {w.0!uuA^hVs^*M?)" Mk4Rt [1p-zGܟf*`3)RW2j4.z>ukא~)dY:o"8Õވr _{֢=#hMe $З,e֎WˣFI5|V&{,?xqqFnF;ɤCh|Y =-z+aW95"WoU n zTo@3}," "x><;۳MV&-L (oNg$ut^O?11b" ˁg$&Y[ˬkhFCiGvJ S/!jJRy-xO-7Ԗ- _Ʉ&g=;b? t; dQ*0}(s@S[aaU^ 2L:pHU '>{w{H]]j>~) Ay՝hZ2r"ŘuJXHFF\誈!n9Csg62ᙠ?Ч&WCv,r6H7Mj~Pں.䆯d|! <)mpKh#2q`PuغPV$!C}oGⳣf.\EⱽFj]̲B(2TX-Ǐ͐ Ŏg0#`O[UG7J%4TqKRuH>kYwaLBsn"WPNbv u / ゖMic,+r[J7.o>UO50e 5CCQن E.WZ.o5ɷb~ݫqx2F vvUi}U)82sK#K z,z9L_aD `^o~L7H"KuҟEMB6@*4wqjJed Rв6Vg:AtJD$g_p_Gu]f1msJM5 .Ox&~ˣ4?(}n~.) CVW91rG-ZZF1cnG9j͉4#PvTѷ'ӦF;Q٪L̵O>*}f)+6PL3Uw !ɎNZd2mTl%#Jћ'H-<̏ Ss3G6UE^h3btJ) @{wgaQJL9RE0m>ӢRl|"< .MJ5-9Q5Jj[jraWd°`;ލW 91> )%ǽmf !ЍDWi+ wzQx;8:]GXkt+ra5{Qf>s0@'C?NlK%&[p%) ^a`Z^O63483)*rnK)19Ww(Jq>>mZ֘i-(GȦ[^ Q!6CKj$pFXh\91-ǃ LcHr 0N>V⢇钵%Uהh . ?+1c F)/*{ঃ(ꎁh -L,0&L?-on56FHdƩv BnpSvމ3)ܡX< {)$ZKOFldN<뿸ްg!:Ip@l /B,y_u-|LW'Dwq=,b2>g a)q~4mQ0Z )4-XF"mZpvJ%$ԡ (VVLXk }D%KA[yv- fyi,-2+foxJa8sHBn1N@[Дqu_lȏ"rbDW?׾o{R;R?C>J(HqjwB+T= c ƦqBR#g7j;;ayo!׷iaQݡ^m),B}H8{u! lbDW^ؒH~$;qnc7)]p$EW{l;TM2v!2{ɰkyG.SnJFRsr~V hӾh۞MndRֹ!wD%.֞wfhoA۳a>ٱO5apA, jZ5~˲k+Ē D'>|lKs%IQ O-;o@:8o׉\gVb[z/ҷthu7R#o%IIJ LGK]CGYϮfa 8%|` |2$D5 %n A]5\XbS8f.6~WҾMӋfW{h#A=~<J_m{ha)z&Tr,PsN܅N834caVwT8s*6 O@AP۔TF6>jpPl[/6hLK a7}(8(_(`"T( >of *7B&.['یDc&E}7 "Ql 43 iPG^L?V@P5lxq߫:֝cSgDLHӔ7,fJ {T~ ާ+n|ȱf@1Fş1&2G 3SQ6a 1g) a (u+8Eg֢MkilצڐFsЊ׼#/ XPG??sc{7_] 6p^ : iY9 ZZfɫGgo |eJ'U!|7|r4J*,mkNB&t9fj2.^t[F>O2tΈfL}-q*>IzNRrq̨)lȺ1YSG =y˰SEh3}:౴ٱNaߝʏ_v48%3%;ֿ4LL5>;PNO-+.[ 1S4bk=5+.AdQ%}.3-`N1/h jHp`9v^ܓiiW[R{8nqZj$> :oXSXX}$Gh 7 IB2 ^{KƜvsGцD b9:E,SZ"5gKܽut0n{κ d'[խ:+4n'I4g%5'I_byN^ւ4Y[p龻O1NK NPטyjpqd.o6;UuC>jcfny#]I&Y㠄$j[ dߔ|ɝ!>}%-e Ņbw3}Yh '.[L[z/LHi$['Tz͹-ZIʌ~eGC۟SaLbDg m*omԹtN“ 7:QwǻgcY5V}xX#g<(QI&&C7e ϖiW"s 6;K?eb3I?I,4.HXs?Ҿ}l?HX^'C|,n˝M幂TE^W'܋·dB[XP5ٶG=4io@T~~D. \7DP@sBJʟ cf,!ʇh- CФ猩#3J!X@::gAɴRn[B,<. DЭ$0:xSm;)I"U85fl! .w (ËoI<[xܪbg jwGX{ .FU[rͨ>=:6c/)'͘;~)ek1%7IɊ4YުH@ӦbQE(%4ǥ%ܖ]uU&[VJl 1X }n7Y'&3Nwp7ݝ GEvVXFu%!h'U%+kmF (\D D:wVb~WkС sk@rB]ռ-#V"uŞ['c*0i񥧐ZkiPExi,`NCB6Ma[3VtaSYIL:وõ"%:sx><fS:O:;tQo1T\vlX^*$#>k{eN;iDøНYrpQ/ yujsct%騜o|=H-Y! BV7]y $[ضVІ[5Β>_R-L$kI]Q>Pl&94:P&(RvDW:ōoθӱ*_zeI\[}fiZV\qo*)c{ LzǛZWsc :׭Bi|p}ɭSF#X'Uq}I'{je4|qf*#mقKXUd74ޢ {c( z\jE''jiB&_i]/zU%s%+ G+rsX9$rdԽ+ E=#` !3I Fb읐=ߵ+#M;b`f:8)UMbF=+DEWGOziU\d+gZaj؃F>ص`wCY~x;ӫMY-"8 'Lx@iLaLwmژz|! YZ