texlive-prooftrees-9:svn52221-2.oe24090>    f ;G|`u` B; &riDjQk%QȪތ=;,P]mY]wwQ]TJѐC`)P{=PbR`&y7Y5?y.Lz $}yW_ZL^P9/%s^&$[ȁU&g+~>&)0RBZSR:vb &,8a>N9dcj3ue0]q<QF RFmj]Z 3^QYcyG &\H&uO =@Cwo`+UE?U]њ](jtn ڥTxTjy>=\IA@H#\|¢39/q0Mz-CO,'v2-fbaaf707fee62504822a61219434730e5f8004af7b8a95d7fb9ddf129ac74cc9079c44109e908d657ed4c72b0142fcb5d089de1bNyUEf>; ? }d( , Vhl      4P(89:eF G(H8IHXLYX\x]^b[d He Mf Pl Rt pu v z     8 <Ctexlive-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큤f̐Q3fh]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 1726663773202120219: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 -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/generic-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectioncpioxz2noarch-openEuler-linux-gnudirectoryASCII textUnicode text, UTF-8 text, with very long lines (505)^TCDR`utf-88f64df248583a14baae57a4e7ea3632b961382ec439bfd09cc8d34766cf1e1433e1158a0bb6a9d4f02bda6206b36128f70e73ba162b9ee830ad0d41265e07b2c?P7zXZ !#,@4] b2u jӫ`(y0$e TLԀk ,68`!A2DːfMgnaNBq1afГ;kr0>O3iDUP1pWh~E6[ "6˼qQaB'= 7!~:j$p$mB!<Ηƫ5VMn?@` w;tSUkt' BMBjrshO!e>s%L%Aؐ WGW&46"=Ԣd%>{~&(`~}!,:y/V bs;(ucͨ%b4SkyjNw>8; tJ9>\ {o"2;#Jky;qm4VI /Wr8v,f*v."IvX}ʎF5/ZIbWu}|7j. ߚNNDio =@rƒ>g=j~ڠ+XP>9Om״e(g499 Mw&죒1o;>X 3Hmq7샰2JάQ}byS}%lnTc#*m}XtƏLoEX^,EHFw j4LiI{ON od^$"Zװ+$`ܹ̈́mPæA$;f7SKBY6 [tFܣv4k>D·*Z;\KF?qOzrU秊z6u=RPn|ɽܺ&ڄip5+ZX'V]<1Է[Zt!y㽣uGNSzH ~O@44dmt-0ܬ| -ȺO'zs*ѠG@g>w-i~fWn3P{tF|u?+ w8`1ŧP)V7;'?V 85 PK}Vg{9Ќn;`'"WR:ӓ<22)WYhRkMto*zHQl%RMC!Zco/s'&UyB7\;+GQ2ۢu~"_]?sO(ghAgl)%g ߂w^"ʵχs2FA)iwna܍Kc\̛Q蓗z@ Um"_ a>XFzI8!$Y^px,[Ӻ(a9J6eUbm3>E V(ʯQD6Tc0jz!8ۧ}ou:=Z\\6a:W49Ndy!4t-ݎ 뜃 ?9rIΈBEIP_g PY4k;&r(tB'w)Z>P`xֿ'(5֭ U@sX[~u0ဃB+P/P "OM3j#1tJ%91 r@nְGH4aoPILckùzI3(ƃGqA @*/Q) &4({Tj<(Ȫv`c8uw]p Ge%ߨv5yסw{@H~cFib)*΢Mi ĬGG-up =͑v)7v6\5 PV%o_Vg0e[wvS)LYm%Zt_)#1mnڈ"{3fֲ;<(ڑ-QI|+?R[7U^(gUőar)y"x_ lG@J(j@zI@O (/qC|oӍ%Nd͟ ءBEbᙝytbw;FBݽC >;,$ _BSr¡{&h>8̉| `SP:Ƈ'qrW$vy?: UohߟnfC9[w;Sw~g@y J`Ώm}+k#LUν5jL:E3ϏyMLnjIy6qjc3+^t qUn&n O?y|ˏ#j1bD_mkXE(;Jq{3 g]4[<$H~.48 ėEZo K5?4ãun0˷:oG\xϻ=PBAxl+VU*:,SeMD[lp\ h¢e5œf,d_Ϩ8xGVR-*xP!z'* -gTkjx4x>t \uqRGU>d c6<2`^4]OqS߉ ,x>rr'#Mp4ϚUi:N@UˏQPxާq`#FR]p6/  }PS>Q&>TSʇi€ 2(lsP^P=]M|o|{NKӍlb1+0xZB9{\-½iDE,'1L'25t˃>M#|th1dIna]S[ 4&SƟNgbih( "lfSO& |2O lh-NGo8)w:)_ebl>)wNR4tշQŃ&0Yɯ]R3s;zZ\KfE %yFIը 1ϝ{f#h'>Cu~λq   `:4CctIg_U8qhWh2?‹&+jS֫,#?Petl''Rc- \YZӅ^ybќ}%1iawJRc$e)҂lV.4K^l^5<-4rO^Btpv9wX"rNh.xiftgESg9vMMXXC nvHid+wu"s-Z*j(77+ !SэRyM|ob\8xwt~NMdk\ehP?4P) 'T~v&5Ucdj&↭K1%5g>#]{ YbcIz[e]lW:[(lZ%1zfĝxI=$GfY^OZP>ΐ6|g 2#jh,IJT"s[[:dz] )XbaPIJJ Yo?x)ٝȴz-_/LffRJ$?jj5@M,[8,6Q.yZ~ y$͐^NG~"*]Lc֘5'<<oWzFt6W })Ȟ4W8b5Yc JV0-6 Z72ߓꥦ0ҁHр _2xæB"Z컐QZ$v?ךҩ?? y΋e~`Q@ٝVk`-7nPw4";PJyjue/5~% ȹzN֗sh *P:x, &׻F<تR9+EkH9FݵN 3LE쐺}jPv,<ͦٱ'sd6wȪWGFʚy{w{öi[РdrBSvx#Z]/6f,%fF$=B ZyV0Y}:]H:~uR׃Hs1H_!,Uw9PI[~E t?Iƾ=jgL_l!~ca@K9| Gj;)!L/ Pn=c훊2e_MVr5: 5E`8n"%MfH$؎W<$_fЊoR]= ZnlēcPHr\)47zK_e ܚ[ȿHݎ4tP׿-;2sOԖD!1YŷbHئՄ{P !ʖfmec)Jq KgnK'e^Ɇ|(Rt4I-9ԛ5#Su56wp"$,c*V W`hܭ$ɏ2'"L!sͰŖ+5 W^v;oѨR,h~ӥTl]eJߺwD y %;-*Mj*)$MOakr̴Ji2|ipfԦ85 =#3 CA*D(8܋eNp()M>kcJ5Υ]Nb=h]kpEÈGi3볳TRsXSD4̈n 7v޿BKzH*m}_mV^{/c=^kLcIŅC Im>MA hTnp-7f̥" 2Fbk5JTcn1*)=,HR>èZ$(PI)r)wxD^Ս I@`Hm%3"27D< 7[SZ; jxMG")sVb9Tin7ͦ燴PF$׿mҭ+G.n*5 ;*662u )mUZgaip;θ7Z]x8a),njY2 /c߆XV)0h~l摜u]TcweNm,o^>X&)=dy r>2~"GXc)Έ֊p~#gG閉E/X| "!fȆoTHQF4:d,[xkGp=Rnͨцtc7/LXTTz_ōAhg3q ͢+]8H2ّkhX`]`e-LpZu;cOC0 RTCp_yϿ>P׀>i,~@4Pֵ%='1-{&!݇yM+'(pN- #錍\P"E; JֆӽX;DUA)b $Q2֤_g8 ?E @DXãM=[E8kDԎJp.^}#1yGpyu dx%*hnѪᢳT.6(D#E uarWEHj<.gߖlHa$!Y"`3 9#%EMlm7N 8]:Kj_M<2<yca^7C^jn52X~YPb^.&snv)hѭɉdƣyC>s)Ϳ[&R<}0k%g5^2] q%[|NjiD0xyk7C po{GlKj;le#$-99j̇KFE "nw)uЄX6h{p>GiVUD! 9xn]&Q7ݗ ^q{ד7k:JX/' |a[/.ҟlz pqVpwhdX=߃,f , 'a'e4hhwDLd )8G= oVP@L ߋx@O(p첟~΀*mJܪ׬iCaOvk`#_AYyVT֣%bZGa 5J(;W"0k ܷ&l,-"uרyRKs-028_@LZRD 80|">\p[IF`^N֗aFh)ldja\ʷҴC7=4&$O-j?dTK oQc3L-56! NbD44f34Zyh=EBJ ^(!=t~+GL̗qHSt W᣼Pa@t*.CܖF'vFsDy*x5<(JZW"W!Zy/ lq6( WC(8?*5D)a Be1؅R-'dxixޝ&Ոcj"B#7qY82_T OggՑ _( íVJ'ST(ߧ!k#.ܢe Kʯ_\ isFkh4݂Yӗa(c.9XH4J0Uy)a-+yxԴE`Z5+Nr 󣯪vUi7u('֋Q(YZ6mَOO(Ĺr,[h:$W-v]j@_Rhwb#Jo@rǔ RNZˆtEIQ:ך̽bi%0Xusiٵ30Rb"O[ڔ#bI*6daX="ÿėp:s{X>Tdı\SMё#Ċa mI*n nbei*6EP H3{EgP`KiCP"IJ?@FE^9kԼپ- yhŁvK.iTKamGSM+up?RqVs6SsN֓^Y*0gh;rt\~}!4P; 3s5sQk&I UH>i2 z+& u,z9o̒ "@Tݜ5{>GjicA8ηFW{|PNl! +tÐut`zX}Ik{s]Z3I4h{23RKf3g*Natx/HQӌ--)IԺ_:҅ W[fwF[chxXfȳbaNZ`py% rlڮW9Ԡ gTxῪ?/؅Z,<{I1Gc5$|w65^0;ː-?!$Zlͮ{ = R;|%^( b1~/,g1_gel\][5fZV7@qi= \Y^ 2?;n3fG._pz*KY{B̴$WC:G:_ 9Q"ZLD~EOb\A`| 2>%4V桧y_o*,5lS08:t>&kPkI̚C.һf~v r>Ύ1#󾱤Ifl}wl g9Of~c4i^>,buWZh#Ƌ_֐:gsxO!:=w1l<WȆkYUOUc?/UFnYI"7!2[{&DǴHuCJiR3(cUzxp ql}|R+t{ـNIBrBM837j럻um F$еU8'fY@Y zڂϵ6 !OMyOw8SfSo+Osϋ~l*HQ J 5K99_&Ӽ_0ZwOA(w{][KS8BOqu'{_ioT TIL%?3jR[aLSw*uQx80ZW%tl xSgAxݥ7cPVbڤTdNNR'SYxqk& fo6-~r#r yЙv#8DMXG 5 QY&/Ce~ok;ި}ÍPIξ0g>B!2­*hG@CK)&o2"P^!c鱪nh%hG@i_/Drpe*g 6w='ry%0!ۡAQ;*Wk&Q-Htpʱj y=30@^ QUDq[eAH1Szрҟ[F6G@VAG]R|,Ӝ^$VmK<-.p`Y/΋XݹVܚpIkYٻ=a 0T%!qmtTǍB#R'3SN쫒ZR&urj]|6dzNe}%X8gΌeFsڏC{\ !džKj4q1l0li`0:kJϡ@uȪ4:V5䤗{ȴJ8؅N(gjVěW ]K@1@W|ám~qOxe76F ꮤ4ۓ,y+ $%HɐYY|T_-Xwe |s'Vtc)b:(6:&"neXa3JvA3QLa?%!ec ;v b?c7(ODq<Z0R[#:yds6?BV{9nj^QKv_"h}QӍ}$a {]J-cBaWTNpQ ק)Bjk'ҀX`2Ѩ;4Aam|cg;.d Q # i7ݔXr&2/aQ99^ N,Wm|N{nImgd^E -vjx%md%n}:`I6,>1[ vS8w QNsW듪2wj$}®bAgrVٕrn/e<&/^!V S͉nd &{Fx~j^M77꘢Xeh-_YٓyF߉S90yϙ?È1pҶ- Q0I=h ͚G*BxAM987xH\%hS(Nɕ!E=Aߔw,AXXRL&J [-sߒ]AI #Hqz+^8ŢKQk8KNIRX+ҰmRma1 X^魻ƶɭDRDxK|4uiw@ ǣm\2kM!e) X ᅻ(D8|[txQ>6܄A>F<$+ YNNubCkmX|=[}9@+ huL$6 ^' ,ЀLw=tɺЦO _- \We-j?4Tx1GgpAGmdQ;c+ʘ6B~v^MGD]9]վ#;,R7 ~Qd?c"Dw82 m6%>J'M(m/68p<<|dD*?'Q{Mrֹp՜,ZmZm=@ѱ>#] D' Wؑ,A-YH]OW64BfV ?>'lgGs?y奄ls-/??B)4G'}lxZ~WZ "ݟpVG#ZR@21"kmuN8W̶o}FIEW=uq@P{Z?c#|ij-ۆ*YTf,Q D=|]貋rle<3~Zd駡|LS/Џ"! 4Q{*-/G8/e\V/c ƣUs2/(n .q5 2b!lNL([48I2 ɍ9^Y ȅnQq쬻̻$d&14(v0Q q}Z{ XZCՕq 04lV5߷c-όi.o)^31})q\G W#t&},Ku۝J1E$t j(l6(,¦Qf2>ӧ# ޱh>`2~^9!;cnKaBz 19\hj0PT;S^oL̐-Z 4fz0HsPDgg[ 9ر;/UM5w@XjO k6p;b e{,Ec YZ