texlive-ebproof-9:svn57544-3.oe24090>    f= ;G|`u` q Õ'\T)' ҡup. sםUt0*]v(SE- Yv%Q>(o.()EK+\d4JT+;A@ҍX7(h4{ڴ[>\<0A߀ ;\'#bZĴh((-QYy Dڵ ^*Ef>4 D<y/ZSzyrm_UdQEq @ hVXy 0"4Jv2V!Lx5~&,ǎtfd`'G z@QUF[I'vK c632[9b?mʻBc{pafcde751deef19212106faa198d01eadea8430a9cf197e302eb0a304e8dbb125d5a64b26193f26afb7b2c75ddff16dbd65827edf6=BpT0 {>; ? d$ ( W       4T(8 9,:FGHIXY\]$^Tbdeflt u v 0z E X \ b  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.f갰dc-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 1726656688202120219: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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection cpioxz2noarch-openEuler-linux-gnudirectoryASCII texts"Dz|C utf-8509017787a7ca9b37e80f14baaac7e2ade5edd3fc9630b6d97b30511537bb6753c944045ebab99ebe624d7cb02c3714b8f0e246031d49a04655108a6e0549130?P7zXZ !#,(*] b2u jӫ`(y0$bWU_Q 2*lYuW ϦMk{cZ7-B)?2)tlPĊ:ӕOrtzp)DD1,PIgF9%1Bc-m9iN=p}.$(\A=ݩi *\ӈ 1OE&5S~^aI1 =>Zj |J< &`%DV T'Soۏ%H {NJ`Z6I`&x ]zFjq5G4#&Ps(-y?NB-q/6ip)ѐJ=E Z.z NE'(CMw{t}J8oo;J K0yW fw%, a4yT_~\xtٳ}sdK&/XZND8Ҝ`A @6YR<lC4f9 A>mIo$Z+Q;UC(.Qg K5:%^cwa{EDpoGs!u[>,E_0~V (PA.G&MT$'BRGF | <. 2ܿf:IzL[0Zf9n{1{^#xt8ӭTMnOwTgM(yl]<k%[N4!M.Ml^`)4!m6ƙ̣SBQ;& qv>)aH`w΢6"_6W&#ADӻc?gvHɜvE;E<<73,ʪ_=t\qRGvq Wc`b7}wa @bJ?=(+,CT_bĥݻfer[(m(]%'7fC3<ϼsIc3^[& F1y*xZI~<~LH)Hnif,iv*6.c"˃F(dwS.lvY1^`t_;Kk5P ߜ9b 6>XCԸ~ȴC)&ȼ1xJBV~4JD "x$9Մ\aӏ+5K6=x$'=BK#*S}?] coʝVNYz䶎/~ř%L݃+iH`!=Q8?] ,#hIҁtq|ѩH$G'EzW&ŭ|w\zBuS"T̲W2~7*4vFǁ!Cu9lOɌ Kxcak(KV(Q*M.A#H,{u,++ BFditbDVj?'Q$fxly^δl?=\)]*fK68AXW]1d2d=9Oksi_;x[dB|mO3p-Ѹ(ؖ{?!" .REێCiHW.7q @#?CxkLr]dX6w43f!L.:j;H)s uG;K.z'9b()S}[ѩaE?Xѳ?.o'|-^j] )cEMy&h:W/M^'11T~%q0Z+H泋^Q\l!.MCxGH0:L7[ -u~-X'lȰЪހɈxLᶓ/!g}:1甇])wntOXRjG@d׭C.nF/*E!vkTQ$O$nD5O(s> PqF%.?m{o̺&65=p'sX?M-;$ij‰ys@$]c1f DvIƵMQp-oUa} & N GnV2`ōiD6}6yl83MoԟC`Ţpz@v) @+ψ#nOϰLN+-6T%u\'+q2)"L9V 'T2en7|$Lbyo:1V?7N-o'3DпXiчx H'gSioR?5Oh%UV`ARs]dZ( Lٹg!t ubk@[X2"V-*O-zYp:8 xf<'z``2"*o 큰[ޖ{p_+_Jɦ_ѕyDZTM~d 1!<<lgwݱ"cL-4rcb?ҏoE(’6 >p&`̀"oT&,}R8$ *]lDMdfe=*I12+mlk;hCh ,M`Ӱr fQUrӘ! vk1-zx)]t /9gP~ ;0^*j{0X QUb}7b\_#oHtIR#7-*-pmA |@*xgRo}&KEo~܆m)#rB &ݠ꽖&G3 Qҳ} v5uPy2 ~N]-+/M Д{a'FoNlpVB?Z!ՙ !L$ǔVOخF=]="!\)vh?2axb4jK55N j=1^j;iK>6:fL9\nhaJ"#71V(> rB|2k XҊ56wzNe-EH`$/4Jh_bzmJ++G ɝn;yA[:1;z"IJʗ+B|cZy=V LLH9"t_ !Oqg鵹ޤuJOVB` ,?@ek,޹/C֧E 0d Az% ]љI9 +L٘RCW| k0$ZP16l]?f|8M(Tv9qDˊ|HfsdBE_P&< MW\Mm߃97Wm^j! 'K1Z T B5]N\1˥Kj[Jb(;UeN60 O6_ȷW @Trna]^[dhOSI^CUV/qhjH <4;c~:&`uC|# oѐ] S_o@Ä(& .j(H'rƛK+i8?h~WVpYz[tb&t8rcx<~"aC"a+DYSl`G j XPqE, ڶ~PCm#*•AfO׊W|Dхe(Cg 8A3ݮ鉂u+bpg2+ߏ53j*;n fUUx3ާ'QDϗ*YN-b/ljnh8NAc5nljYy~5 |U(1+J2ƻ`CPH:K4P٢)aQoR&p)ZۻAEYI5ia[Ds[;}3lWG;bTblPMм*] /b/Q*DZX'epH *0"~jMOJ\0@9P}x0$Vގm8h+o[ٍ:&ӷ,J*>՘${So(B^H~{_\KyC%3Jwv\RZEƼ)d|\?h#N $M`5FXZ(d!JbےN[LTeh$lѱUoRٔ__)iÆIXTFGI OڧFR"qTFet -}Ar=DcŤ4=ӤYŊ0ȟ8JVu#c1Az?iJ"7 n ,&ǵvݍ m{ISOnq듈 A*81Kԡ.l.fvhOF : IU)$]b:g-e6Tl-Gd65(RiX,Ur^$a< 8jE(P Je?H:Up4 Cz&g'$-ڡ;J -eHzOODTJokQJA3mg%El&:e D0osl3K~md9HmeF'F,C|Œ^w,,RtrIe~YO'agTIHL}K F'xEO.ajihT:CK[ D(n*vOYz9~aJ6- @%g@A/ې L|8fadiS@{\S+͞|:ۅ[l;=~pjun!n6Z_3 Y63\_QQcZZԘq8Hٺ_\Hq.1.~kN 0"PAh֒S߷I-MC:n6݃.n)&x(腽9Ԯ&my3Fv"]9zCeFRhؓHu﷏t0AYDq6xcxk9,㉭,%zNGTe&Yp5IWs5g[tRbX%3UKl(gGVɬ2VS'4=9HnNNr$Eaj0xv5{bSym UT۝do,R: vKvce֪54L>0ꋴ l$j3hjb{zEKK4l Y4Z/b| ϨtMl)S+xe2ܦcGv O/jÀ',%a=jITPc3tj7t&=D;F̺i+w[$404>0N&;em/"#S Mg:geRBvjaI TH41L_)&7j -xR7r^~WN~{?6iy^$'q|AR`iTؖZV̊Nj I<:' ʣS/LB _ЮDIJXF-Ϥ \&+t]\P^\<Kטb*ᚶ#9nlm>s;@Fém]"5NQ7^w`6OY@Rw,{iioq8jJ;8Ռ(&N)9%.Ly rPULJ$8!B"\=ړYkd1mM#L'J-(۔ZDZQh#1>:C>/9rUƮ(Ʋ^/R1Di(6p'T`\1/ 6%iZr {\@ArG|~&:1o/WTCh^O&EsiQ$P`(ܳz!@K7*p LvrG6BB1y.o`7:,IuӰy~pҚ= _ʐ1u6Md(C #3čGVԖ[K(H !$0ZY礋@R$rmpc(1"UJ0DYt_Xu{4C1x𐖸 Adі_6!Ne䇥%j@ CwȭL*,~x*-q4!&ڲ.ߧH˂qχOy'M`Q^M&E0\5CBֿNt߈P܉ GzQ*TbЕy>larI5BB.pV`,3MHf(kpLw/ -<@E뫙$qK$`1ԚeQT0P Զ YZ