rv-6.12.37-1.red80> K KtĉH2!c31^ WghNsupport@red-soft.ru  Wg_<Coh'yDr\j-%gdd+m:;`^/褾e7FWk˄!W*t4ݻtmq2h6'`Qڳ?Cø&fRf|4$ )ǧ$.Q訢+RL_Md+̤pԱ>?/:apsm1vb2gI^tsjo:zkc0&*9(bY7c89eb8129fba20da0ffdf9f026daa1a25f70867c89e7892cefe002d277c67ad82c0e70b58605f2df0273b1bb2b440fb0829e6fdCU8s-U8xD>=5?%d   .    2  D  h     4 a    M (t8|9: <G H I X Y \  ] 8 ^ b deflt u vw, xP ytCrv6.12.371.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.hsstapel80.red-soft.ru(redosredsoftGPL-2.0-onlyRED SOFTUnspecifiedhttp://www.kernel.org/linuxx86_64l B'AAhshshshshshshshshs3a1b313eaedeb1fa62db9c213c98f25a54b8b427c87584b62f3b5803f85f095f1088cfe1daa4fc90c17fceeb88f14a6216c8149a6eb193cc30e1c7779437f1f093302520c36ccb251e74a4fbab0f77c22c8666a8b45fd2e88212fa31114c3170f45fe161132eeec7ed7d1c7f25e66602ef7554c077fce0db8c69e64e2d7675907d8efa2705c578b3cc83b2f6b4704c056a258145c5fd61ec6ecf8f3e93f223efbfccb1a98f6d12421beb26d3b05c70b7562c8c354c83c503932429beaf8e8431../../../../usr/bin/rvrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootkernel-lt-tools-6.12.37-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.2hsg&g@gkgff@f@@fr@fexK@es@e[J@e;dܺ@Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1Artem Chernyshev - 6.12.37-1- rebuild for 6.12.37-1- rebuild for 6.12.37-1- rebuild for 6.12.37-1- rebuild for 6.12.37-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 6.12.37-1.red806.12.37-1.red80rv.build-id0f0f3e4228483454cb107c5a91171d345d945cfarv-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/0f//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]=0f0f3e4228483454cb107c5a91171d345d945cfa, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR utf-8e472983e0c27244de5233c223f81861b9671384882812a7eb7fa758a9ef84cfafe2e4899366c3a15c57beefbb96df3e0a23e88af6af3478d27f767dceaa18820?0(/h%uj3PMb!>Uc"&w S36ZxL| )ٹx?ߍsO rk$[a:[Ԭ~钺GKZe2q2զQwzTG<;JtDq'zHưoS{ 3>VWTߜ56ަ4ʬnY]U.)Cd{$)#H9Twͧ NꎄJ/yT6gA8XZdq5ob%[)RGIOzH!>KWs⏻fA]7"cQg3~J@JŅl\'xUv:5ui_K_Gb瘘Mt*,@xSxo$,k؟UJE@alSE4Zx-ZVxsnzhd+*.Jy [vz.' e}bAK _ ]xFaDɒ1MhOkK$(W%y4ϊŗc=IǨ.iZ9ɦ*qdev>;{_~\u7?-&y2燾oPb)@_}ţm` LBP1||9ryD~dxlKrBfų8 > N_uR`^1O_i9 )Zc:?_g︊uG6WaM0%=&|hv~(9NDAԍ>1.G5k}q`yS'+̾n0}?b(#gyh#><LJFCy8|`P+ϸ7N.  Qu)췜K.K;ZDW'@+ݣH("`%^ ybb5$¼Xܡh,#/vi@?|<"aP6lYsvq7dWsZ/nxe>S'Pfg0&1$Sh-+) -mdyŁ]ڷ<C&^]f:y7ov6;^t^v?Vi;]mtO۾f5Ogk5a}~(Cr.s߰/pܷѸT~ܤ.$:̖Q59]ex3s.|#L 4e p*ܺ T$)117 7RbR{Í]0JBn̤,W6a뻒l3_'{a6Ao|杼o\nJJэo5#znTD^Iꤦ2}T&5y3/VXhqE:A,?;e] 0DxFYMfNK_4FS :_{k7zvR6#hA|-G C#.ZBY#)(}&>`Ă [9, ]< N80/RD<L18@?5J;C;dKAPD@WfGEB(:IEVb|@y/E9 3\n i t+ DFյKZZExXRi&:|+/y@% h.5'-[H0401t$In<˓#, c *[Xd ޓ-$i^`-JZS*&uJ~h!#Jd E#4H>^ ]gET)`r Rb5q/9S h1"laH0h i2L)! D~@˗;X+:*":ߌt5[ i>*/jzIɉ>j::rR/Gjk%R INrJnQStD>Z+!qعN.km_ZTeM".^: Tzo23}?5Ϙw]^񲦥MQ&| 6E۫_/17MgI$))d2]޶t]]o]~t:Mg|]͖>W46Wϱ5(k~ڜޞkE"^䫩t{^pu m{-&v9}v~ ;ȄWYa_]W.:')0(kw<~SM_4zjx\}2A<c î*/DVB"#GEJ? nA NgJaA-v#`EbWL>tPdaA-vtY*i_ܒ6M뽾vE:J75_4Oar9k[gAD:rf6W=(3PDߋ2*nߏz9_Vro8rF#O^L)ekך:/+,LW/2jAs.W!@n/%%V8]*/XDY_wsWl {,J{~9EwIAP5R~7|@r~"< 9R߄)-6ܰri{#{"e  # W Dx=sl=}P^nO+ 6QA=,2,2-*k*M屷7+56ޖׇ؉mzNtl'w;.JUz]=Rr[ GgP;Nw_zu^ @gpuzV8{pjvWۥľXYW\]TCvyWU|Uv]u߿ol2b#R*õ;a`02+._̕ud9_)2G~st}Ot7{ 6F_AFo\Nv;6tTm끫o\;w8;e:QE5u%$]o4S]]qug QY}v]N_o+޳6}?zs{{tmGwGg͘`j +P&}<!y6 2Wd}P<ⳊQwL2Nᦜ9 _0JRy!)NI6:m+Y %OϑljOPI- ȑL- e MLيc[,VFY¥|KtQH*'[ VK:#]Wr"8E致#)҆6w-vPF"88k;vʳmr_PÃ)&  {F-w ÌVNp۽p!d5@BH bLzg,ȋ) AA12 Ѓ?DKJDN68+yX*TuIS(1N3a #I0ƭ4Z=~DXrmBT(p6R3śE  UN_!,"r`VbCc"2+{Ro)G"c1(4>aE!*օV(Q.@Fn%k6҄([4?BEv-qwu@|d%|A} 9=AH\=SjD80(#͞U2*e`kneBnk}J8j9䤲>0&sxJY}fͬkcPH84C9Q, 4?< di8$`eԖOQm`1wXv#BLyLl#ZBRRbB f ^5J2.(F%uX$ɓnOPAB78S)zcCp~pCYj2=/fNJ1UAodWCMb ؄DH`X$oX lPDJbɸ&#S{4]<!_y:::_VZY02!Y2=!PE#o-Bܙ&ln!DJqPHS5Aq9mDe!)غ A 0'l>K-0/&MltVJF%hPL?ܜB сD 1 <Ȇpl>ֈZh;B\eHq0̈́z&ܙrYf|'\дiQhaC+ m#\ o&݈:;w9%#\:sT0>;ZpkU'!d@ts1~MR+IGƖU'8ғ >\XoEڤ6 |[䰀U"gaIq#oF,Ęeة xPz*((U+AEVD ]%o)QpQRȪX- }DBAWi8H\F'GR*%_]g*̈&߁+ N&ȲA\xm^9A426<+hR`W bD*>%ft׽&6sĸ;!ށ(̑JK`ٖ5;C#(BQxY" Ǭ629eG/MQNJBA@2"I-D#Г:4ex`QMIV0co$S&T~ X|}0@e̬+2,u]ITHȫ!)f0V(%imghϨʭ)vn+{`j٪rY ]!"ŹTFϚ%?qw^^[ TĴ|\je9`d&*z_ ,Kb"ډI;I :Y#¥.cD L h tŧV#%/=f/ljAv$h_hS D/D|*bB#ӟSp>ʨ&2CT6bQƢzӨ@^9}'= '^7~m'uRc R[U&RplůW20){R)Kpۚ}hy>-%_CN1E,-ny#DD&ըJǣP:A3;C|hѺM&Pe#xj,S!R:V: H>&1$Dmdy78CN4@̘XJƕHA!O ԰FPHK!e#lD>zA=Ad,.$vMQ_ 3jhg< hC "휼UxL權!] .U }Ŗd:I/eHdܳr |+ J {gzd^{mT-k;X3YnF0d}w>]ҋPz-1bJD>+.VX #:ᮁH vaJnsKXCr T^U:֑ UGE5]fc9mgWHD1m7:J7@RϩXSONsi]C2SA%.ޫŔ 7S887$ 1DNuҨQ`/zbkId@&\:IbrANh h H"3?4K[sTv۞=L۱omYݎv#' t-F̘l2|1f҄Z46}8ȷRнn`aB-F <@yѱ|(8u]bGb8$i#2ʉ(d6R[)W?CJҥX0@}n=!.x` Ǚ,E4qkD(Z ͆ڋ+IC^B dm؈lF7WINrMjؑÄaiCIVU=L'ϛ*TSHBbB|*?;*p&ZhЖiF x4IjOad`(^0 w~)?,!(j#~b QɈH$ $(\:Bt Ff1 FDDDD$$I2S`'[ϴ deMge׶67_vh󀳱L8 j 휝.7ʘж1^Ǚ\݉ŷN{ s>|~M<^oKdU0NSi<kk+Fvi@~a,S"{o[18m>cyI[Bٙs!+X~5b(e ɎMzw23oW g@3jF-U|b$8:h؞do y +8ηV?rtz\lq>   G; O -1't?6Uo1U-n yMhg BF>1!xĞǍQeJ吴)mn00ѹzT8$}I%%7JNs98;]}gUq0`0x mGsRuOʱ()BDiݔ1Ȁ[ !Z8o 3.FYπ<;n"Hz{}Y rXF6Ӹ"nGn ~f;@_9uPفCb,+N)c6¯4O䄊=dX9}W5{5qWJe,[ܺ9IbicKA(a;h*/W VI),f w5*&=BIhesh~KbnUybJ֮Rl2+:!<{PR4gC /_ TM8el-U2qS2M|wxܶWmkY4\̋sl7t~J},í˺!-J!`K]w >IPbgfNzV #9"o9#hd=Kj&t,[ -"d;\|b+4,)Rx. ȁ(O#v$h*RhHq{CR$~4~ v"rF! T/Thn (nǣkli'j穀%r"9Cv3ͧft ȍPI*C^iqh@ӡ:\ߡeC["a=̪  ArR0؈%DڿZ[n ƎY0Z5=|rg%I2G6(0^ j( G"PPT%b ?R h"ɯ`?$X/,Ũa@?- $d"NmCFTovL2!s8&q#^ȕJsH,?ao>b^^K'8r}(%9<5\MBg9c' •IANXQdSr2p#kpԡ+&bK N F>tj0 O촵w Orb捯\,WP2ӵ@iN2@ LAh-s