ELF>"@pg@8 @@@@xx 11-== Pe-==888@@xxxDDStd888@@Ptd   LLQtdRtd-==00/lib64/ld-linux-x86-64.so.20GNU GNU ZGyk_(]OGNU++,)9H!s ]$@ PX:W 5 "rdyJJstrcpyputsperrorstrncpysysconf__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#= #HAHAII ZI^IbJfJhJ J0J@JhJIJ JJJJ ????&?'J+J,@@@@ @(@0@ 8@ @@ H@ P@ X@`@h@p@x@@@@@@@@@@@@@@ @!@"@#A$A%A(A) A*HHHtH5%@%h%h%h%h%h%h%h%hp%h`%h P%zh @%rh 0%jh %bh %Zh%Rh%Jh%Bh%:h%2h%*h%"h%h%hp% h`%hP%h@%h0%h %h%h%h%h %h!%h"%h#%h$1I^HHPTE11H=]f.H=(H'H9tHHt H='H5'H)HH?HHHtHHtfD='u3UH=Ht H=c']f.ff.@gUH]UH}]UHH0}܉u؉UE+EH/HE2t}f}~Hz:H9HЃ}t}t EEHG:HHHTFHt&HEFH%EHHк)ʈH%EHHH%EHHHEЉEHR%UHcHHmEHHEH9rH>%EHHHEHHEH EH%UHcHHЉfEHcHsEHHiE"**o/t`*<vUH HǸHHǸrH%HǸYz HDf)30HcHDH9HC‰0E!H$H DEHH)H EEHHH#9E~H#H rDEHH)H H\DH=vDHHǸH9DHHǸH7HHЋEHHt#MHcHHHH (HH¾HWH@#UHcHHHHv(HH,H,U}}:H"UHcHHHH+(HPPH"UHcHHHH'HP⃈P>CHWCHH|"UHcHHHH'HPPHN"UHcHHHH'HP⃃$P!H"UHcHHHHL'H@H!UHcHHHH$'H@ESHEHG+EUHH&HHBHBf&轖e-9L‰U-O-9L‰?-H H-BHAH'B .kHAkHA kHAjHA jHAHAHlAjHAHAH]A jHAjHA jHAyjHAhjHxAWjHoAH@AH H:AHQA KA,v+++t,+ƒ)‰к)‹+Љ+H@HHk@HH=@ILCHH 褛**t HsHǸ/HxHHHǸ HHHHHHHHpϸ讆(hH2 hH2*HHhH*H*H*#]UH}Hu#9E]UHH}HE]UHH}HE]UHH}HE]UHH}HE]UHHH}HuH}u HEH92H HАUHHH}HuH3'<>vH2HHHEu?HEHhHEH& HEHEH&!ЅtHEHAHEHEHEHp&!HEUHH}HEvHEHE]UHHH(HXH`HhLpLxt )E)M)U)])e)m)u)}dH%(HH1Dž0Dž40HEH8HPH@H0H(HHHHdH+%(tUHHH(HXH`HhLpLxt )E)M)U)])e)m)u)}dH%(HH1%tMDž0Dž40HEH8HPH@H0H(HHHHdH+%(tUHH}X%tHzHQ}uEEUHSH8H}EH}tHEH9H=v HEHGbH_H.jHFEHH HHbHHEHHHEHEEHH HHaH¸+EHH HHaHHH4HEHEHEHE<}t HEuHE<}t HEHEHEEEHHHHHHEHHHEHHËEHHHHHHH9+EHH HH`HHHËEHHHH}HHHHEHzHH=v HEEHHHH;H+UHcHH Hf`HHH$EEHHHHHH+EHH HH`HHEHH8+E܉E܋EHH HH_HHHHEHEH}EHH HHgEHH HH_HH]UHH }uH,UHcHHHUHcHHHHEH)HǸAHEH@HHE7HE< uHHǸ HEIHEH}t HEu (HEH@0HEH}lUH}uEHHH?H@9E|=EHHHH@ 9EEHHHHHHw]UHSHZnPQnH*HHHǸZЋm9 YfEHHUHHHHHHEHE@HHHSH UH)HHHǸmEEHHHHHE@9uwEHHHHHHE@HHHE@HE@։ HHHǸ$EEHHHH3HH=HE@HHǸwHE@HHHh5HHE@HuHdHǸ% kHE@HE@։`BHHǸH*(Hy H(fEHHUHHHHHHEHE@HHH!H UH'HHRHǸ;EEHHHHHE@9uwEHHHH|HHE@HHHE@HE@։HHHǸ$EEHHHHHH=HE@HwHǸEHE@HHH63HHE@HuH2HǸ 9HE@HE@։.EfEU 9dfEMHHUHHHHHHEHE@E։0EfEU9|UH]UHH@dH%(HE1H Ht[HHDHHHHHHHHǸhDžDžHHHvHHHH5 HHIH5HǸdHHmHHHHtD}du#HHHHǸHHvH.HHH(HH5 HHIH5̸HǸH.HHHHHHdu#HHgHǸHHkH HHH57HǸHHHH~HHtDdu#HH˷HǸHHHH.HHHHH /HHH5mHǸH.HHHHHHtD,du#HHHǸtHH%HH PH q HHHϸhtOdt+HHǸqd=HHmDžH HHH H˲H 0H5  HHIH5͵HǸHHHH)HHmH.HHHDHH5  HHIH5:HǸH.HHHHHH HHH5HǸHHHH>HHH.HHHt]HH 3 HHH5qHǸ!H.HH HHHHuxBHH PH HHHϸHHH)HǸDeHHUdH+%(tUHSHHdH%(HE1EHE} HKHuHͳHnH/HyP ЋE9}7EHHǸEHHǸzD EfEHw HUHHHHHHEHHE@HHHHE@HHHHEHEP$E9tHEH@0HEH}uH}EHZHE@HHHUHcHHHHEH}tOHEP$E9u>EHHǸeEHUЃ B ȈB/EEHE@HHHX)E9AHE@HE@EH6HǸEHDHǸHIHIHE@<aH'HE@HHHHE@HHHHE8HEHHHEP(HE@$HHǸ*HEH@0HEH}uHEH@HqHE؋tHE@HHHHHEHHUHHHH HH;H$P HP UHEHuWxU9H$HHMHHvHxU~9bUHIHMHH_HǸEEHHHH'HE@9uwEHHHHHHE@HHHE@HE@։yHH˰HǸ)EEEHHHHHH8H}tHUHHEH(uHE@IЉHeHǸlECHUHcHHHH H@ЋE։?EE ЋE9HE@HHHHE@9EE{EHHHH`HE@9uJEHHHH@HHE@HHH_HǸ)EEEHHHHHHeEHHHHHHu'HE@HHǸHE@E+HE@HHH@ 4\ HHHHǸEHeHǸ}EEUE9UHEHHDHǸJH}tHEHpHH!HǸ wH (UHWHMHHܭHǸEEHHHH5HE@9uwEHHHHHHE@HHHE@HE@։HH٬HǸ+)EEEHHHHHH8HE@H HHǸUH/HMHHHǸEEHHHH HE@9uwEHHHHHHE@HHHE@HE@։_HHHǸ)EEEHHHHmHH8H}tHUHHE@HҫHǸ HE@ HUЃ B ȈBHMHUHEIHHH5HǸMHEdH+%(tH]UH}EMH UHcHHHH@HHEHE@ЋE9u HEE 9E|]UHH dH%(HE1DžA<uu HS/HVHHuH.HHHHHHnuRP~?H PHIȉHH.HH!HǸ2HHHHHHH!HǸHNH!HǸ"H.HHHHvuJ~?H PHIȉHH>HH HǸ2HHHHHHH HǸH.HTH HǸ(y/Hb HH|HǸ+HHH3 HHjHǸHUdH+%(tUHH"HH!]UHH"fHnHHǸ!f/wzs !^fH~fHnHHǸYt>!/ 7X^fH~fHnH֧HǸ]UHHP}dH%(HE1HEHHEH HUH)fH*UfH*E^!>u ff/w }tHEdH+%(tFUHH dH%(HE1HH HHHEH#UHcHHHHYHHEH{@ uXHE@HHHHHE@HtH(P HP EEЋE9MHhHHZuEH=EHHu6EEH EPUHHEPU~ڋt6bt,H_@ t HEH9tyHEdH+%(tQUHSH(H}؉fEEH@EHE؋@( w"HHHHHH HHи$EHv@ t EHHHP@H5H8B0H4@PHcHiVUUUH H)ȉ)HʈPE}HLHH@HH8B0HPH҈PE3HHH@HyH8B0HxPHm҈PEHHH:HX8OHC0H1PHH8H@0҉HPHP;t~u H@E_H.H EԉƿPu:E0H@ uHz@ y EEH]UHH0}܉uHWHEEE;EuH HHЃ}x9E| H{UHcHHHHHHH@EH@EH UHHHUHcHHHHE-EHEHgt EHEH@0HEH}uHEHAEUHHPdH%(HE1HEHYHEHHUH)fH*U_fH*E^EEf/#vHHEfHnHMHǸ ^EfH~fHnH,HǸ 'wf/ǺwL cEf/w7N ^fH~fHnHѠHǸ|HEdH+%(tBUHHEHfHnHHHǸ2 "XfH~fHnHHǸ ^fH~fHnHxHǸ-HHj]UH}}x$}HUHcHHfu H$HUHcHHHHH]UH}}x$}HRUHcHHfu H7$H.UHcHHHH\H]UHH}}tHWHHАUHH0fEfEfEH4P H)⏈P HHH9uH#HtHH$H 5EX!HH8P HH8P  HHPHyHRHPnf+HH8H9EH1EHH)‹EHH HEHH5HHHu;t <u&H 8HHH!H&H@ >HHXHWfEf}fEf}tf}ufEf}u]HA@ uH,H8@ t/ t%6uHHH7H9~fEcf}tpt<tfES$ \HqHtHe@ HaHJHHf}t! µXf} vXbZ R^f/vsH, e\H,HH1HEHDFH9EtBHEH.FHHfH*f/vG HeHNHPH+HH9~HHyH2P H'P EHP H ⇈P +fH@ uuH@ `WNI҃HHcH7 HZP HOP `HH<uBHHHP HP EfEHSHUHHHHHHH@EH@EHP HvP HiP H^⿈P ~GfH2@  twHHEڃ9uOHH҃HHcH HP H`P HH8UڈPHHP8EHwUHHHUHcHHHHEbHAHP8HEHBUHEH$Eـ}#fuHP HP HHHHH8HHUڈPHUHP HP HE@ ~'HE@ H B ȈB[EHUHcHHHHH@HHHP HHMHcHHHH H@HtHP HP E|9EQHHUHPHU׈P H|U؈P HnUPHaUfPHRUوP HD@ =fuHEtHP HP HP HP fu=HEt.EfEEfE &>XqfEfEQVtHKH/H9gH\@ yjHMP0HH EH$P HP HHHHH8HZHH@HEH@ EH@ EH@fEH@EEډNHH@fEHx@ EHE@,w"HHHHHH,HHH$P0H*PkHP0HPUHP0HP?HH@0HPHH@0H@Eډ*;H{HHpHH8H}tLEHHHHHE@ HHEHHHHEHHE8Er }v }tEوEH!E B ȈBHEH@0HEH}H@  H@ @H@ tQ_HHQE҃HHcH3 HVP HK⟈P )}t#H6P H+⿈P E܃fEڐEڃfEEf;E&H@  tOHH҃HHcH HP H߈P }H}@ 6HH(HHHH0H8H%HP HH8@  HʀP HHH҉P0HHH@ vfEfEVH@ tBF=6HH(HJP H?P H2@ tBHHHP HP }t2H@ H@ suAvHmHPHJH9[Hb@ tIHM@ u4H8P H-P fEfEusui^Au`HHHHH8HHHBHHHH|HH8HtrH|@ t]H?HH4HUH8HJH+HՎHHHHHH8HH@ fuqHH@HtatDHH@@҃tm҃!H}H@P}tb;uQt# t6<u+J@$$tH!@ t$@HHrUHH0HLdH%(HE1HHassertioHn violatH0Hx@ed HH諵H=v(HHHJHHEHHHHHHHHҐHEdH+%(tFUHH }uUMLE}xE;E}HMUEIȉщHrHEUHff/v@ \fH~f(fHnH6HǸ蹴 HfHnH7HǸ藴HfHnH-HǸwff/v4 MUXfH~fHnHHǸ32 !XfH~fHnHHǸHfHnHHǸ߳ff.z ff.t HfHnHҋHǸ裳HfHnHȋHǸ胳]UHH@fEfEؾdzHHH̋HǸ9uHHJtHH觲HϋH蘲HH色HHǸղCtHH[HHJHHǸ薲t3Bt H܋H֋HHЋHǸ[HЋHHҋHǸ6tHȋH輱HЋH諱HHHǸHHHHǸʱHHk f(\ʋHHHx fH*HHH fH*XYEHHHHHH)HHx fH*HHH fH*XEHHfH*YEЋHHcH HHx fH*HHH fH*f(XȋHHcH(HHx fH*HHH fH*XXEE\E\E M\\\EEff/Ev fEHH药E ^fH~fHnHHǸ辯HHOE ^fH~fHnHHǸ耯E\EEEff/vNEf/Ev6MyY^EfH~fHnH̉HǸ" fH‰H襮Eff/vpEf/Evdf(\E^ \fH~fHnHtHǸ蟮HHǸ膮E ^fH~fHnHlHǸOE\EEHE <^fH~HfHnHTHǸE\EE E\f/v; E\ ԝ^fH~fHnHHǸ袭Jf/v28 ^fH~fHnHHǸ^ ^^fH~fHnHHǸ, ru tuo UHH}HˆHxSUHH}uEEEE}lHEHHEEHEHHEH 3EEE3EEHEE Em}}t}}}tOHEHHEEE1EHEH1EE EUHEHHEEE 1EEEHEEE 1EEEE1EEEE1EEEE1EEEEH]UHH}ȉuHEHEHEEčPHHHEUĉƒ)¸)HHEH}H}HEEHcHEHHEH}HEHHHHyHHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHHHHEH|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#EHuHE؃HwHH#EH]HEHH[HEHHEH]UHHH}uH UHEHы?HHH!HHrHUHSHЋЉ.HoHHHH@E H0UHcHH-EH(HPEHH9}ːH]UHHHueHHHHЋ]UHHHHH"HH]UHHH}H}t~HEHHHEH@Hr?HHH!HH%HHHHHEHH%HpHHHEHUH HHǸfHHHdHT%H2HHHHHHHHHzHHHHH9rHDH$GHHH$H$HHH3]UH}uUE/Et uE3EEmEy eE1Ee}uˋE]UHH}uEE@EUЃt)EHHH| UEΉYEE}~EUHSHhdH%(HE1EEEEE'ТUEЋEЋE‰EЋUEЋEЋE‰EԋUEЋEЋE‰E؋UEЋEЋE‰E܋UEЋEЋE‰EE E耣 v1؃EEeEYEHHHH EHHH1UZUΉ HcH H E}~w9EukE"EHDЋU։E}t E}~}t1Et}UEHV}HǸ _E}HUH E}HHǸUHfH$HJ}HHEdH+%(tsH]UHHP}HudH%(HE1HhHHEHHHwHEHHHH謟ENEHHHEHHHHbH*HSH軟HHAHf EE;E|H&H莟H= H+HY|H HEHHHA9W HH~HH~H} q e HEHHHH*x4  5+qNHEHHHH -{HHȝuzHEHHHt3躟HHUHHHHHH%uHH HEHHHHHcHHHS㥛 HHHHiHH)Јf HEHHH H AzHHלupdHH+HyHlHH -HH!HyH5HEHHHHٝHH0HH,HyHHHUHHHHHH%v}lHEHH<-VmHEHI 葝HHUHHHHHH%HEHHHH؜Ẽ}t)}t#H:H HxH}u90}ujt HxHxH HHxHHϸ耛#HEHHHHP}HEHH<-HEH@HmHEHEHHH H 8xHHt~HEHHHH xHH跙tTHEHHH H wHH荙t*HEHHH H wHHcu3HEHHHuH wHHǸF HEHHHBH wHHǸHEHHHH藚f*oY|HEHHH t--t#H2H2HsHޕHH~ HHt-u#HH3HsH耕u t u ^ RHHƿFuHJHHHHH)HHH.H'H8HHHߚWHUdH+%(t9UHHH}HEHkH sHHǸ詓HEHHsHiHEHH}sHIHEH HsH)HEH4HsH HEHHsHHEHHsHɓHEH/HsH詓HEH!HsH艓HEH"HsHiHEHHsHIHEH%HsH)HEH8HsH HEHCHsHHEH tHHǸHEH'HtH訒HEH)HtH舒HEH+H tHhHEH!H0tHHHEHH2tH(HEHH&tHHEH%H tHHEH$H(tHȑHEH.H0tH訑HEH-H@tH舑HEH6HPtHhHEH2HhtHHHEH'HtH(HEH@HtHHEHAHtHHEH.HtHȐHEH3HtH訐HEHHuH舐HEH\HuHhHEH*H@uHHHEH=HPuH(HEH.HpuHHEHHuHHEH5HuHȏHEHHuH訏¶HEH uHHǸ觎HEH-HuHgHEH@HuHGHEH@HuH' UHH H}HEHEHEH}ulHuH+HuHHuH _HvHǸQH"vHH;vHӌHEHx fH*HHH fH*X XHEUHH H}H}u HEHtHEHHHEHOH;Es_HEH9HBHBH;HHHfH* XHHHHEHHEHHHHEH)HHUHEHHEUHHH}HWHEHQUHH H} HEH HHtCHHu HHHHHrHUHHtHǸQHEHH~ H薊HHHt ȝPHEHJtHHjHE}u$HIHH>H_H8HT1u'HcHH9u}u$HHHHH8HtyHH~mHתHH9~3<u HHHHH?HHHHHHPsHǸ#_HHH9rKtNHKUHH@}HuЉU؉MEH3UHcHHHUHcHHHHEH}HEH@HHEH@HrHH蜉t#HEH@H rHH艈u zElEHHHHEHЋ@9E|MEHHHHEHЋ@ 9E2EHHHHEHHUHH+rHǸ蜈 EEvEv#E܉HWHHqHǸcẺHqHǸJHEH@tAHEH@H蘖HEH}tHEHJWHHqHǸ;EHHHHEHHtHdqHǸ輇 EHEH@0HEH}"EUHH0H}uUHMLEEEHHH2u>HHt2EHHHHH׺HH|EHHHدt>rJwBEHHHHHHrpHǸ輆AHvpHK0EHHHUHHH\pHǸzEEHcHEHEHHHqHUHcHHft9EHHHEHUHcHHHHEHu*EHHHEHMUHuЉ EEEE;EEEPE+EHoHǸ荅UHHpdH%(HE1ίE}oHEHToHHǸ脆HEHHHMEHΉԄH.HEHHH9Eu#E H nHΉ蔄H H [HUHHH)HHHEHEH@HHE@ HEH@p$HE@HUHEAH5YHǸ褅HEH(HEHUHMEHΉH9Et'HCnHǃEMHEHnH9EE"HEdH+%(t踃UHSHHH@HupH HCHAHHZHHCHH@HHPH HH@fPTKxHH@@HHH9sYHHpHZH-HCHYH@HNHPHH<H@fPڷѷHH@HH\HfHKHH@H HHH]UHH̿HHH@HHHHHHH9tHHalHHtH@HuHHHlHHQH@HF]UHH }HAHEHHߪMHcHH@fHHHʪEHHЉʈH߾@H+ЉEHUHcHHmEHHH9rH@HHHHHyHHkH@H5HMHHH薁HGHHHHE!HߩH pEHH)H EHƩUHcHHHHH@HHHP9E~HyHzMHcHHHHHZUHcHHHHHЋUxHfpHK@EH<H@ HuHdH)jHHH@ HHϨUHcHHHHHH;EPUUHH խEHǭHEHHmMHcHH@fHHHXEHHЉʈHe@HHHHHEHH7H@H5HMHHHbHHH]HHSHLf Hֻ@EHǻ@U)‰UHqEHHEE;E|HH@ HuHHhHHpH@ HeUHH }}~HHdhHЋEHHHHHtSEHHHHHEEHHHHH@UHcH HH&HEEHHH}HUHEHHHiHHEHPEHH HIHEHHEHUHH H}uEHHHHHuHeHagHЋEHHHHHEEHHHHH@UHcH HHHEHUHEHHHHHEHPEHH HiHEHUHSH(}܉uEHEE؍Pq9tgE܉cELt9H:HHHHҤMHcHHf9HGHUHcHH)ʉU}HH@HuYH(uHCVHHHZHVHCHzH@HoHP HUH@HJH UHcHHH0fPHEHHHfPHUfHUfPEHcHMHcHHHH ߨHHH@HHzHoUHcHHHHEHH9MHcHHHH oHH¾HzHH EHHH)HvHoEHˢEHHEE;E|HEfH]UHSH(}EHHHHH)ʉUHE} HuH@HuYHe(,HC HHHHZH HCH1H@H&HP ԭ˭H H@HHʡUHcHHHfPHEHHHǵfPHUfEHcHvMHcHHHH HHH@HHxH<UHcHHHHHH $EHHH)HH}EH٠EHHEE;E| EHHMHcHHHH HH¾HwH fɥH]UHE6H`UHcHHHHHtEs9E|]UHHEqHUHcHHHH1HHEHE@HHHHHE@Hu)Eڤ9E|tUHHEEHǨH@HE1{vHHHaHH7HvHPHiHbHE&EHH,H-HUHPUHH }EEEHcHnH9lEtE¸)EHNHEHCEHHH4H%EHH)HEHcHEHuEHH HEHEUHH0H}؉uHEHEHHEEEԍPHE}EHEHPHUHEH EPUHH)HcHEHEHPHUHEH DEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH ȜEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH LEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH ЛEPUHH)HcHEEPU9EE+EE}EHH]HH]HHEHPHUHEH JEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH ΚEPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH REPUHH)HcHEHEHPHUHEH EPUHH)HcHEHEHPHUHEH ֙EPUHH)HcHEHĥHEH)ЉEEEԋEԃPHEeE+EE}EHH'[HHHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHTHiZHEHHHEsE4HEHHuHEHPHUHUEHEE;E|EHEHPHUE}~EHHHEH]HUH)‰UHHHH,H|]UH]UHHPH}uHEEHHEUHEHE܋"t?HE~&EEHHPHEHE}~EUHEHHϠHHHHHEH}u/E܉HEHHHHHEHvU)Hc‹hHcHUH4HUHJOHcHHH&nEă}E$HEH҃t҃!ϛt9tlE IA]X5HEHmtPHEH ʈ6 HHEHHU)ЉE՚t+ẺE̸+EЉEЃEEкЉEHEHPEH#EЅuU}u#E &\XHEHPEH‹EЉ HEHPEHЉʈ}HEH9HE@ ҃t҃ HEPԙt^HE@҃t҃!Ѕt!HHH9~;1bt@HE@J҃t-҃!Ѕ HE@HEHtmHE@ژ҃t҃!Ѕt0HHH9~<@6}ySE܉cHEHEHUHH}uHHHHHHEH HEHUHHEHE^HEHHuE܉HUHHEHHE4 YXHEHEHEHHE:HHEP tnЉHEZDHH6E!HHU)ЉEt+EԉEԸ+E؉E؋EغEԃHEHȈHHEHPEHcHEHHHEHHht4tbЉ HQPHEPHEHTUHH}uUEE}uHEHHE‹EЉEHEHHEH ‹E1ЉEE3EEHEE Em}}t}}}tTHEHHE‹EЉEE1EHEH1EE EZHEHHE‹EЉEE 1EEEHEEE 1EEEE1EEEE1EEEE1EEEEHH}]UHH}ȉuĉUHEHEEčPHHHEUĉƒ)¸)HHEH}H}HEEHcHEHHEH}HEHHPHHsPHHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEHPHUHEEHHE͗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]UHSHH(H!hHH HHXPHjjjL JA H HHȞHHXHHjjjL (LAH HHHEHjjjL KACH HUHB0H@HHXHjjjL KAH HHHHX0HjjjL lKAH HHHEHjjjL .KAvH HUHB0HEH@0HEHjjjL JA.H HUHB0H+HHXHjjjL JAH HHHHXHjjjL dJAH HHHHX8HjjjL dHAZH HH\HHX HjjjL IAH HHHHX(HjjjL IAH HHқHHX@HjjjL TIA H HHHHXXHjjjL IA FH HHHHHX`Hjh jL HA H HHHXsHHHHHjjjL HA 'H HHHEHjjjL (HA 'cH HUHB0H`HHHXHjjjL GA'H HHHEH]UHH0}uUMDELMп8kHEE&HEf}uHEHEfHEUP EHEfPE HEfPHEHUHPHEUP$HEUP(HEU܉P,HEUHH H}8HEHEHEfHEP HEP HEPHEfPHEPHEfPE=HEUHcLPHEUHcfLPHUEHLHUEHLE}~HEH@HZHH-HUHBHEHPHEH@HHqZHEP$HEP$HEP(HEP(HEP,HEP,HEUHHHxLpLhdH%(HE12HHHHHHEHǸ?ZDžzHėHcHHHHcHHHH3HxHHH@0HHuÃ;tDžpHHcHHHHcHHHHHt HH@0HHHH@ tnHHcHHHH@ HHHHHt9HmHcHHHH@ HHHHH@0Hu"HH@0HHdHRHH1HHcHHHH@ HHHHHHH@0HuVHH7HHB0HH@0HHp HHHH@0HHHHHB0HH@0HHp HHHH@0Hui`HH@0HH;~!WHHHHHHBHǸVDžzH=HcHHHHcHHHH3HxHHH@0HHuÃ;t;DžHHcHHHHcHHHHHgHcHHHHcHHHH@0HdH-HcHHHHcHHHH@0HH@ HHHxHЋHcH HxHfHHcHHHH@ HHHHHHHcHHHH@ HHHHHHHFHcHHHHcHHHHH@ HcHpHHp HHx HH@0HHHcHHHH@ HHHHHHHcHHHH@ HHHHHHHB0HH@0HH@ HcHpHHp HH HH@0HH;цHHH|HHHO>HǸRDžzHcHcHHHHcHHHH3HxH(HH@0HHuÃ;ta DžHÏHcHHHHcHHHHHHH@0HHH@H 8;HH*Qu\HHHHHHt/HHHHH@ HH;HHHHHzHH4H<:tHHPHHHHuHH<HǸPHHHEyt[gt@]tuSH;HOaHHH;HǸPAH;HO0H;HOHHH;HǸOHx;HkOHHHr;HǸOH;HǸOHHHMxtr~tWttujH>;HNHHHxHHH;HǸOUH;HNDH;HN3HHHxHHH:HǸNDžHcHpH;|HpHxI,nHp:HMZDž9HHHvHHcHHHHcHHHHH@ 9HH@H8HHMHHH7wHHH9HǸ\MHHHxHHz9HǸ&MH9HL8[HH@0HH$DžHtHcHHHHcHHHH:HH@H9HHLuHH@0HHu~mHHH vHHH8HǸ.LH8HǸ LH8HKZ;t4LhHpHxMI~@HHHAtDžsHDžHDžHDžHDžHDžHHcHHHHcHHHHHHHHHH;tKHH@0HHH@0HHHHHHHDžHHHH@0HHH@H6HHJuHHHH@08HHHP0HuHHHHHHHZHtHtHHHP06Ht,HuHHHHHP0Ht*Ht HHHP0HHHHcHHHHcHHHH;{{|E|HHHVrHHH?5HǸ{HDžzHHcHHHHcHHHH3HxHHH@0HHuÃ;tHEdH+%(tGUHH}uUMEHHHHHE@ HH0EHHH^HEHHEHHH;HHE@ HH ΉEHHHHHE@ HH0EHHHڐHEHHEHHHHHE@ HH ΉEHHH͐HHE@ HH0EHHHHEHHEHHHHHE@ HH ΉHEH EHHHrHUHcHHЉf]UHH0}uUHMLEЋE;EAHUHcHHHUHcHHHH}EHcHEHEHcHEHUyttH*UHcHHHUHcHHHHE@.ytHUMEΉHMHUuEHEH@0HEH}uHUHcHHHUHcHHHHE+HEP H}HM؋uEIHEH@0HEH}uUHH@}uUHMLELMȋE;E}HUHcHHHUHcHHHHEHcHEHEHcHEHQEHcHEHEHcHEHEHcHEHȃwkwEHHHEHЋEH0HǸCEHcHEHEHcHEHȃHUHcHHHUHcHHHHERHE@$HH HxHEHHEP LEH}HM؋uEMIIHEH@0HEH}uEHcHEHEHcHEHȃUHH@}uUHMLELMLEH}HM؋UuEMIE&EHcHEHEHcHEHȃEE;E|ҐUHH0}uHUHMH}HEH HEP(EH/HǸ BHE@HE@$H /HǸAHE@ftHE@H.HǸA]@EHHHEHDHEt H=.H=.EHHHCHEHHt H5{.H5xEHHH<HEHHt H F.H AEHHHŊHEHHt H.H HEu!HE t H-HH-APLAPIIHH-HǸs@HENHEHPEHH< uH&HǸ;@HEHPEHHl?EHEHPEHHusHE@ft|H3-HǸ?EOHEUHcDPft7HUEHDHEMHcDHH,HǸ~?E}~]> >H9iH@UHH }uHUH}HEP EH{,HǸ?HEtHr,HǸ>^HE tH[,HǸ>9HEtHD,HǸ>H;,HǸ>H3,HǸx>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[[#[K[[\Q\\ ]5]used: 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 stutterkkk-kCkYkokk- 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 Interruptedyyyyyyyypan: 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: -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 ,RDúR|RԂ9RR|ɃR`-RÉR9-RRRRRRR8S؁RREQR݅yRUIR%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 wordsizef(n0jD5&ݯίDOa = ((a+1)%3)IFb = (2*a)(1)b = (b-1)break-end-(np_)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:local vars proc %d (loop): byte a: %d byte b: %d _unnamed_{Gz??N@0A?C @Y@<@;Lh`hY`jb(Hh<( Hh0-!"s"' .,9P":p<<=\>Q@B4$DT`Et FiFFFWY\Z4ZT@\tbbdVii 6j8 djX jx +k /l l l 3o i|< X قx ΃  1 8 8 9\ ͍| = - dD d f . ښ  à$ D d  H (Hhmt(UHhsM(VHvhzRx  &D$4x `FJ w?;*3$"\AC B | AC E zAC  DAC ? 2 AC [ 2AC S *AC T <#AC P \AC P | 9AC t &AC  'AC b  AC  AC  {EAC  8AC E \}AC  |3pAC k  ,AC E" ! AC   u( AC E W3sAC n $3AC  DH6AC X dE6AC  6AC  d7AC   99AC E ;0AC + <<AC 7 (=AC  Hm>`AC [ h>`AC [ >'AC b >gAC b ;QAC   RWAC R WRAC  (SAC  H2Z,AC g h>ZAC  [AC  Z`ZAC U  `AC E| `.AC i  a3AC n ,aAC  LaAC  lobPAC K biAC d  bKAC EA e6 AC 1 %rAC  wAC  ,YxAC  L.y$AC _ l2yAC   "{/AC * 1}AC  AC   OAC EE ՁAC  0IpAC k PiAC d pAC  ĆAC   ~AC E  7AC E- YAC T  QAC  8 ڌAC  X AC  x AC   )AC d  AC G  0AC +  AC   2xAC s  8 2AC E( \ AC  | AC    AC   AC   fiAC d  AC   zAC u < ݾAC  \ .AC ) | 1AC l  AC E  !AC   WAC R  AC   uAC  < AC  \ XAC  | AC   ]<AC w  yAC Q  oAC    AC [  AC I p# #) ==o   ?x  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(DcV{.lIs{+.XTTIݩS PI+ UK|-T3Js9PT>kG kPS^ThTr{`m@kz? p^ADU<`pJIT M2V"{3,+?(7FxSJURSYHpdkm}irSzwjSkpS#3pKjdW'STIC `^ @A-m<:JFYibR^l `vP/yPSn IYWHAIU^ uJ8TI( K/90T< T?]hSHV^OJU+9e+up8^jhI`I J0jpIT]iSUT^h@m  &I"&. 9jDL`J T.^3,iJrXI}XS6,"/M7`TJjT0S6 ȣ\-SXSNT O}P `A TƢ j S p) f- U3 ^7 tT? $J +\ jb \~Ki J p  T  ױ AH^ lT   Xg (^@O S pT  vzZ  hA - W^5 XT< )W`A jL iT hT] Nh W`m   m@ S^  J N  Q^ S z |T S I U 62% !. 17  /E@ G SSUM NX 0` Ue |kWp  p y @p u "_ #  I tI U  T J Tpan.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.5nShadowstrncmp@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_tabPROBEHASH_NRaddproconlyprochcmpdfs_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_masksspin_mutex_destroyq_condefdTstOnlytruncsdo_hashgenmapstateppownstatesspin_assertmreachedsrand@GLIBC_2.2.5memcmp@GLIBC_2.2.5wrap_statstrptfind_sourcetrailfilenameloopstate0Q_o_tmpselect_claimreversingupto__data_startstrcmp@GLIBC_2.2.5active_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 XB x  `""$  !  Lpp< =-=-=-?/(?/@@A@1x J:`X 0:6:P @Z Xf