texlive-prooftrees-9:svn52221-2.oe24090>    f3* ;G|`u` , "nP0'mꂯUt2c{H[ &1Jd&U_Mw 1]-Yn֔X0r3׬P[fva3Ro欄*4'Wu@81a7fc9f1c7673eebc526f728e66cef37346e46a262291daca71c7de61fc9a29c5f5d5dda7d8287106edd22f354c41b2850ded6cfNͱU%< o׶>; ? d( , Vhl      4P(89:eF G(H8IHXLYX\x]^b[d `e ef hl jt u v z     P TCtexlive-prooftreessvn522212.oe2409 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.f/dc-64g.compass-ciLPPL-1.3chttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJNA큤A큤f1Q3f/]w5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb63d29ae6fac64266d9f1f8c7adf3323c7520a1a086b4f0f3e8f6e8dfcef7ae08rootrootrootrootrootrootrootroottexlive-split-s-2021-2.oe2409.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.18.2fą@cY!@wangkai <13474090681@163.com> - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- Upgrade texlive version to 2021 - The following packages no longer exist: presentations, pst-spirograph, - pst-vue3d, psu-thesisdc-64g.compass-ci 1726689206202120219:svn52221-2.oe2409texlive-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 -grecord-gcc-switches -pipe -fstack-protector-strong -fgcc-compatible -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS --config /usr/lib/rpm/generic-hardened-clang.cfg -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)[(BW+vSautf-860512ae399270a053edc9278a87707f9769d855fd0b54bae00dcd80d2494779569a6e701e4d47351ee3cd7f251ceb57854e6c82d8c73ac65f87b47441d9e5312?P7zXZ !#,@7] b2u jӫ`(y0%,IQ[fsG_pQW0 .QҪ,`Of:6_M\A\>VzfflX7]*n*+bd[] ǫP[4Qߣɢ-hR6+ŸzB ط)CɄnTyUh(l|s6E0-N&Dnb1l,1g0)h8di鵃\PT]Xz`P7ӁE~7~)^/:m~թv ?d.Ȇ??o-KZs6RUAǪz-A7XmzNMFfq3TJ`o7Jv,۞*Ү=Ϲ \nɔIEL_fZC+K܂e*Gyb?#,럞&ϵLjG9О뽘w9/hp eas e\ͱKiэzE)xMWг臁XōQAL&ޚHc}=SKeeͬ%hѼ^[RQݑjfG"3yF~+0V_'u* ]Sct!+P 7-R!$̎&N z}`ſsD)<ƞz?UQ)`m[-QDtȍN3*sLS; (ɾ嶸lu08r_@+~df@$RI>&/pv#g>|ԁ x;W a,Dh,ΤBs0$kh]C =J|8=/J /y6 s$oE^jc NSAl¸O "xoqF0$0ҁ I/7hAr&jiL;(G mv}rF'j C'yY89l- [u"Tߗ H 'yzCLݶ*~ gcO>f$TU4y|/^-$0HKggNKɾ#4**LqP*FI#( %!0`Qw^cQ{"mv}E17o}ÈFҺ_/Ӽ«ObLg03hcҹ=ѷ $AiG(:_֑Q#zʽ*m,eYas#ǜC 9YXCS`ZpJjn3oM@>*^̕=ެe1 IVt ՠ`e^2=t)֨mfy0x2$Zbr,j*j#!6ǢI(0pN|:OδhwҦ _Eʗ߮YILpcU~".i&2EU5 VfIhj]||1#DXu*ܞRSN [n`%kl 5,!H/G8\9SeSEu4>Bm)9AP/Mh&֭JJR^5V?{ԨmfM U*`a)z,N=!V:8CkC~G"ӼQ(*$ O olpP' ҇`&javII$mGڎ_5!#65BV 2yDy}2z#:x;,Ǯ)eU{5i` ziz xӺܿmˊ*}>( :V{zeHQ!. S[rs M%BӲ\uA'܈n65No\+:rG$(sѶ3`œi~SaG1I$.C7 6/@`֔٢ b C P+(/@Ҋvl gn5] XZ3TgLRgs)L?~1XD_$^aflYF[H@lv{5K; P)><.4@* %֌spFWgq@"0 ᬺ.B`%v^GNqőcjz`ok>W3<]d%FNn@L &˙prGA qr)(GVo@ C@dj!sN&?9C&Oc8A^ܶ3& S8i!kHjnL!b`iG1*6*kh(Y}0wB |n`T1|MސML81"2s]AT:[v\0{ ԢKV +5t$[}va ෺ZŹC\ϕ9/'=Cf4VZ}1IL_=ȝ`-cuR A@-D$K6i(8͡vB]{Ț$B72$m '}y~HGӂ\Gbjb (̃Y@6k;i0$;s=pz6i qA8/=?U.׈9 *j_)ᨻ)-DՇtL G8<9`ڞc(Ns">{r;x N &`i@Cm5Zo q*-<`ϗ^bX4ۚ'zRZ 73i0YgG^~.ޫbG#j*0`Lh($J Aj c{G6)0㮥% փiz( ,y/ptIpPCFe\;:T`0qfLm_y`ٮ6E+,J4n} YqlRϵl*]xָ)Q4Ӻlo$W(޻,][NTuJե g IIkqRe/xC e9nצ;Dt7jjX?W&kp_x_LW&?OۚmȱwҘ5#IyplN5@ҕ &SZWɎKgN"J 0K19XID {gȇWz@b'S872Es" ͨ ._%]$` 16Y+= E/%$)454AW/Xm\zPǧR( [*nlE[v GcUVUϡqFyC`#y.VN[ժRj t@yKsKV`nM=XN'.[&axzr8Şrs:jeϭws%)28_=ן0SЯ$}A=@ M}uw,܉yHmWOPֽp =+^]xb* :;!L>_wNW+[w\ګ^y+iTݡ3QO}*`MZ"֕}W Nz% OdzR[.ɢJD<$`;15u*7=<\oTn;ȝ{8y%7eeEVH檛>9^#=#aHR]oCKU'_I D{q g}`>rbE]&,覭D-92blZE!(ἳ'My 4:%(Ϭ .h9^T&S$G 8nJ!MfTD)_a9-vP-.2$1;3EasrVyxTHQ|Ĕ{ޞld-owEB/'emܵo<,>ظ|H(?:,5hQ' _|­T6NdMhД&}gnLte* Gd:sF^lLZ#w撥 3UVoj+uZModK,Ő]MySJa%Ht$7 /ewMsbΧ{c^E#n˳=j\ jӴ9MEpU\7SK6!בMˇ8aѡkR3y=0>NtP˃YeL57l:~r1¿tV MˀvHTw7DxjJV4C^hHv^^ 8ʛ\cJA.*Ef..L@kw.g[xlMbߧI!,+x_J%|lG+s8lA,S@pqII!&tē_z?Upjom= t 7!C`Tп- iuaa4>)_mZ ) ⲁVr\~H S5JyVrVT`Oώ&, s}\\;`/3^T|@RIb@ޟs)n^P?38*M*3kED%d7 TcEN 1zbW,2aB+AQi$^P@G-|Ci3c 8ƹu}`}F U@=\i> }P~—?b*I;$e*nȘh4> h[c*OWaF^F8KuKxK#~UM]k>Fhe1. Z7WBX `.3qAԢP5(gD)|BfxQd;`Nߏvo8+aH*sw^G$0MDˁldƬAud%ۨ?RljWcݤ rx.LJŝRZ~0up'3l6wK}w+0bP#Dj'r&yޞ.^H/*~`Jj!I\:|܁=R}P4L߆_~>LT( F3g-EoBǗ@j$Rggt:88DtQm7i:>m1hH}[)7~;Gz/C"Nwh%טT|L-gTLoQ ּ*'A'j=\Љ aϨ#O2xuՋw/wi/w,%p.zXTm5NAM {fu.tyR|/u9Oyjeo{& (_FFҥ"l7,)蠗`)!zXSNT>oͯcCЕY.tsCN0{4^(0t}'=DK%/ Q4ȉg8zԯ} C(yP+^)9gsac UIdh;JoJ*m{Xl#֎dBe5 q87jo=~I=q3P5޽.}3M3K$P[:2bէe֪L߲ b+3YQ])q`u0d *3$7i= lex\^7X}!ZQiOk EpD!dYߘQ!'j[{~T Zi(nD ~` AyoEވQn@Hށ)㎔ۙOS"]X M/* ۅHD5 3֨rm@+fbiF#™Jeކ-Z&)m+E?g]ӽ #{>5r&><`rez/,)31qǡ{4?aL4R[+im6q\DBCQ =]abr/5Ȍ_oYI`H]O'z`0;[;2{WzaEl/PGrI/?|tNn9h4QaoYJ=%N~a?U6`yW*=.t{@jTـ/ v[`4 ȲZPS簮kē$w WղEg}):{|ชcުPńLםdz%7`)Z+ * &>ͫH WKqfƒ%'J7Xrh} s-if `En"E?qnIc(إՁr,Xe:1l_9 gwD5$fprWvw\9܎!\޳p(YgCv}Bs{Ѭ=%WnAЛ;zH6To)"Ba.^yGm 2. Lܶ[@7:]&dRgZ84Es9@]5WbNI7IX(4ϼ04V{$x~iYpQ#%Y}7]IͦnۃtݚwljW T#Zpʡn+8 jyH.NoQ_l "guo00;`t]Cӂ,ƲѕW^mfS,_4HeQ١K~1=Ij6%R!yŐʙn'e0hWTˑU9:1̤ :B 'xnwfRt 1Sߑ}&0tG&eHe#&<߂GDszd):?0rjCSrLj2Gcq:d\?_lVdޘ6/+g#5Vn u cš\&2-E.{$.#T)EVKɃ D2xcC APMKȹzRe[e*?,n<Dzψ()Djplz7{=ۍ Qgĥ(ok_|'{J<- wY٪ř*Ǹ@F)D}ݫ1SNߥד|xD_BXY՞n%9 "552$h0~r@G1e}c(+k_JsAR# :gu@=xx,f6?>-n!Z^ ܲWDZ0Om'ƿb0+d=>2qJILf+UK?@@b֐nf? 6IH-5REW3c{w3Z :&CuRa]41QNZ UDZV9#;lІUM|kKB <L []y 徊>lS}6l&vI\t:0qi-_b3Ue+`ݰ>HSSz.p?\v؋XTqx6U Є(Bbq|"~`.01vsj8z !i ϹJ #8r қ:F{2̝STg#o>:YpIPzP"^-k\; ZQL Hye0EZػj.{S\0]ϊPi?2NKOo  /Tk $g^\$+Ryuo NsD8B6ߢy\wH;<\7=NArT*>Lc~z&& {9G'Um7Fدl5baLcDDt]ϡ`lt^J(Ls0qЉ]ٳXgr9 ]V+Cyv@eX:LPEb' "1IOs@CQGYu'Ʃr5r:2a\O)|W^U%ˆ'ť٢M4<ʹ>HR'#k׵&2*D; y$\cϕ=|WYzusuXtiBh! kD MۖR=cj6+%$-J*i`#?eEa)E L0ljc$AqwB7+ :dCv.ӄT/63Rr9%|me۹4/:Zu<;B( l^(n%.UTъ3>1NhqB_i!2ɘLPPefL" ~֮j߹Ԣ\֡Uœp7k GË8j`^_|T/vs*ސKE~{u+/Kkz9HݢS(٨qDp.";3_YG|뉆VO$8dnE3_H{)'?A$XΊ<JՋJ)~0x2kWnB7s W$irE 4VA[?wxK'=dà+> u+D^u6 d\4jMZ*.tx4?kQ>7>l#@Zk^R?Z -)}fnߢGE7#x؝`S$<8wNx_?Ĵ|m5p5kak7"*+穑C0e#m&::|wyOύ'WIŪ x>d;93ѹ!ȓ7Qߓ\v ~i T+7Ӑf$-H02 RĆ!8fȄVO $]VL^#֙,2.F2As(a!)Bj"8S6J?sWBfVS2q;1%}fx$s3]'3sp&nS^ee/%ڜ v Cz꺄J8<-| ykepEїqfN3$ jvXv3p%Ql}9bMoP`Պ8Cz^M+;Qv I<#ڹc#uf阩 '3[H;CNJ.45* NN KM{Dǹny$>mQi&̣݇42?(]9g<(\欛u-jxZy05xf,/ٓxDA#;֗xuneI>r{eypX4NgrF~8x{Fڟy=|n(%JO+AL>K0y:)xgr`!L' 3k@ 5xr PUԢ|od%w4F-rhtԫ+@ UY$i En@_. /ofvʸrG2xs}bPᷖNͤX8O]`eXk,pBA>5G.]T3N'4[vD ξBjM1N$n8؝|yw~E49V`;6 [ާk0垼]9hB;^ S-kQ}E+翲Wf߅j QkҮ\', tH7=?uAPޣd?oc_#ݺ9«;XG&^ jac @mvIB->d<^,#f%&=-vhSBo0&m1FFȍЧDk531 ۽`[ު~ G 8_zyHJK穅= ÏĚ18iboQ !#" 0IsRJÒ [52Zܙ)uts$1yz hVWOk8cb 0r9IF~2E,R|AÐשGA*Z]]!8v[qF"0\!c.x%B]̣W9_8P:%Ho4I8w4l5>njL~h}GeUR\}7,x{`$L?.sf[\@7VX5#ʏpY?s#Uk.GoW>]1 y4z;6ɑ^猨j+9T)UقV(/&y~݌$-슦Lj]X^$n=cgϴ+œ7_W_LZ0熌a+.9|2{*QXKЯ>dmOU;l1&>*S]?" JB|%pUv4"Ę$d!2N"\^C|?:Hs\ G/jY2\U@ ~:MOB<6X?}dKB˻ٜUoM,O/ 6Jڎ*|3O0ڛ\BZVuS1q*X{qѠ)4ZlQlCnig$HwGc|&͜ͼw{Hrmx>64$&~v$ٿ,[iO|YCqCJdWKȟ& x@kLgHtBFˢ,@ ; ɰRrb2m;mZ ]YN0[ r߲04n"=D5=* zg/{ǪFNFy]+44ܞT.7u8|@ɩ i)P/"[* _i5^6Ea!m<<\|Ηfiyp0}jL}k& l a`%GW rs\Io8Pa U/8Z٬yΌlebp:p퓵 +' ,bXX lLe[QMZTkTߌ&z_/&cOBDmГ[iFjMzt|SE`Mb[$a9ApGT-Wvgy"}gu$5yH$}O Plvi 0GZ[r=-;@a,7UDRJ`~L`ڱGF'( 4ya.Ʋ0t[@3S2$>æ0kCoeJ Uvg?h#s;;a#K*JjQn Nœ&EoQ[}fspl-6#lf};炄鸎)ߪFn -IC-hמ仦$S<"k=lG:Џ8+Nrڑ!uw.Z/rsʺ2mKWBKeLF7>`aD]~;]7w4c2@!4i6&3>bI!BؤŶH8*ผk#0PcR@.P=ޕyD#/(k̍khf,I$8#pnZ#lWpd#ãhΟHP`h3 JFU ?vk,-NF]d'c8vy]-G LQqSy& FZCmE-I> *Ӆݐ4`T/0AY{tFF[ԬTG3jtCQ~VF4d~6MIe?2KHfV@GoQ&pkEZ=ք3}Ƌ ^qۂ`>d0+@9%ȣԨ?E-ȅNj %ֶ%8@؛?Ҹ0#MLR.P6–Lmz*pZpX#ޝـ['hG=Wj>:`)waue*G]j-Ϲ-mCWGI SO֗Μ *bwC)ŝ%HWwޠ8qv,;@{3 a-2Ts䄨s`oq9L\9ʚWZxxFisQ