texlive-natded-10:svn32693.0.1-66.red80> K KtĉH2!c31^ Wge\support@red-soft.ru  Wgvbk/n!{,p2J1H7Ha4qHnwLWu6F,wl/V7 D[[nC/fjʣES}S{A΍a /M?fA`~б3nx-s/}eQV$QyMO6hI (\4T JPKPjrқb209709d7086f9fad8f715ac624e78bd69d928e41350651f3c8acf891cba832c051e00c53cd1e4290b8632e439a4cb376fc78093--N HVFr8M>;?d( , M (8 @ H X  8Ht$(F8P9\:GHHXIhXlYx\]^bkdefltu v\`fCtexlive-natdedsvn32693.0.166.red80 Typeset natural deduction proofsThe package provides commands to typeset proofs in the style used by Jaskowski, or that of Kalish and Montague.eiFbuilder8redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchJ;@A큤A큤eiQ3eiRg5f05fcf6ef25a6c31bccd2df7c0c46b23107bbeb2ce5cdba74efb5cc357f4dbb1c7ce422d74a03bf5bcb8c631d4c18478381f3f67f81a794e1fff82b933ad756rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(natded.sty)tex-natdedtexlive-natded    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn32693.0.1-66.red80texlive-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 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textLaTeX document, Unicode text, UTF-8 textutf-80aa3679f070122019724ace4be63ae93f0de5512e19346f38dc866511080c7904d6a32c04614d9a24d44abfc96c1dcaf23f56876739ac04b73dc60820443d064?P(/h]t"=kjs(&enI+I"PN35IKP~ l^}Dr f7#>6 [o#}J$ܦqR1r־Zu23d uX60.%i>Cˇ]OI?[(Mm-8)C\_Cz3{)Wo[8ÖN-R1Ljc+ǖx}Kޑ]7Nrs(8:ϯ6{s%u,bEFv`H@P86*Ņ q B9.$\.$Ti>s}IZ,eGAPrGIZA+{>^7[E-.L^FSt8>Ki[BW{dԩdXIe v#˖:j)UG:SAߓsW)r!e9)؂~+;"g.IH* 4W061PL$զ#?&d0&Ae(4'l| _6CyH >6 rԁC8U?o}{$tܜ#G%ߩqr.~)5DOigF9!+C[{g\kB2})߲8/a3`gܛ U[%aͧ:,U[*#s8eίrF  `xz#C s=p=wNm1vm`1pJ_z7ad糜L˶tǮ3mT[wz#A;"H;X"a% ܚtvXQikQ6~LA4oBkG0ˏy 1* ̯GS[Gzj9C]`ϡ-..BOeUыup@R3poeQDSIB˲""T!!SkGC)B{a=es{Ao~ XFXiŌy?6漕l_@$h[6IV[agL*(liogU`a,H =1X-9nq8fqpzϔQ`P2egcBL@@cs!,_%d@mV%1GJuءK3^K7Kv_hI6Jg`;y) i'8FA0 2? :¹eی|ø%џ.aC/X,, FWqzg\/{\(\}-s޳:(]sLsi=1{+31.;㈝vN#?b 0`p\d`Xp\ ̃U<6Dƪ*HT|P`sM˰   = 7XQ$d,}|l*"ԇ<?#DA-xl& ED"BI@4ŀ@q L(+ )*Q׿髉DDd$"DsTT^Pm󖐈l~:H*$JZD^A  a'.l Mds Ca.8ÃDBE\S^D,03H4#QA܂ai4 U*ǓP' Q1z}'c8th,8m؆8AH<&U"x@%?Xx&*Mη>@JQ*B3YM(l︙+n<%%_ļ4.8aoiP][PZf -ť&za Lb'i,$۴M?-4⁋ ,%?t0K؇R50fx-E5t(τ1 H(40IľID9|r:ַ |zut4Iűd$ P |4bI²`$Pe!"`#@A"b-Te* ~lQy6T,@4W!Ұ@~`peD3 k(S LƂ`4\qfz Mgҝ=Wsm+_]c˔gAdhsty\҈b)& 8 ^:P]r.Qx²S1:K%:)sL,J٨UF0==7zb[w lp_ltDW>.cb h{ нHb'V(Ҿk MUy3` ZW !՛ Euzh bkXfQ^r{?8IT8Pe^S;ĉ+S_8`=ز-1b3V 0W@iu$wf!tȔRY>أ1v:u#A)+MD\,ָdWD:8, 0jpgXT2,.9 !Ӽ@z7_#sLNS]J9F)̄EGD9qk:HdI"d7m6K1f/A Gۻ&9X `,TKO/:2ODvњ^K7RZvnC ǹL"=82gp`xbH%֑{ߡK(TjwQ\Bpg Js䭼XJ2P?@DUM_k%mR-֨R/~ԆǏ6} 7~nq+3Eӊݔ5"Q{ib)Xn+ޟ /↣`v͐C`-]VIsVd>”?[3^pwSR0&[JX+n9 Ttw5uiH'a3!Nc&cC!޻8E@Alo*hH3 UQ%H5rK}DZZ^ rk8 9k_!I c)t 0LN]%AE=0qI78|ހ"zBjߍ+2|avk;NX{&Dwh=?GHHڷLJ k?)Ol66oNw''zن2tU/%[BH֞2+vX趣)[&Hl3ةYDƏ7CIJ9QmCfPçG,)ʊH$ c+a7r <'^NhJ6!wHauTJ>ߨE9BF:WapҜ4FCZҋmˣCnDol0-_TJ?da\(#3+@`h}w=*hNuXԄyED.]nJ{ <}0 ww ^^819(<s'uS _I9݆*x"YRbqEzM >K?G#Jo/]hi9&[qxY {bLS'OKzFHq?LIy~M#͂ZDGK*Pϥ^nj8G љ@1 ŲfgĒeA.e4lSlH:*n>4Bd/" ?jp}ls2&Hg=Qe>I"Ty5Y-nRzͣDKz )pSϠ=+4=xT޺~ f G婄YMX ]yc*v`Q{ E{o%6]))sd$`aj ym3wguȉUv o^:#X& "e7KM+Cp G ./с@m Ҁ+&H9"z]J~6V ,8QuYXUaʰp5sYEvV esPhjK]7&q ;+e9|~@%1 \2yN{81?\J>_+Pei!ȜW0{0 x,Ox0@ia3pv̗SD$odq0EQE#<0m:#Q3'!`%իʊœ W§ mC tAGxFWs_fC`4O2 %,)tfs Bt#B+Ծmŝ0HtB3#ˢei"Mg v/J [EnutppbdUkl kYMHzS6:.V͊(՟~i"cB 5w+-B$U7JgnWB9{"xeeܫ%ߓ_ AC֜} Z['7#qڮޖ;6Qd!  AԵB34`~K|Q/Pڒmv^R3|P 0GͅTc$gʥA-nTyENAW0KݞP"$CNًkQ 3h, Ť \'glChCJdjЇm0ӅS-?{K7[ 28ڮ)dў5 P@Q@.2#m1A0PzIK0t {OVOŨle"m؍!u\NspT9#2ݿxCh_6=ZxSy!w8T.OTa-QF6`o Z®/AHG  )t93z#n%RڴeF6U~BHee{ȚA3W-"aXF9ۣM1j|853ɊH/R <)O%:q'.BgE8I|GD)4rrì?zGxMҨ. (4 I,W= P(J 1Tm!d LVp Fy_c6Ȧ(A~zݰ{ŃSkFp]s!|8B=.Q[_x}<" ٳWǤOI˛蒳OU+ $39,85-mld<ԋݑ. gyU^ : "T5$Z*V.pn>aW[D~8¼kTI +7s}]$ ` &QoO{m*@D>(˜4̈́iv:Og*ed ߕ@  +_feTS͐7x^d|g= !y!w g)y!6?NL8V8y"ߑBL2QFYHm&ja~Tc; 1:oKTKtV*aB8(c@a 37pfsPL@L)?2f$x[bS>R@Mɕb* (=鼲g!gQh~.DȤ9:ʹrw .n>t{V:wp0: ݂~ph,X{M~Kİ ڝ2 _`RwxWDPpR=`F]"  @៣x̉G`\ʋF3X Gz4ɋC`  T mKRպ۩:hXɏP߭HXk41V{C:8 [ ljo y6(ҋh'kntBZVsWfR#^\Q噉jזܼ z03xF]-!Ai6סȻؒm_/!_G Tiƪ2f-vYh@U@Rص$Z{mk5+ <) =1da\ep5{.y C#X`߀U;Rכq[2ڎA+֪*IEø?*Ύu< +z _z}2.M̯(1"@F0P޾seEA *}JHá6 v`L\đDIKt ];8c,'zJ*kjtjī}9ƈKH$XGw&EN\m'3ps "vL:FP~2& -Z`++@Bi(d+awʾ@Eٸs Oh8P-ـܕV7҆ y]RKJ+#*Pf6{GA1{G|Π~'Z ȯRDCNPA7eG Ll[{݋rW|]gi~ڻ|dΞ(8i $>D삕ܔۙG8%KŹk pntٴ䤲uGzԓreLzAx-,]w)sEN(=N0394D]11Ad,}"7z%/(ȉ}R3L\ T)L Gi^EGGWȗfEjK