texlive-ebproof-9:svn57544-3.oe24090>    fĢ ;G|`u`  D*XUT4Ah\LY6gUtru*.n&kb(,gIg+2Na!ڸ kVRo?񴤁|5%HoU!Co"ӯ"l<8^> Ţ`Wיwq= uޘF@^"M?ӟi҉$sj%HBzݖ&+",byRtOp1BiXH!&喩APDޖXK "5y. ŭʒZx~ΧW=: !' Wx`tvtˉ>z^lc&у5\?]𣂋Ώ\,դU r,Ni_R[ʃcc26ba2f5a557d242e20106859c0a9f8f36d7ad0506e9fc90be291483e44111bca32b5188dfa1ff137f9d160a61a6189b943d7481e6)km/Tf@>; ? d$ ( W       4T(8 9,:FGHIXY\]$^Tbdefltu v z 1 D H N  Ctexlive-ebproofsvn575443.oe2409 Formal proofs in the style of sequent calculusThis package provides commands to typeset proof trees in the style of sequent calculus and related systems. The commands allow for writing inferences with any number of premises and alignment of successive formulas on an arbitrary point. Various options allow complete control over spacing, styles of inference rules, placement of labels, etc. The package requires pgfkeys (from the PGF/TikZ bundle) for the option system.f6dc-64g.compass-ciArtistic 2.0 and GPLv2 and GPLv2+ and LGPLv2+ and LPPL-1.3a and LPPL-1.3c and MIT and Public Domain and UCD and Utopiahttp://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJL{A큤A큤fQ3f>`55f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb66e0c05b63f6003ad4119489a1df220ee8a9c29fcc44b9887996a855d921fc75rootrootrootrootrootrootrootroottexlive-split-h-2021-3.oe2409.src.rpmtex(ebproof.sty)tex-ebprooftexlive-ebproof    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)tex(pgfkeys.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.2-14.18.2f@cdcY!@xu_ping <707078654@qq.com> - 9:2021-3misaka00251 - 9:2021-2misaka00251 - 9:2021-1- License compliance rectification. - Remove texlive-europecv and texlive-europecv-doc- texlive-exsheets no longer require tex(l3sort.sty)- Upgrade texlive version to 2021 - The following packages no longer exist: einfuehrung-doc, einfuehrung2-docdc-64g.compass-ci 1727120182202120219:svn57544-3.oe2409texlive-ebprooflppl1.3.txtebproofebproof.sty/usr/share/licenses//usr/share/licenses/texlive-ebproof//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/ebproof/-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 textLbH.VZmm".\.owYq  /ICXQm{UC 5cvd6x97IGӬ༘ʔ]_ꥡh%ܲ0^,eyldZdKJEǰ3!$Ir.S(`r*qh,?&S+BZ(o E;el`rRMحh[$$ZnHQHK D9_h(]VU$Ҍ!ʧ<{&Vw3]L6^]Lv옪kZ>.؜K!u#dp6[fMࣦ>6)q 4m`PB&M2ћJ|J_BLS5ՈjԯsۃqB#wE_ @@>)G @PmdP&fm[  !k"!9 px 嬆U]⭶'܄#)D'WߊIU:~[)`2@z'4Wta6m8Ցr>7ы(pF y '&@%+'!Kquxn EıxM<(/W!י'ONjuȧE]) oۊGhXkȴ-q=~&:;DF~wǘiηRH9zVjeěKQT);!sJqgq׎Fm/;43q`eψ$ُz } c|+ϯNJE&= 5$07_lm[qHBLgy'7g _TFӣF@2ci /WH<}~RMDM@M 6[Ï'FAsi4$]UF/}jŭgǞؚY6-$ ӃXUSLCVy10M}ґ%?lE긹^Fe督Ϧ<`2D22_wj]aj!6h@M>ʳc~>UQqӈ1aAOŅ <6jvr6ٓÈvMOJ^U(XEnԘy\jNmp=-[X۴ q2"/Γ!c y#K@~4 jգQ}NQ% mc* }XLs*] ( +P\gEr}9i G,<Q!TN(<ݾɠ/1HDrLD<=X~(ؾ'$<;ta7:$ɐuV=oR!~ >ڴAE2_m2tkolaB.qC{[|4In 2!G2!f` ΄b*)d,2] ^5,/f*ܭNny7j388&%,1cى[ɼ ALƏ-Aeu:-?Aj8?8iK|=^њfޡF`ՑX].wm6)qLq/CD!^Yi^&j=ZECbhZPceU!_m#22p<΃i6kAt $W~ǟcκ.`@ ~ gP'4=Y.E;ewe7Ҕ,DG8/|SDiMD3_Z>掍bOG;ّ)5~kVrPRT90aI暅߾pF+$" ?{Z-3tC O!!U5_=(ȒueIXNiA8YA*(S>sO^4]"Q;-l{Ĕ`磖mib8"}%O䂉VQϥ`I8SY_3ʎ*6H%?(O!1E]$˦kyrg/$K 8F%4$wt]3?bWpe>zBؖKL"tq݂Pc\_nn b侯&&LdԐP`#V(R 1^HGշB'[ZZH:Z]6Z'>_(=Ne6[Wx$ 9\-;5:>D~ +JpxoFBM׹^YzԶ`Jq^y~^94qH~:i=ڞ /BޱP* ov[$N]~?00%*#byO<Џʘ885bxw U!3Zãjys!,ԌF1 &ZKO fe/6 Kʧm:}*vA?u-?TSr#,y7Ll 8Mv؟.FZ"vZL?_Pʾ0TzCKDPޠ{7=xoǭ{. hY+1 !=CM"8ڵ2-36c(s Xxd]U(R (5sظrw&=JCclUnU * E Q/Dk t%/%,m="( J p,$|@(5q RK.V' !%(R]'d"e|tI±Uđ BI~1ȏѹ)OZoqE;;uɟ%,o_v$2+vSAq=x0C8lE2z}bK;%s5 Ghf{_GGƆXR~Ugw ߺaX~@6-֒v20ŇK9(QiWrJ^ȾER@T 9v&_y!3k}m~w+%GҌD2]{vDu[Y(͑PgGC@駧$r5^8I:,e;ht і< z">3bS-ZfWb%@sgfEk=JϘ[[z^`.6vPp|F;ҭgd/FQtasJB$4pB!'/ k*BIO(?C2S;)p{N9B~Ef':9k(Ly|#XT1~G(0H[۪va̼޻J]ϥi4Ng6]d8F=nǣy⒒?b aSu}AFA'jɅ i@*AKo9s)Xm>}A/)_N61Tlc>Ny0_ s#e^7GDu0^ 6uWVA1R6xbD,P㖁@IǙlEE%6%Rg[vM*!+6D4c)j CB'Xƞ8br$:1*#BwO[ @w,%zM+տp|4s Ibd(2a4o^+fh4l!2*~Xqpc,#Um,嚛YpnxD`ͼ#Ƴ *B;@el&n%Ⱦuڪ^?Θnz?|v`0";pY8v-P wOku DJ;G|@.g?RʑL0(Ƴ`3Mg1U_>b?1UB 4\~z5+G=u@FadFDaQeAÊI#(<ءH&JHfX݉;^5RmSHUIt!L[4@PxiA 02I?lBIR7&I}yNIU(BA0\啅t *eT[S/Jj4-n^`gE lX@ZV\sZ+e~ǐ92u!B!d ̺~#}VHFwuW>GrwVB?k4A޽ܵܛ1e.dHH':F3fIh5~ywo!öx3c&9yɶk'4 ϨDiqsy.]+ryL-Rt׏:;"NkfhÌusqA۠ap-U͝B!λMҨ>H&rz@rGYB'7m7,a==(Ty\B)8gtdLZXrbLBiPALUsU&| +zeRVkF(Ο, 7c[;{_\\R1I,3X0-ѩ%1[Kd7呦_ ,9fPd7]d)U?CYҷ#/_^anऺ5s2Wg1G,} lU/~uK,D]#ߪ6΀ t-S:;$+X:g諵~JQܘ7J' AyiaY64b.QG+? Z v) ѨH9 lr8lQs5k9_Iժx37Co{ p&̊ӬH&GqIZ2ĝ(fmljMG*תIh/xsl@U,:7D(n9Cӆ hHh=Ǹa<}XwHm81Z ׻mM*~ىd|R M^0nv(U+WH͸:6Ѕ՛~!#JT5&A$kwYM/ϤeIaQ/$0il*𢃴3uu%,d#6<^ߺRN3 )q0 Ng-[kϏpHS9O,,J@Cw5`x@zJ. \`[|:.mA> ܤN& nړ^;3 -]g9UTwg*[5v]&+qd+^&lUb!jdhYg]A }I« nhb/7OHM%M0i'Cx#' l⚟i~Fl-RQ9ڵ X@iDYD7$G&mZnq9@V-4䶧I!Ճz׹gzy:{(o1V'/M,Ӥb+3*jZ.|IafC\HjR\'ҽ߇/lYظM&0qAҨxYƇsh ,M?ſ n~n_jiq/i|H,|2pP=x#쉆<{f(ox\+ r4b@x~" s"ppqNz &)ߙ!NAxr,*e;+t*'h+M#巹"LqsQS{yp@v]#B)m0 pl*#"`YK??~p'>vLذMI3n,,񔢍Y!eHIA_IrG@禗L(w%saą| -.+GKLW\ĊߕG6?B/Y/+܈ѐ1õ&;ED)B1@n|E iޚЂfSvsF2H_"9KJ9qY ‘qNZHdhgrD4>khe9dII5, \ QԢ d˝Hf%r؟%)j;0I]7mMY䕘;uԈ_ͣ ClmZ8fwm p|TBJUA(Wfڡ~P:$ʟsyXJ)y/4}@QL/ģPIg욹%xKq}xjox֓)=%rp1{*AɊO冾5'?(\)ڴy޴P:M[|rJx_)/2NBL,3+WVO<TIW;WqAl]ir J 6Xv$1!siR&c89T|/啪vWpO["m*y( eV_,igw#0"0C6ē[kz\l7߱lܻϨ~=wߌZ%k S:֮Q^2U\R"?q^ؐi>B5vE_ Ҥ%{;5[;OcF0FCR3a0n:DMS.+:o)ToA;˟PL\fM/jg$ <44Gg1CA]zgLܫya ,̿}!*:0h?Kl!fvX!iTId1V{>t FX 6H<ײtI6(| Y挋l ;G6uD?Ԯd 1La )6)9lukLY/$&0)'WӉx9f#Vgɂ:.UOӦ'=l1JЅͥa5KyU֪Y}ppIc ơzeԾ#msB$Y@Uac2@2(C/eT?-;h$~[Ux d/*i..i/B A 7æRC%ICh:oD^꺬v0LP YZ