texlive-natded-8:svn32693.0.1-22.oe1 >  A ^yW^^fe_OzR pǥoZ?T]bTNp@̺ycJԏ> C`h4E.$n=\=S7!8=y }Hmm*ek_&R)$$84c w~7O{q(a MqW l8#R؃~ew `Yx -ImҖplm!0]lhW5\ #ƈb}wkwHUty05ccf0be552fde0d2ec6adcc04136053dc1b4cfc1d7f5d32a0d8697125a3664f5a35cd1158333ce4d94fcab194a3186566b4211cea/^yW^^fM9QdVi.(p~T_P]lj4gŮCU2妝E%׵55X ƚ\lM (DN fs,5i%.}MyHt#WA[3σݓ;H4QuD怆,fChðh2^(XnJtw8U1GEo} IxΆR܀"qFk[n$5l-ǮS!.tfI^\qx Bu>p=?d( , M 1=U[dt |    ,@TpZ(y89:F+GHHXIhXlYx\]^bgckdefltuv zDTX^Ctexlive-natdedsvn32693.0.122.oe1Typeset natural deduction proofsThe package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.^y3obs-worker-004openEuler:Mainline / standard_aarch64http://openeuler.orgLPPL 1.3http://openeuler.orgUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤^yQ3^yX85f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb1c7ce422d74a03bf5bcb8c631d4c18478381f3f67f81a794e1fff82b933ad756rootrootrootrootrootrootrootroottexlive-2018-22.oe1.src.rpmtex(natded.sty)tex-natdedtexlive-natded    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)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:svn32693.0.1-22.oe1texlive-natdedlppl1.3.txtnatdednatded.sty/usr/share/licenses//usr/share/licenses/texlive-natded//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/natded/-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 textLaTeX document, UTF-8 Unicode textiwvƀWutf-82eac3432c6193815a87fffafc306bb06dc8429edefd8041ed052b619bed46d58?07zXZ !#,#/] b2u jӫ`(xyT $(\t0^ M`IxDzGfYw)#i`dZKZN*x[$Pm`VDJ9tF Oj5M ѩwZA 5Q'hlzJH4GHFo0J)uh3dM>UJƱ *p_0'D l ]jd,Ȝtv@[Ysڷ+Y^T8j_kkf09iZmЦCyv4$cg0^qAwoZ !~N6JҡyW9E7La.*=rJKRLgCz tEIf^?;/e|^${ (rݚF9[3Yp%!s;pZq45nohrCwB8UC",TgOjڈ&x`1Zg]O5*"k;nWo5Bݷl]UVJmiadZ.ECW_*\܌anΪj"qЯ,\N[x\\H6IuFzюgܓb/ƅgqD1zyo VULoz~K<ӟM"A)wxz/2$F>LZBܬϣٹҒ kZlN^#3QySrP8>J9[4Y0w7 g ۥ&B+I;$N=f H),nNҕՂEn5# d':"/wD[˫FQ T^"9[y"4d.> 8/ k[m+X=W]:!~iױ]8.x]a}eмOi݂D~\ ^z"2HlYB)Erח#Зrۧػu5Eu!!!.}їЙQ~Br&sStU,w-bdIi/yݐ"!1z?Oup'uWm).)@Dw(nyB措]UNJ>q}%N߸ޏ-ᅲib,mHz:u ldhV 6B 9Bxӕ}OhQ֪\@`29ܮK .[ETio:>`uP{{-;p;̓nL^(z*i61?{dxjdϯ$(}Cdf>$F/"5.\QbrWYDffu3abpg89fŻM,gu޼}u:?R,ͽӌRL4/s2IVTQI!ZFa O]kRF[N$209O}Sr A/w Y eʹQ;}Gr ޞB<7TQּ5 lҶB }KFdEӀ Ly7P=.t I߁Cy~?1Mz˾G-ʊbml|X\蚘W,秢#(w!`,5b~\uR:욀_p}S›P|7brU7&GZʽT +y^(ANڧ~(돫]ZO ;XRI㒭lkG:&_ cPleAqOWÒX&LY,ZԿ*=DIBw`SM4:BeTY>tyzf|Sޏ֊3[1Lkc~ѝ0Rwk:h)"H9.( ۰@soոw4 Vpe^r%*S9–HZ[l|o] È]S[s*v:bvP~VZMw"+XvwyzB&8jLߧ(ORy<4:2HuYqN8IydNQ._8 cO} bۋJh&`}+׊95$|1yVEסvArاG ~ȺlzE@1䤰rPU%0X#*P YGa "2JbV4)\h3gwnW0:~`Zp ك#(/Qe(8pMxGdǺ[3[ޕёUǔSZdN'V7F$%eOڠ?n_y.TpS>_8& meH"UT;3zeVZt Fm$aW96>̅H9JV=*:؋ sc}7#"s qkD$#g;d\*{A<.#gз+aclb)U!)W͸-t/C~&Iyf #^Gn$vo-gyK߳Tyȿca6=:7J| D!}B"-I; NO˓axlMp*Kû,+Ɍ#p@mэnJ]^0108_Huoac y_zSG܆vx'vΎ/&9~Q ၁j\^ɐN<LInз.qWw|/?*|)] 0 },]Ѹ!VJ"lE*5$J[Z':e^f+'J[ߔAb }1yg}Xh~ZT/"}X۩ӳ%($s⨉TIt:iÛYVwUq 5r PjɡtN T7\b4U8 Ӷ5?SNrFrhک!̢ی7uqzNN0j/՝ wUl!?e; 2PJULi 0Ai?#pijUڙwb}J=i¡қEGPJP7v/%f5ot٩ev7귧Zuh\QFf!ngH6`kŋJ,V'-  sEp`=5}Ұ7ʸPOx^CaFjw>ׂpϐ m] .kȳɄ,(Ҕ8UQr=YQG2[BԶg` 0q; %0b>2ChĈm= b"zs&0]kR'+z_H#@f[Y1{Fy;yXT Ӗ*jR1 dD8Boσ7!aIO K[=,E?h_-2[9c0օ;5e++RʍIrԣlЖ[ew^BXEN nz}\0ZVJ/C8TH5maY+ Wgd9X}T*1ؿOT?7xI+94f >|dnEJ(ϯ'b1ӵ3 ܻ C ?,ƩYeVeAab0_CGKL. pX¶nFӓJ=snd 4 6Cz0'H!>!1~:0NqĤK?Rrh[POTnY=SC|Sp8)IF3ɾ36;S^"ܕkOv9dpӿ7Gad:wbEklqq 7Rf-̫XE%V;][`IPshn||qAS .쓘B!F0T:-=5dp֛ Ɩn kBylvwb ?93A*aKa@\p2b;nOe>#[@ܒ,$өni+-/߇. d6p~Ȝl2cqUɳ&P"s=`] ;i'$8 :g-_\(t,UQK1.K|o֓CekLSfÎ5{'H4=W0#(qR/jVP IQKfzla8\RГE@ȸ\KgI)ΜTz@RV.Fw|&2!r^XFzwǟ[ҳD+;TrjS`(nJ:\x\!hG /d+aO-k(o 9_K<#lI = M|v?E]HM dG Q5 {z~B306g6Zf sg NNz}pp\c+R"5AmU2O顷C0y)vNw37f*K|fFϢ7`|P϶la4ǎ[fvzR?n>?,=|dXD˝>U&&^% S%I^^~" H`l@Z9w:tZWԗEqIur>`zr,nՀb0pYʞU% ~#YJO_x⺄1K5;ZzGm\^8p- >W>C$ʟigi҉}1R:yؒ爁ǃ?f5PPVhR"k)C^pڰF/<[tt{0(V~$T#Yw͓c-PxF@x*7z!ePGb%Ad5ʎ@ߧ?EkE\;M9bϬx,j $e[vVv]O:؃)ܗ襁Qh&Mn<ɢ2j\`^Xr9Ŏ[\ri_J?Sa0|/wŽAp ]dRi>߳X, X$ӝJaIr|Y(d?*xY=_Yp#H43dg)Qb?/B`?ߵ',S${V@ɠD2L+BoBY94,Lbyk%}] rZ“k,dq )%A`Gn~z:PwzK|{kt]0r$ i@J!/JW3'D z L.! Zǘ|TӻjQ9@IvȌLRDJ6[S Ht?aore~ !n2aQk>~u:mz>vRQ%}Qs3N kنS?1&&ο"w]\ЯIe }MQ9H9L"::ň~8`uӍ 4ۚ@8j7.t2c|XYIcfotp7lC6hr2}A5VI7Cw2'Ԧ\ ބXpuy;œt6ϸo̴*WJ]9^ZyתYrˇ| ;W:(JAԻ#xr^󂕀.Ը6|CM FT1"ΐK.w GnއHӠ{3tKrA>z-Jޏ~ kz3 sML ΢X)9o}CO,[ڣqMom_,fPpkD+EmOK.˖(62|^&zq 7-U&{ԑf_?@/(afjz:+L"VN7GqyQ$)Fȫ|]Th|~^=ug~y$ +ؕ"e ˡ]4v!GZN7>5ɟibB8: !FUsOa؃܃d y tlgY(xP@yad` [V(?uFgt9X!DknD?ieV{'a5c'EƁ]̍YG񵛾kyƬ[?J4/J,D;6=ˀ-'"Bܓ5(TP#"u5O'Cd&|2Hd4vov&61}!txcQt*(iUhP|X$u*K>}\]1mk%hUB2s"]>B=>v Sx(]|KpJ5t&nxgM5 >Q0Vp+A%e>iPƯ;P#u3]OW0ÿxѨ嘸"2+dl3/~N`ѓvnS8FZW\#he6A @}ZP;՝ܚ2/dJ R_PGȱ7D{d *1V*ixЬ(4ѡEy*a,l%5!+fָ(.8zg&`Hg\4>y?owz-`/3m<R,2kdZX)h<4,r4j}1s=u* /=6fg6GGI ےzi! Α!MrI}xG$:5%.X{Շdwr=&D 3tXe%{q &BOB%G9