texlive-prooftrees-10:svn52221-66.red80> K KtĉH2!c31^ Wge[support@red-soft.ru  Wg"DdHDg 0Wt*k A- 4H`P1JD"$DΊ/tC+ ׍d̈́Jl U4 m&@ :ڽy5Jp#_aS:8;g[FKt13cuA 6?.z;%~ŌHQ-S]GyӏҪ/(|OmM'b U$PI"4ϧ\K ̶ZF04440ea85e709afde4acf3fd8070109dea2032160ee6a8b097f5801aa4a67444873ddea3cd73ca5b5071eb6c8723c040b6cb9d0edK-nN[ p~>; ? d( , Vhlx|      (D(89:GH IX Y,\L]\^b/d e f l t u v  , 0 6 x |Ctexlive-prooftreessvn5222166.red80 Forest-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.eiFbuilder8redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJNA큤A큤eiQ3ei]w5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb63d29ae6fac64266d9f1f8c7adf3323c7520a1a086b4f0f3e8f6e8dfcef7ae08rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(prooftrees.sty)tex-prooftreestexlive-prooftrees    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn52221-66.red80texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)utf-8d0083d1cb282c5856485dce7b101435b40d4298e39a2ebeddd848d615d270f55faaa9329e63b893aa88963fcfd218d10a43de099c004e0a007cd7f9840066c74?P(/h "/lܘYNY63tVcAAoJhsxy g2u VOD,}-ˈF4J4i[֩dIo/FrQx`wD>68B:ReS"G"aT;X/ UZqGl/KeJi=m=k/n.RL[ 5mG0j$g_7I||P2uبX4,*r iaPeAbXtPH  :~l+Z)ٜkl 퓼s=u1|::&zsUϩZR)Wا izGz:VO%~dXȵ(E$TXhd 2~^)2o|<yrCu^rat-i>Wo/ BB$ ~ ֊x$xP2YE #ddDXKB"$cČl E#Ff9D@PT! (&& "t27Ic2v4zѡ0&$P0i;xH<ܲVoQuA Hjo&W1!l~v#h6c;CzkN'"x摓Av8BV2 s3OaιAS/;lsV9-W2hOMfJ6l5޷Ͼ_5b"v۞%l!v$1LhtU128I˸yB\-jb[.cŴbUEl.r.y/dPBQJq%xYdl(S[TzطZ}LWFl&kQ.`H` Fa}~em̦rۏۇ8ױn}zmms pE9Yo%a W. >0m_sS0lF0l<,H iW--2,3o1>IΒqlJ ,[leLFl*d#!|@<%OھV޼?zO9z:+>K뜏Z.u2\H"I+J벽dQH Ȑ謷͑4)e2 'T "j19ZpM4]׾UaqD:W.)4_2dTj2D08mk k/;B>4F:zWnr[Iz6_5D@̶7Yl*:zwxm`%bO[uP_sv)?9w־G-'ձ#ߧ|-Q0m6vzIKfm*t;WI0ҢAba\THice~MXQݭ\pؼ"OSqJv2Vz79{>Ɨt{-7Xx~oߧm|+ZG9_;LiهEf[SRRШÇm_2>EϾdBo}NsPzqx*qpPր/8ΏY5B>&W#DS}w{&h&L}8z%NiG~HĭZ *94jwȪSqk,eRp.lZ{}s$&B׹;t|2*=aZɩ+}I# x甭944HxiQa# .ҁE##cFf06 x JCC>7Gxi~du;đI#( ,k랇9d},G2v0pჄp5!6O[#*HCk9V~{J9.jKo/->h. T@@"JNP$I2 @*ld\ +d) v+ `F6R5ȉ !AHNc b[)_&tʼ{vPxֺl rfr2 PKT(= 33$c0  4<6 (d!#I d0@`bZO#9!J TLf) K5(>tW ;ݦ$.$?߬-bZur_~e܈oO&WTB?nG77䆴&k՘0ժ'Y'^NC>pDJܽ3S) yWWklҕQ)v}rvL qgBk_x+0?fڵH4 aM^@AȾhPbH^fїwX7TkO{@7PE*[ݭ` 6Hg9%(> |,N;v#+I*M9^6n}`*uR GK L]`"7++b } }P(E-̖5B뇂JGT1Dfu9q{&pMbcՈQ$z()'_!(]=Ҵ[#p| >dd~]YPZZhx;dd,{Dye `>JM)ˋ+Q%{SfxY_<$$r+6-zMo̔ jRu%oVHcvsɍI+ ^Z}JPދv]lBCʆ{UE^!e|ү{eҐ"^o*FF]ckNoM"%=ѷ@nԠ@XtSR_˖ Mﷱ97jx_fky aU)ʞŎ}(yxYN, ^TJԏ9u4$tLzu/ґ_cm,^_PtN`*ne9mwC㨴>0_w pӾW^SG Ibp~p}#(,t[ZZٝ=770yl.1!E3"\ ˒r#6g3[e%>FM)ZSY ҵ&ryɑ@y?=t"g]8qFBD@1=/{7ߨ2aM޷}#T4CܬCv`asDq IXs@SjU ,ī'ϻDr6T)!THvԤ2}ʱDl\>Kh%L?^{jdqʇLxrCy s)H Qc?m9p`0n*p9%kFppU~}h#Oа 3SI t?rM-d)fMm(*\w+V;AD}{d HGk_QMˋm%^RBB]5ח$Qb#l9:/r w2ևiIpa%*6X)aEdA9l3<9ud /IɏϏ?<@< (_ 9 )Cԗ(d=B@0Զ-@b~׻ n)ihPs*RkXs 5EF@w xB_٦,l>^K-X\s/ИIHnz;#aqp H\*pryDނ#Lh ʀ+=_K1\>P列W\XɛxIf9No~}?O0Q\*,vy굍Be[+)n\G@%)/"QMuGt83M? gtE``Ub@D)9#ִs`z.v:R̞(2en7E"?}/!#1p3rzsN:1DN4F%2^KL!cEBG!@po.Q;sL)U='E!RhiEaHũ)M$Uh`w؜ :LdO{8GGc7sOO.B=S yI ٪Su(T`e膷i\8\ *gwb H 6D C% -E L 8:,:'q ܛδ(ga̕F7c|-q&&@º 78aN| 9_kAJ+i5Po5\a!J[oF9Ťj4.pX14 #Fs #,=WMLəK`3<%;Qµ 6.#w'~hӻS<噢yW[YhQ ;%H~3$<|o%B, 6* e# 1αo)фnVp,mRY;E9!:(Ujp(L ZuL m UXW]i ͔^) K/J78Tz UGW)9EImL 4 "e1 RÕ>*4,pp1&mY=)}M@5Z$Pbӱ. nZmId%K$gDPKuys Z9,$f~ \13ڨ-]`7N U,/#Ğ-C0{w I@dAz&!|xsnn?(aisd;4YN$VX.VŵQ/_Q>!;25>3PSBt7Ⓥ(_%iY[#5;scD`+d^^qPS1\C޿T瀙\Z3k =ĵ,j)ў匙|29f&Y~)HyK܅> $ex_PPj~S\ۋm @y|hؑj~gS/דmmpkyV8;]yg)mR`Y4_4!Ɂ@1=ֵAR=oNwq6ifзeTFUM޲7R3=WuQrr]+ (DDF!/謙pF~8| LhmG?kJńj6$IlB;Rcq='W}A*eB31'D~흏D u4ٖ@hr2+n wcq[Ub/HMscY.YwS~:(snUp2"킾*T`eʸn</6 [>&Q!!|qU!F,8 )R8 9ھH@ɞ!f H#%h:Q즻|qf-2^ɕ ҆Ռ8$"8lMh^g}(q$Xy uڬƣ#`p7JqyA*<A& 8b[[ ^5Z[pZ C;{G~xZJw8l#{qֶLm'Zq`,g Lmt2lw 4)5+vVF)QȰssAdb1ࢌJ|m1g5GFB独6Ci$n jŔגR7& \]YA(fC)"Uk5֨{%!Ҧuw9DĒb][%<y;Un h/-X\Uw#.琩uڦؼ\\kHy/&ǨLb[V'n(ҭ.'\!:]:5F0Cڮ)+{k7Mh&` {v 0 / a7dB/Dϱ]\fl?6̨Itdo>kQ/2H[cA%NLk6>Bׇ54_!.Etw;Zu_ O 0h`.E>rRMۢS\a_ޡb6_/7@94] Jw70m#  00Pm,FHdKHRuXeb'!֞F{߿̨ GGICqTz$o*%! 4+IX]ӮvQ Ap2͢bzң*߇L'U3؛~}h]w?0>]rxxX6Q#۸rCYl~=( ڲl΍|'qɈy虸2YLTDVLkEK4ʙKR.|D5y?Xo N#] g_߰| \`< «?T#u0l kv}19el!Gatð9Wg}vc)nL<}uu!-AW.Z[bJ^=:M):տd p!PRa#3᭐+J6yĚJ__}NVjg;'id}O O}x) (!¨q$etQ0>12E 3>2>>).ee(X0 b̢3n:*y k޷YfԤ Mӻ%71S#j,^? upRAPgEb%oo!_2VJU %ѳm֮k.cDeQ[7k6-UF<(HlaQS ;tѝ$"R],6x=Q"?C&(<`L%\'La#yz[Nn6#VIb<.v-Ʈ?S $\*~rQz! Xo4ZMP:YXx5%F`(k-!:d-n20#g UtuWI:첥&[-}`.ܚpa (U}(wHP3eع@ CàƴHkB`(E,9;cs6VOX)p[kx<04`Cgo$8VWu_(BSQA 0 MBT;>T\ Kݏc; ~g\DLݎ_WyN{r& DC uY)Z@ԍa/2B 22ԥPɟ" ĒhEӳt #ȥ%ybRspXell6ZhUwE۔ {Ra'+Fr AQb!FϱgF`Mȍ@$&] L.R1(Yt :Nb:Xzku͔.-e.hǂ|E.Ei}l{8]lpN9|#ֽFDz 'EbѨs <3NNEG$Բ҈gN6~@s\pb΀АN%{E=bKm;<pf $#d40V{%C-$MN.#A2pnfa-\oe-|!VStK`lp6Ɗ-ae?}8qR&g@'iR;ZʵFq%ސkNK q6w8=wטj{49e3Rek;&I.V*?k/܅th 9JCq/QM;zfmK0,-iѵ%JuѲM͚`w;$0L"s"L& \^ʏ;< JpYJSOm8tAJRJ2? 4J4VsAh_}%^L2`RfZ2#Ηyf2C|]}|E5%?3kTx (] cRh"qw\ިl\= DNcrm-g }^od3"Fj~O5"@&D~L<&#TR'Bidε9u]nXg"!h|qӹՂJ0j >nX%uo("Ƌiҗ>_ eYJ䃋%>}fКnxE2>_K`@r[T!E \ѫd>6ӧ E7_ \nnbF|vQ7h p ԣܞ>{|ِD tmb0_e'T/S^ X[kK',@ϡ?2B=T?YJCZACh%*Kq 0.2w$ *a2 ##%sɦx 2)ղ,\?f&- ڥPfʗ ﺣ.\bT'"ԦGQy 2;-q׍Mɾˍ5dX]S(~x{i8sbFn^>OR7fB3kTf7 ̩`βӋ&)9^I8GUM@ '@J FB` x ѻxf:EPvtl`ļ<$mV*D?TZ1t{qtYv(sO&Җ~pى񹫦}ܟ<"l]ƬKpJ3h&1}Ф<ziY-ɠ39,.b@^ѝQPd{9Oۂeo-n6VSFD[QTğ 7A1cp`S1GDQ)~f@VeMy\Yt6ކ|Eōp\@AsiC%| _R4CCTI´*C1ECBL 5h *Ru>P{U"qAT`YJfĭSkZ4g3p訍}R5Q[Z$w0GkB :4?lZsMLܓ63M>!)]jR2C1P[>.23*0@lK%yޫh?2,XcK%(cJ|Y jKMy*1-ޟC\3p#K/[pH'gvR~N˩WVׇVΆ23V+ f4h4$g#~ȇG`ޕq?QǹDRY,)!I.Hrm}8 V;tb}p{ 3/EPl_ B] R:wLjWbqVs^xis`VBəfSmmF歡K9NĀŨQeGI!R)7Ϊ] 8 tQ݄v:d%w4V Wxm0gl%†ah5 (qwKZ"sa&5.>ºdS^WN &8OºNP/.fh:b&MyO-bwz#elgcj^p8fYRl1&U楉u6R%;l$8tL?mf 8)`֓EǑ\yZQ {6:]7=/,zb(mQ>ǘ 69ƴ OV~fhCav.b]>l9G{y` #ޘEIUWv _꿈Mt{wn̪׬r-\0zV y\e]"dP:rם迠pW0[mK亮 w9i06"Qj~04#Lez kVΧ}rԱ5ykz%l qQ 㘺ɘ1T 9cul+&Nʆg2 \Zc`Ƨsի \2BKFJQ!ҁ"XO}f άXpqDttR,dc34%ZTx&$M,a)鲘z.%8[IS* ;%8|wIz[ q%.wI kexLC6qbԽ7h-);)41Nn 4jH#N~#$OIMjͤ&J7:jVv#X,kJ~#2% {kC Z^Y7]D&|hQEP^x +AI72Ello@i>9ĘR oث0 (7x#Ӄƭd44D8LTn !4)=ш^A4cD& !02rco` ̀gw?mF٧rt4}H+gs760b ҶjI=r *Z{p6m2wĽry|zMPT.}:pQ+k4n15!&6M==ӖELp%TAbɆX͚.Ytߍ\5.Fu4?d;G̽C(Ʈo/]t3-\ϲl,I E,N3NzUHC==6],3FHC,Δ50$`d1Gr{;o"!#mŃJV5uM]H&R[UWpHsO:y"lCOԭ@Tt*1F/Ǎ~]>vr@S" }FlÁ m_vm\~#dnu[Q +ã _{#TsQ8vN=~C%{/;{X^,T#JHod9Eo<^ź؉BlP= H#[/'t7cM$茞'hѹOn])[R'SF[ޏD4`<ܣQ*LgLY Ij@q<<~.yY6{,7 Z>ۍ+K7R;q 3 9SWnMd %p.+W;H^ 5ͩW񃠈5.{VYRʮZ{W/Xb7,؇{A|=̎,)-j jˮ}a"~PQ W|,p1pD WĩfRb4*ѭrk*b}(,Vb9$nF&DOlqzV?Z -El]VATMW"?~A"Æ {P>ME l{Kt w]3aÁ G?뷈^)TCQ$?1ڕЄ,7piw)[I AH*ZZȋ#`T ×P.~Y@abd>q2cv2gQv * S.V&3+fW:*-4 ;KYOQ%e$R)sS+ /d(tT:?Kʀ}^Rmi:?N JƵ%wTXؖ$ e15YWM/CӒM JUg:\+K