rv-6.12.21-1.red80> K KtĉH2!c31^ Wgg support@red-soft.ru  Wg"D)Mq-vj#AVb 篷]?(.ljmrXn)y$P+_(x5USNW:Ћ$wotP̳8ݚ*MTHfB9+JZMA2Xiя OE;wG`‡Oo/eH3gN^ :V;5oU@ ?I1_sםS)F cfe1cd98689b15808221dd9f91fe094adf019f1418681c6d10f24ac3137ea368b78df677282da3f58c314ad027d35e190f463e6bCdof,>=1?!d   .  , < \  $Lt  - (T8\9: \G H I X Y \ <] \^ b defltuvw0xPypCrv6.12.211.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.gMstapel80.red-soft.ru(redosredsoftGPL-2.0-onlyRED SOFTUnspecifiedhttp://www.kernel.org/linuxx86_64l B'AgNgN!gN!gNgNgNgNgN533b840024a4f96f8ed44f0896c981a39e28575e4a50cf8c5966f4c1c91bb0c71088cfe1daa4fc90c17fceeb88f14a6216c8149a6eb193cc30e1c7779437f1f093302520c36ccb251e74a4fbab0f77c22c8666a8b45fd2e88212fa31114c3170f45fe161132eeec7ed7d1c7f25e66602ef7554c077fce0db8c69e64e2d7675907d8efa2705c578b3cc83b2f6b4704c056a258145c5fd61ec6ecf8f3e93f223efbfccb1a98f6d12421beb26d3b05c70b7562c8c354c83c503932429beaf8e8431../../../../usr/bin/rvrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootkernel-lt-tools-6.12.21-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.2g&g@gkgff@f@@fr@fexK@es@e[J@e;dܺ@doMd;@Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.21-1- rebuild for 6.12.21-1- rebuild for 6.12.21-1- rebuild for 6.12.21-1- rebuild for 6.6.76-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-16.12.21-1.red806.12.21-1.red80rv.build-id26a2bacb3f1ac4a00b7d4d30655c3f42eb548crv-list.1.gzrv-mon-wip.1.gzrv-mon-wwnr.1.gzrv-mon.1.gzrv.1.gz/usr/bin//usr/lib//usr/lib/.build-id/fc//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]=fc26a2bacb3f1ac4a00b7d4d30655c3f42eb548c, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR utf-8ebcd2e5003790f30748f717ffaf32c7b3bb500c79286e2f7ce6a1229a0ba8123403abe7590ab640bf64bf7b310ff1ea5568f5f85d0f972608de13c253d695e64?0(/ht*2P'"S*1\+5Me"]O A'i([ U-L%aoqN $Lwҿ_[WBRXEXA-}dZ/۽4ыTTPwVd3=Ty@qP=O>}3Q]yjUJCjc`夏CUHTwF.&_Cx&"Φ&Ti[UEt܀&.V;JrȐ}{C0` c5dsuj_՘s;束{YU p3cdܬf-SIpG%R3 u@Aٓ?[zz/23l?@4I4 ^g:rlV,~ y2nCxje*rK*^Z5Jkz./ i^ĄA?(4 co!e{J|zLţc+-GUeR*^_%У6m-X)1gs\{.ދuprD5^V4ȼ`oǑhWf=&m̙kRԗ?5e{&'2Z^z/`p9yLvόav⭄n]jW/oG!0^21-fɶlAX4XH1s[V\zK| w=S㹈S2X/:x})-DЈOkPgh]qXƠA??ʽ z2<!fsIY\ 06a}s')̌߉Je5M?;NZa2xl;$6%IAh?4;?3.QƃXOl+?x,f>Oйx}t4/lª f&<:AC}EZ\-ѰxnLA21] (r}AdB77ѝIIWb_B@hOVkҗZЄ9>c=-*y; ]X ?*FlS &V -P2 ؅}]-l?ynVa𕂷0GpwAİ"Ic{7Mu3xg41ykCԧ̚2Ce!rP# =jw Ἡi/(胹@|U)e0%7`/ʚfdf!91co}O2T`-wLX&$HiH)]E;6m8;vwMonynwms<}n{ަsjv=miZ.͆봽V7_6o9z-Omz jwnmùn{Mro:9^ouQ k#z0nl5425,"y>tNGwi5 o8~O0.%&{bTShm2L)?GHbOЕEV:׏tFtnĆ#19HoXmVbe+J7sډ"ķ^1<%'>̓ _bm]A}9:R͆DߑSRn'Is{4,PPPu9[A,7SUdL%MF CNl_9ŀ5vv+Y)i0Q)EZ4x'Fܶ57 ISQzD #;Px0CW.BWucG$5؅fd9 0\ֽHz׬YqaQ-ɇ8@Ш-)HQ TY|EY16 (e"2ha4%tK m$̖|9$ b*@>*MʆWq!*<0f(@22|`?]`ZL%_aFO2d&',lU[3##]vc|P %S[x8)N۫?M#6)=:v@>y`”ݐ 1LS}W҄XͫJђ8tsܺ3ذa+H' 9jg9529@cZ@᧎K(Y1!\1N :sA f&Z (`2Ð KμHgpJЊy+,gfq τ/|mT"ϖ[T+n8!%@%%qHmڭNbR'u^Z759LldiNr/lJj'%v'p$rvPNH>Y k^7>5F'/7$.$8h iW4WWױ6H~;[ޞmG#~䳩t{ݭ~pu[>Oi;N^r<^!OuvN}XZb`^X-;&(0'mw<~?T;No5~RRzlx\m2C==LOJNz;>gbX^aXO^@fR"+IGLPUU%^WӫnTK03ɹǰ~fxNlЄO=3sbKd& |r1,4}wMYf5oZOˈWtU'/J~|ƣ*bY4a|Gx='y|'VoʝW[?ِ|XR'x[ \e$Wv9]&A.T% I؅K{ߢ:.*)J~3 _؅9BR[ԋE{G U4e).Y{LY]H./Y+V`7/rz󌗆l;ʋ V廸&%0~Cxt^1P<> LG9 !EDQߏ=z{ѱhrôr]:Fx~JA47ؗUEƕTsz-eoEBvxۭ^>~wnF9nߎˡq^WϡRkp_ԞmUvݧUj!;(MN_2O[N֖UlrX:K ˫.@Pwz߮|xx;PHnF)p:Os3:v~'vob]WcWY,,-Vvo ;𭴾_Ug՗1::u([sxw3qm].uvuz[OJ:rt.`񷝮;^?ts첑Q)]:lwV˩ӰҺ]|:.w|yܯ|SkuR[C>HuF3ӯR0^̛/ֽ+9EY,"R'<)ɼ{6Lf%*h<ⵄRyR/O*Srإ7xڽ INGĶ4*,'# *mTB)Gz]X)* ,b8Rh6;V-FOmelD5ѽ%HAR`QB)K ^6+ӅI^ 3PUѨT!1)hXV$ $:P@X7Rzn6(]h8c{Z(EںbRSS Xl`y 3LR:Wt"U̐v;ģ0Gʀ"zKf 2.̤Xg1| *YoLdwL-%P1/;;tn36T6?p>< t xJdR]څt-2-q3ڃ5IQ 0Vbup]?V(Y, |}ǵLȍ$ZT&j pAD% :e^13.s|"?PQ6d@Z$oG, :q2n4+ތoTv02hҧYP#D7v-kU49S={2>֡K; ; ΈذJAh` @Z6H=haЙKj#<(6ra ^N[%a\Y.td\5#wl3Qil5J^WqR\peM^#sz8aidKm'#N n$Đ1[X@QH1Tri;Xá$c :@!d S.!J48VNwQ#0BA~S1kb GO F8mXva<0TZu+ǥťǿFBW53eZuEVz\4*6/"|zXD*gg )h%C% 4O6{ĸ{@5La@CVx`Nƈ ŒCsE7‰UAľ]!+88,X=RpЁQq&$+a%"7g aޓ u#g2蘗Oߠ8jF.#@ :ĕ[?dpMڷĠP >2&̏e7 *%J/`ԠT*sDduO  :}\h}:%R+͈ )ipkaZ1mtjIЀ Y}fͰmdQ dБU6h 8ZLp倊2[lz˧.2 3Q^qALll3jRbbj:VrTivEn)& mW-ȸqe]Ko-P'1R89T(tdErrEZl2:,hLP-܈D(d]Ya (0G3X5^aV*wP0AȏxC[+RnzD;;;`W[Zg016rg2>K!q*?ܜ#nvPV~HXk-9iQUC.EDz yOZjTlV`YrtTH#jQN<ܟ?$C 18ȉrl9WK bA?d$eNi@ψ|"ܝtHdj)'Hyisw-m>D|zj3Ykr/(Mi9R.E7"mL0>GR|@DU%՞e{ K'G'Ԋ ?]YqBަ<BD&~mjP#1+D4,{G36lKLUYV( `q듓zʌ:LhO[,kd$хمہtgҊftQ"Qa|MGke!(&TtLBGVC&ӓ}nqcW<:".Aw2K@O.vuO9tly%m xEx΀53SU)"&y"M'ظ}f"r2Q4D |y_e-N(Z-h0aBƂXgLThm}(bάLfS(LLq^sGֆ;N @O[ U#t&e"4z(5h͈ū 8XGosPEm){@I+{?2fC;-_"'PP ɨHr䒫|qdSLaA御[kYav2a4E]O(L&91@s y\XcZĸs]:f6h^"kw4C(xR Y34df KmTP`tT+q-Ŗ IL_|\؆ Eъ`jTh DMdF)ӢTr;ʫ%.3ƨ|֕l'H 2N*&} 4/l<򺖯,"ȀQBTI$$S,yNjvKCDԼ {\uo揿eȵJCTe*N5d FT¯-l,X*"-{c/`ff6h5Ǟ=ɎL\:\0w=qLt8;8c[Ც<-)i4 A#(ɾF)~\"P_QQ$WufODeD42(OϛZcC" )L|1jI;ϋ oV%())@4=WingUG57v)mC\"ݥԄL$TFs&,C}VcC'> I  $& \2OaIs@_)B~VA\h#_pnvfF7ot!E=4,t[R!VDtfGv5||h*QᜁQBO7~>a(=)&X[3)rŽe0;D X{`t%b.^9cuAPOg/tiSf: /iUT^`W:G *-F E耄'Ln"{HMd';ghZqEν#X;V^?"QIf)+\>)ӵ+^iR%?9OтDI7p-gP KoBT>{iNu|崀9D0!N[c/n,΄#uղ긓acgyP|qG<*!:#g/k޵@q}1}ƄpTBOн1("xpPCM&5!!g ©\4~j:~CD/ h*yB p=OaYHiDV&1/#>9Ddz{`)<=-#+_ wSG2uq$ځxcْ݁O^{4mad87†I>r\@![uwtZ+0%V+MsVlҳ.t-pzÝEӁTR2{qHPiRI{zst0ijMGvY+Y9l kHU[|C=rMy&Q=\c$  8J<kMXo`&f!xμky+h6Py-wCF_5O XCU,i e*C}O`;{jꎞ6AUD@ ^`Mưs6 ]ak}S)3͙?߇j:% A 81*zH8*8DBLL8(U۳5=@TbƖZϿqF.:` 4$K\ vbEt)\ke7ړ˓_{Rf,3*]F(=L{;1-Pux^jIpfV>u=aR>ɹ7H@y ΨqnJ q}'=%ͣ:N@QAx4艠n: h _Q0h\l@0<mDz|V5@7֔aT4ᣣg2*B`o9p Es|:g!Wiru3w㻣 k!RbVyf%NPRD`0K` {5KQa61;yc=(N<}8uErVĉU)qԀ{9sHDP: *vr | )|jV1-tے7 آ8 ^1$`&v& : Zr槳S:E=C(Y#PH|>4ɒkjNպK JnpɅ>J-}F0 ١^*?X_#̳)> L"[zZh=kQӀ/XnQomU}tePomf[K(f@藗;'ꨁy՘зKiLY&'SI !4#ٶK Z<>,3HNPCº P{r72@6jYZ{1;wXG;S[_F+TȏPG6Ӳ;J0g|85rC$QXEH@@EPe t_vHG)0aA7גlv w-# J`,DCt3S3Xן-}|@c{X'>qMP0o.KG8ysd3ʈՄkG6*kE[4mgðdAqtt~H'CtD X?m ,w=R \4uZdg4k$׫R[4n(791m֛w%.m҃G<8O"{ Asv`-XShN PiY?X8XzMxW,h#$̈́6^q>(}9L]ҖE=ݒ&,%Lvb35۞}]okdO_rNN/QkWi_]ӿxz-{>ziFS[B|{?h25z=5Q>˝\?I=Ȟ(INE2 ~U="+(. ۤԒTjruccM($,RZ*gZC8i U