ELF>"@@@8 @@@@ P4P4M]] gM]]888@@xxxDDStd888@@Ptd333TTQtdRtdM]]00/lib64/ld-linux-x86-64.so.20GNU GNU} E5{¹v 'kGNU++,)9H!s ]$@ PX:W 5 "rdykkstrcpyputsperrorstrncpysysconf__stack_chk_failexittimesstrrchrputcharfflushfopenstrlen__ctype_b_locstrstrstdoutstrcatatoimalloc__libc_start_mainstderrfprintfvprintfsrand__isoc99_fscanf__cxa_finalizesprintfstrchrmemcmpfclosememsetsignalmemcpyfwritestrcmpstrncmplibc.so.6GLIBC_2.3GLIBC_2.14GLIBC_2.4GLIBC_2.7GLIBC_2.34GLIBC_2.2.5_ITM_deregisterTMCloneTable__gmon_start___ITM_registerTMCloneTable)ii 3=ii Hii R\ui g]p#] #HaHajj {jjjjjj!jj!k!k k!HkiXkipkjxkkk#k$k0k7____&_'k+k,```` `(`0` 8` @` H` P` X```h`p`x`````````````` `!`"`#a$a%a(a) a*HH?HtH5?%?@%?h%?h%?h%?h%?h%?h%?h%?hp%?h`%?h P%z?h @%r?h 0%j?h %b?h %Z?h%R?h%J?h%B?h%:?h%2?h%*?h%"?h%?h%?hp% ?h`%?hP%>h@%>h0%>h %>h%>h%>h%>h %>h!%>h"%>h#%>h$1I^HHPTE11H=Kp=f.H= IHIH9tH<Ht H=HH5HH)HH?HHHtH<HtfD=Hu3UH=<Ht H=><cH]f.ff.@gUH]UH}]UH}]UHH0}܉u؉UԉMELEHPHERt}}~Hu[HCHЃ}t&})}t}t E%EEH-[HHHRgHt&HCgH7FEHHк)ʈHFEHHH FEHHHfЉEHEUHcHHmEHHfH9rHEEHHHfHHfH fHEUHcHHЉfEHcHqfHHgfKJMPt`J<vUHHǸnHHǸPHHǸ7 HefJQHcHeH9HC‰PE!HDH eEHH)H EEHHH&D9E~H_DH peEHH)H HZeH=vDHHǸ~H7eHHǸaHXHHЋEHHCMHcHHHH IHH¾H5HCUHcHHHHTIHHMHMU}t}}.}t~HbCUHcHHHHHHPPH1CUHcHHHHHHЋ3dH\dHOHBUHcHHHHHHPPHBUHcHHHHNHHP0PPPAHvBUHcHHHH HH@E;H?BUHcHHHHGHPPHBUHcHHHHGHPȈPPPAHAUHcHHHHeGHЋUЈPEHEHKEUH H,GHHyb HrbfGM9L‰MM9L‰~MxM9L‰hMH@HbH@HbH!bHb:}H)b)}H b}Hb}Hb|H b|Hb|HbHaHa|HaHaHfa|HaHaH_aw|Haf|HaU|HaD|Ha3|Ha"|Ha:|Ha(|Ha{HaHWaHHQaHHKaHa|avaK vK |KvKt,iKƒ)‰к)‹KKЉCKH`ILn>H'>H蚹H_IL=H=HkIIt HHǸH HvHQHHHEu?HEHhHEHoF HEHEHHHuxBHH)PH )HHHϸ7HHHHǸyHHUdH+%(tUHSHHdH%(HE1EHE H=HuHuHH=Hyn .ЋE9}7EHXHǸ#EH`HǸ b EfEH(HUHHHH>.HHEHp=HE@HHHHEЋ ?HHHHEHEP$E9tHEH@0HEH}uH}EH<HE@HHHUHcHHHHEH}tnHEP$E9u]EH\HǸEƒ?HEʃ4H H҃уP ʈP+EEHE@HHHcIE9"HEЋ ?HE@EHHǸFEHHǸ-HHHE@<dH;HE@HHHHEЋ ?HHHHE8HEHHHEP(HE@$HHǸHEH@0HEH}uHEH@HlHE؋1tC1HE@HHH'HHEH%HUHHHH|+HH/H/P H/P UHEHuWZ$xUL$9R0HHKHHA$ $X^fH~fHnH`HǸ]UHHP}dH%(HE1HEH:HEHAHUH)fH*U@fH*E^A$u Aff/w }tHEdH+%(tUHH dH%(HE1H#H}#H.H'#H(#EH5UHcHHHHHHEH"@ uVHE@HHH0:HHE ?HtH"P H"P EEIЋE9OH|HHnC#uEHQEHHT#u6EEH %EPUHHEPU~ڋ#t6"t,H!@ tHEH!"t] HEdH+%(tUHSH(H}؉fEEHe! ?EHE؋@(w"HHHHHH ,HpHи~EqH @ t VEIH8HH @<v &EHl8HUH @Hu؋MI*HH4HQ H8B0UHL @Hu؋MI)HHEH7HH @HH8B0HPHPE<H7HH@<t !t H|HX8`HC0HsPHXH8H@0҉U u HJ@H7HH6H H#@HH8HR0HH@Ea H6H H@HH8B0H@E# Hv6H H@<v E HF6H Hp@EԉѺfu E H5H H&@H H8B0H PHPE^ H5H H@<t ;  t ' H@HH8B0u H@HE5HE H.5HEԉƿb`u E H4HH#@t Es H4HUH@Hu؋MIb&HH<t & Hm4HUH@Hu؋MI&HH=HZH8B0HYUHN@Hu؋MI%SHH E H3HuH@Pƒ)‰HU؋EIЉ_%HH<t # Hj3HuH@Pƒ)‰HU؋EIЉ$HH$HAH8B0H@uH5@Pƒ)‰HU؋EIЉ$SHH EW H2H]UH@Hu؋MIB$HHnH@8uauH@Pƒ)‰HU؋EIЉ#HHHA@8uHU؋EIЉHH"EuH1H UH@Hu؋MId#HHHHH8B0UH@Hu؋MI#HHEH.1H UH\@Hu؋MI"HHHH8B0UH@Hu؋MI"HHpEQH0H UH@Hu؋MI@"HHlHH8B0UH@Hu؋MI!HH&EH 0H uH8@Pƒ)‰HU؋EIЉ!HHHH8B0uH@Pƒ)‰HU؋EIЉH+HUH@Hu؋MI-HH HvH8B0UHq@Hu؋MIHH EH*HUH%@Hu؋MIHHHH8B0UH@Hu؋MIUHHEHe*HuH@Pƒ)‰HU؋EIЉHHH<H8B0uH7@Pƒ)‰HU؋EIЉHH E_H)HEԉƿTu:E0H@ uH@ y EEH]UHH0}܉uHsHEEE;EuHAHbHЃ}x 9E| H7UHcHHHH HH9H ?EH@EHUHHHUHcHHHHE-EHEHt EHEH@0HEH}uHEH_EUHHPdH%(HE1HEHwHEHL-HUH)fH*U}fH*E^EEf/vHHEfHnHHǸ*^EfH~fHnHHǸ Ef/]wL Ef/w7l <^fH~fHnHHǸ蚻HEdH+%(t`UHHcH<fHnHHcHǸP 8@XfH~fHnHLHǸ ^fH~fHnH.HǸ-HH舻]UH}}x$}HhUHcHHfu H$HDUHcHHHH H]UH}}x$}HUHcHHfu HU$HUHcHHHHz H]UHH}}tH}H:HАUHSH8fE8 fEfEHQ P HF ⏈P HH"H9 uHذHtHHٰH R X> H H8P H H8P SH HPH HRHPfHHAHbLH9' EHn#EHH)‹EHH HEHH5HHH͸u;/ t <u&HKHHH֯HxH @ >H"HuH[fEf}fEf}tf}ufEf}u]H^ @ uHI H8@ t/) t%S uHHKH9~fEcf} tp t<tfESA  \- H HtH @ H~HoHvHf}t! WX f} +X w  ^f/ sH, \H,HH1HEHZH9EtBHEHYHHfH* f/v#H Hk HPHPH H9~H=H HO P HD P EH3 P H( ⇈P H fH@ uu H@ }tkf҃HHcHT HwP HlP `/HH!<uBHHHP H P EfE| HHUHHHHHHH ?EH@EHP HP HP H}⿈P ffHQ@   twHHE΃9uOHH҃HHcH HP H`P HH8UΈPHHP8E؉HUHHHUHcHHHHE H`HP8HEHBUHEHÈ}2fuH!P HP HHHHH8HHUΈPHU؉HP HP HE@ ~DHEP H?ʃ4H H҃уP ʈPHdHUHPHUUˈP HGÜP H9U؉PH,UfPHU͈P H@ fuHEtHP HP HP HP fu=HEt.EfEEfE X<fEfE!tHH?DH9 H'@ yjHP0HH EHP HP HHHHH8HHH@HEH@ EH@ EH@fEHq@EEΉHiHR@fEHC@ EHE@,w"HH_HHSHH HHHX0UH@HuMIg HH }HP0HPdHH@0HHPHvH@0HyPH_H@0HDHBP0HHPƿ:EH P0HPHP0HPEΉC?HX0UH@HuMIA HHk WHX0uH@Pƒ)‰HUEIЉ HH H)X0UH+@HuMI HH HX0UH@HuMI\ HH> rHX0UH@HuMI HHA -HZX0uH\@Pƒ)‰HUEIЉ HH HX0uH@Pƒ)‰HUEIЉa HH wHX0UH@HuMI HHF 2H_X0UHa@HuMIHH HX0UH@HuMIHHt HX0UH@HuMIMHHw fHX0uH@Pƒ)‰HUEIЉHH EΉ;H HH HH8H}tLEHHHHHE@ HHEHHHHEHHE8Er }v }tE͈EHU؃?ʃ4H H҃уP ʈPHEH@0HEH}HA@  H(@ @H@ tQHH҃HHcH HP H⟈P )}t#HP H⿈P EЃfEΐE΃fEEf;EvHf@  tO#HH ҃HHcH HP H߈P /}H@ HHHHHHH8HHP HH8@  HlʀP 1HH#HE҉P0 HHH@ fEfEH@ tBHHHP HP H@ tB\SLHH>H`P HUP }t2HB@ H)@ uAvHHPHH9[H@ tIH@ u4HP HP ]fEfE_us_uiAu`H3HH(HAH8H6HHGHHHHH H8HtrH@ t]HHHHH8HHHڜHH}HHrHH8HHs@ ^fuqHMH@HtatDH3H@@҃t҃!HH@P}tbuQt#t6}<u+@$tH@ t@HTHH]UHH0HLdH%(HE1HHassertioHn violatH0Hx@ed HHH=v(HHHJHHzEHHHHHwHpHHҐHEdH+%(t询UHH }uUMLE}xE;E}HMUEIȉщH˚HEUHff/v@H@ `\fH~f(fHnHHǸ" H fHnHHǸHfHnHHǸff/v4 XfH~fHnHYHǸ蜡2 XfH~fHnHMHǸhHYfHnHSHǸHPff.z ff.t H5fHnH+HǸ H%fHnH!HǸ]UHH@fEfEؾ0H HH%HǸ袠|uHH)tHHH(HH:HHTHǸ>tHLHğHSH賟HFHǸt3t H5H/HH)HǸğH)HSH+HǸ蟟tH!H%H)HH=_HHǸQH"HHHǸ3H Hԟ ef(\ʋHHHx fH*HHH fH*XYEH8HHHHH)HHx fH*HHH fH*XEHHfH*YEЋ>H2HcH HHx fH*HHH fH*f(XȋHHcH(HHx fH*HHH fH*XXEwEj\E\E0M\\\EEff/Ev fEHFHE ѯ^fH~fHnHDHǸ'H`H踜E ^fH~fHnH^HǸE\EEEff/vNEf/Ev6MZY^EfH~fHnH%HǸ苜 ϛHHEff/vpEf/Evd;[f(\E^ ڮ\fH~fHnH͗HǸHHǸiE d^fH~fHnHŗHǸ踛E\EEH"E ^fH~HfHnHHǸpE\EE .E\f/Эv; .E\ ^fH~fHnHxHǸ k.f/v2Y. q^fH~fHnH\HǸǚ ?^fH~fHnHRHǸ蕚 ۙeu  t1u| UHH}HHSUHH}uEEEE}lHEHHEEHEHHEH 3EEE3EEHEE Em}}t}}}tOHEHHEEE1EHEH1EE EUHEHHEEE 1EEEHEEE 1EEEE1EEEE1EEEE1EEEEH]UHH}ȉuHEHEHEEčPHHHEUĉƒ)¸)HHEH}H}HEEHcHEHHEH}HEHHޔHHҔHHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEEHHHHEH|Jy7HEHEHHEHEHHHEHEHHHEHEH)EHEH)EHEH+H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH&H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH#H1EHEH)EHEH)EHEH1H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHmHEH}rEHHHEH}tH}w+H}t#H}tHEHHHEHEHHEؐHEH)EHEH)EHEH+H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH&H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH#H1EHEH)EHEH)EHEH1H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHH#EH'HE؃H'HH#EH~'HEHH|'HEHAHEH>]UHHH}uH MUHEHы)?HH~H!H'HH&UHSH*ЋЉ藓HHHHJHIE H9UHcHH薔EHHPEHH9}ːH]UHHHueHH@HHЋ]UH;HHHHHH]UHHH}H}t~HEHHHEH@H%?H%H0H!H%H5H%HHHHEHH5H%HHHEHUHtkeH܎HǸϑIHHHH]5H%2HH%HHHHH$HH$HHHH$H9rHH4HHH4H4H{H'H蜐]UH}uUE/Et uE3EEmEy eE1Ee}uˋE]UHH}uEE@EUЃt)EHHH UEΉYEE}~EUHSHhdH%(HE1EEEEE9UEЋEЋE‰EЋUEЋEЋE‰EԋUEЋEЋE‰E؋UEЋEЋE‰E܋UEЋEЋE‰EE E ߐ1؃EEnEYEHHHQ EHHH:UZUΉ HcH HE}~9EukE"EHDЋU։E}t E}~}t1E8"t}UEHHǸr_E}HUH HHǸ辎HH$HH{aHEdH+%(t܍H]UHHP}HudH%(HE1HHbHEHH脍HwHEHHHHENEHHHEHHHHkH蓎H\H$HHJHf EE;E|H/HH= HHH HEHHHA9W HHHHH>} 'q e +HEHHHH蓍4 *!  HEHHHH HH1uzHEHHHt3#HHUHHHHHH%uHH HEHHHH_HcHHHS㥛 HHHHiHH)Ј{wHEHHH H HH@u|)%pdH)H+HMHՋHH -HZH!HFH螋HEHHHHBHHH H,H!HQ|HHUHHHHHH%v}lHEHH<-VmHEHBI HHUHHHHHH%HEHHHHAẼ}t)}t#HH HOHO}u}u~Cjdt H HH HHHHϸ#HEHHHHc}HEHH<-HEH@H6mHEHEHHH H HHJt~HEHHHH qHH tTHEHHH H PHHt*HEHHH H 0HH̆u3HEHHHH HHǸ诇uHEHHHH HHǸ|HEHHHHf*PYlA|HEHHHH Ht2EHHHHHHHtEHHHwt>rJwBEHHHHHH~HǸsAH~HZs0EHHHdHHH~HǸsEEHcHEHEHHHHUHcHHft9EHHHHUHcHHHHEHu*EHHHEHMUHuЉ EEEE;EEEPE+EH}HǸrUHHpdH%(HE1kE}oHEH}HHǸsHEHrHHMEHΉqH.HEHHH9Eu#E H G}HΉqH H jHUHHH)HHHEHEH@HHE@ HEH@p$HE@HUHEAH5fHǸrHEH7qHEHUHMEHΉpH9Et'H|HpE\q>HEHH9EE1qHEdH+%(tpUHSHH-H@HupH HCHpHHZHHCHH@HHPH<HH@fPcZxHH@@HHH9sYHHHZH-HCHpH@HeHPHHSH@fPH5H@H*HHfHzH H@H HH-pH]UHHHHH@HHϾHoHHHH9tHHzHHH@HuHHzHHhH@H]]UHH }HPHEH5HMHcHH@fHHHyEHHЉʈH@HZЉEH4UHcHHmEHH,H9rH@HHHHHHHH@H5HMHHHnH^HHHHE!HH EHH)H EHuUHcHHHH H@HHH9E~H(H)MHcHHHHH UHcHHHHHЋUHfHb@EHSH@ HuH{HxxHH0H@ H%H~UHcHHHHHHJEPUUHH EHֻHEHHMHcHH@fHHHEHHЉʈH|@HHHHH\HHNH@H5HMHHHqlH*HHHHH{fH@EH@U)‰UH EHHEE;E|HH@ HuHHvHHH@ H|UHH }}~HHvHЋEHHHHHtSEHHHHHEEHHHuHH@UHcH HXH&HEEHHH}HUHEHHHHHEHPEHH HHEHHEHUHH H}uEHHHHHuH|HuHЋEHHHHHEEHHHxHH@UHcH H[HHEHUHEHHH8HHEHPEHH HHEHUHSH(}܉uEHEE؍P9tgE܉cE[t9HIHHHHMHcHHf9HvH]UHcHH)ʉU}HH@HuYH(uHCeHHHZHVHCHH@HHP ,#HlH@HaHUHcHHHGfPHEHHH'fPHUfH UfPEHcHXMHcHHHH HHH@HHhHUHcHHHHEHHMHcHHHH ~HH¾H+gHH EHHH)HHEHzEHHEE;E|HtfH]UHSH(}EH?H.еHHH)ʉUHE} HH@HuYH|(,HCHH_HZH HCHHH@H=HP ڻH#H@HHyUHcHHHfPHhEHHHfPHUfEHcH%MHcHHHH HHH@HHeHUHcHHHHHH ӮEHHH)HHEHEHHEE;E|#EHHeMHcHHHH HH¾HdH9fسH]UHE6HUHcHHHHHtE9E|]UHHEoHUHcHHHH@HHEHE@HHH:HHE ?Hu)E9E| t UHHEEHضH@HE1HHHrHHHHcHiHzHsH|E7E/HXH=H>HUHPUHH }EEEHcHH9lEtE¸)EHHEHEHHHHEHH)HEHcHEH0bEHH HEHEUHH0H}؉uHEHEHHEEEԍPHE}EHEHPHUHEH 3EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH yEPUHH)HcHEHEHPHUHEH ;EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH EPUHH)HcHEEPU9EE+EE}EHHpkHHdkHHEHPHUHEH EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH AEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH ŧEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHճHEH)ЉEEEԋEԃPHEeE+EE}EHHxiHHliHHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHmHhHEHHHEsE4H`EHHuHEHPHUHUEHEE;E|EHEHPHUE}~EHHHEHnHUH)‰UHHHH.H]UH]UHHPH}uHEEH HEUHEHE܋7t?HE&~&EEHHPHEHE}~EUHEHHHHHHHEH}u/E܉HEHHHHHEHU)Hc‹}HcHUH4HUHJdHcHHH7[Eă}E9HEH҃t҃!té9tlE ZlXFHEH~taHEH ʈK1HH#EHHU)ЉEt+ẺE̸+EЉEЃEEкЉEHEHPEH#EЅuU}u#E 7kX#HEHPEH‹EЉ HEHPEHЉʈ}HEHJHE@҃t҃ HEPt^HE@ͧ҃t҃!Ѕt!HHH9~;1wt@HE@[҃t>҃!Ѕ HE@HEH(tmHE@҃tΦ҃!Ѕt0HõHH9~<@6}ySE܉cHEHEHUHH}uHYHZHHHEH HEHUHHEHE^HEHHuE܉HUHHEHHE4 iXHEHEHEHHE:HȴHEP tЉHEoUHHGE2HH$U)ЉE t+EԉEԸ+E؉E؋EغEԃHEHȈHijHEHPEHcHEHHHEHHUt4tsЉ HjPHEPHEHeUHH}uUEE}uHEHHE‹EЉEHEHHEH ‹E1ЉEE3EEHEE Em}}t}}}tTHEHHE‹EЉEE1EHEH1EE EZHEHHE‹EЉEE 1EEEHEEE 1EEEE1EEEE1EEEE1EEEEHH]UHH}ȉuĉUHEHEEčPHHHEUĉƒ)¸)HHEH}H}HEEHcHEHHEH}HEHH^HH^HHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEEHHEޥHHHHEH|Jy7HEHEHHEHEHHHEHEHHHEHEH)EHEH)EHEH+H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH&H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH#H1EHEH)EHEH)EHEH1H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHmHEH}rEHHHEH}tH}w+H}t#H}tHEHHHEHEHHEؐHEH)EHEH)EHEH+H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH&H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEH#H1EHEH)EHEH)EHEH1H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEH H1EHEH)EHEH)EHEHH1EHEH)EHEH)EHEHH1EHEH]UHSHHAH:HXHH"HHHX8HjjjL YA"H HH٬HHHX0HjjjL mZA!H HHHEHjjjL /ZA!H HUHB0HEH@0HEHjjjL YA!KH HUHB0HHHHXHjjjL YAH HHHHHXHjjjL [YAH HHsHHHXHjjjL YAkH HH*HHHX HjjjL XA"H HHڪHHHX(HjjjL XA H HʔHHHHX@HjjjL QXA #H HHAHHHXHHjjjL XA$9H HHHHHHjjjL WA- H HHHEHjjjL WA- H HUHB0HiHHHHjjjL ]UA+^ H HHHHHXxHjjjL VA* H HHHEHjjjL sVA * H HUHB0HEH@0HEHjjjL +VA * H HUHB0HIHHHXPHjjjL UA %A H HHHHHXXHjjjL UA & H HHHHHX`HjjjL bUA ' H HHnHHHXhHjjjL #UA (f H HcHHHHXpHjjjL UA) H HHզHHHHjjjL TA, H HHHHHHjh jL {TA .{ H HH:HH&HHHjjjL RA H HHޥHHHjjjL sSA H HHHEHjjjL 5SA H HUHB0HEH@0HEHjjjL RA Q H HUHB0H HHXHjjjL SA  H HHƤHHX HjjjL RAH HHHEHjjjL _RAH HUHB0H>HHXHjjjL MRA:H HHHHXHjjjL RAH HHHHX8HjjjL QAH HHHEHjjjL FQAkH HUHB0H%HHX(HjjjL OQA!H HH٢HHX0HjjjL QAH HHHHX@HjjjL PA H HHOHHXHHjjjL PA KH HH HHXPHjjjL PA H HHšHHXXHjjjL fPA H HHHHX`HjjjL -PA |H HH;HHXhHjjjL OA 7H HHHHHjjjL NAH HHHEHjjjL NAH HUHB0HkHHXpHjjjL NA gH HՊHHHXxHjjjL `NAH HHڟHHHjjjL MAH HHHEHjjjL pMAH HUHB0HOHHHjjjL [MAHH HHHHHjjjL MAH HHHHHjjjL MAH HHpHHHjjjL LAiH HH(HHHjjjL LA!H HHHHHjjjL ~LAH HHHHHjjjL BLAH HHPHHHjjjL KAIH HHHHHjh jL JAH HHHXHHHHHjjjL sKA 'H HHHEHjjjL ;KA'cH HUHB0HHHHXHjjjL JA'H HHHEH]UHH0}uUMDELMп8HEE&HEf}uHEHEfHEUP EHEfPE HEfPHEHUHPHEUP$HEUP(HEU܉P,HEUHH H}8{HEHEHEfHEP HEP HEPHEfPHEPHEfPE=HEUHcLPHEUHcfLPHUEHLHUEHLE}~HEH@H;HHHUHBHEHPHEH@HH&;HEP$HEP$HEP(HEP(HEP,HEP,HEUHHHxLpLhdH%(HE1HHHυHHHHHǸ:DžzHHcHHHHcHHHH3HxHHH@0HHuÃ;tDžpHטHcHHHHcHHHHHt HH@0HHHH@ tnH_HcHHHH@ HHHHHt9H*HcHHHH@ HHHHH@0Hu"HH@0HHdHRHH1HHcHHHH@ HHHHHHH@0HuVHH7HHB0HH@0HHp HHHH@0HHHHHB0HH@0HHp HHHH@0HuHH@0HH;~vW`HHHHHHHEHǸm7DžzHHcHHHHcHHHH3HxHHH@0HHuÃ;t;DžHZHcHHHHcHHHHH$HcHHHHcHHHH@0HdHHcHHHHcHHHH@0HH@ HHHxHЋHcH HxHfH{HcHHHH@ HHHHHHBHcHHHH@ HHHHHHHHcHHHHcHHHHH@ HcHpHHp HHx HH@0HHyHcHHHH@ HHHHHH@HcHHHH@ HHHHHHHB0HH@0HH@ HcHpHHp HH HH@0HH;HHHn~HHHFAHǸ3DžzH HcHHHHcHHHH3HxH(HH@0HHuÃ;ta DžHHcHHHHcHHHHHHH@0HHH@H -=HH1u\HHHԝHHHt/HHHHH@ HH;qHHHHHf|HH4H<:tHHPHHHHuHH>HǸ91HHHzt[gt@]tuSH>H0aHHH>HǸ0AH>Ha00H>HP0HHH|>HǸ0Ho>H 0HHHg>HǸb0Hv>HǸF0HHHytr~tWttujH3>H/HHHzHHH>HǸ/UH=HR/DH=HA/3HHHHzHHH=HǸm/DžHcHpH;|HpHxI,̓nHe=H.ZDž9HHH+xHPHcHHHHcHHHHH@ 9HH@H;HH.HHHxHHH<HǸ.HHHxHHo<HǸ-Hu<Hl-q=HH@0HH$DžH1HcHHHHcHHHH:HH@H<HH-uHH@0HHu~mHHHwHHH;HǸ,H;HǸ,H;HR,W<;At4LhHpHxMI{HHHuDžsHDžHDžHDžHDžHDžHeHcHHHHcHHHHHHHHHH;tKHH@0HHH@0HHHHHHHDžHHHH@0HHH@H9HH4+uHHHH@08HHHP0HuHHHHHHHZHtHtHHHP06Ht,HuHHHHHP0Ht*Ht HHHP0HHHdHcHHHHcHHHH;{0~}HHH tHHH48HǸ0)DžzHHcHHHHcHHHH3HxHHH@0HHuÃ;tHEdH+%(ta(UHH}uUMEHHHzHHE@ HH0EHHHSHEHHEHHH0HHE@ HH ΉEHHHHHE@ HH0EHHHHEHHEHHHHHE@ HH ΉEHHHHHE@ HH0EHHH˒HEHHEHHHHHE@ HH ΉHEH EHHHHUHcHHЉf]UHH0}uUHMLEЋE;EAHSUHcHHHUHcHHHH}EHcHEHEHcHEH {ttHUHcHHHUHcHHHHE@ztHUMEΉHMHUuEHEH@0HEH}uHsUHcHHHUHcHHHHE+HEP H}HM؋uEIHEH@0HEH}uUHH@}uUHMLELMȋE;E}H܃UHcHHHUHcHHHHEHcHEHEHcHEHQEHcHEHEHcHEHEHcHEHȃVy yEHHHEHЋEHv3HǸY$EHcHEHEHcHEHȃH˂UHcHHHUHcHHHHERHE@$HH H͵HEHHEP LEH}HM؋uEMIIHEH@0HEH}uEHcHEHEHcHEHȃUHH@}uUHMLELMLEH}HM؋UuEMIE&EHcHEHEHcHEHȃEE;E|ҐUHH0}uHUHMH}HEH HEP(EH2HǸ"HE@HE@$H2HǸ"HE@ftHE@H1HǸl"]!EHHHEHDHEt H=1H=1EHHH8HEHHt H5p1H56EHHHaHEHHt H ;1H EHHHHEHHt H1HHEu!HE t H0HH0APLoAPIIHH0HǸ(!HENHEHPEHH< uHHǸ HEHPEHH! EHEHPEHHu@uHE@ft|H(0HǸ EOHEUHcDPft7HUEHDHEMHcDHH/HǸ3 E}~]o eHjH UHH }uHUH}HEP EHp/HǸHEtHg/HǸ^HE tHP/HǸ|9HEtH9/HǸWH0/HǸAH(/HǸ-EdHEHPEHH<\u,HEH@UHcHH%d aborting Transition Type: A=atomic; D=d_step; L=local; G=globalSource-State Labels: p=progress; e=end; a=accept;Note: statement merging was used. Only the first stmnt executed in each merge sequence is shown (use spin -a -o3 to disable statement merging)pthread_mutex_init: unsupported non-default initpid exceeds range supported by pthread_cond_wait--end of output--{c_code \nspin: trail ends after %ld steps %3ld: proc %d (%s) %s:%d (state %2d) (invalid end state)#processes %d: rpan: cannot find %s %s%d.%strail%d: %s %s.%scpu%d_trailerror: there are %d trail files: pan: rm or mv all except onepan: cannot find trailfile %s <<<<>>>>pan: Error, proc %d invalid pid transition %d Recovered at state %d pan: Error, proc %d type %d state %d: transition %d not found pan: list of possible transitions in this process: t_id %d -- case %d, [%s] pan: error, next transition UNEXECUTABLE on replay most likely causes: missing c_track statements or illegal side-effects in c_expr statements%3ld: proc %2d (%s) %s:%d (state %d) trans {%d,%d} [%s] MSC: ~G %d MSC: ~R %d %ld: %s(%d):[%s] %3ld: proc %2d (%s)(state %d) [values: %s] (state %d) [%s] %ld:%d:%d pan: cannot create %s causepan: wrote %s pan: elapsed time %.3g seconds pan: rate %9.8g states/second pan: avg transition delay %.5g usec bad forward move((fork[i]==i)&&(fork[((i+1)%4)]==i))Z>>5??@8@k@XABiCCDEEF?G,HII2JJKKKused: enabled(pid=thisproc)t= %8.3g R= %7.0gTime limit of %6.3g minutes exceeded Depth= %7ld States= %8.3g Transitions= %8.3g Memory= %9.3f non-existing claimerror: max search depth too smalldepth limit reachedacceptance cyclebad return moveinvalid end stateaccept stutter]XXXXY(YwYXYYYYXY5ZXZZ[_[X[\XZ\\\&]~]- invalid array index%9.8g states, stored (%g visited) %9.8g states, stored %9.8g states, matched %9.8g transitions (= visited+matched) %9.8g transitions (= stored+matched) %9.8g atomic steps %g lost messages hash conflicts: %9.8g (resolved) Spin Version 6.5.2 -- 6 December 2019 (%s) Warning: Search not completed + Reverse Transition Ordering Full statespace search for: never claim - (none specified) assertion violations - (disabled by -A flag)+ acceptance cycles endis+ (fairness %sabled) - (not selected) invalid end states - (disabled by -E flag) + State-vector %d byte, depth reached %ld, errors: %lu Stats on memory usage (in Megabytes):%9.3f equivalent memory usage for states (stored*(State-vector + overhead))%9.3f actual memory usage for states (compression: %.2f%%) (less than 1k) state-vector as stored = %.0f byte + %ld byte overhead %9.3f memory used for hash table (-w%d) %9.3f memory used for DFS stack (-m%ld) %9.3f other (proc and chan stacks) %9.3f memory lost to fragmentation %9.3f total actual memory usage Interruptedkk~kok`kQkBk3kpan: resizing hashtable to -w%d.. donepolynomial: 0x%.8x (%d tries) pan: could not find a polynomial in %d tries pan: try a different seed with -RSn option list too longhashi_reverseerror: -l not available (compile with -DNP)-M and -G affect only -DBITSTATE warning: only one claim defined, -N ignored pan: bad option -P[01], ignored onoffpan: reversed *active* process creation %s p_permutep_rotatep_randrotp_reverseoption %s required compilation with -DPERMUTED invalid option '%s' -- ignored rhashoption -rhash requires compilation with -DPERMUTED pan: reverse transition ordering %s t_reverseGenerated by %s saw option -%c error: -f requires the use of -a or -l warning: no accept labels are defined, so option -a has no effect (ignored) warning: -T ignored when -i or -I is used warning: -i or -I work for safety properties only warning: -i and -I need -DREACH to work accurately r{rr#s{t{+tt{{t u{u=xxyz{{{{{{{{{{{{trrrrs/s>sMs>t{{ttu{4wuxx{z{Q{e{{{{%s Valid Options are: -a find acceptance cycles -A ignore assert() violations -b consider it an error to exceed the depth-limit -cN stop at Nth error (defaults to -c1) -D print state tables in dot-format and stop -d print state tables and stop -e create trails for all errors -E ignore invalid end states -f add weak fairness (to -a or -l) -hN use different hash-seed N:0..499 (defaults to -h0) -hash generate a random hash-polynomial for -h0 (see also -rhash) using a seed set with -RSn (default %u) -i search for shortest path to error -I like -i, but approximate and faster -J reverse eval order of nested unlesses -l find non-progress cycles -> disabled, requires compilation with -DNP -mN max depth N steps (default=10k) -n no listing of unreached states -QN set time-limit on execution of N minutes -q require empty chans in valid end states -r read and execute trail - can add -v,-n,-PN,-g,-C -r trailfilename read and execute trail in file -rN read and execute N-th error trail -C read and execute trail - columnated output (can add -v,-n) -r -PN read and execute trail - restrict trail output to proc N -g read and execute trail + msc gui support -S silent replay: only user defined printfs show -RSn use randomization seed n -rhash use random hash-polynomial and randomly choose -p_rotateN, -p_permute, or p_reverse -T create trail files in read-only mode -t_reverse reverse order in which transitions are explored -tsuf replace .trail with .suf on trailfiles -V print SPIN version number -v verbose -- filenames in unreached state listing -wN hashtable of 2^N entries (defaults to -w%d) -x do not overwrite an existing trail file options -r, -C, -PN, -g, and -S can optionally be followed by a filename argument, as in '-r filename', naming the trailfile pan: out of memoryhint: to reduce memory, recompile with -DCOLLAPSE # good, fast compression, or -DMA=%d # better/slower compression, or -DHC # hash-compaction, approximation -DBITSTATE # supertrace, approximationpan:%lu: %s (at depth %ld) cyclepan: reducing search depth to %ld .(goto)goto : %s:%d, state %d, "%s", -end state-unreached in proctype %s unreached in initunreached in claim %s (%d of %d states) -4:-4:-4 -1:-1:-1 pan: error writing trailfilesv_restorerror: sv_restorerror: p_restorerror: q_restorcannot happen grab_intcannot happen ungrab_intunexpected wordsizeSו[ߔՖƖ}n_PADO((k<4))fork[k] = 4k = (k+1)((k==4))goto :b1breakk = 0ATOMIC(run Philosopher(k))goto :b2-end-(((i%2)==0))((fork[i]==4))fork[i] = i((fork[((i+1)%4)]==4))fork[((i+1)%4)] = iassert(((fork[i]==i)&&(fork[((i+1)%4)]==i)))eating[i] = 1eating[i] = 0fork[i] = 4fork[((i+1)%4)] = 4(((i%2)==1))(np_)(1)STEP 1 %s STEP 2 %s STEP 3 %s digraph init {claim_%s { notrace {trace {p_%s { size="8,10"; GT [shape=box,style=dotted,label="%s"]; GT -> S%d; initclaim %s notrace assertiontrace assertionproctype %s }error: proctype '%s' line %d, state %d: has unconditional self-loopelseerror: proctype '%s' state %d, inherits %d 'else' stmntsFINAL proctype %s state %d line %d is a loopstate state %3d -(tr %3d)-> state %3d [id %3d tp %3d,%dLGpeaDA [%s%s%s%s%s] %s:%d => [(%d,%d) S%d -> S%d [color=black,style=dashed,style=dotted,style=solid,style=bold,label=""]; S%d [color=red,style=bold]; S%d [color=green,style=bold]; S%d [color=blue,style=bold,shape=box]; too many queuesbad queue - addqueueVECTORSZ is too small, edit pan.href to uninitialized chan name (len)ref to uninitialized chan name (qfull)queue %d was deleted bad queue - q_fullref to uninitialized chan (unsend)bad queue - unsendref to uninitialized chan (unrecv)bad queue - qrecvunknown qid - q_condCompiled as: cc -o pan %span.c global vars: byte fork[%d]: %d local vars proc %d (:init:): byte k: %d local vars proc %d (Philosopher): byte i: %d _unnamed_{Gz??N@0A?C @Y@<@;Tipg0nPp"!0HPp<94 Tx8re8`/\0|1s2233Z3vI@{J`J_LRST uY Y@ UZd Z Z J[ N\ \ ]$ R_H lh |r Rs Gt kt {v x$ zD c|d } F~  ! ( L ݈p 6 ݉ Q  .0 :P jp   ұ4iTt@Gu!4BTt)L 41T t)zRx p&D$4`FJ w?;*3$"\)AC B | AC E  AC E kAC f /AC   AC [ AC S <AC T \AC P |AC P 9AC t  AC  'AC b AC  AC  <_EAC  XAC E |aAC  pAC k  gAC E [ AC   E$ AC E $EsAC n DAC  d6AC X 3AC  AC  RAC   %AC E '.AC ) ( )<AC 7 H&*AC  h*`AC [ *`AC [ /+'AC b  6+AC E .AAC   BWAC R ,JBAC  LCAC  l%J,AC g 1JAC  KAC  MPZAC U  PAC E| P.AC i 0P3AC n P QAC  p~QAC  bRPAC K RiAC d  RKAC EA U AC  rbAC 0gAC  PhAC  p{i$AC _ iAC   ok/AC * ~mAC  eoAC   pOAC EE 4"rAC  TrpAC k ttiAC d /vAC  wAC   wAC E  Rz7AC E-  e|YAC T < |AC  \ %}AC  | }AC   Y~AC   )AC d  AC G  0AC +  AC  < }xAC s  \ ՐAC E  ?AC   ŢAC    AC   AC   iAC d  VAC  @ *zAC u ` AC   k.AC )  y[AC V  QAC L  !AC   WAC R  AC  @ AC  ` AC   pAC   AC   uFAC A  ZAC U  AC   AC [ @ AC I p# #) ]]o   _x   oo8 oo o]6 F V f v !!&!6!F!V!f!v!!!!!!!!!""&"6"F"V"f"v"Ha''AcN /w\x2[0}+ǘ'_g}w/e[{QZ1ɼm9g!ea^[I0)c-R UtYGi6VEy$) 6">I>wY$v[)цS =mOQݱ%c'؇ '+y!x K[Sn< 2 1tnAu +ޓ_0adq!BKQwlQM a8й̑'4b"tGi{Cd_aQz ގ1[ݐY_c5hOPWr6cHu/C[!9# ltq՗!7X.?N9q}߇xqW}g.#QCve7(@0I e }IʬD")B۪=En\=93>]q-G9%wdHmw5xnׯ֡3b\ ]'SW޺R1W Qm2~]j!?MW\}v uy;TpOʼn{΢ =Yfe{l>u݁[^OA 0!AGK#缟{h߮##VB@QgQ[FB] 酙$M[##9_QAo)Qb,^ t\+ʢ#>Ɓ9=Ű5[' IQa)w۩I, $L%4[ ȅ%JkK#mI7: ho,,_+ xkuf7>AYg3\ ?F4;3$׼1:;x]J13)'Jp2뻊f_6'Sc~e:+N.SʏWnϷ=A-%dSq"%CHyɨ O~ -)9=C6V9$1)3$T3eZOXz5޻d\S ,j fCCssc`dE}?k_o15%qL[b6)fZG+vk \4l6`7JC_8fNυ0%,m>aI!渑O#ClI !+SOܧQH;8/k3a#?߅W͠MB1?bW3jF'빞"S0 9~[YdK'z ~u|2e?UWIJM9REKK! ~oHkc) zͦMXv_&&oz4|iqs=TgF O&) ;^k[-ӢC-@uxw -Ћ8?xuCy#LYu`}LtjtO8H  jk< @a#v(;Uc`m~)j0`Hut#k\ii*u,B pa.' thj/: p `tk ) 3X:uYC QQd { mvsL&(~.Hj j/ Iu ujYμ t%Pi*- 4v7HuN]LsTPuYb ktyuuNg9A$ xa&d<uj>ju(34be=3GlNW-aȋlRsxtwvt6it}tj~pt4pl f'+t5Tiy h:@aGZ# c) Fpk|iZx0Pt XjJWHa j)8]B1IjQ8uTj^ l eo Zo0ur uu xht~^pk-9&-@ihi`ik0@pi uNit!v'\39CH\i<@"&dhQoz@k0.5k XiXt-/>7`ukb.  . z t# t) O5 u> PG `aB u I S tV ޱp_ c vi m tuu ߧ$ l-  OK j   u   AP lu   f 0@p  t! pu) a.  Z5 F haP c _k Xur  f`w   hu `P kf`   `@ [  k O@  Y t - ^z4 |u= tD `jJ vR %[ !d  [m 0Ev } tnv = 0 v ~W   J " #  j ti v $ u. kA upan.chaveleftfragmentgrowj1_spinj2_spinj3_spinj4_spinA_depthtbufwrap_in_progress.2sdone.1reclaim_sizereclaim_memN_tabunwindinglaststr.0_DYNAMIC__GNU_EH_FRAME_HDR_GLOBAL_OFFSET_TABLE_printmpreranddo_transitnlostFhspin_mutex_lockPUTQ_oo_hash64comp_nowputchar@GLIBC_2.2.5spin_c_typMallocguiglobinitempty_chunkssilent__libc_start_main@GLIBC_2.34S_Acompressdfs_tablestrncpy@GLIBC_2.2.5nShadowreached2strncmp@GLIBC_2.2.5sv_savesvtackK2_ITM_deregisterTMCloneTablereached0stdout@GLIBC_2.2.5Q_sP_o_tmpsmaxstrcpy@GLIBC_2.2.5__isoc99_fscanf@GLIBC_2.7filled_chunksstopstateputs@GLIBC_2.2.5set_H_tabsrc_file1PROBEHASH_NRaddproconlyprocsrc_ln1hcmpdfs_uerrorstoppedr_ckmemlimspin_cond_signald_sfhfreqfindtrailhasherLstateP_s_tmp_edatao_hash32loopstatewarnedqs_emptydo_the_searchfclose@GLIBC_2.2.5comp_msknmaskmake_trailpan_randBtypesretransPrintf_finiputrailstrlen@GLIBC_2.2.5readtrailc_chandump__stack_chk_fail@GLIBC_2.4simvalsMaskcpytrendstatetruncs2strchr@GLIBC_2.2.5Nrunspin_joinXXresize_hashtabledodotf_pidZAPSvisstateNrStatesc_stack_startt_reverseclaimnamestrrchr@GLIBC_2.2.5reverse_capturewrapupo_cmdlineinirandgetrailo_hashHASH_CONSTsnap_timeppcheckcyclesmemset@GLIBC_2.2.5proc_skipAirnr_statesadd_src_txtsnapshotset_maskseatingspin_mutex_destroyloopstate2q_condefdTstOnlytruncsdo_hashgenmapstateppownstatesspin_assertmreachedsrand@GLIBC_2.2.5memcmp@GLIBC_2.2.5wrap_statstrptfind_sourcetrailfilenameloopstate0Q_o_tmpselect_claimreversingupto__data_startstrcmp@GLIBC_2.2.5locinit1active_procscode_lookupsignal@GLIBC_2.2.5tagtableexclusivet_id_lkuptransmognifyfnmfprintf@GLIBC_2.2.5delproc__gmon_start__TMODEsv_restorq_len__dso_handleproc_offsetmemcpy@GLIBC_2.14_IO_stdin_usednoassertsq_fulltprefixZnTrailFileA_Rootc_globalsZhFac_localsnoendsflrefspin_mutex_initspin_mutex_freestart_timeK1malloc@GLIBC_2.2.5reached1depthfoundfflush@GLIBC_2.2.5ssizesrc_file0s_randwhichtrailq_restorSSsvmaxevery_errorsettro_cmdname_endvprintf@GLIBC_2.2.5src_ln0iniglobalsto_compileemallocsrc_alldot_crackwrap_trailprocnamewhichclaimS_Tabspin_cond_waitxrefsrcdelqCholds__bss_startprogstateenabledmainungrab_intscpu_printfusageerrorsquotastart_timerfairnessmulngrabsaccpstateLLp_restorP_snoptrP_osignoffdfs_Uerrorspin_mutex_unlockvsizeunrecvq_skiptimes@GLIBC_2.2.5no_rckfopen@GLIBC_2.2.5hinitstrictperror@GLIBC_2.2.5sysconf@GLIBC_2.2.5new_statestackc_init_doneverboseimeds_hashatoi@GLIBC_2.2.5omaxdepthstrcat@GLIBC_2.2.5boundedCcheckPptrloopstate1Q_s_tmpa_cyclesstop_timerQptrsprintf@GLIBC_2.2.5exit@GLIBC_2.2.5snaplike_javafwrite@GLIBC_2.2.5__TMC_END__report_timeiterativenlinks_ITM_registerTMCloneTabledo_dfscoltracememcnttrcntMaxbodysettableaddqueuedo_reachpan_exitunsend_thisgrab_stateh_storehmaxBoundcheckstart_tmdelta_timed_hash__cxa_finalize@GLIBC_2.2.5locinit0strstr@GLIBC_2.2.5q_offsetboqnoqptr__ctype_b_loc@GLIBC_2.3Nr_Trailsstderr@GLIBC_2.2.5state_tables.symtab.strtab.shstrtab.interp.note.gnu.property.note.gnu.build-id.note.ABI-tag.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.init_array.fini_array.dynamic.got.got.plt.data.bss.comment#88@6xx$I Wo(a 8i  qo Z~o8 8 p B x  `""O   #33T66` ]M]M]M_O(_O@@a@Q k[Z 0[6[ {N &