rv-6.6.51-1.red80> K KtĉH2!c31^ Wgfīsupport@red-soft.ru  WgM[sQj{QJ LBќ8z^;>uLJopGKަ;0A^ҫJNx䇐 F  i}9&lڰѲ[ulu #H#jYH!ZkH~~N„/ T>'u__+m|F%5v.y].xU5/^l/F ^Œe ^;' bvWn"7ͪ^<10b1738007cd7e9ec92c80bb15be30cccd72539dea9376e8f8e6a066de6af5e4cf1d3108a6f1bb2836a9307cb8e83ae239e39379BSҷBHZ\>=?d   -  ( 8 X   Hp  ) (P8X 9 : G H I X Y \ ] <^ b d ze f l t u v wx0yPptzCrv6.6.511.red80RV: Runtime VerificationRuntime Verification (RV) is a lightweight (yet rigorous) method that complements classical exhaustive verification techniques (such as model checking and theorem proving) with a more practical approach for complex systems. The rv tool is the interface for a collection of monitors that aim analysing the logical and timing behavior of Linux.fU$stapel80.red-soft.ruZredosredsoftGPL-2.0-onlyRED SOFTUnspecifiedhttp://www.kernel.org/linuxx86_64l B'AfUtfUfUfUtfUtfUtfUtfUt118bffe36be4fe57e25d902ebd94bfe721168437da3d43a8a5e54ffe4473cc071088cfe1daa4fc90c17fceeb88f14a6216c8149a6eb193cc30e1c7779437f1f093302520c36ccb251e74a4fbab0f77c22c8666a8b45fd2e88212fa31114c3170f45fe161132eeec7ed7d1c7f25e66602ef7554c077fce0db8c69e64e2d767590c96268f027e7fd7ef1ac810b66fe0c8068146878d4c540efcddd3c26f9ad2524bfccb1a98f6d12421beb26d3b05c70b7562c8c354c83c503932429beaf8e8431../../../../usr/bin/rvrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootkernel-lt-tools-6.6.51-1.red80.src.rpmrvrv(x86-64)@@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.4)(64bit)libtraceevent.so.1()(64bit)libtracefs.so.1()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.4.18-14.18.2ff@f@@fr@fexK@es@e[J@e;dܺ@doMd;@cArtem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.51-1- rebuild for 6.6.51-1- rebuild for 6.6.50-1- rebuild for 6.6.49-1- rebuild for 6.6.34-1- rebuild for 6.6.26-1- rebuild for 6.6.6-1- rebuild for 6.6.5-1- rebuild for 6.6.1-1- rebuild for 6.1.52-1- rebuild for 6.1.44-1- rebuild for 6.1.30-1- rebuild for 6.1.24-1- Initial build6.6.51-1.red806.6.51-1.red80rv.build-id8fc7ca6d15af180512d6bcf5abc2fe9f2abc8frv-list.1.gzrv-mon-wip.1.gzrv-mon-wwnr.1.gzrv-mon.1.gzrv.1.gz/usr/bin//usr/lib//usr/lib/.build-id/e0//usr/share/man/man1/-O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -U_FORTIFY_SOURCE -Wp,-U_FORTIFY_SOURCE -Wp,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -fcommon -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redsoft-linux-gnuELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=e08fc7ca6d15af180512d6bcf5abc2fe9f2abc8f, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR utf-8c112057a3132a78c645450d8dd59b26de4d5dfc729ac86abf4f88f68a12ae9cb7344205aec65aea28ffa41574b2d8c3d96c08670165cf05102111721f3faad80?0(/hmw%&2P1!_@x0ee$ضx FZZpo;36~FV['~^TІosVA-S^l_LHɼ-R]JUO)g2#Z5R@>Q[LzL*4UG*RlLe ˣGCЍ)J[VO5qj@EgYM[{/wQzCEIƓδW~5oU#EWvo\~t YXOXТU"VmTN8q_1o_g?ćP_~S,BcYO{ձ|Lؽ[EJ fP4Qfv)J$ʩ72%yIQ-3,*"o%8g|i?p>j$V.^{-Bei4gVJLCN-'LT c댳3_䧙Gpnʎ^{/!Є`YLYZ|] BA^ґ/^41)͖]N eҳ`ls>ϓctJ`n{ɯгTh9ĵ6oKQzszpg*}e|:󬌆4mT~_;TYF0m.5Ɏ4ࣟd&= bg2>O W.9^vYwG$j Sz"0%޲R&2/@"e$'_6AVb)c$"cY?g&e';&?dGF2 Dr NzI#{ d|6orꊗ➁hrosqh̗M|M>  1(WUPýp(ԏ$^?b@rE)&W?H|ZFf2[ql^6i2fLKNaIr6Y6nŽDɚӬ"G4_x0/gELJc0Qzz j^@j>MC :3*8R߀?vv?,¼bSAi|P^τ 1ޔ_FtvP&[Uz| rz{RRM~RRRj*K 3nwk6qܭ~p6=_ڜWz s9=Wgs6v6ݍmww8qkہpnNݎo9ƻu7ڍvmnv;7~9|-gxW5}[Yk>^6;Vnc}_Ճ^jc+D]^Kb 7s$D'~WL!FЇ]Fb9Y!#I$U}.2R^Dd#{Dj*s6Es.#a",tYbr ddbc"` M)g1XUi-$¶kZŮ/J43S\J$4|^$TID-kBLa*HQeQ07q{%T:wC9 X% )kJ!|vˬ.'-:F f1y1@8V%8=xql%s,N['8I:W586*:\ZH$]cZo7!#V<&HdEO cYjUD^m.`;Ǒf<80݉ g FsS@84J1@ncGR Yl^BΊa0EA̡x#"ZРM! i<6yL8 i5%[W "PR ]ZT)}>_=yqȄb!n`[S+n@)-PtkEGEDGm_ݑJMJ#QQN7[mf1zʹf7fȝ~qY &tE<yQh@ Y/^*VzS)X%E<=hq<V)MK@M Ÿ;p_]WIo ^cii5Ʉ,'ʿojp;.n_m66w_m[΍umW|]x)tNԎvwmV4/w{џklu\Vr:uC0 t]uNR`POnz|6{m< y\ *pT>d4舨\Nj*+))]uH㣣1.^NuSM!qP,{]1AUB-v#@Vu >ә˻_a瘝%m&%֗(`K~i͓<,-"w(z}`?;v*sդQZpo*x.bSCxÕ44.ag};,/yPRug7vAMS?.hKˡRgvA]'?.S&cA/˔Hc fta v zb͊]\wIAP8n˕˸OL┪߳Ћ),6^+Al%4}GY>ߣ6U#~{ D4l>A9N-QF~#@"T7k|k9>ǧ`ovOjۚ}uI厯p97q~a)8}x(<_?zvsmowt}|oϾꌫ >m"*+oѝ>ww<;cw{6n9~GKELEL?qn=2Oٸ "ˍJH<n<^=yx|N*)㶙t󷶺>o`t1x.7BE8To_; _ί|V%`\ 9`$'-X/ͅU@>)#G>+ Jj~D "Щ*"R}JL-")ڙVJyϼg~$|v+E {)YD }נ{$(̄2"tib U$F)j`'} מ esE:x`%)3=Q ў{]Wj6r>X$SwR"ZℊonXDT0 1LBm94\!'XHŵo]NF8xBƐO#O}9p׸bRRRN6x}W%~T:Q\9##csÉQZi(| bxAY+mfa-Ui [Y5%[tBn1A!-.ߧW,off`-dqkCAkijq6iW4#t-<%fkkf /Vdsn\?V(Y. xȅp~0AWwt ! LFU C+JHiZKhԣ6N D_¹){*X5†DgY4k;iW*g`Bl2ۺҔ|̖s_i%pV`yS|#bU+9PQVyD5 0&iЂƱ`@q@qtrOmWj[%9C"{ф\ِ )i+r]"xDkXIiA`32Hi@ty38O9\Z灎2EC^9^YbFWࢋjG[B >qSG]YH>cjBb @Mٵ-pǰ1SsT2 ~sj:'H'"DP/K Ǭ z $9$ :8a}ĵttMM }5v [c iN̯00-c"Aq[vqJ+Ǚ&%8M=1fm. 85yb+H Y."d 1PA]M:xmTEY@ʺeQ֡=Z90}0&E@2 @) *f؃+FqTsG@aeTQLez40UƝa 1j WoIH]uz iyAQ`"M8('mٺPVGg] :R;(Qa4JGw#N=b ]"[L{=0qD݂bbHC"E~'솋./ _$M L wr/ b‡  6v{*# QDb`&0XWB*;`N4^W֔_ؖ<yrL%9$Bt#\Dqا"Do\;YD08vF0 ʎ\G`gJkH70daX L3N.0 S-Wܰ1:#QDj82yӟMT6P|3,PPPqI;~&DL¥M@j&5tY)g@cD،SJ+ L ĜCdO->RL!roOz6*-MC\$A`bcL]@Kh @FTtVh]nuIY=M/1ѠX5Hߡ?C yyY1nC FYTcjR @_9L)d6H%c5mAև*VXw7ݲƣqfiy 7n#c~gSB; ,lƮdt vX# AD8!%J2 MʣN%7CW L,EHO+ ,{mR48؁ \ "^B3_Alpn"Έt,c Rէl{BFAY *22'R-j%NIC50b;pPVhN H(t8OӁrz!("Ы 2@ Dp%T,{Ѕ69C2;R@NňN(u!6񰜛u3anĘCWV5Mp4<m|3_ P}2#hpN0+>{RT6!S3_Sa(/36W YB XýG7ܐIAđ}*P ERb%H zVkC›O@쫭cE/>Ji\ #-#kqF:hUR Ij FHz9X蔈5}`Rsl" M/2WJMK A\r.PNv*,j7vv/V5eU8͕uCb)yx0Nfp (e TW&X8PҤi.:1~\1C wͷU6Am):p}*P2j^4nv,.p.W{ Z 4eJ1*ح!>27s쩽 1"NEzq0%SKC?pL&yBbhbJk fAHxBˏd8Ǎ fJ_SLeZ>H9 m+Y_DryI."8jcR 3xm5-3DX>' g$Y1ّ쨚Kdl#n*,DС>cgtqT4f}(]Cfb ?FS<\d-_0T5TԶ "!=K u}K9z(@ijK)AHSdD1Xȸ֢K/B :( tk7_HM0h%SaH>1J0E]hj:ֈ2}v 8a3&Hƒo1( B% @wnzSKԡ4):23u,d! .JE%U'uWx)FA 2\Xr뙜r>DrAS%Fj+J=+AqGq E8ahcTzurh9g}5Ͼ0E f'0 p9@;\|HP:Pؤ%Y!PíՓqF troq 2(}~Zv_8چ$C2aSx ̃In*r;tdDvm+ogx+h'F uL~8h8IXnf8ƃ˘3(G sd- #LD(a_+0PAgEd+#ȮX~NjR ‚-?xA[#WL'XWj`=8HdE8-raY(ΘE=9,1(b U`]Ow^ZL~ Ծ0qOQ)K]xo᠎r.M}$~fpgۧ ctA 5M]2RIrg#$îbiV(߭}1ʫ" ԒXJSUi=7è3z"4#"""IJ $(ܪm"p f10DDDDDDD& Xwno(e"'"7Kr(Hp'Ro1omW9-~mFe/Rx\ /a%kZr3b.#(Al8q!; d6pD/|[ֳұkPw5HȣbDǡH U! 9Օ.6kh^y0_}v; *St>qU8{ZDZfBsڑ fӡrw 7xHDH>).y;[zTol_\TR/+y\j !cL3u瑬0dX2D>8EW-zoԊ1Znxmz&Id[@F2$kܨ"m68Fϐ݌ag=/Դ%`0X#0>`p0¢DbnT딏W 'd̡ç7lq{8&rq(7TÀj}+1zvte{`g1FFQvfpI6tf9As"^sTg7krw7% L-/q,]@rV.l7ZKf)-sg-l\VjuV  C*,[u9 ӐʬoL0><6FKba#IM8m{$F$vu0* Ǧ4/nQmt)JgFV'$mzy57n?ʝR0! <;i\2qS_xbRy=4Ę߻*ṕuznǩ0`ueW7wU,Nhԝ婗iD5OpiUFqQeT^ $F}dL jE$V^ ahj hhb}cOӫ$Ue 1Q?Bp]"GT󯃎^eAXZ ?n%kra?'A8΢aX?VJ&. .@$Px<rJ+aVHww?G;#5cc!_,=n`|o{ZNM(iVIE>NUHl.beM幘q\ 7_ J_8Za-Khaw}8"ÈݻXwDz>P:>t-LQȮ{~^SP1'Y*j%>dmj\&'^B{׍Lӹ56q o$ zAs!۹9TK&=¬=a]h9)E{' e}j(V8M_̝a|۬RDAPVǹz yL؞ Xw#I7;0^B6Є4XIihA OJ9ϤW';,'Gz2Mۘ -!W'Q1D+ nBe,~8O<Ռ/8ToH7}?MiX>ٰjK9#&(sE1} y%I8wM/"7k/PQmZᝐg@\l*p:vɣFW0#hPraE4rSmj;t  K*";y3^aa_T}=pd/jL*^1 j_!GQ\][~2 z[OѢP">-%CϜhj 4۠ٓ~L{{\-ӌP HJ:^K 2tlEhejO+Qscw`R,Mqu@ <ݓ̅B  Y/7d]OY#vj1݇"}AL& U͘S[ANjIPSXzv6Q%٧s' ~'L<V9[^ayE.Bw*Z(4k?a?jlRol{D-\Q(FHY_S6=ǖ "zWᜀ^ U4iv8l#B1ȉb5