mona-examples-1.4r18-5.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  Wgd=?d  H 4:D   (  {DTl( 8 9 (: G H I XX lY p\ ] ^ b d e f l t u(vtwxyP`djCmona-examples1.4r185.red80Example Mona source files and C programsExample Mona source files, for use with the mona executable, and also sample C programs that access the Mona library interfaces.dstapel80.red-soft.ruͯRED SOFTRED SOFTGPLv2+RED SOFTUnspecifiedhttp://www.brics.dk/mona/linuxnoarch"+{) A큤dddddQёQёQёQёQёQёQёQёQёQёQёQёQёQёe940d67b794653dc25eb776e174cc963bdacbf852fc029c5fafe5e6032b9e03716472167b7f3c41f900f784ecc349f43cd8ec5817fc79a8f5c344708fecabcfc0a61c699d3d87ac886909212de1951a67878da18deb8c0a9570f2236a826d36af0470a72de9a982ea761ced7935710832f48ecdf02acb6c72e6fc83aecd7495a9514f511deae10a8bbf217d0d027a7b21d8ce70f81ea29d7a7ae2918f058786a95b01685d0d51e70e008fd1552a25446dd03eb2308a014e64df355229eb7e480d7003aa042d10c05d9a287c285ed6c06ab4a4dbca7ba94d6b2091b07545924cecfec4787f29c82866df977bfc7d7bc56aa2bad54ac74bb6cd278602d0f291b1f577f05901168006e8282f5f454fff6a15758b3045dae33f4eea98c3812b021e7265a7826f6700e90217f02b1b173d8a2bbcc6529b7b0ab7bf7cf31edddfa59375724f2cdaf2968bca0581ac40110f9ec56eaabd4f9ded5601d6274a5967b7e521f80f172677cd24bd5f3946d8a57e12b86a6bc0fcf61fcf3e246c40417e165092be63307aab2af43d62c92a0d30739957df9c218fe66beda5c560e2daee2bcc36a42cfae8e8309e53b15ca48114af532726221d125d994f4cdc4d1fc8a2faec3414d36b223b948ea991db9bfada3b33233f1a4f445eb23cdafc6cbc453b90c171aac307f7691eac711024cfef655e88f4fc4af1d48fb245d3ed8ff9655ff9436af004492c5c092d5475035709e384dae8eab5d441619243f66c0682f2d794b9248fdc87c6ba53111b7bd40f63c482659ff134521f315faf918e1c9896214c0darootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootmona-1.4r18-5.red80.src.rpmmona-examples@    /usr/bin/shmona-libsrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)1.4r18-5.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@bwAlexandr Subbotin - 1.4r18-5Anton Fadeev - 0:1.4r18-4- Build for red80- Initial build 1.4r18-5.red80bdd_examplegta_examplepresburger_analysispresburger_transductionmona-examplesab1.monaab2.monabdd_volatilityeven.monaeven_with_assert.monaeven_with_pred.monahtml.monahyman.monalossy_queue.monaminusmodulo.monanadder.monaplusmodulo.monapresburger.monaregexp.mona/usr/bin//usr/share/doc//usr/share/doc/mona-examples/-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/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19i686-redhat-linux-gnua /usr/bin/sh script, ASCII text executabledirectoryASCII textRRRRutf-882f675a40b3bb10252e410eb2b276957126c19c4435ae2e9b9e7bbdf989a8a60654b572c4424da34dece13b48f4a95f871b225b77726f06b2ac2625197162f67?0(/h,3pH5嚲!.X*بZsj@%^gIH9Rg\{̴;imկ[sǭ $4$CPpB!ذ<249r8?eU#FYBҾ%/t6tSθbS&tV.˥k/]VpXNhN&¥:' (0`K8)Yn*۹;y3m+GhSID})~e <<]ƹE7g 0@#,C2X)#Nd"o6`چSq#x6|Fƅl+ҡP.G9c#E5gZ'G_$L$0Iwzw4d|AT() G/#]&np AcaaDrZiIGW?E4LB L$T!0i]cʂo>*GGdƷ3oq1[ljE=c~gmv߱=U/ˌ,rU.,no 篎THw#댩|xZ;ڶgq?eǵ+\)ܽxEy,P%qQ}֚ui_MNo =[y9[[F8=Muvr\],((3kA,VsqZԴzT$NKCoX"M+rǔ;sp7ru""ax!~f~a%ͶڮXMTOe@XÃ׃($= ?`9`03K8\07g Є: ,iFۢmSqU/r 'Sn3v3~_2ih.tџcGzHhWhrOUdt4FV1:RyBJ߬x?з+Y BqNF ta<80:(@ZA]כ%$:gۜQ*4g@@A*!!h#W8ͨd/OT,0c~ݼ41M?[^_zsKW k24Q[)";7#uSSnjq_ٷ8c͆FD#]{mJA5Bk$U/h%`9%ŀI.(K.|% 6[ڝؤiX뎦IY0?Ww>ѷu~-z;(G\H~U%JT&W]9N{\izd,;90˲,`e@L&^e*XYY,6!pztM?V@e nYp 6Pk*m2eRpXu(j~]Ue\CfVe0X0y0˂&:LpN:X!Vgk<3BP߆Bv(d.lAYpq鈮1 }S\i_y9/QyZGe(r{nG**3팿ۘJ+胃쥅b_ЁveX~y -EGU  fɠbƏTo_?5#Wq|׷f%  2s `\B%, (@tXd`x:<6kR 4V_W؛ox[euqFq"ڥ-bx`2F BHD10(@{)XRx8` kEq\˹\\DS!d*/I u6U|$YUp{2_ 8.%ő~ 'k8^Zt\ߜL> tQNi8p R8Nt8aچP() T^4dSty23vYzm2ޱt>Ҍ+saKP D rp5(b58"?RW(Zy5s։U@5@4x{[Ti0Lƀ4gU0L\\4VOqw'@Q`t-qձ@aBr Tʟ\u*)dHH$GO7SY2=>|*"EQ""g8ց X#zGLH*K%J/do0"*1]{Zf3A$BE,[iwUӺ8) WtqEZHMy8?"ڳ[2e1~E:^jcϾy n2f2ڇq7>g B |dG%M^w^#i' Idm+t83`B9i$L-혪"Qdz]qdHGR 2hA @(@ P Ĕ ܩ S>/ '<.M̞+FZӳ|n=IaG4K3̲BU,Eu7%rՀVNG^P ƞ5x:oɠJq ۤG X`XOEݹ M n^q5I;F4YJOxD,hb!jNꛡo"dƋUA@3 ͺA 9bd$-I o6KQ**O ]#YLr*ld rrLmAs-[@~DBLYDXrI7Tw i_A_W!0o+q4SR"hQd}&2wHr,;F=hc{P%9c` =\+tSCM ׆aX7F~~6~g1d[lиQBe^c_O~\],[s50 7aL}u˪ 3Jea9XWFZ))$U6;ʹ3= (`,:7[5kȾĀDg0K%cUYɋ(C1U[S~Ck'-חTWnRn<-5-[>߭kLuIa_p%'ts,4uB Gs&XWrB= :?5CW9u| UQ~SG%ϻvqda܇ PlfrwLq.Ҭ$,m.較:ԞIxaXt )XmtW'3=*2HN?))XJ, 0aGXF،ջ{byБC,B º `wuu||CqI(͂+=?L.'^!GˊeClydt/UfA%M,}^%ĵAc,s6x!שu˘ΌZ4-H02I (/γizGt/_RlLAf78MvuQڪ]()'&!9~sYQokS:O_ʮRin2Kӡ.)[³W#1;jL-5uMg\zC>X9`xs*r&]IWyh7!}S:7!MdO Q M5%[jpy{=s½x:n S l|R v6ᷯTifd|b6Ŷ, 0:S¦6OM=OqCBϋsQy9 }Z FbTnpAܯSzDoJ>1 Jt*b]RvR&PgEHQuc3Z=.zqb؆~ŒK$RN_RZUp](̥!mCB(8!ޗ]KFID%a;1Ŗ{KY'&-"a xʚY#@"Lm3_$}Q~6}BW#n3Ïb˜ D%Q9K I!>d^bMM:iXdzwMXXܦmNTXkDd0AB3l+SFW,?u4sڐQ]e7Q 1+]Dd my9_۠'Od#^SW~r"pFb۲61Wdh:<x~-Bb|&Ty[D e#dA֊gyS31~-j懼Hu4&U3(|P>LǯGntghD)y8Gh^r}͒`$e=uUկ٘B ]`ㆲN0$ܧiOzedȧLwP7@xGq+m)`ȉT'$KVQjDq3&`Mm<Ym42h3%F`N@.Ϩf2Td@M5dL \" D\C,AB L> a]ciU+Tv9+mvT2h}dbN%[;! '+tW6ޡJUK>ORX*)^!?U _C"Hhr8 fZG6t:m.% V` VlTPn%`Ƕm쓙XG,nJ~T6#';,Ɓ,=8g  }~ʳJy~U׳ٲ-G];g̽QFBRLHn.$ c2lǵ+(RxN+Nmw9᎓K* /F4"ֱJʪZuuMa2>iHBoTǏʫ఼>v^␁m<( plkeuXVr)~TNJ85tm-~CjF}X㢺_ospޙUMgYjbj )mp K>9*y!wvz|RAVcXNz[H[Z hb>nY(|QͪųXfrqTeשO,N85,˷b7"joA$crlrbrzVN}\b5MdYyZM{TedJe"$R)eE\39DC+QIȍ] d6@+G{q 5(ww vBŜ,{Y?]<+8|qY?~! Qy"bjo "pl m2_? lClכ#'`Q6L&t׾3!^64)VrxǐZWud(4Zե GITkb#ixj<, Er)/\Yd}{XIIA0(c.MtةjH4mb(hCƨDwcc>Vhe2f mNi0|#w& 2BH(2TT5XS!AP~WPş[0H/=PB5DhL"Ha] `q؂3c׿셊"ڕY1g"2%kGNvsvcaenAicFfQ w9}Pי HD؍OjӖCj,a]xI1%XI2QeNz!wy|n{yHk;@ ΖI& +S ԁ9pI[‡L|eƿ}^qîU#NTbc| u{wA]3$G،i\-k/ in'ERNs1 2=Tqon y>F(<NL Snźϫ$(22n^V8.:M_cQg. )IȜE@23xJYgKKTESձm4څ*ß ȃ6'$v5KzS#LhAPOz@6qm;K TBrT m^h BXgcEb< -PkxIs#THx)2/?(%C(8_r~ͯDn(Q8[sU2}mp%0uø&n7j֞C+\rW+2""5#X{,P=`Ôh VV0E߆|u+w6?4"SڄI.։}eEͼtN 1 U\kFaeYi$R{'} r)R wdNC:+(P2D.C@M:|IG兯iGϚ\:<ҙ(*+MhNr魵&Z5\]xd"yaRAK[]}>.0~)jGfj!a+N +{: Ȩ:NEU/^|8{w\Bk=Q+R:#[ Qa[ba7Lqty# HkH@ 9qUw&0Lk."\qtȾi,Շl'L"7'Ew' G;$v4Lzz6vH JiZ`;SQHv[juښALF c =*+8I\H|Yl_'hӸm<Ί,bp1"=}FKA`+S9 \ g]֐rdžy29C&aHE-h {& 2J'=90QLK8J?#s-PƬOZ9MJq@f滛ܪ'4| p*|& ] Ŗ8$b-q1U|T".ktE45 :@p&>UH")QJujW (=:xel~c@-1DwN8W u}&;̻9N<ӛN NX2@Dn`O8 ӲOA#r:$99*{no#kNxĥ$g&rk?n}DJH/㱽?# Ѣ=%T tx T.#w#iݦܨ9.=İ_.#3I'{(xQ(x( e!5{ImlmMbИ#,',|{W8qTIfR5/ i`&0;`Փcۿ G]PkNnV%(1фY# hʍW[.t́VzhשI`rw}ekrrXH@@~msJ JK NQ3ypQ- ˆmΙ„'/m8