ELF4@W4 (444444ÌRÌRÌRÌâÌâØÔèXàRàâàâÐÐHHH PåtdTRTÒTÒQåtd/lib/ld-linux.so.2GNU SØz#Ïsï¬I=ëÉagl«`#a?LÀäÁÄäÐè÷ï{9yº±Z6:ÝÌ4Èäâ6èôÂÈ^Öeè $ E0libm.so.6sqrt_Jv_RegisterClasses__gmon_start__libc.so.6putcharstrcpystdoutungetctimesfscanfputsmallocfflushfprintfstdinsignal_IO_getcsscanfgettimeofday__assert_failfclosestderrsrandomfputcfwriteexitfopen_IO_stdin_used__libc_start_mainGLIBC_2.0GLIBC_2.1 ii 3ii ii °ãÀä Ää ÈäÀãÄãÈãÌãÐãÔãØãÜãàã äã èãìãðãôãøãüãäää äääää äUåìèÑè,èÏ;ÉÃÿ5¸ãÿ%¼ãÿ%Àãhéàÿÿÿÿ%ÄãhéÐÿÿÿÿ%ÈãhéÀÿÿÿÿ%Ìãhé°ÿÿÿÿ%Ðãh é ÿÿÿÿ%Ôãh(éÿÿÿÿ%Øãh0éÿÿÿÿ%Üãh8épÿÿÿÿ%àãh@é`ÿÿÿÿ%äãhHéPÿÿÿÿ%èãhPé@ÿÿÿÿ%ìãhXé0ÿÿÿÿ%ðãh`é ÿÿÿÿ%ôãhhéÿÿÿÿ%øãhpéÿÿÿÿ%üãhxéðþÿÿÿ%ähéàþÿÿÿ%ähéÐþÿÿÿ%ähéÀþÿÿÿ% ähé°þÿÿÿ%äh é þÿÿÿ%äh¨éþÿÿÿ%äh°éþÿÿÿ%äh¸épþÿÿÿ% ähÀé`þÿÿ1í^áäðPTRhlÂh$ÂQVh4èÿÿÿôUåSè[Ã[Püÿÿÿ
ÀtÿÐ]üÉÃUåì=Ìäu)¡0ä
ÒtöÀ£0äÿÒ¡0ä
ÒuëÆÌäÉÃöUåì¡Üâ
Àt¸
Àtì hÜâÿÐÄvÉÃUåWVSìäðìhHîhîu] è¬þÿÿ¡îàÁàî£NËXZSVè÷Xÿ5NËè¯þÿÿ_XSVè" è!è¬è;[^h¤jèYýÿÿÇPîè2ÝØ PîÄ
Éu¡`ä9é}¡èä;Lä|!è×1Ýhîè|¡àäeô[^_ÉÃvìÿ5é@h é£èäèè¦ìäÄ
ÒÇè¡£Çì¡£
Ρää9èÂ5ì¡£Tä9Ó è¡£¡Pä| g9Áscvèß衣졣¡8äìÿ
ä$è"èå¡ääÄ9èÂ5~!ì¡£Tä9Ó è¡£¡Pä|¦9Ár è÷¡Pî
À
öþÿÿ¡`ä9éåþÿÿ¡èä;LäôþÿÿéÏþÿÿì ÿ5èäèEèXäUìEè÷ã}ì¯ûÑ5\ä]èù¯ÞEà]äEàUä£PäTäÄéÚþÿÿvUåWVSì EÇEì9Eì}gUìE ¹üÞ¿øÂó¦Ú¿þ¹üÞó¦u EH9Eì¿Ã¹üÞó¦
«ÇåÿEìU9Uì|Tä\ä`ä¡Päúÿ£Xätl¡Lä9Â~£`ä=<äÿt)=Däÿteô[^_Éá8äèøÀ¶À£Däëà¡8äøt |èøw Ç<ä2ë·Ç<äë«¡Läë¿ Ã¹üÞó¦uÇàäé@ÿÿÿ¿Ã¹üÞó¦¿Ã¹üÞó¦uÇ8äéÿÿÿ¿!ù üÞó¦uÇ8äÇðäéáþÿÿ¿*ù üÞó¦u Ç8äëÔ¿4ù üÞó¦u Ç8äë·¿>ùüÞó¦u Ç8äë¿IùüÞó¦uÇ8äéjþÿÿ¿OùüÞó¦a;-u{wu{pu {ì¿VùüÞó¦u EH9Eì¿\ù üÞó¦uEè9Eì¿eù üÞó¦uÇééÜýÿÿ¿nùüÞó¦uÇìäé¼ýÿÿ¿uùüÞó¦t¿|ù Þó¦u hLäöÿEìÿuìÿu ÿuèÇÄé{ýÿÿ¿
ùüÞó¦z¿Ã¹üÞó¦[¿Ã¹üÞó¦<¿Ã¹üÞ󦿡ùüÞó¦t¿¦Ã¹üÞó¦uÇôäÇåéìüÿÿ¿«Ã¹üÞó¦u&=`äÿÇøä
ÄüÿÿÇ`äéµüÿÿ¿³Ã¹üÞó¦uÇüäéüÿÿ¿¸Ã¹üÞó¦tU¿ÀùüÞó¦t:¿ÇùüÞó¦
håÿEìÿuìÿu ÿuèÇ åé¶þÿÿhåéþÿÿh`äéþÿÿh ÌrÿEìÿuìÿu ÿuèSÇ8äé}þÿÿhhäébþÿÿhdäéXþÿÿhääéNþÿÿöQh êÿEìhÏÃUìE ÿ4èô÷ÿÿÄ h ìÿEìhÏÃUìE ÿ4èÖ÷ÿÿÄ h&ÂÿEìhÉÆUìE ÿ4è¸÷ÿÿÇ îÇLäéìýÿÿSh éÿEìhÏÃUìE ÿ4è÷ÿÿéËýÿÿhDäÿEìÿuìÿu ÿuè|EHÄ9Eì(ûÿÿEðVPhÊÆUìE ÿtè?÷ÿÿÄH
ûÿÿEð£HäÿEìéõúÿÿh<äÿEìÿuìÿu ÿuè"EHÄ9EìÎúÿÿEðWPhÊÆUìE ÿtèåöÿÿÄH
«úÿÿEð£@äë¤hPäÿEìÿuìÿu ÿuèéýÿÿÿEììUìE ÿ4h åèëöÿÿéãüÿÿöhNËéÆüÿÿÿ5ÄäjjhÓÃè¦öÿÿÿ5Ääjjh¼ÇèöÿÿÄ ÿ5Ääj-jhÜÇè{öÿÿÿ5Ääj5jh ÈègöÿÿÄ ÿ5Ääj6jhDÈèPöÿÿÿ5Ääj9jh|Èè<öÿÿÄ ÿ5Ääj5jh¸Èè%öÿÿÿ5Ääj8jhðÈèöÿÿÄ ÿ5Ääj jhèÃèúõÿÿÿ5Ääj+jh,ÉèæõÿÿÄ ÿ5Ääj+jhXÉèÏõÿÿÿ5ÄäjjhõÃè»õÿÿÄ ÿ5ÄäjFjhÉè¤õÿÿÿ5Ääj jh ÄèõÿÿÄ ÿ5Ääj;jhÌÉèyõÿÿÿ5Ääj,jhÊèeõÿÿÄ ÿ5Ääj3jh8ÊèNõÿÿÿ5Ääj0jhlÊè:õÿÿÄ ÿ5ÄäjBjh Êè#õÿÿÿ5Ääj*jhäÊèõÿÿÄ ÿ5Ääj&jhËèøôÿÿÿ5Ääj"jh8ËèäôÿÿÄ ÿ5Ääj*jh\ËèÍôÿÿÿ5Ääj/jhËè¹ôÿÿÄ ÿ5Ääj2jh¸Ëè¢ôÿÿÇ$ÿÿÿÿèVôÿÿöUåWVSìu} hÄèóÿÿ1ÛÇ$$ÄèÝóÿÿÄ9óÖì j èHóÿÿ_Xÿ5NËh3Äè¶óÿÿÄ ÿ5Täÿ5Päh>Äèóÿÿ[^ÿ5LähLÄèóÿÿÇ$XÄèóÿÿ¡8äÄøtfìÿ4
lähÐÃè^óÿÿ¡<äÄ
À~Qÿ5@äPheÄè@óÿÿÄ¡Dä
À~Rÿ5HäPhuÄè"óÿÿÄÇE eô[^_Ééòÿÿìÿ5 ÌrhÄëìÿ4hÏÃCèëòÿÿÄ9ó|èé ÿÿÿvUåìÿ5GTÿ5¨îÿ5&ÂhìËèºòÿÿÇ$ÄèNòÿÿÇ$ÌèBòÿÿÇ$Ìè6òÿÿÇ$ôÌè*òÿÿÇ$`ÍèòÿÿXÿ5ÀäèÒñÿÿÉÃUåì¡ î
ÀÇ`îÇdîÇ$Ìru7¡&Âì¯däPhÄ£äÂ5è$òÿÿÇGTÇGTÉÃöì h êèÇ$ ìèÇÄë«öUåì1À1Ò èÂ5£&£@î£î @s#&ÂDîî1ÀvÇ
ÀP@ød~ï¡äÂ5
ÀuùdÈ~¸dÿ
ÀP¡üä
Àu¡å
ÀuÉÃÉé (ì ÿ5@s#è+ÄëÜöU¡åå
ÀVStRP5ì¡£Vè¡£Sè)ÑÄ Áteø[^ÉÃì VSÿ5èÂ5ÿ5@s#hÌÍèñÿÿ åÄ
Òuì ÿ5ÀäèJðÿÿÄë¾èØ&ëæöUåWVSì ¡è¡£éì¡£Ý&ÂÙîÙÉé`îÝáßàÝÙdîÿ$ÌröÄE
éÝ@îØñÝîØòÙÉÝ &ÂØÈØéÙÉÝ&ÂÙèÙÊÝâßàÙÉöÄEÝP÷,
ØÉÙÉÞâÞñÝP÷, ÝP÷, ÙÀÙúÝàßàäEü@
cÝÙÝ &ÂÙÀØòݰr ÝÈéØÁÝÈé¡èÂ5ÝÐéääØÂÙÊÿØé9ÐÝûòÙÊÝÐéëÜàéÙÉÜèéÙÉÿðéÝàéÝèé9Ð5é¶Áà÷=èäPÿ5ì¡£ÿ5è¡£ÿ5´r ÿ5°r ÿ5ûòÿ5ûòÿ5¤&Âÿ5 &Âÿ5èÂ5ÿ5@s#hðÍèSïÿÿ¡éÄ0
À~OìRPÿ5éÿ5éè,&ÄRPh´Äè!ïÿÿÄ ÿ5 ûòÿ5ûòh¹ÄèïÿÿÄ=é@ì j ènîÿÿ¡åÄ
À
=èÂ5
ÿ~ 5üä
öu^å
Ût( ôä
Ét ¡èÂ5;ää|ì ÿ5@s#èï#Ä¡èÂ5
Àu è"
À
<ì ÿ5ÀäèÔíÿÿeô[^_ÉÃì ÿ5@s#è¦Äëì hÁÄèKîÿÿ¡PRÄ
À¾duöNµÀP
Àtô1Û9ó~*þdtì j èíÿÿÄé1ÿÿÿì hÍÄèîÿÿÄëÜPSÿ4ÀPhÒÄCèèíÿÿº Ø×÷ÿÄ
Òt 9ó~Õë©vì hÚÄè¿íÿÿÄëåöPÿ54Ìrÿ50Ìrh¹Äè¡íÿÿÄé¡þÿÿÇàäèY$5é¡è¡£ì¡£ `î÷Fé¡ éédîȤéÚRPß,$ÄSQß,$ÄVÛ$ÙÉØÈÙÂÙÉܰéÙÉÄØòÙËþ5é£ é¤éݨéݰéÙÊÝûòùÙÊØñÙÀÙËØÈÞëÙÊWÞÉÚ4$ÙÉÝ&ÂÙÀÙúÝàßàÙÉäEÄü@ÝhvÔ
£ÝØVÛ$ÙÉÝ0ÌrÙÀÙúÝàßàäEÄü@ujÝÙÜ=0ÌrÝpvÔ$Ìr¡¸éVÐÛ$$Ú<$$ÝðÂ5Û$ØÈÜÀéÄ£¸éÝÀéÇ`îÇdîÇ$Ìré
üÿÿÝØìÝ$è2ìÿÿÄ5éëÝÙìÝ$èìÿÿÄ5ééDÿÿÿÝØÝØÝØéfÿÿÿÜøéÙÉÜêÙÉÿêÝøéÝêéüÿÿÝØìÝ$èÌëÿÿÄéûÿÿÝØÝØÝØécûÿÿÝØÇ &ÂǤ&ÂÇP÷, ÇT÷, ÇûòÇûòǰr Ç´r ¡èÂ5ääéûÿÿÿ5Ääj/jhÎèÂëÿÿÇ$ÿÿÿÿèvëÿÿöU¡èÂ5å;@s#VS} üä
Ò£@s#
§¡å
À
¡äÂ5ì¡£9Ó è¡£|p9Árj5èÂ5þdð~¸dÿ
ÀP¡häRPSQè#ÑÄ Áu9VÝ@îÚ$¯ö4$Ý@îÝîÚ$ÝîÙèÜ&ÂÄÝ&Âveø[^ÉÃè!éhÿÿÿöì Pè ÄéHÿÿÿvUåìÝhîß-éØùÙÉÝ$hçÄݨr èêÿÿÙ}þXß-éfEþ´ fEüÜ5hîÙmüÛ]øÙmþZEøPhHÎèééÿÿÄ=8ä©ìÿ5éhÅèÆéÿÿÙLÒÚ éXÚ5èäÝ$h!Åè¦éÿÿ éÄ 1À1Ò
ÉtÈì RQÿ5éÿ5éèx ÄRPhhÎèméÿÿ¡éÄ
À}QPß-éÚ4$ìÝ$hÎèBéÿÿß-éÚ5éZÜ ¨r Ý$hÀÎè"éÿÿÄ ÿ5 ûòÿ5ûòh:Åè éÿÿÄ=éuݨr ì Ü ûòÝ$hôÎèÝèÿÿÄ=éíPÿ5ôÂ5ÿ5ðÂ5hÏè¶èÿÿéÄúÄRÛ$ÝÀéÝðÂ5ÙÉØòÙÉØÈBÿÞé$ÞÉÚ4$ÙÀÙúÝàßàÙÉäEÄü@Ýûò
cÝØRÛ$ÙÉÝNËÙÀÙúÝàßàäEÄü@
)ÝÙPÿ5ûòÿ5ûòÜ=NËhXÅÝXîèèÿÿÄ ÿ5NËÿ5NËhiÅèýçÿÿÄ ÿ5\îÿ5Xîh8ÏèäçÿÿÄ¡Øé
À¼PÛ$ÝÈéØñÙÉ¡ðéÜ=ÐéÙÉÄݰî
ÀØñÙÉÝÈJ Ý@÷, [PÛ$ÝàéØñÙÉÜ=èéÙÉÝNËÄØñÙÉÝpîÝHs#¡ê
ÀóPÛ$ÝøéØñÙÉÜ=êÙÉÝ îÄØñÙÉÝîÝG? ì hÅè¿æÿÿÇ$¡Åè³æÿÿÄ ÿ5´îÿ5°îhXÏèúæÿÿÄ ÿ5ÌJ ÿ5ÈJ hÏèáæÿÿÄ ÿ5D÷, ÿ5@÷, h¸ÏèÈæÿÿÇ$ðÏè\æÿÿÄ ÿ5NËÿ5NËhÐè£æÿÿÄ ÿ5tîÿ5pîhDÐèæÿÿÄ ÿ5Ls#ÿ5Hs#htÐèqæÿÿÇ$¬ÐèæÿÿÄ ÿ5¤îÿ5 îhÔÐèLæÿÿÄ ÿ5îÿ5îhÑè3æÿÿÄ ÿ5 G? ÿ5G? h<ÑèæÿÿÄ¡ î
ÀuZ é
É~@ì h¿ÅèåÿÿÄ=øät= åuÉÃì h åèWÄëìöèëÚì hÐÅèWåÿÿëâì ÿ5ð¡£èÆåÿÿQÿ5&Âh NËh ûòè0ÄPhxÑèåÿÿXZh ìh ÑèqåÿÿÄé[ÿÿÿ1À1Ò£ î¤î£îî£G? G? éþÿÿö1À1Ò£NËNË£pîtî£Hs#Ls#éªýÿÿÝØìÝ$èåÿÿÄéÄüÿÿÝÙìÝ$èåÿÿÄééüÿÿöݨr ÝhvÔØÉÞÉì Ý$hXÅèÀäÿÿݨr XÜ 0ÌrÝ$hiÅè¦äÿÿݨr XÜ pvÔÝ$h8ÏèäÿÿÄé·ûÿÿPÿ5lvÔÿ5hvÔhXÅèmäÿÿÄ ÿ54Ìrÿ50ÌrhiÅèTäÿÿÄ ÿ5tvÔÿ5pvÔh8Ïè;äÿÿÄé:ûÿÿvß-GTß-éì ÞùÝ$håÅèäÿÿÄé1úÿÿöUåìMv
É~#¸Q9Ð}Ñà9Ð|ú9Ðt Ñø)ÁIëÝÑøÉÃPQhÆÿ5ÄäèãÿÿÇ$èäÿÿvUåì¡Pî
Àu ÇPîÉÃì jÿèßãÿÿvUåWVSì u]9ó} }PÿuhÊÆÿ4èÅãÿÿÄHt/9óP}"PhÆÿ5ÄäèâÿÿÇ$ÿÿÿÿèãÿÿöD·üëÛöeô[^_ÉÃUåWVSì u]9ó} }Pÿuh*Æÿ4èaãÿÿÄHt/9óP}"PhÆÿ5Ääè"âÿÿÇ$ÿÿÿÿè&ãÿÿöD·üëÛöeô[^_ÉÃUåWVSì u]9ó} }Qÿuh-Æÿ4èýâÿÿÄHt/9óR}"PhÆÿ5Ääè¾áÿÿÇ$ÿÿÿÿèÂâÿÿöD·üëÛöeô[^_ÉÃUåWVSº]1É9Ú}u ö9tAB9Ú~ò[^È_ÉÃvUåSì h¤Ã]SèâÿÿÄ
À£ð¡£t]üÉÃPSh1Æÿ5Ääè4áÿÿÇ$è8âÿÿUåWVSì}WhÄÑèÑáÿÿXZhsÃWè4âÿÿÄ
Àà &¸B9Ð}vÇ
NË@9Ð|ðuðPVhqÄSèCáÿÿÄHuQUð
Ò8î~8;&Â
Ò~ÔÇ NËëÇPWhLÆÿ5Ääè
àÿÿÇ$èáÿÿÐ÷Ø;&ÂëÂì haÆè¿àÿÿeô[^_ÉÃPWhfÆë¾öUåWVSì1ö¡¨î9Æ}ǵÀîF9Æ|ð¡&¾P9ÖÇèÂ5}'ǵÀ& úǵ@6 ǵàJ F9Ö|ÚMÒ¥} ¾@9Æ}ǵ ûòF9Æ|ðEÒ
·¡¨î1ö9ÆEà°ö1É<µvÔ9ùÇEèÇEä}5µ¢£ö1À
ÒÀ
Ò8î`Áâ; ûòA9ù|ÔµÀî
Ò
¡èÂ5µ@Ìr4
Àr 1É@9ú£èÂ5}&µ¢£v
À£8îÂ~^AÿàJ 9ù|æöF;uàRÿÿÿ î
Ûueô[^_ÉÃQÿ5&Âh NËh ûòèýÿÿÄ PhvÆÿ5ð¡££H÷, è¥ÞÿÿÄëÄ÷ÚëJt6Mè
É 8îÈ~#µ GTEä
À£8î~ µÃ5é{ÿÿÿ÷Øëð÷ØëÙMì
É 8îÈ~#ÿ
@6 Eì
À£8î~ µ GTéEÿÿÿ÷Øëð÷ØëÙÿµÀîUè
ÒEìuEèéÇþÿÿEä
À
¼þÿÿEìEäé±þÿÿö÷ÚéþÿÿìhsÃÿuèßÿÿÄ
ÀÃ1ö}ðvPWhqÄSè?ÞÿÿÄHubUðF
Ò8î~H;&Â
Òx Ç ûòëÆ÷ÚÇ ûòë·Qÿuh|Æÿ5ÄäèoÝÿÿÇ$èsÞÿÿÐ÷Ø;&Âë²
ötÐì Sè*ÞÿÿÄéýÿÿPÿuhfÆë½v¾@9ÆvýÿÿèqÝÿÿÂÁêâþ)е ûò¡&ÂF@9Æ|ÜMéHýÿÿUåWVSìEEð1ÿhÆè=ÝÿÿÄ;}ð})½ G? 1ö;4vÔ|*ì h£ÆGèÝÿÿÄ;}ð|ØÇE¥Æeô[^_ÉéùÜÿÿ좣ÿ4°h½ÆFè@ÝÿÿÄ;4vÔ|Üë°öUåM1Ò9Ê}Àr G? B9Ê|íÉÃvUåWVSì ì ÿ5ÈäèÝÿÿÄøcuì ÿ5ÈäèÝÿÿÄøÿtÔø uåëÍìÿ5ÈäPèñÛÿÿÄ h¨îh&ÂhÁÆèzÜÿÿÄø
=&ÂðIþ¡¨î= ¡Ý1ÿÇGT1ÛÇ`s#Cûà~ì1Û9Ã}}ÿóÇvÔÿÿÿÿn4¢£vÔ@=ôvÔ>ìEðPhÍÆèÝÛÿÿÄH
Eð
ÀtEðÆOÿGTÿ
,
ÀuªC;¨î|¡vÔ
À»1Û`s#9Ç|w4`RÇ`s#C)Çûà4~Õ1Û¡¨î9Ã}D1É; vÔ}44¢£
,
zAÿ
,; vÔ|Ø¡¨îC9Ã|¼eô[^_ÉÃì hzèëÚÿÿÿ5ÄäjjhÑÆÆ¿è°ÛÿÿÄ `s#éRÿÿÿÿ5Ääj:jhèÑèÛÿÿÇ$ÿÿÿÿèAÛÿÿÿ5ÄäjjhçÆëÞì h÷ÆèsÚÿÿëÔì hzètÚÿÿÿ5ÄäjjhÑÆÆ¿è9ÛÿÿÄ ébþÿÿÿ5ÄäjjhÇëÿ5Ääjjh)ÇézÿÿÿUåWVSì}ÿU¡è¡£ÑÀ& ûò
ÒMì~È÷ØEì¸ î)ÐU
É ûòt;; NË;ÿH÷, ¡&ÂRP5ì¡£Vè¡£Sè^ÑÄ Áê¸ðI+Eì
`s#ÇEð9UðUè<
`RÀîHÇ
ÀÀî
¡èÂ5
Àr @Ìr@£èÂ5M¡ðäÿ @6
Àt8vÔ
ÀE䢣~#ÁÃ
Ò8îÐÿ
àJ IuáÿEðUè9UðqÿÿÿMì¸`s#À' Eè¸`R¼À' Eè
À~3¡ðäUèEØUðö7µÀî@ÇøµÀît/øtÿMðuÝeô[^_ÉÃMµ GT µÃ5ÿ
@6 ëØöèÂ5J µ@ÌrÀr Àr Àr
@ÌrMEØÿ@6
ÀèÂ5t3µvÔ
ÀEäµ¢£~ÁÃ
Ò8îÐ~ÿ
àJ IuåUµ GTéSÿÿÿ÷Øëá÷ØéÚþÿÿHñ GTE9ÁMàtxÃ5M9ÈEÜ
·þÿÿvÔ1É9ÁE䢣þÿÿÃ
À£8îÆ~4
ÀÀ¶À;µ ûòtA;Mä|Ùépþÿÿ;uàtð;uÜtë4Ã5éZþÿÿö÷ÞëÈ vÔMä1É;M䢣8þÿÿÃ
À£8îÆ~8
ÀÀ¶À;µ ûòtA;Mä|Ùé þÿÿ;uàtð;4Ã5tç4 GTéòýÿÿö÷ÞëÄ GT;Et ÿ
@6 éÔýÿÿÃ59EtJ GTëßì ÿ5H÷, VShAÇÿ5ð¡£è(ÖÿÿÄ éóüÿÿÿ H÷, éÀüÿÿGTGTéåýÿÿhHÇhhQÇh[ÇèÖÿÿUåSSè.Öÿÿ÷=èÂ5Àr èÖÿÿ÷<vÔ¢£
Ò8îÐ~]üÉÃ÷Øë÷UåWVSììèãÕÿÿ÷=èÂ5Àr vÔ1ö1Û9Æøÿÿ
øÿÿ¿áõ}P¢£ øÿÿ øÿÿ
À£8î @6 9ùÀ¶ÀH!ƵøÿÿÏFC;øÿÿ|Á
ÿ~è`Õÿÿ÷=@ä;<ä|'þtèGÕÿÿ÷þøÿÿÄì[^_ÉÃ
øÿÿëíè%Õÿÿøÿÿ÷½øÿÿ¢£
Ò8îÐÅ÷ØëÁö÷ÚéeÿÿÿUåWVSìèæÔÿÿ÷=èÂ5Àr
vÔUØJÚ1Û;]ØÇEìÿÿÿÿ¿ úÇEà ú}W
¢£EÜvuÜ
À£8î àJ À&Â+ @6 ;Eì~EìUð9ùctU;MàHt8öC;]Ø|¶EèUð9ÐtÄ[^_ÉÃè?Ôÿÿ÷=@ä;<ä}EäëßEèëÚuä;µÀ&Â}¾öUäMàë´uè;µÀ&Â}Eè}àÏEäUèë÷Úébÿÿÿ
¢£
À£8îÂ~Ðë÷ÚëøUåWVSìèÂÓÿÿ÷=èÂ54Àr <µvÔÿ¨jjdÿ5ì¡£ÿ5è¡£èc ÑÄ Á]1Û9ûÇEìÿÿÿÿÇEà úÇEÜ ú}d4µ¢£uØuØ
À£8î àJ À&Â+ @6 ;Eì~EìUð;MàÚÄ;MܯC9û|§]èEð9Ãt eôØ[^_Éà <äuà @ä+uÜ9Ð}þØ 9Ð}LNt/èÂÒÿÿ@ä÷ûØÁèÑÑú¡<ä)ÐÑà]ä9Á|¤]èëèÒÿÿ÷=@ä¡<äÑà]ä9ÂëßN]äu±ézÿÿÿvuä;µÀ&ÂXÿÿÿUäMÜéMÿÿÿuè;µÀ&Â,ÿÿÿEèuàEäuÜUèMàé%ÿÿÿ÷ÚéÞþÿÿè Òÿÿ÷ÿµ¢£
Ò8îÐ~Ãéÿÿÿ÷Øëõµ¢£
À£8îÂ~Óéèþÿÿ÷ÚëõUåWVSìèÎÑÿÿ÷=èÂ5Àr <vÔÿ è«Ñÿÿ÷=Hä;Däß1ö9þÇEìÿÿÿÿÇEà úÇEÜ ú}V¢£]ØvUز
À£8î àJ À&Â+ @6 ;Eì~EìUð;MàbtT;MÜGt7F9þ|·EèUð9Ðt Ä[^_ÉÃèÑÿÿ÷=@ä;<ä}EäëßEèëÚ]ä;À&Â}¾öUäMÜë´]è;À&Â} Eè]àEä]ÜUèMàë÷Úé^ÿÿÿè´Ðÿÿ÷ÿ¢£
Ò8îÐ{ÿÿÿ÷Øétÿÿÿ¢£
À£8îÂ~ÐéYÿÿÿ÷ÚëõUåWVSìèbÐÿÿ÷=èÂ5Àr <vÔÿ è?Ðÿÿ÷=Hä;Dä_1ö9þÇEìÿÿÿÿÇEà úÇEÜ ú}f¢£]ØvUز
À£8î àJ À&Â+ @6 ;Eì~EìUð;MàÚÄ;MܯF9þ|§]èEð9ÃtÄØ[^_Éà <äuà @ä+uÜ9Ð}þØ 9Ð}LNt/èiÏÿÿ@ä÷ûØÁèÑÑú¡<ä)ÐÑà]ä9Á|¤]èëè:Ïÿÿ÷=@ä¡<äÑà]ä9ÂëßN]äu±ézÿÿÿö]ä;À&ÂXÿÿÿUäMÜéMÿÿÿ]è;À&Â,ÿÿÿEè]àEä]ÜUèMàé%ÿÿÿ÷ÚéÞþÿÿèÈÎÿÿ÷ÿ¢£
Ò8îÐ~Ãéÿÿÿ÷Øëõ¢£
À£8îÂ~Óééþÿÿ÷ÚëõUåWVSìÜèsÎÿÿ÷=èÂ5Àr vÔ1É9ÁDðÿÿ
@ðÿÿ}1¢£
À£8î,Áà@6 øÿÿA;@ðÿÿ|ס<ä
ÀÇ
<ðÿÿÇ
8ðÿÿáõÇ
4ðÿÿ~ èïÍÿÿ÷=@ä;<ä} Ç
4ðÿÿö1É;@ðÿÿÙ= Ìr¡è¡£ì¡£½0ðÿÿ
(ðÿÿ,ðÿÿvøÿÿ
Û
8ðÿÿ
À~Ç
8ðÿÿÇ
<ðÿÿ<ðÿÿHðÿÿB<ðÿÿA;@ðÿÿ|¶µ<ðÿÿ
öt_½<ðÿÿt>è>Íÿÿ÷½<ðÿÿµDðÿÿHðÿÿµ¢£
Ò8îÐ~ÄÜ[^_ÉÃ÷ØëñDðÿÿ¢£
Hðÿÿë͸ÿÿÿÿëÒö
0ðÿÿ$ðÿÿDðÿÿ
ðÿÿ¢£
À£8î¤ÁàÀ&µ(ðÿÿ½,ðÿÿ)Æ×9½$ðÿÿ/ÿÿÿ| 9µ ðÿÿ!ÿÿÿ
4ðÿÿ
Àt&½8ðÿÿ
ÿ~½<ðÿÿ½HðÿÿG½<ðÿÿéôþÿÿv;8ðÿÿ}8ðÿÿÇ
<ðÿÿ;8ðÿÿ
Íþÿÿ
<ðÿÿ
Hðÿÿ@
<ðÿÿé´þÿÿv÷ØéUÿÿÿ÷ØéÍýÿÿUåWVS졨î1ÿ9ÇÇEðEì}Lö1ɽvÔ9Ù}44½¢£1À
ÒÀ
Ò8î~0Áâ9 ûòtA9Ù|ܸ
ÀtÿEðG;}ì|¶EðÄ[^_ÉÃv÷ÚëÌUåìh$îèÌÿÿ$îÐ+4îPÙPÒÚ<$4îÄÉÃUåSP¡&»@9Ã}*ì<#üØt÷ØPhvÇèËÿÿ¡&ÂC@Ä9Ã|Ö]üÉÃUåWVSìh¤ÃÿuèÖËÿÿÄ
ÀÆ¡&»@9Ã};öP<#üØt÷ØPhÉÆVèmÊÿÿº Ø×÷ÿÄ
Òt>¡&ÂC@9Ã|ÇCÿº Ñ÷ù
Òuueô[^_ÉéËÿÿìVj èÄÊÿÿÄëávìVj è±ÊÿÿÄë²ÿ5Ääjjh|ÇèHËÿÿÇ$ÿÿÿÿèüÊÿÿUåVSìÿuh$Ò»èÊÿÿÄ;&Â<v`÷, ì
ÒØu÷ØPhqÄègÊÿÿº ØÖ÷þÄ
Òt!ÿÿÿÿÿÿ)ÁÁù
Éqÿuè:[^ÉÃöÿ³ÿÿÿòN
ÒuòëåUåSR¡Ìâøÿ»Ìât ëÿÐøÿuôX[ÉÃUåSè[Ã× RèâÅÿÿ]üÉÃ-seed-out-hist-status-cutoff-random-novelty-rnovelty-novelty+-rnovelty+-best-noise-init-hamming-partial-super-tries-restart-target-tail-sample-tabu-low-sol-solcnf-bad-numsol-trace-assign %sGeneral parameters: Heuristics: -novelty+ -rnovelty+ Printing: walksat-v45command line =seed = %u cutoff = %Li tries = %i heuristic = , noise %d / %d, wp %d / %dtabu %dwff read in tail starts after flip = %i %9i %11.2fhistogram: +++ %i(%i) total elapsed seconds = %f number solutions found = %d final success rate = %f mean flips until assign = %f variance = %f standard deviation = %f final noise level statistics statistics over all runs:ASSIGNMENT FOUNDASSIGNMENT NOT FOUNDproportion null flips = %f bad argument super(%d) Bad argument %s %u%LiCannot open %s for output Bad hamming file %s doneCannot open %s 0 %i Bad init file %s Unsatisfied clauses:0End unsatisfied clauses%d p cnf %i %i%i allocating memory... Bad input file ERROR - clause too longERROR - too many clauses ERROR - too many atoms %i %i flipatomwalksat.cwatch1[cli] != watch2[cli]v %i Cannot open output file End assignBegin assign at flip = %d -seed N -cutoff N -restart N -numsol N = stop after finding N solutions -super = use the Luby series for the cutoff values -init FILE = set vars not included in FILE to false -partial FILE = set vars not included in FILE randomly -status = return fail status if solution not found -target N = succeed if N or fewer clauses unsatisfied -random -best -tabu N -novelty -rnovelty -noise N or -noise N M (default M = 100) -wp N or -wp N M (default M = 100) = cycle breaking for (r)novelty+ -out FILE = print solution as a list of literals to FILE -trace N = print statistics every N flips -assign N = print assignments at flip N, 2N, ... -sol = print satisfying assignments to stdout -solcnf = print sat assign to stdout in DIMACS format, and exit -low = print lowest assignment each try -bad = print unsat clauses each try -hist = print histogram of tail -tail N = assume tail begins at nvars*N -sample N = sample noise level every N flips -hamming TARGET_FILE DATA_FILE SAMPLE_FREQUENCY numatom = %i, numclause = %i, numliterals = %i lowest final avg noise noise total avg mean mean #unsat #unsat noise std dev ratio flips length flips flips this this this this this this success success until std try try try try try try rate tries assign dev %9i %9i %9li %9i %9i %9.2f %9.2f %9.2f %9li %9liProgram error, verification of solution fails! average flips per second = %d average length successful tries = %li average flips per assign (over all runs) = %f average seconds per assign (over all runs) = %f mean seconds until assign = %f mean restarts until assign = %f standard error of mean = %f overall mean average noise level = %f overall mean noise std deviation = %f overall ratio mean noise to mean std dev = %f statistics on successful runs: successful mean average noise level = %f successful mean noise std deviation = %f successful ratio mean noise to mean std dev = %f statistics on nonsuccessful runs: nonsuccessful mean average noise level = %f nonsuccessful mean noise std deviation = %f nonsuccessful ratio mean noise to mean std dev = %f Final distance to hamming target = %i Hamming distance data stored in %s loading hamming target file %s ...ERROR - incorrect problem format or extraneous characters Begin assign with lowest # bad = %d ÈBpB;lìÿÿ4ÔíÿÿTzR| 0ìÿÿgA
B E<xíÿÿûA
B Eÿÿÿÿÿÿÿÿ3 Ì ÔÂh44 ´ãÈä
þÿÿo
ÿÿÿoðÿÿoR
àâú *:JZjzªºÊÚêú *:JZjzØâÿÿÿÿdÿÿÿÿd ÿÿÿÿÃJÃÃ"Ã+Ã5Ã?ñ`±Ð¸`²³xµä¶GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7)GCC: (GNU) 3.3.3 20040412 (Red Hat Linux 3.3.3-7).symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment44#HH 1hhÌ744?44GÿÿÿoR
R@Tþÿÿo
Pc ä
ä l ÈuÌÌpää {P:ÔÂÔBðÂðBdTÒTRpÒpR\§ÌâÌR®ÔâÔRµÜâÜRºàâàRÐðã°SÈ´ã´SpÑ(ä(T|×ÀäÀTàæX ÜÀTXVåÈ[à1 ¨kC 4Hh44R
ä
Ì ä Ô ðÂTÒpÒÌâÔâÜâàâ°ã´ã(äÀä¨ ñÿÌâ*Ôâ8ÜâE0äIÌäUÌ k ñÿwÐâØâÈÒÜâ«°Â ÁñÿËäÔ8îÜ$îç4îôT @î: *Hî.8ä8¤d APîLл3 \À¾g eêÀ% lä¡Xî²Ð¸ »`î½Ø Ùhîãåíè¶ Ø#àâ,pîFxîZîwîyîî î¬<ä¶ð½°éË> Ü#ï ª Ïï'°î5Àî@@s#GÌâñÿXàädLäkIéHs#,äºpv Ö`s#OãäÂ5óèÂ5ülÂD ¼£Q ë%ðÂ5,¤% =xµk MÃ5T½£ ed¥1 w¼C
¥D àé¨GT´GTÀ GTÇèäÎaàðÌ ö« é#( Ý C?T Ìr`$Ìrb(Ìrl0Ìrvdä{Dä@Ìr édT»| §Àä¹ÄäËéÙÀPâ8¤d êä¶ë û`RO`²# è¡£øé-¸é3 :HÓ Cð¡£N¢£Uh¾) e&Ây å`±ÿ ª! ðéµ îÂêÞ&Âæ&Âý& &ÂØé- &Â6À&ÂÄ' >NËH ìZ¸¦T _NËdNËv`ä}Ìâñÿè¡$ÂH ± NËÄ' ÀhvÔˤäñÿ×Xäã4I èåñïpvÔvÔ$Ìâñÿ5èéNûòYÐénûòuøä¸ª ðä(ä @äª9¼Ô ÂûòÓyã±õ6 ûòÄ' Ü¥Ú :5 ÌâñÿI #üÄ' R üä] häh èl ³ó ÈJ £ é ̽ éÉ ±D Ô 4æ ¤äñÿí H¼Ð ü ´ã Ë] ñÿ Hä& ôä3 àJ Ä' = PäD ¨r U °r d Èäu Àr { @÷, ¾) 6® å» ÌâñÿÎ (Àû × ¼½« ì ôÂû H÷, Èé^,¥d 6P÷, H`÷, Ä' Peb(äo ê¨éè ±ÌâñÿÇÀéÕìäáåì@6 Ä' ÷G? ää G? " 1 0call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__p.0completed.1__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_auxwalksat.cpickcodescratchprog_tms.0prev_times.1initialize_statisticssumfalseprint_statistics_finaltzpheuristicscanoneuabort_flagelapsed_seconds__divdi3nonsuc_number_sampled_runsprint_parametersheuristic_namesstd_error_mean_rpicktabuxupdate_statistics_start_tryexpertimeprinthistupdate_and_print_statistics_end_tryungetc@@GLIBC_2.0_DYNAMICsuc_mean_std_dev_avgfalseflips_this_solutionnonsuc_mean_std_dev_avgfalsefsumfalse_squaredtvnonsuc_mean_avgfalsenumclausenumerator_fp_hwsum_x_squaredparse_parametersfprintf@@GLIBC_2.0print_false_clausessignal@@GLIBC_2.0fflush@@GLIBC_2.0mean_avgfalsenumtruelitlowbad__fini_array_endstatus_flagnumrun__assert_fail@@GLIBC_2.0totalsuccessflipsuc_ratio_mean_avgfalse__dso_handleprint_statistics_start_flipnumoccurencetail_start_flipnumfalse__libc_csu_finisuperputchar@@GLIBC_2.0mean_rhandle_interruptpicknoveltypluswatch2print_low_assigncalc_hamming_distprint_sol_cnfopen_hamming_datasuc_sum_avgfalsenumnullflipnumliteralswatch1numtryrandom@@GLIBC_2.0puts@@GLIBC_2.0_initmalloc@@GLIBC_2.0integer_sum_xfscanf@@GLIBC_2.0update_statistics_end_flipscanf@@GLIBC_2.0tabu_lengthrhisttotalstd_dev_xtailwp_numeratorwherefalseinitfilecountunsatstdout@@GLIBC_2.0stderr@@GLIBC_2.0numsuccesstrytailhistscanonepickrnoveltyplusoccurencepicknoveltynumflipnonsuc_sum_avgfalsesum_r_startflipatomhamming_fpclausesave_low_assignhamming_sample_freqoutfilepickbestsave_false_clausessuc_number_sampled_runshamming_flagnonsuc_sum_std_dev_avgfalsenumatomsecond_moment_avgfalsesample_sizesecond_moment_xnumber_sampled_runsavgfalsechangedstd_dev_rhamming_data_fileinitseedsuc_mean_avgfalsenumsol__fini_array_startfputc@@GLIBC_2.0__libc_csu_inithamming_targetvariance_x__bss_startbase_cutoffmainprintlow__libc_start_main@@GLIBC_2.0std_error_mean_xsize__init_array_endsuc_sum_std_dev_avgfalsevariance_rsum_std_dev_avgfalsemean_xprintsolcnfinitprobmakeflagdata_startdenominatorprintf@@GLIBC_2.0_finistd_dev_avgfalsesqrt@@GLIBC_2.0fclose@@GLIBC_2.1times@@GLIBC_2.0atomread_hamming_filegettimeofday@@GLIBC_2.0__preinit_array_endsolutionprintfalsesamplefreqprint_statistics_headerpickrnoveltymean_std_dev_avgfalsetotalflipexit@@GLIBC_2.0initoptionspickrandomsscanf@@GLIBC_2.0_edataprint_sol_file_GLOBAL_OFFSET_TABLE__endwp_denominatorprintonlysolmakecountcutoffseconds_per_flipratio_avgfalsestdin@@GLIBC_2.0falseratio_mean_avgfalsesave_solutionfopen@@GLIBC_2.1trace_assign__init_array_start__moddi3print_current_assign_IO_stdin_usedhamming_distancesum_avgfalsesrandom@@GLIBC_2.0scanonellvariance_avgfalselowatomfwrite@@GLIBC_2.0__data_starthamming_target_filesum_x_IO_getc@@GLIBC_2.0_Jv_RegisterClasses__preinit_array_startsum_r_squaredsuperlinearprinttracebreakcountnonsuc_ratio_mean_avgfalsetargetlowfalse__gmon_start__strcpy@@GLIBC_2.0