rv-6.12.56-1.red80> K KtĉH2!c31^ Wgisupport@red-soft.ru  Wg@/ 7n!uBV-0FpEشaNggݽMŞ&դ }p֥Bc r!W;,7*_wY㊏ Z,'+QK4;E^r ,^dB 2ƯfJ ]YǾYc96Uݒo2Zв:8>ڽG,  MËlǙr΄3 i<0T}BP{j)99f243434e3690f5b5524bb58004f398a6dc5ff3d4181870e8081b845db94495e137662c60db57572c4b9ab666300c0338d50b55Cɓ-#ߞFH^t>=5?%d   .    2  D  h     4 a    M (t8|9: <G H I X Y \  ] 8 ^ b deflt u vw, xP ytCrv6.12.561.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.i{Vstapel80.red-soft.ruredosredsoftGPL-2.0-onlyRED SOFTUnspecifiedhttp://www.kernel.org/linuxx86_64l B'AAi{i{i{i{i{i{i{i{i{1eb36d8dd2e4e74ad987d56a61af3441835ddf631b3d74893d1da4be4ef7e0a51088cfe1daa4fc90c17fceeb88f14a6216c8149a6eb193cc30e1c7779437f1f093302520c36ccb251e74a4fbab0f77c22c8666a8b45fd2e88212fa31114c3170f45fe161132eeec7ed7d1c7f25e66602ef7554c077fce0db8c69e64e2d7675907d8efa2705c578b3cc83b2f6b4704c056a258145c5fd61ec6ecf8f3e93f223efbfccb1a98f6d12421beb26d3b05c70b7562c8c354c83c503932429beaf8e8431../../../../usr/bin/rvrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootkernel-lt-tools-6.12.56-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.2ii@hsg&g@gkgff@f@@fr@fexK@es@e[J@Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1Artem Chernyshev - 6.12.56-1- rebuild for 6.12.56-1- rebuild for 6.12.56-1- rebuild for 6.12.56-1- rebuild for 6.12.56-1- rebuild for 6.12.56-1- rebuild for 6.12.56-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 6.12.56-1.red806.12.56-1.red80rv.build-id6897f9986464bcdc007e0aef35e6c973b517eea6rv-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/68//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]=6897f9986464bcdc007e0aef35e6c973b517eea6, for GNU/Linux 3.2.0, strippeddirectorytroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRRRRRRR utf-821953160eab34cfbabe8366b818de23f5b58450cf7624c472301c28a548392190edf2ae9e5fe1233d42eb970287c2d309e9df4fc40a95116a59dc6e46b409df0?0(/h]uZ2H°VRC@ jB\ R>2ihGv !NKq-c(:΍jGZ:As-K] ńʇ2u ; a p6==<1<>*?W5jK85OX?M|lpCp8JT%)`r>+$tGr-󏁐[P> VՍR\d^ob$`x-Cjɦ.MrU?EEnz^qVsr9)HVk=H]Pm\Ŋ.0BlO`_[b|l,C4TSɯ$DDPN[İx-_ݻFW ~}y5,PcH|]1IIjh2j0սr{e+,{#Ο@`7(nr;v(KGmǠy,Zc;Ȕ=uuq`ޭr)(Q 'dGrOiOMcbSe>WYVC+?NVd^Jײ_*?ൄ4ik-R_5).{S%jX=[n{t_8ZʍN5-?32ZleQ_Ohвo&r ^% "Q:l2fcˊ+rvu׍Ը甼C?w7%6_g ѳw4SV3Y=[wܕ`cѧ%&2^~CFſZ=Ҹ[';txӸtcfֱnADt&w[pY w)KmG6+|;#|lYY^T, ,ʁrOYESU_}r`Yؘdbᵰ8%c7] _|kMDߕfSL~KعzIceHN~dwUMyicг>VEZ?vf>=x8uXT2qdW%{G~pҐҐQ; G8lp;hlgnz->^gkv:s\:}gǷ[~kmw;Giozw{͍ކvm6wkϻZڻ-w;fx.86^>wݝǷ6v73/og3^}?`⋸ٕ:+#S"2ߓzMpD[6G _/e]r-l1!#0;$p iKdU!$3ǹlf8lFpK  ]#RqqX2MMVgdkHoX\~"۝>?#݈7Z ~dt^BEs9'4;NEiT-7bbVrVEøN XǗnK1Λؕtj %2py)Y(e0+r ]7 snۚ1l詉胄vbCXQEpcf!PdAAY By @^Wo|U1+ ucI< i݇H8D/*!҅{z .Vdz^yʉ-?LݹERN9̀P$Fq#615uF}:0i@؁v c/v|!)?ϐdyqfMNT4,UaCv;E^|1$GlR n9}pwN͘heV d":'` O/LS{G=@to3xZR4kNH7B1l0xو9@k8km8rTf,ZvmU3|",Ŗ M,m< "`Cch6 [i 5Ly|xb?UԀrQ'K  6ݝ72z+EǕΎxґ<>Ǖ7}FBJKD#ȍF)ِ8QЍ @\%:*8Sq7*nxaQӖa0 &7AN!E0k>rI0?w2W7^0)[%>Ur\{|=os˹wwOkwy;->nx]lvwoCڏΛ6w;>FGx>{b*ryw3ӔֺtEf#&=#phhlN:Jqg&*NNw3}qgQkt|"sو\tTD!3EEUQ4[!94] f{Qy ɡ1ޛ MS'f_bcm?8E_"W53a22L$VdM_^:bɝ^_ :/7 g"Er73,R^X?2ʇefAb4˺D̲&a#@,P_ ߒԚ̂b̲YHm:qz6)=EgVWEX{R_ ,\_2n̲ LKYYP;1gmS>jyp)-,Tbb/&R<~~0lBy}U>2]<t,a?jweud# ~?T`Zq+l`^3+)f}:JMH*~<>cxهOzzfif:\=Dur^gjxtby\gpu=.(O|(rl3}C3@kx[~;7wZGAs;矾UVTYu{d&&'_?wd2Q}򓥙8v&? kR0_ Z{~ZQbdL<~ifft7Ms7y=n';EC'123?ٍ-d OwxtΏ g HF6&"B 6'id9jϻuy|\Gs;9wLp2}Nfj[wz~Nv'{k{jI6f`5o f[!`aq~4ץ$fOu:.עz+ "Nw`Rk٪lp(OWQP]'c;u<أw57X[ ɧyN'tv"d8̤(`";.A TЬc ` F:AFSX(~1N@6gMIqsɶ=VTEF4oO[ق$*ONvpl kq2j#fy1VreCF~ ZtzA|@qA V8kn AzA?=}`]Y.$|T"9Ty8Gi[ƒBDh(JB(< ,n`Z9b"l5 4`IƆJ믒B")0i`f91:SO/,OJ 4¸*{ ):E[f0Q +P) .RbokY=R'U, }xȝ! alȭg).HG-TQǀlΡ^݂l-5)aqxAŴNωɆ Zfc5I)|J1=<4?M1}SО?rfu$>J>V?"PTb6Lձ#m카]Ri1`P A*:f豚Y $A 4.lj-hӭ%| @5h{-re0F@+[wbkG9j)&&=0bIz*!&yA8hRJ1i "![h"hh^HýKyh( d*ԇ+7ʲßqq~LdA|ϚR F16T-FVS1Zq4aG f@ѓ bOnFz?Ywj=D,S栉E@ 8]q;d2v0d֕C_ʖ։= QOۑy)!_f#hUV7Z%XDEe(w*))Xiȑ{"p({P1mW1'.Az+5Ê=3g`6"%^NLyScTY"GeiP*tl*iy"#`71gpF FVl03TUhՍKGd}(0Jfʬ7`>7Zhh<*PE>)d.I&,mmxA7HB|c)"s:XuwB`z0΃L W v `[ !2X`N;'!0tM%HV^c"CdN9D ,q,4ގ;7l6wk>l/q/cBUMQf)z-oSu\)ѓ /F ĝ'lÌڟԥN}00_ @PgW SEBB2Ŗ`LNBFw12J8uiR=A<0{.AF6^5UW1ڵ%4^G돬QcgAI^A$R':w;f,:0`ua;unJu-VRI" { Ja^5,#y1Klݨ5Vl@C@))J&jxP%UԘ{I}p$#$$t͖"X?:D)^N)7 dkI򭥲"4Q#hejRz{:Åq_.d B>G}*f"|4+ hUb$ VH%rgHOtP%.*@z,_:Oi= &جL{ﰗrZ^5fu?zhQ}c)D ^8Έop>:K ^A=d$aNi łv7`YZF1*d:}? Ra!݄ ڎ;LoP\# BRVl@]U H sUWht!" p4!skϲp͝z "0-fĤ"Á$;OVUn?A?\=v65,X@e!}1_p55`WC`z>X6mMKJ{)Pt9`D{ʂ^Rঊ ]]ȯ6Nq&bhiN'Z f8l^WL-A6!Tb%Pi ׉gJ’Vw +:4ap` } kv <)_fHD+bxXl{_ReŽ-q*43kdgU7#"qX4㐥n:ALWF1ѤEDaʠ>>j@ ?Z7v(S aN. `})'LHm^ƋS?O[ U!cƹA:`J }J[!p<# DZ=#k+JIoAQJϸ(ę1pE<}$BqC,|Hƒ#Ӳ &y #]-zK4] ZgUOGud y!0e<ѩUjkW} ۂubtk[w 3XR 1K92:e^yr9@ƒq2 ŕgbց13 ;k6`eY Xf}*ڦ7e[-[zu$S;w\i,a)5>Vi. wR@#ђqckh ,67/{X/ Qj4a(JT2nx`SAH޵2J`t ظʄHKJ=JLnZQ $ -UqSh#jB}JDx@:xBH+|f(1 1t0HӨ4qBGf?%#ykxG h{WR*쨢AA#ъHF:Ա89j )1cJƿm J-',' ssP&;H3ZE|d;]iYSGI~P#3oa&v9@nZ cW.OpXa O3fs:+홲`PBp;(_@R01/ȟ3$sġET~@"*(RDR@8ZG{_F֌/h*ӪF@f Kپ vLRu9+Zx眱LŐ\UFo;'[;Ĭ˶1cgP.Vt$ES :^lݒ_h[{bz,klNCu>@|>9]QphRd)yRId`jf)(TQs   $& \:t-cg9PQ( @dpYD A=Ji`y 4z?boq)LG- yރjA/i{հrp4 &Z$l_鐦~UD-{icF #ۭ, }%J1sˇ,6}8V$64~ 0< jC3>Luqdd *VO{ JA7{A_tшl n07ҹo,o0{ 6Fy_ vƃogx§d.ug0y&;\jtBFՠUb{ 4$p<ȷ.1ĜYmkO]}uL4LN}`)H{``" t 7ݡb`E]bÒLXg0h;Y"`ZF?0RlA"i"bAc"TգX$GcJakX݋9b m)k P Xák`C}3bb'F9Ew]-Nj;_GA絟o2 cP{fp,F"EjNoH $5^9Q|FҠ3wDVycnb8pݒ~pt ?$Ezz TS/Q3?3J#ћ %nK7l_TdZSpw̏<"1sEU oYC>'g{k@ Z 1=*frP0&nMr`d.FjMAt?{ [#r g"P7!<=0wryTSRѧxt_"XN.T9a4vk^ۉû߇'<LKiUa CTNi İqp$E Gut!VLhΤ:#'W扽uWiF;^儔NuUu2%P"| k~p-|lFBc\󼎃.˅U/p](81S{ h5Р~uOl?*ßd0^ˇC K:'MqeD ]?"~!cf=& d y}O[;.gk| leX`ꂛOk:36#mkı?oBR݊q 4hyY}5I/疬 G+nD1'|0θ#L=nLc`i/5ie>\MQdlr"< ~+^g}\mA-nLM6Tm㯱wUDS* I*=|y̍_Vsb,ܛ_L-{c2\JJ5%I>@;\ds{:8 w[Lۭ1|JL J5{t_;1ubn+: )C ߤ{\8iI0nXŌktj:.VHe2T☕oO4 i՜V Dh3t~e縛\YD<Q԰$N MJ@u,Hya\3OʊFb4 \Jg&ΤP3[䀊\u.xy"eoXF]ăEJqbo5]7g=^ۊbUEL-I, :/81ĝͳxJ.HñyAx)Nx *PHZe9%3Q!o2gr , TriG!l gSEZʸK*R 1zUCilK˒~fswd 1xa X<)kʄ2y5B-D^~0X_K\4 R@ꍊ,.kΕ n<2r J(=LSYFt=@|H*Ȅƕ0 V/-B pàO]M:RC0d5@Ai; dzC!2m^cKyCadk!p}qs})T ?QP7lJ6-Toz+z\ZG4Y l:1O<-Jc'ش6Gc#Gi$hjR P5 ^y,ӎfpkS$ܖLqkld*5 Ud]Z}yޞXBFU*ղ29rSYE!lFfah`HdCEC؄삥’,i e0);SԖِ.# {>ڙsy 4ʫ!>ZöY?.zr@& ZI8i֒V? rm#Ю9x _aχw> 7u\sԑAd?tlKx<~Uvv}7T༲HYXI2g] B)j˦.gA-oag57OSZcF4pVOٽ\< IP7!YS@h\e