texlive-lkproof-9:svn20021.3.1-3.oe24090>    fFs ;G|`u` : +GYc;qhӭXTjgj/,-ʓ5so܍뛑]E>^tZ>L򶥅ۧ CTVl[ap`aX|Xno/œ L1y]sQI5oK4']+HMuV"(|# $ jEݷvOeuf߸X: tDhWn Yϥÿ5|sypdbK`0M3;);-?d( , C  ( 0 8 H  0@l(98@9L:FGHIXY(\L]\^bde flt,u<vLz|Ctexlive-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.fB5dc-64g.compass-ciMGPL+http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarch1XGA큤A큤fEQ2fBTE-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 1726956085202120219: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 -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 textLaTeX document, ASCII text~O u2utf-8d9edc25ddbb716fa41757e3d31a8ef936259503405a017a73bf788d35faad930fcf1c270f20f520916a225cebe595003d699fedd56390fb43860ec61175668e5?P7zXZ !#,Ph] b2u jӫ`(y0&UAQ2Ixst#?P^&ڋ߇Bev.zlI"=Tŝg ID5]ow$Inm}N$п1+)9yJȯ ugEb8 FG᭳ b5le3K*[ׅƯ=J7SC̢'ЋPW)͘Y0z7N3ʗ:sHCP% kD%㳧M yU3VXfumqcqŴCw|%_7U1fC*A0|8VZvdzG4!0bu+߿@'!hD`C, :iD?(0qJ"Jp,]|.2-Tpn 2Nʄ;5' m/B#-pFb\SQ.4F*fיEa՘TZBӡ,#pGm&Ԓ6[or(b?]4swdi@'e(T!I^Fh1loi2(bb3AUB"t3p-GSD3Pj!4=”W\nϿz7̩_\M(&ҌB 02/?N# E:H|HFX喆=r>Er2&\kiD.(p?-0KJ$ \e 1vC2տ4_tv[_"'xb _S;ф7\+/v 9UpJkyz*uSKmWYu+_*_L)PW.sB;:15?zJO:`FD,\!?}FhMG@&>]@Ç\b!B){X-=h >_GMA2Or$ۘmfC8_#3pUS"q]I80|@bۿH˸U~ +=bc5ZUsV[\r6~"\^t{A| &َAj#FFMLbzɓ5ּoԭ4kQ%ʢ!?cZ|v#{ 9Ń9=HKeo/6-NT4@sj:Y] 7 qܕwtppj")m'ߡ{PrQ0OYؗ0g[iS;7܀>Xb/sUm=z;62KP ZnaIEcV1V(HVvFq%Oi4jY25!x'fCoN X"k,{\lS0FPjRJ-ﲶ៧_$}q5ipjh돌oԷ뫼%dXZ~˱!5 G_$!RV,&(ncӵ:n 6$ZyI#F[oMl;Q";kVQǕ >zl^ ;iN(ߏk]_2G)!$Ӂ= N.\I=2ZlD C @K!~^sj?=> \OG|xvUD;c:buPmd8tFh?3e\%̯>Pzf!<8꾕Co9ޫ#iOfw%iX )vI=Hf]/k;筒TDwY̍]2*~ $W7l8Q;S>sXT8M~Z*K- [[1K|0@+p~0[hiz;aL]$}5$fc1csv_8v1JJ35~"6p͵Ga #Mc(xn{24zl#Eb59m}Hz,cj.Ss6$P)%cu9)0(e1y6א _ȏ绫ҽ1_ڐ؊ya JuT+DFހն>}veG,V6'M&$c`{[al@b-ڗ^ř8oZQ5霮wZԡwޕ{Ԍpmϰ02(~qU/MŠ9[^89Jٖ%ʺb2ƔZݤp0v"Q'~bq =KoESB@\Z cP{M 'c.^r]T fYZR=՝Eؖshsx_6 $EGC#jf &$U9 w%L6~A$t)f9U 1iFނ>9},I}̹u(EvxepaŬf3}\Կ#Dۡ|3R-~̳ ;JDm $n,Kz LB[m皰/𙞀FӗR}HC{5"8-)|ҕc$C'< BQ%d'ݺ# (, {%JbA5>sVn A19R.يCpRv"H$JanZl=?OtWb7rB%6y7iH>=бސ5m qoh2&ݤ')GFĚ6?7@'G, |5=GBqj%u}׵d^TAd?YYY 9=pc=S~' :zt$q28~+ms=EX)u38cnH+>R/21 x}ݭNm0kUvR~ד0\aő$iHHxl R$ܞ&wQNV%kœ8}3 m ]00S@$hnj]\20*ܠCqӳSsiBdk4Q&HzcTq8Ig Ũ_Hh8>8?H@'9w;Y,aq/,T}ٰ7L;+IF7*K$m; C3*!R9Rc5k{}1J-OE_5ƨ14*:Vd+l$rP)( :!F| ,\#Տ'#]"E <}Xt\ltԫUU\@Ҹ)A/wgfըhN_Rǥ"1,c7lRE`tPBרnNxa`| kG}g򌐔Vސ[hYvDzlP&d`cb(YEr&Γ AO;+[׎0R {疑cwN?d lѐ鉓^%˶EQUۀzX^9[UG>gZwڛܘ)lnjmh\NI[P+l@2h%@.)/ՖϷmF9>uz^:E[ilx=LLƀymxL*2# /׼ ]nX<$҃3.ܜ=P$@jY0hO_< u s}y_⠨ts(G Rrj%id pΙp-smzV$.Jjē01zn=yv_z""jzUsm?Fcog*ᆤ>f[ X!$6tm6!(mR3AS j/NҸo&%KV?;@4j3$ך'AHb;{Wy On+Z'+Z}1 c5w"w1%!.#}#lgK^H9:3Б> PT ˗Pg$J9JaS\:|?Jc/'B`$`\+ iR%ԬkNbAX岨T,mA;{9x9ϲo"1Xph*[F_ӳ3O*i gi=!(76wŽMg#I^@7 kB0^3-\󋸻Wʧ%]r7DB^S*, >llL'.߯y%- 1:*H]+FV9C 2ٮHXSˊvd [CAEhV^ѝ*BNL +ICGƯ 5X 3dl $(76o1<LԦeA>yW {.l lmhW c \M:PGajM2F'V7w5WooXzNQ{f〨+fGt[rTau= ymz(;zZ`5&@w2?ۤ"mm1R\Y12B?6j)@`ڒ*g^> 5'T{Ǭ[\f?hYWC=hB榌[Q-Q;{I> VhT_e1'eOp92㚚iJ}i-릒c*t)TV hS&QL %Cl1`<_ϰw]٬ /Ƌpw7{z]s{|zӚA'W3¬1MM}h? 4!VJ &i5[{;TV3-2`?虋mV.3}o{QtLj # 4ɋIPƠh_à\hzaq*RP62`>瀰M :Fjb?#2e6!\(+\ٍ[p|^eKvbN3T n-#&<{3wabL,%M6 X~7uvꪁ4QT[aOL}.d<11W/7?zMwYHZ؎8$'f),lf6oA+nvk)pŻa k}uZ-r3sCaqKni( Pè)䤧3$h `{\_\ rK>ȳ%Gn9WYJG1NɌ2v3`qΉ$ &r04RRLNE<\ڕqf41/Sn0y`>`}Dın,;m@^@ 4QeA#~^Js%|bJI>(,Ţ-aHɰTyLAFpR %ξYP֙V98`aVh7. YZ