texlive-semantic-10:svn15878.2.0-66.red80> K KtĉH2!c31^ Wge\csupport@red-soft.ru  Wg_ o ~{k{.(ֿs…u;R? Ԏ9ltFUSi:BPz QfTs5.x {b= Fh['׹O*_Ŋ3ӓRBв:'uh\GƗ +|!{OvoDc0a t 1HhDL$`+ECv3X%B;=.XtRuwYDh1~~]( b976166c63dc92c4f608d88a0463a0731f76c5990a040d70c1039d9985c360da232476a9681caffa29cc34ee9a2cf8950426ee564YN!\V#>nL>; ? }d , 0 ` %=CL p              ( L(89:G H I XY4\p ] ^bd e f l t 0 u T v x    8 <Ctexlive-semanticsvn15878.2.066.red80 Help for writing programming language semanticsEases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.eiFbuilder8redosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarch#y  lA큤A큤ei_Q4eiDDDDDD89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd243a119990d2785973d1c538918a4e8d0f3faa79b9975bc08722b46078f178436b02c0d84401448288577b6526112f891a0dae2e9ec7e23439346e1648f01e809bf143714b266f240db0f9860f67d5fe0b218a8c42fc39e2c12a389dce9be4ee93d7046e0f1318119e9c6133a67676884139372289db85a94e9054212515212e7033a881f7c67137c9bbf4b8db05b648443992eefbe5d9bab40eae1d7331d113e710839e3aee0d0c9606573962254362e2644c1ba981c4e43314b4cb271895fadrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(infernce.sty)tex(ligature.sty)tex(reserved.sty)tex(semantic.sty)tex(shrthand.sty)tex(tdiagram.sty)tex-semantictexlive-semantic    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(mathbbol.sty)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 e2k 202220222022202220222022202210:svn15878.2.0-66.red80texlive-semanticlppl1.txtsemanticinfernce.styligature.styreserved.stysemantic.styshrthand.stytdiagram.sty/usr/share/licenses//usr/share/licenses/texlive-semantic//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/semantic/-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, ISO-8859 textLaTeX auxiliary file, ISO-8859 textTeX document, ISO-8859 textutf-860e6a75f561efc6edc6906dc4c7105b7afb9601cb7364fafde938d89a118bc86430b2f668fef3a565c182d93038fb95114c1424d1db271feec303c2abf950521?P(/h(:'C@g90 0 0 0 ̲-3J1\\'C`dΏ6OctdԀ}!(]D:lU[92וd57o{̵I - #10:$ q֤|`oGwκX, ~(C%P Ɋߞav|DىZ }c?zZ$ ^k:+=tjRR 5k>mMDž$~q  Q,aYI plRp`o^1jo%o*猊M$4IF7R>^±-LVAmS¹ܡH^v0lSw>SY'5 !ùHaܮᜋ^wftJ.DecZ5^t 1Hڦ>|$okJ!m9?]gYzm92P& 4v)r>`1440ܺXJXZ56` ꡑ,JP, X.JW $̅% RX90zJ| Fv^_&*  tH (޴52` *(—,4~E#ZIi* .c B ٔz(ET zYЕ$&xA/*b 5) vjzwPNׯx[v/FHp>ђ-DVY ѽf.\yѹ쾁>BN^UMl4DqXtTpլrB?_(5)=M~P۬sWm* }WͰ=9ZϢ?\QK!ه0 ;YG9dSΞlE/cl$5OXgв>7Re޼)7滄I8ӽAVE>g6E}чw! [ nB*:H/6bg{vGU{sf0: 1^sǢQKn3m;1H7˨pa fr, ZlmԞkߔ]*)~ƕL*Oy_PdoaߤTWwoxj G: 9k UˍkL{9PT1UAu@uBP@*@*@f>G*IPlsLR\,LQnh&5 VMѲm=jeD@0;?mȘOY;dCw@XUTXțXH*RFLD6W_ŶI@+$ȀX"J$2MF͍vUK\}}9 ӂF!Ҳf{oHCkE8͚= kR-mКW* s[Mn%8b32N E Z[?89}7}V/`Xa([nM MvZ&elRTASnm8L@.9M>XL|:5mK#)dlWE=-]o-i75G6)ƂIILDYYDhIZÑmUU'&HjC%rDzVj"oH<-6V"͖uţnԇL-,τMOPS_B+P9}kנ-X6Zhmw͌(&:=n RY:nӮLO&'+i+YX  ذjT0zl%Q烨D$R#IfY*&|PȜi(FOU qӭؤtRLJD04m "0* R+$@6Q.K,- 3R.KD b̛ïe8ho*FjP*%"ўD,݆j1I#s?Dž kanVG jt\Ϗ3a & 5F&;d\ퟱr>zlUj#N0CuQM<Z0B';m6kw|ۙr;rh#LQce7񒍲ȜiGţJ۪HȠSȈ9W5_nTi{'I860 aԌ3 ̣Sj̋=s|JtfHa3v]\(,Ү$ErxD>8 *I)K3ZB*[6!1"-8p5dMz6=x)\hyx8HQX$dXL 9Qxl)jn,lHwv0A?kSLB\2ɔyMBLhEHrD4d&o (ge\b)6>t4+EjtEIؐ@PQHᰩ  b#A c $@(@Pb&|t$k.=7g$[L5 DʝS .l4@Yw3] 1`Pԕ{;]?1.hXkE 9ԑ¹|irS: :qsu5#vWm\ )>v֔֨X~:3a{N1 lňc;<ĉٱ0+X.C x1ED8{? `rҵ~T# )Hw ӫyx4HS60jGW=,mHl8.@7 !@LzkPky:?$|h2bK o9^6͊@qÒ ~'#]{v6A*IDK.Ag ߁+"C3;c}ZmH#Dc.,gwPZ2FjZAfF}(FIʰIp^q]GyR L{/!"2(IȲ+?U0d[˹\RKӚ,r='[(3)-JM60{Qb~m0x͈PLf78=5x-h2WRUKf#[?-t%wUgTZQ*&q \Ez4 Gnc9cUCmGOLmCeS20 ̢)=ʧmb bk^k!HJ[n֊I8Z*?NAV9:2x 3'צCF{4Ҍ_6 5ʷlBP)8{ ˮ1W'U ,#\frԵmZa@JWvZ1D + ̵yNMecG9u\b8i\q dUчp/E.+JmS|tXF51]!wl(S.LJjNC3 Ѓ~=OM~gh9(67POhbrg".8Ss+2S 2QɂDZH]q N{Em`Qjz|W2HMB}Kk:70G!ŐDz0Q0;G +A#Ådc8+T?_sTJECn,ӫaäT=I37)<?8?ft.k)@wS:=x eӐ&=?FSmcWu=m,aϴb?<ǤyWf8侚$%KKE*N=SWgP \tyD?aKrCETեL9i`i}QU$@팓Q qoC0L 8u)>P'Mn2 g EMRS;(3*J$Jc!/aOZDLA}ˢ 3X*b3M} ۵{JdSݝBn\uZmHZߙUYuC;C_Qi~O$0 A?jgZ>vg9լF (VԂPSP8\醯 _5zOymRMxF,Zp<;nl6k~]vQ[}i+jhC{T=sŮ3ɟ?J@{+RCT{v: JPM3rRCz'ab Q͜Wh M=Xx98џ&کk~4%g YWoEey'L7x0?|c1 d²]L;O}bpո@m OhrYURLOHsb$ *BH|as.q]dy|f*ydkQ t+h +R%DJ5{sij+ڦ{ 3r$As9;ɥz gKMgEIL˩gDَ󬑃Bgg¼D zJZzY"_nac jxfSlZ̩[wa8~ [NE`2' 2r_"hB7hGӶ2 bs{%$.ɨUeYDcѓJYѢd²=M[* ]Hf&}9;I$KRB̛m5P/0I]w[_-j;srڵQjܿK [+pXGl"eS 2l}Ay:3tTȘ7q}QuWW~/LeZhuox$4@6JnM'`0:f 5&B2xy5ikDblHCG# Ng|>dt`ɾ5KOx|vYRY; )0٥\f-CeȨX5-Ht/̨qq$s,ieъz璎$T6pGfb=IW`+`L3mF TsXn&S^A?SQp`gǘ# fFA8#|[=b!q05BEL i[dEGSan})q]lW|2 ]WHnpX5J)ITZ}bax ޤ*d1uNfoPOvM5(j !C#竻qUvHT\{#PB\|ါ 8/ 93&AP (ƌKjR:xgxBf=^#j-Zǐq';9-2oҒΈE5vE0\A]q*((h cb &$_CȥA# X!,6JREN lw*Php_"]V4~p𻿒)"Fflpd>㝕S\,y$%Kr\E>0l0PzD 3)Iv'$úE0愣 .qF aPM,cwx硃2wK[K'y G~F4G5];/3:/@ϵW4 3C ]oE!H=f#q#Ƹal P[%xwx,1x$ fҼRoT68 -9L20y0ǷBJZBChLԫ ĹaYzy 暵/I8R*Wd脲F[۠awP~lV9ǥ ~G:N C;d ܙ 4OԳy?"tilJT#Z20Uw85:ي[a*fbclۦ?'!x/)ԟTc!$%AI-FֆD=mt GDb4!Y K7_9}xtV u)}}+.V ECH7&  J Lѹ$`E%z!1`R*]aҮ9d D0~xH IgӅ<4 h.J.1yDf/AooۉT0taA1a V-N^WzgtC!kѵ&30t }D;GJ!ȥCQ;,1yV4a'+jGK6PNY|U]v~:4(T PUry@#FL'UP@,V\R(g**m Hp Qr|= I[*E^R-߸-,sx<x&7B,}Ɵ] §,!" Ze5{W (PpbCjҞEi84Bt'7 >*>Dǂ2<^Ae#s8gImcvu2 ~%>%ޔ8583OjDMf;d|qe$b 0]Q`Bt̷ kQ㩨{t[D,nI ЈE)yR3{ 8KV ֌9c>Sx?\R[tMhTI*߱ICGr'wNQĨIe>EԀ{ Dagiį~pc`&FJvGۧe6p ias?8`U&#!cR~FWzCm+̇9|$LI]l8$,Z8yaNSэB&I ^Dk21@ (W?Pޒ$\1wĉD2T^n-pAHFykXJ(i Uq$ DT{E[`瑀yd[2J4!, EXsX0Rj*zP#YP-HV>yVYc`-k9 DV ySU9q /kO1 /Y N+73`sL+DR ՗zcD 2m\!K=@ޠV/'&p uf!`^-BHl31HؕW9qP^M01#Ԧ)yDMq4Zaq:j=iS=`"E@mMҏ*dVSjZ iMLxzD"L4$%*}$2t }6R=w;cZsKN p Uq5hD,Ȗ^QHgG _l>.(.ۦ{ C1 giu%eDfR ??h;Ӿ[ r\5x[U#E͟wÄx Ԋ6YP