rv-6.12.69-1.red80> K KtĉH2!c31^ Wgi9support@red-soft.ru  Wgt\GUܜ~iɼ)Le kpL ]XZ9DbbH9Wc[::ZHǏ R8::[v+l={֬2J7ȽOո,~nr&% }.KĈ鼮f2\;.Ls1ڑkT6P'rbT5pXӊз;%yYȗ/ ]t1p&}x9Qc4af91f31ff315152613889491b1ed60eef499713e67a7598e80f77377c2711c5ea27c406d5449de6307d2dc7552619e2bf70356C.5G91~zt>=?ud   .    2  D  h     4 a    M (t8| 9 : G H I 0 X <Y D\ d ] ^ b Ud e f l t u( vLw| x y04Crv6.12.691.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.iA1stapel80.red-soft.ruredosredsoftGPL-2.0-onlyRED SOFTUnspecifiedhttp://www.kernel.org/linuxx86_64l B'AAiAiAiAiAiAiAiAiAiA87d7e745f4f42d8381f63087c155641aafaea8457e918910a55c61f3b7ec59081088cfe1daa4fc90c17fceeb88f14a6216c8149a6eb193cc30e1c7779437f1f093302520c36ccb251e74a4fbab0f77c22c8666a8b45fd2e88212fa31114c3170f45fe161132eeec7ed7d1c7f25e66602ef7554c077fce0db8c69e64e2d7675907d8efa2705c578b3cc83b2f6b4704c056a258145c5fd61ec6ecf8f3e93f223efbfccb1a98f6d12421beb26d3b05c70b7562c8c354c83c503932429beaf8e8431../../../../usr/bin/rvrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootkernel-lt-tools-6.12.69-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.2iii@hsg&g@gkgff@f@@fr@fArtem Chernyshev - 6.12.69-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.55-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.21-1Artem Chernyshev - 6.12.20-1Artem Chernyshev - 6.12.19-1Artem Chernyshev - 6.6.76-1Artem Chernyshev - 6.6.51-1Artem Chernyshev - 6.6.50-1Artem Chernyshev - 6.6.49-1Artem Chernyshev - 6.6.34-1Artem Chernyshev - 6.6.26-1- rebuild for 6.12.69-1- rebuild for 6.12.56-1- rebuild for 6.12.55-1- rebuild for 6.12.37-1- rebuild for 6.12.21-1- rebuild for 6.12.20-1- rebuild for 6.12.19-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 6.12.69-1.red806.12.69-1.red80rv.build-idb78373de50d6815e082e84b93edf37f879d5efcfrv-list.1.gzrv-mon-wip.1.gzrv-mon-wwnr.1.gzrv-mon.1.gzrv.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/b7//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]=b78373de50d6815e082e84b93edf37f879d5efcf, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR utf-8c7044e90e852b659651ff676de1b5a12f2e3acd25c1fc6a2e7e9bad83713c4343d653820574211c02b2eb68de4247cf122404525dacc8cf897e1e3c824c857bc?0(/hv2H°U p! {Rb:0X3Q֚t _*#+NզKq=cF $qVȣc""ڰq-^Yv 칖NAu] bB3:h{0gJ8b&cuտGH?m_Q TU5oקz&>_8jG!83Rgk IcDrq0@ I(tE6iƿ_ΎXdn.2I71p BG q5DEYkժǢ{Nk[/w:Ht*f $2!}!`"R׃)`o%a-[/${**_!MVT1>6V s)꯶2s?q*dhiŸ{ꐚ$Я-$\AӒeOj/+e$VF$ SC%os^ݻ.W6(βCH q VK2&c5bMOL|VIG>LYZqgz-k(";pJp$d$4H)6H8Uv+s5e-Q/L$d)Hx-%^K(VŎ}[[<5tճiF-YHXkss&0'k(ˬuURWI85(TmFe|Va&!ɛod{*DqLճe)F/\R;:%OY ުV2,]+ƓuٚlN}~7B]%MHؙR-X+?$1ix\.K2uicc]Nf{=3^JRQrCo5ׂk8(`d|L\RӱT/s"jQ;y2e]TI K|D']w8\~w_R?q=ċT?w7w%v_g ѳy0SV3Y=[wܕ`OwGOy/!$_a\|rV\D:i@:/1a "NUH||r/7NVbt,[C4#D>>6|_,+&Q ʁrOYESU_}r`Yؗdbᵰ8%c5_zvL5=&JpYDvx)C%ZU|\=[hާ _ׄUK2  zvnz8љz3l0n%ɵ w_M'NlFK !$$҂rgyZ~|&{,p!,#&괠qXe רid3rdfc{ @E.L{Pb-\?Kx匬NQhؙ'M,Еp$!AL:;}4M ey$cYعZf!v(!w導Ł%oLlP0cJ| B NloIc1[QFQh2xD {ML=.QcL>2qdWq%{G~0ҹ\ԎDx q68ݝvs437=ޖw~NllFu;mm[[.{3yz-fsl7=;=~Fo{;6gw~-ݖ󻝎<~y|ގy/OvzZja3Cv"ٕ:;S2ߓzMrD[7F _/e]r%tqmU*-Јw"x'^ ]tGIt9΍>g3نlCޯdY 5"ij?H&Xր?wGJ~ʟ9/TgCw~'q4H 4Mvy1,PPPAe9+a\'SE KB%-F MJ_:Յ8ἔl3vnaC8]/ {nۚb1l詉o1dEXQEcqf!PdBAԥAy @^Wo|U1+ ucH= iA%>Egyˊ/?4F."Ë/R+O91<_RJ˕Q:^FǑIp4RndD#!%9}Tm'h-Pxк am&M㧊;@&^X>DԴFr lOG0k>rI0?w2W7^0)[%>UdFqq<v63=~|=os˹wwOkwy;-~y7.y6}Ϸrf+5|n~h~4m-w{5LSVZ*"3U*'b93PR:nor\N+š:fo4:GL_E,5CNEdوCfz;GݣiPF99999999999%Btd8̠&JSb+DG zo/$2~=1 joa)( ߭1 Ӑa*&dҩuK8fX}\hysK>3`-)>?~-lgP>,4 ܥY%zh5I Ԉ 7fRd#wd5XO5:fgBK}־yEQ4e',U}E0z%H,믞X {)0 J{'fY̱sF@M3O?].JMqeDMTh8O,?؇|O/AF Q f~NZZVs I;20A~M`& 2U)B6n'#_}7|ɛ}4do;}' sp4z鋫]eE J(_? Lf"n2~-7z--O&3 O'?YYL~nh2ʚ^]m/SY:ˊ _J'K%Oi-~LL[tOkl-f6iNwd|>wcvr^xNy)\DtN# q;|\;?L7:dxڼc'XXֿTd8.oon2**,bs2ޝF ^:~89C; ~'d~gCo=ǼZ {*%Eآn͛-!Ă-u@~&AXXui5ӚD] u HӝC#[**(jDWI;uXήm 3$O@ieIa֥Pr_Q@+s.2b\n,<$RVE%! Q@# dlD*٪IyńIFeBB9^!_zz1dy4ͤ;N_"]A KRXFr #ܣ? |%nSUy\$8+%I"GVR9(C-af4 -p%28Exu :a |6;>(&2~k"iqG* 9t1i3|ɑO?{h6(;e"d)#X@S{ ^{3Uǎ`aB'ֳ dIEǀB^8R) Qjf6p-l\T\G91]Ѧ[w_ Jhj(\b]ΉqV0!s~GsiONI:M {PĒK4TCL cÉJ%+Tn$yLrp&F,]-WE!{FH>XM54G*c" w̶ro)apN1g Y5f 1 ;vZh]0Wҍd@m`? 5twK>,~ PAϺS# `N"m-{ࠈ vt$"%q#&2 QȵPy[\b>zڎkLG0[%@r*/#*@$,->F T̓PIIZ/\\U?tE29mlӅc|b7bI&rŚ#FvdK p,J@euB4-o_xb.xa"EC=<4\p *ă eD#2ǾD@W%rU3dVuhn-$ UvKB|Z(4 "2sb4y ,!L!J`A|;!1L?dU@A;-lvʐMGL_l0,gmOh#+@) ,ba8V;7l6wk>l-q-e!BecMofib[<$/۸b'U;OdCUaB?) (4`b\Ϯ6R?ۅ~eeЊ-l%ۘڜ'^~g0Ҹ sz9QT["(n%ɷhר`aAFP0Лߛ.L<=nw1$kl1$#P5Yo&F"1X:.)=CD,x*qQqBz-ot<j &888\SWVk.p4> D-@7GBc`:RG݉P8/4-}jThV{UbwXEU7G+-˚T1v=H}cX!-'6a),"F2O*lTT$V= CXN[ X֪vRQ 5Nn*VXG7!#$뿁)԰Wo&7r@hhԮc(*k2sGgܮn]$4Mܚⳬ;\s'>RLHLtTq]b+bZ'   .?4M pֹ84dfCM/`Wg0UY=buxMz¶'%%=(@g(&o"ў`)HCFeKǍSIZ }àV *BY@MG=U}b Txhqd:BŠ#M'XVfFŚ]G DƗA%PJ!,?tsv4:]qrzqDMv(Z<3PE0$aR7 `&G+VyhR0eCBHhOBj ?Z76(2 S y0N. `}ӆ(LGm^\ƋS,PO[ UhK܃ >a`X!` 4RbEΑ%B 5Bﷀ(%gBF [SUre!/8E3K.qȴ,Gx‚InjW.G 3$3=ilj;3I tЂ;N0ؼkSw*5Ƶ>mK uT-nx%8,)d!2r-E7Vi. 7R@#њqc[ɢ%ƋI|LA0%Y75-{X- Ql4a{(JP2n|X"u'BD޵*Jhtt ظʄGI=ILܴBHS9My&F~|tR xtÅ W:/#9 1 1:Ykv@#~=>I#ZqX[vЇnTQLj}?@ Us-[%PP `v3)CX'Uȟ#^"CA[>h4,iT@P(O]n5@=JuT8ѲZ9ƕL 09 ݈/ *BW_RkpkFG_dO?9b"F? |h x}Z*lTNɣF֊/d )Ӻ3F@ >H bW$Ac{<@M>^aй+P=ʚD{ep(^0E 4Bطb(Ŝ R r%DN*@,P2qv= m\$dfNqrO 8k FoEcf '!.K$\ă\nH* SBYPȿP$X}%T*je_8cA%HH+ȂWڏ<" `6ܪjȔ!ێ)Z()e2010(|9ڹ,!fY8Cr1; %bqb純=@#7Viíes 剔A"-C[Wb%Kӄ2!s(T6GA76 H$ $& \<33qxf!(EDDDD$$I8DP8PYOam<͠Af_MDd/%pE95d>zEuO+慥n{\2͂z5Gߤ)fUe AP:D=s$>dEvsA3?DC6>Ly)MgT&hTD,o `IʭO|T"{цs)Cl`UO?mv 71͹0s0#>|z׆ryFMde1/R/^Z lƮ!(ӥS y^ub24vكJ 7Vʐ5G__I4קc5/#G4@Lȼ {? -T6]xzcC"a$|չ1RG}8' _mzkH`"bMD' f`1(?N!xz-(URF6:~"xEx#Eu~4͜6oCqՍ9WN&aܒx'g ߚ^i5P{8 RY_Of՗)4||hH!ڧSQ+{d> Ƚ>{P| {k'^aD R88˵lևc'*P$XXh ?Q'ѳ`:S [r{'~I(zVhCclbΜP5ڄQ5/c9rk6?kN9yΦδ1h5T8"AVɛ ;<@4̷r j("/)rcEl{!#f(IpuQdR3` -@,ʼn*O{(*W # cQ=6G8!RZOύ>!")'&AuXr1絕ĸk8 ԭTDlyeRd2ۂ( OZ)4Bpb*[ks +^BY9e:xeXG*zkGA~5f4?*H2~# I鏠=-NJ}FH(@ XjM`7\Vܗ\;^Y <$&0{ϴ38x (kQmcqd8~E7cSO+`41k4>+CH<^DIPNCoyps ͈U]2DGQJ[Él*y1-t֧!6# ČtdbC:1$5ْN|Gg[W&6# ČtdbC:1$5ْN|Gg[׉/|:+=5N*8sM:QaG>bMXK;~jj+q&};i~'ezr+&T'w¾#}^/m;б4DD|wzr %Oh5q؟^ΧTfӫDhJT8HbMtqˊ`*b!)¼`[yJ[SDq/ʔ!YުC_ L${RAUkٕ8HWf/Hޘ ^Bp%*)@%pVCޣh)E6G9+и;S#T Wʊgwչ2UWqe,լXP1[<,Úʒ[D\*$A2cAɖ|ʃj&鎍v-E򟁫G΢WIacb$?.(n@%#3 ֦qO,O9u҇v i䁺ڹwP&!8[M&ub2ʑ@0M< QL