texlive-mathpartir-10:svn39864-66.red80> K KtĉH2!c31^ WgeXsupport@red-soft.ru  WgjAˀiR8{I K vCR JC OL) [iM &O)^a~\YY= َFqv|97RܷE'CO n T8w η~3}G¾6P;]Z&(TT20vz6#TX=yx1xLm`hEDw:-w[$NXOWԤ=9MH+,20}& ^4!iyr d29a2cb19fa2288154ab5d2fffc606bf25c01efcf13e24bd6917be25d50cabf26807ff93ce5077cb7b6c983bbe474d4e0bb1ea5d6Z@7bN8>; %? d( , n 4:DT \ d t    4TdL(n8x9:8GpHIXY\]^bd e f l t 4u Dv T     Ctexlive-mathpartirsvn3986466.red80 Typesetting sequences of math formulas, e.g. type inference rulesThe package provides macros for typesetting math formulas in mixed horizontal and vertical mode, automatically as best fit. It provides an environment mathpar that behaves much as a loose centered paragraph where words are math formulas, and spaces between them are larger and adjustable. It also provides a macro \inferrule for typeseting fractions where both the numerator and denominator may be sequences of formulas that will be also typeset in a similar way. It can typically be used for typeseting sets of type inference rules or typing derivations. A macro inferrule for typesetting type inference rules.eiFbuilder8~redosredsoftGPL-2.0-or-laterRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarchF8AA큤A큤eimQ3eiVς8177f97513213526df2cf6184d8ff986c675afb514d4e68a404010521b88064396ad362f39a8462cd5a44f282d2ed7df6713b175be5bb4cb36e2ad0fba34b581rootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(mathpartir.sty)tex-mathpartirtexlive-mathpartir    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:svn39864-66.red80texlive-mathpartirgpl2.txtmathpartirmathpartir.sty/usr/share/licenses//usr/share/licenses/texlive-mathpartir//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/mathpartir/-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, ASCII textutf-88e15e0616f5472761e91316df93eefeb5640b87b558fa0a665e1f72a0b6a7a2530351e9d0cd4ff686f55293fb115bcf946bb28e65f2e4927cca7b9636c1d990f?P(/h%E+1}-]ֽ~ZSTzߓ dBA+RSSDfRuAYT24(KCY,$BmX.P*TT*ւ"-&2e,"u~q:ڜicVWs$dmlp-2'gѪoz6ΤN?k3xQ۶?pCțYu}H:xh;w֙?)9hS fWZH]cUe|3󹐃FXAMB%[>Δ+)Q7>ۂ^p9Χ;,1Gke7j Ij8l„~7ֹ7} 'n:nҥ0˦ub7ӵGzQx轿vSudS '-1}v*n|~9sۍ;Tn?y6Xen^wftJ w#F2fZ-FaVmZA>kRykp[͛30DD RI/Xv;ŬCuPdIj!Oyܡl_,Ԁa)ib4hٖu$+'| & e jBaىt(ՠHXh$Q@D",^!iADA00`!u0Cs`h -!{ 1, ,$D|Zp/{읯[4IPUگgrhsVjaL5גi_GtpÝam^M`/j#^aO-MZߧ cjW;Ĝ}·X%X/Y8mQu>cU?۬^dY[7>᪞-nԙ9§t fhaufUU19Rz/ڜ{adB \[ٴ0󎒵lZ$qZ T!j>/wV,?͆3(qZgb_}e:}RwM;z߹kfhus$͉7eg_ ۱b=.p19trvnxdRJ,}M]6̧|X!5_?(ϊLe_zl7gV"uYu.ж dNX rZS8~Ղk(uF#8|]E]In).~-ZVw?tWZB:IaVgM/1z5: |jt8R@;s\-,BT681A[4x. ̿n&gT&t:4J`t>.ã`/ D@Xm:v砽]Q!Y)܁6QD$ $ .kAW8A>WU}ݲк]6P9cwX|[-ޙ6F{ ?<|nCrWEX#G`[JlL& Mk 839h3ԚswJQĢy)P"B({5*cqoVvSS 6cs}) BQ,$QqA-LEcBIkqdFED.RS8PP&Td, $Aʐ,( icC4PtJ2hL(Jr %Y&\&n\I3eh`i.&D)C(a%C]60EChTHKPԄ0*.Sd2 5eP3],Դ"`72 Ea0҂5a&*s, q,&`H.Ba)P*2aP،e؈4iB!Y,nPd2e3)cT.$"aTEerj3ŲFf'T1QlPEJzy;+#ts pyWYkLGeSP{Iߛ!ߔ}j>y3N{ʠ+NUgpb=Z 0\ %]2D&aebgSZlu8O|<#נ9ٝXN{.qs1yIͧX]=`>Zѫ#5^ s@p< 9$ܚ4XK|:c՗ߔvUҞVͦb2><É0ԌHjHGK̮O{?!L@tgV-yhGh/,a7GhP 4$`hQIhHgsׂҔO_4Vh3~VX͙^pbq8FX $*ǽ;൛Zq\~odز->'(4ng9$ʣ`Tp>b]g9(eD,u4DW,4004`1VL d@b'p 7]i:Vagkduxi:B[Ӱ:}SicVK} w@">Tv&ClGx" ; Q4qp{d خهU$"Qu$d-:"@tY rF)5Jƺe,9BF5q ҎEg߯QletµL3:-5j+5g/3 uom˰3VED BR4)E5 @NC꼫cKC)6e B!2@  Hpؒ>pOٟz :?<%Tb'鍭h1F ךI$!q{2}'%k "tHh,38s :XYB6?7:Zuj̓9=?~x33dFC 6ez:7oJlA'ۏ`2vo{A6)8K_lHб"Y[HVj pyJuyM :(Dɼү^F?F'vB!¯ŋ>d'҄K!XB(` B +P9T"d9%{|Yo-q۰DI((& 6SI QLIKGhןsS7I !rL(2_k"XcE[q sm UVCE]$QqMy1-IE'|O2.:&n4) rIƋGcHAz_D?M}w+LckaէD/Y?BtOw/&tsm!/X3W*ʇכA&N`b~4L`(GSno+RǶFGo(U$▢U&+OdK JGҡ-I?rx|E2(Lm>+zijQMJ/.Ѓ|F] RK!(^hzOpwp8D_QLby::=z*r_ksOS}Ymi_v;~ǐ_bUM9x3LvaնHX*LF-{m<fZH[YesB64zn,*o(W tIE\Fq.'8/P-ob;.Zw)cip-xѪϔ@801tM)V1 )uKv- qZ, c@lID'I7v,5]> S'5:yP-"WLBi|[>і5t!ab( _u3pC@QxbGaWjy]Op2- ^(Uϖ=II%I&ƨƍ $O?@ iUd"ԥ ZGlҬlaԠaC_^Xd12< |T] (m=@rg]q|FYof9ۭ9ȁ{b)=!  <7^=@m =q88kzR mŦ4/>eGx%ar?Ne sut,@TMT~BRxu>JBhKӰΛYX$ân]R# hhOhvNsu F< 39.%A* <@nij ȉ20cQ>?oا{Y2Hzn,VaNv=!xeU-2Z*+?/zj b|ƫ1#z gE[c3_8dpsa@F$cuhPx)t5F".qg8$}#!2Ź5ΕsP! `|>01e "O>&Xg8' x`ER} ;Xk 1UiA#r@PZKuTUH^b|Zo؁wR*QkA s{i^geFĐ; v.'ɾ @t<öW2ǼujO!9K$dSkAẢ1w? 7Cn$+l[׾]%Xw-BHorN$+&*TzvJ66O8BEo|<^]M?Nj?i^(nWY@E<Zr c`c@>0Hp Ӓd /9N4nj;]ד:H(C8&Q-Tiwj Ӿg$Np625ϕCY;*h#ֺ;L z3UH9jXRI`PEz[og!cx+aELhSۧP}y)}܌ դ^lNYL* Y&p6 u}+*#F D z95JpSgq࠭E[)T&p#XGsmwL h&6`77$Zl@rN!q41X=W yYHj"|~tP M^(U{B/Pr‹NG0{˙%X>uO+D8p".)sku8 ֨c$5mOCFHȖΌ˜P^fazA$%TؼSg;3Uuy \ v-zfvc:g Ls8WA\VƸѡ^p3 >h9/.?Ux `>" /ʊm[o#W"'2RO|C9b<<2VX۬16& b]$|[_ȁZ8mP V9!y+ve8;^;r0#tξ#@zm=aY!@~#Ϳ2yc׋UCI͵lq".xt7ڟW_:k@dvE*ēŽ+גmU(tEҠ//c<.@4)X^{}FX$ȼzp/"p!"X`,Z8x,F`c3{b}S^kS \9)2P}~`xt1[ )443*NesU'*bj6OJ-4}A,nvG0j9;DLuY7 $!c&1 r "3dF{V4٤oяv"]+f &=X5Az^*!Gg,iX[y.(\%NNb@}JrgAj_),RP~ŌvPM2}.2ba Hhؿ Or~XT m(,3b'v[٘)G^_Raz DR$mcL*J:Y.'RGvłƖ"Al pGO_ !ǚ!t a |S"CE+-eŞZfe~[p\¯zŰ[dҤsΘHVuHFF^t< #zƙ pp9a#cEUtNvwnPNN6:&¦ٷHREdcSsZB0(M k*g6=ov9zQ_;Dq]Fn(atH#~5~d:mD{AG.oR"|.3|@\1Vm:pc]tb!^X욍Y!ھv3(*:re{VfiR $o kbIrnT_CfAؐWW& Q #fɚ o7sbWEN%o]Rr-"%ٌ"p#?b?#1gn1?s>uZԞҺA _@[p,2II,n*9,NMhA8_Um=y'̌P4x€t' !>()?jHPאH1Q5'_ i]@y $@-|(GjLMz,o+f &hd!{BNLU5H7Zj#`Ȯ #jm()LI#.,wύyLitB'z+\_ J@yXMicF0 jհd8F[ RP7k2-[%bn rvF`$- 6B%lx*賞q9n׉ʝ|r23w,JJǧ*gjxliې>$ok( "ϳ睪;-"y$ PrqfĻ}j4G+Qȏ)W]o2 (U1K"_STfy#(~iYPpQu8^i@03J.(rs1 pFCJpsD#o:>RaQtPN&3J1V'=-Q;3hb_1Wyߛ-WA 8dj&[uNлWԂ,jSڡK0T$$ЪAOQ14 ?X(l JI$ =tg5 X8HV\9Mb(iI$r mA[ּ%bI{32Z93D1^Վ֟xMwGץE&q;gV{+; ,nr2Є7g>oBu<@8h,2 Q`LE[GbF)$[}2T IOu3Bn1B{dSە0SaEtU~g`*,b\~ZTޭ>E~V }UDl!ĉHķXcOE2|ܳ@_b=eHW*Km:IHrTf[ӉaFV"o'Lj<2'%c7h+FH7ϼ- ]e鰙v3U5'OC_>