texlive-lkproof-9:svn20021.3.1-3.oe24090>    f8] ;G|`u` ( 'ϣpi"5j2JR'*N=8cv<#jYI&* ll NTN"F`Peo>I{=+ͬNMPi;U!tniE ]7 >Ǩ{_! LN =T_dVͨ[l$2/2jqȝihO~> kGYKQƒJX~ gf e2H~UT'~ښlZd`tUqgw2bpʮ1/M8ڠږG0#Ƭ$!&@cH<%&Rd)[4,5!O+JU ]Il4E:h0Mw =Ӏ58c7122c776d688c0646c2b957ed3c01d25bd9b2f047c17d7b7048cddfd333d85c8aae1afaa4b99d5e4d36f685570574924fcb4f' r 'i >;E?5d( , C  ( 0 8 H  0@l(98@9L:FGHIXY(\L]\^bde$f'l)tDuTvdzCtexlive-lkproofsvn20021.3.13.oe2409 LK Proof figure macrosThe package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.f3dc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤f6Q2f3E-2d77d235e41d54594865151f4751e835c5a82322b0e87ace266567c3391a4b912adef3991c936612960c35e86f23897c458a7940ed09783ab71153338ac05971drootrootrootrootrootrootrootroottexlive-split-n-2021-3.oe2409.src.rpmtex(proof.sty)tex-lkprooftexlive-lkproof    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@cdcY!@yaoxin - 9:2021-3misaka00251 - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification- texlive-luatodonotes doesn't require tex(luatex.sty) anymore- Upgrade texlive version to 2021 - The following packages no longer exist: latex-bib-ex-doc, latex-bib2-ex.doc, - latex-referenz, latex-tabellen, latex-tds, ltxindexdc-64g.compass-ci 1726690232202120219:svn20021.3.1-3.oe2409texlive-lkproofgpl.txtlkproofproof.sty/usr/share/licenses//usr/share/licenses/texlive-lkproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lkproof/-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 textLaTeX document, ASCII textclz}Qa`!putf-83c3757c7f960448251c02a594c20e9e423141d70d354dc25ea1d35b0f514d4d80659b7253a9f2b2598e084efe4a81f9b72e32c45ab58412bfb51602ddd77b657?P7zXZ !#,Pl] b2u jӫ`(y0%,{!V)YH+m↩FlѬ90F,EܱuH!ٛQ h^2ˮu~֊ڢ57/I}vP#5>+~4ANwλ3@z[5WHcKcssbN,։k UZga@SR־„LG\4'L|tc?bK]d>O.%P{ F:a"Y~D#o,;.leK sr@zDx;~b'<-'64H S&'aбn| vr-QʉsG'2Aީs͸ѧWYBmD)d+vkuFKr -Ch kP)S]6<+\4=B~&|,؏c~%tV 07|u%nҗ''Ͼs*kh8r<*S?.Lf]Lö4&s) ME5%K:Lܔlⴔ Uj ÁW6/pY_n` a}xڕtX'Rʙj|$sy ?p' "U:P"Uf~;ӥԝpjtz7,u5(t+08zr剆*gXovtDeI BjՌ%u[{cMҦpe$ղeNRm"~ >I)P4G۫K/Y20y`=OÂ=jƴ'Wn2NwvװӻzϛވvTlI+O 5,<6(ʚgH<:dM%hnJTj6%c:+0 ;/P>6~,}b[2{ȑDm:H 'xgH@w F{kE ɪckKFͬȜӅ}~5u#9l.!!s 4Hp ~^afXH |y7Z.Z$/)ы2 m+l<0ȌAG2BwLG.g>Iqñ !B~V 9 v=cdP|>OV(fMOtV҇tڹHCKo=-wq#5NytFVJKY鶖VF<,랢cS[$2`XGi_n6R:sB'͙ѷɺӆ[m 2@+FG:}^6yTv˙T9[qqxX+9I'1r,@S{kn^nʡ:DjtXFf^@Qa')(c& !^J,'#Cmq dU'al<Ηb- {G5O,ܔņUP#;  A+PSA wt)ۥt 嬮R$gs5X.`]A3+qr *Fxvҋ'*V]&`/K/Nĸ;:0uLg Sڴ{)b:TKⴭH%v6EH/H 3.Z7XJ.&P!?NA-+\"H\S^^iD:Mr'v/аo^FwN9妡RSXaCiP\^h׌>_L3HF?t CJ#\Nt_BJc9qGT^A4TMs*X!HڍlM>߅Z;3Ph;ddL%Dl|7ńdrk컭r >%gãdj[{{F΢Fx$4R揨kI{òH;`rymYu8]gcȆbk#\M'MTbR$hx3(YQ/Q, }?b,C+^#.0$++?fPmRAn&9m;IJVLOXRоT-K;ԒDlȰ<`°l̺A\+(ґѡ*cr!(wZHL%n+d 85>kߑߓNuc=/5P0xxq2qHYns沧y@:I .H [\.|VWZ9/Q6H54FNЕk ?**Ƨ^pw|~۽C`A#V?ASYAXWrWgRl7@M{ok|ASʷ,ZTNՒ#_W0\p4xIm@Gp6wgJU sM^X>`Ze9֡>]OV IJ_99EjOVL6s}~L H?'MZՇGu*+CW\̖+4 ZVYGwCjRAl rg׺"jNPp0"qY {~X_ "*XPAb`JC8P}XŬRX oۜӋ}BI>}hR.Qm f,3P*h3T!i\Dw`LP(FEDJ>Rk0Ѣj=N5->Fx UѬv*t:\|_Fma8>kI@ʳilG (Z1ʾڐ$:&jYoV>F 7[P%`Ƅk-P {"V&-WhG[$k}WW+iiN֏t{ $JRy@&ӉݴeA|MrZõH'SI|QsX\G;&{``1iDʥ7/漬 jfUCm2D F oNk1 ?~h3:6E'$V_C`0@c?,XEU` yf#e ~lrڑY/jʼnֆ<i/`ڌqtf8N\44FשGB45GMEw ̗I7Hy; _Ǫ)_em-'0AEZ=ݺM)b=z׉y6Բµ%לhvdQ3<3TkYS*V{bAvtv*oB+(ᐐwrjyxaB$?a}+~L0Q '6߇?s|֛$SܒŒ 'EFe[+ɶm9Jq##6:fJŗֳ|'P\Npqr0kTv 6`h\8^}" Ysw{rZiP6P+L7^瞻tvxݭ5B_6! ޛsX D:g]*>͏vTW{tEg$<11rl23FN3jgÓ9V)8+H=;wU-uYY=OF兀n.EVjN!>>C0:1K<8BAHTfNd !Hun='}jI`=P VM DZN3@GHg]&N>cL*wv5|gPwPhj %t"6$ B)\6o؏gBm+1V<_{%1~ r ts8Q|QR@p nn CлBb!i!aPF뒂88P8x޺GhZRݡn~KK2&: vm쮏&gflӘhl(V&,ǃnv` ̴ z^t 74X5%Vm/T/R1M=]R?$=zO,5Q=@I'9e,ޢ#S/Xtۢϵ;=qf:0O6/e\@B '>W,y\z+:ƎS&ui~u 6J\"޲j ^Zc)Gzi3s/K-z7< cҢVkEs: X8!;>zWS?oU\p^޿Ab{~g1q9&Zk:7Iu#Rg7{?axK),?4 cckO3R܍QSŹ(pPvu%? /cq5Ijz[Hqw('@b5j'qa\6yIl -O^ăo2p9sjF@$*T>''P3OUMں1 d>?65!SC[5O/