texlive-ebproof-8:svn44392-22.oe1 >  A ^yW^^fFW{K@R nc1@h Be4p"w+Hz1lA)K N}!Y\B9]n& ܾ&XyEW*'EBo4!9A.z8 8wkt"x4v E"sֵ褎qА5/ q,<3*o@ e 1 Q7 VxXaZs~Ld Ǥ3Br)[$vG500fee78188dae4ed4a8eb736d8bd50cd4b8e4230c1897a83468748d3c6ff737c39aa3793d3b96b789008a400f1520121638f02c=$^yW^^fTIIJ»P(y1^wa;sպmPϳEbZ'~3:rPl V mb=XR ig[uI%H?cW":=)Asɿ]P]`1rKf=¸u6D9YYq/rQXl0cVIF%Zq~¶$s$J)7'ؚ I-[Sn`;j1u=T>p=?d$ ( W>S\ q}    X \l(89:EFGHIXY\]^0bcd#e(f+l-tHuXvhz}Ctexlive-ebproofsvn4439222.oe1Formal 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.^y3obs-worker-004UopenEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ\A큤A큤^yQ3^yY5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb39675263e81a1a21f3bf25d92da2b48148b13ae7b9be30e2df474bfcf601c882rootrootrootrootrootrootrootroottexlive-2018-22.oe1.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.15.1^$D]daiqianwen - 8:2018-22Jiangping Hu - 8:2018-21- Type:bugfix - ID:NA - SUG:NA - DESC: modify spec- Package initobs-worker-004 1584990259201820188:svn44392-22.oe1texlive-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 -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/openEuler/openEuler-hardened-cc1 -fasynchronous-unwind-tables -fstack-clash-protectionobs://private/openEuler:Mainline/standard_aarch64/0f6c5be2488efa29360c24141c1d6c20-texlivecpioxz2noarch-openEuler-linux-gnudirectoryASCII textiwvƀWutf-8f2e80a68e22e45613d251d5350e5eb8c2c940cd570bd014473e797eb4a1103af?07zXZ !#,S/] b2u jӫ`(xyT =]ISQ):-! rTr< aRcҪ]MzE\7Yce 0e'K鏻 mmj^:ke2͵4$Nԟu>70DD Ӧ]Q{*^btg-`QvR梸܁ 7졵OWM-&;G[ K+hX uAS˙Ex~m('%Xgi0k$7L4\a]Aapwj 3*@ pzS;+4>B˪(k|sSgahuԪp V  yIZ.bԈ*e_m6 @!ִ拼K΋z"d=J] >VsVIr5GkdIe<a#xiբ׆hKzumk S1 R |uRpik1׸(8V%+n%$:Sh[eZDGa\>Wp + ?`hϪt!p( ~ ,ͦDO(䟙E +l` xZ;ɳaՅD~53tTh 1$ZPZjEg!dEzGA|S+zS!3Ϙ an9MXw+9GM#J7$^z!lS2 upkAVi{gb\ВK.tm[\Xt:1\ KPQ /@ 05c_sASE鄇BMUq a-Wݭ+0*B3߳(:CfbHO젣_ ά6gJeds1cFGh`OǁAa?D'MMo;u#cq#*Ycg,I𑝔`F|.FmR ->iVW ({ʀnL KC}|ӝ5G{*ZXVh]j#ExlSDm/u-.`8cSMQN#l$^u5Rz*?*5HRMt! `6on7;rPD`(;7ʪGklw >/F{yO"1b&U(H4LW8Tf Y &Z]CMG/Je/Gp؟&Xx~DEQq{a{BQN Ԡ5վ^nX Si$(aV#A1qf N7rNa5**ȋl=@0U)= Q;pBT'UXe~#$[ZVZVڇb=3zOj~wmn&"dbҼ0=alWvlfK]/VI]/aHqRڝ;{3طP)#$xٱl۬w3UO5Ug>Mz89ԼKS1FH(w ]J5(1<ź dE}7m|J]HL`!]5OG=7#ؔ_HQyi!zd"MXX%rl2{=l֚4RW%ή"T]j10e9GtJ5Y uP܅|=$rw,M 05 @AʰP&T +Ve9dʇE`U'N>=F?h:c:74?$Z*FTbuhv&B=fnFD;O'ԛPoFQ_HBRt:4-E^~NׇQrẙA07/5NJk]\AR{Q2Y&w-E\[ry\#kd~)֞%ߥE+9Gr"w譏V4\K_<`GP%N嬷/ge;fM.!š:6}6sԕWӟ(GZ+04! L;ψa{R3"pqSJF+ׁ49 $*2/DqA0ֹY 09eVȿ@<>}QWG;I%ϭ.Vƺ]^^e_vCOAoZS`7gWBS.WiOMZᖝ4T.ݎ`C 'oaMo?oC o`+:Mu2RyXh2$h t?K(?Ȯ9`L`8:!-@D'ox6І JwwICAjrQTB2({_XGBzs\)X#@~?c?D;}P#3=2dթVӍ,T"4{ bP"fPԏ&^%ki̔ u#,1Uvh^wu2{rl/o8iִHFih3_ j{FEρ&p@ecNqkH ѐ|B v )Q^6)d22ňSpYE+mKbt]dhUH9Qǒv|~)^v [Hwgb3'HD/Bf ձ D]g3)ɫ7aq܆(q%]PcS֦ܚSk@to1ʭR@ؒ&P/amg B" [69>1gEٝW?%rc1cѝHώR:2QM o3 aomA\&+3?yCC5Ԟؘި0?o +h̺˩=Ajp8@TuLݓ,\!?]mTVJ4/ؿj[f&xK*KfXv@3⍜ _5Qs*xVw|^h((JM R%c[TH4`KDi톝ʹp%ԩvb $~W0\ w=,"?;xECO\h!VrG<`ܴg툧 wDxem#@Av$2?(@dg'{}DXA{g U#,:qV P>gnhkQ͏iOJJêW$ŮW`#3`q̒ 'If.иn!| I C6*J]9)δ!j4{C*LمeGNފerw;,='b7^Ok{O7!B @ h:$U 7t%B.c$RUUKUG!|mdgW4B9y>;`#m%# 噑N,1&Ƅ>͈V{#2aVq1]5LflM NRCU(_(Ap[qluɤ ~n'%ʹKI t۬<<ǩ|rZwK7X:!~z֌1a>hcB<,H*j$Eς#/4 Q@b'.H JMwe/BW< R[Ma qyR3B@QpCBZAW&KBK2HJ$]bũWT!ݙ}刃{Mo)Qf=0 { *voubca+jU,޼F~HV2rj~-+r{x3h<4&aO/k `׳m }E46&Tܱ!·<>fݲ)rE9`z7Cߠ9K˒z!DžU}veu)rT8⫂ڇI\M=O!="vH;o 917wDY5˽% Bمma;t0{sσ^c޺ax $F;p t}m;o[ ,@9}ou0\=ɔW* ,L($Xv%ZHw~a>Qj/L'҈GoԷ > r='`,B sA6M!>)L/E.odLpχ[nh`⃂eAJO`eK geʭˠd)H~y9/lDJMW^%TݷӞz;6ot曝JzųTj;Sqm* AHᒨO H.‹H'{.D>m#Edew`MS|H2׀[`6t^)Cf?3בEI a$S ޲k3e\3!z\֧;"q1BqlT;9T#Srk k0M4 J?`,puV"r?M?tA3RG4 ~񢘊9壆 ^xeQL%@(l~O_ JOR.۴@@2>m`!K_+-t8N:"ExDYRܜ}KĔI@iIoh־z $kQZxlMʸK2;y1 ce^O'|͂{*hy\w1 жV(Hk=Z$.R8hv,CxO˛(X PDڋ3)T1d<;:" ǣ:s=cA)O ^~ķ{\[k 1c",A)kBg-eSepA0n;@D0zC=D0*xji7n7Ysf迅PdBxCH*y+.Cw R MNsbvOmrl幕BHTU}KГ5XDy`C4O7W-c2Xq-7e7`7?rhD OÚAGVbL<:4SRP5XÒVAʃNjY& U$"dޙ4}N% bG ,LÚg֍ L;kKSiCG1DeZj8+NP+#8hl>>jyx";LĒ Ɯ nzz($iP'eOE8S(X d^:mfsG=E&uhhO4)/u6:M'' ?ûǑR"̚:ްSX"ls(f#TgQT|F'pihMl؊JpXk]zǫk~߼p]]9 *9MQ2ImmtrvW3hǃftXZL-W2³e4=WK"7y~ob[24 ֠lbBtwJk #Op\ʳKW02ĭ8K1O nUmp8 H@y[㗅}:B~!5݉QWD <{}L+JʠC uqEzy6|&'7< 4u} 56f<@'GH\Ubfk&bϴ z ཛྷ-/d_ݙ &%<6g^nJ%wZELt_ۏ~Oh?E)# \5Q?HZwB+eE iX׎,|?}1YQfwOO x_,`ME1P5Ɛ=R/_~ʟof:R+F}'&[4?nFiG/Q(ˢfߍTgf]EϒWUAz;2♝8*Y -~\YJ|dzo[${gӶ=61 tE(EvRL٨WR6IFع$d]ͷ:q/&k_C-z$<=`α6dwRe&axo0dBzO ݑ78O'ydmLjT>þsH} ~f9މUϳ1:A=T6+ ꜏t`]s %YGc+t$w԰-jY_6̰=U!ܠ3psmYѐ|C- lRVO'fC5˯ gTu\[N^'ī|OT)n)"r}NM_69a cNC28m %ާ)D{0rGU`<z[~!a4q"\gbVgYF''@5FctkᡘLΖ^"5[pLuHF `6qq+A7Ԏx.`|^W!#TLzM3 .O|4j uU[E^|-uȄ :.ҐԐI@̰]hN#(whq;\X Xk4R)RK 䄸4>*İ8>>jOcgȂ6AV.ǘq&=%>8fŸe$ߖ3 ܕyj1wP$T ;-|)$2Ze !}Na>4CXx,iDso=yk!I> J1&vm>1X"]{<=&&E49<S{b K9C/JW[t80e5ڼRXeiVXM&Wg|$0GA|@SXGajp)򎗻AKPJhC>070w0VP72HH]?l"Ӭ Ԉ ]A^_TI_-]D(JIF,=ܹ<mAU9l]].縙ϫ:+nz/Y.|m~$K6s:vSWe?!UܡT^zW^VRăcm iXhIټ*+^ jÍȤqi2R=u%O_6TB&A2,[RWW ̻LFt y=2rmΡbJc>](pux+)6-sg%˄(J !g%b V|久< h, ]GKW% 65SH'2ȱ~9Gw:4 ' ]Oyg wbd i+&5Zp2ںv`Q(aa PӜ\aRӭaoB%')ZM"|DC.RgA9z ͛=JvdODh_"!(ށ]R&zqGk̢+RSU"?7Y(sMdO3O=N6 aq c,Zn'Ga{\ۮ;ܨd .;OO IGj}7C#Fhi/{bhho}VOLm`H^w_(Ou/H'u xT=PoBۗj,咟mw uFz##$b׹֙Y/9X!^emBADe=peVal~L !fV쮮e+K᱈gb?jZm d6A7| +8<8#}:b^+ F1H^9чPYE(#Sh/XVY,X+w/idwwl|}s*>MW85U [JkGBfGZn(*)1}nY% ! d 1W@0$:O7!RAI} =c;.Rx>- .?wPc0!džU|gpN^oŶEP9W=a_6'Ja%e#x#_-Spx|&Rn6$m}*K%/N$/c7NOXurҕ9/2~Wd;@*&h4tuμNLņm;tBfH:vNi =JI1x/ %s3[kA;#ފC;oI~is;E{/Y˵g,*tE7S_E9pqkbb.|?hTC x>?mؘI;smPť/ <@χdI\8#Uǜ*t% PC$k oQ) 0)[܈ =Wpy= vH2~n. TeX@Y4| 9x٩ǫǡø/`}_zW0!QsbI\5%Pwk| >6W|F ?!U-j:\wk`^{MP! )=ų` ѭ YZ