ELF��������������„ˆ4���@W������4� ��(������4���4€4€���������������4��44��������������������€�€ÌR��ÌR�����������ÌR��ÌâÌâØ��ÔèX���������àR��àâàâÐ���Ð������������H��HH ��� ���������PåtdTR��TÒTÒ������������Qåtd��������������������������/lib/ld-linux.so.2�����������GNU����������������� ��������������������������������������������������������������������������������������������������� ������������������ ������� ������ ������������������� �����������������������������������S�������Ø������z�������#������ˆ�������Ï������s�������ï������¬�������I�����=�������ë������É�������a������g������������l�������«�����`�������#������a�������?������L���Àä�����Á���Ää�����Ð�������è������÷�������ï������{�������9������ �������y������º�������±�����Z�������6������Ÿ�������:������Ý�������Ì������˜�������4������‚���Èä�����â�������6������è���ôÂ�����È�������^������Ö�������e������������è����������������� ���$����������� ���E�������0�������libm.so.6�sqrt�_Jv_RegisterClasses�__gmon_start__�libc.so.6�putchar�strcpy�stdout�ungetc�times�fscanf�puts�malloc�fflush�fprintf�stdin�signal�_IO_getc�sscanf�gettimeofday�__assert_fail�fclose�stderr�srandom�fputc�fwrite�exit�fopen�_IO_stdin_used�__libc_start_main�GLIBC_2.0�GLIBC_2.1����������������������������������������������� ���ii ��� ��������3����������ii ��������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ÿ5NËè¯þÿÿ_XSVè" ��è!��è¬ ��è; ��[^h¤jèYýÿÿÇPî����è2��ÝØ‹ PîƒÄ…Éu¡`ä9˜é}¡èä;Lä|!è×1��Ýhîè|��¡àäeô[^_ÉÍv�ƒìÿ5„é@h é£èäè‹��è¦ ��‹ìäƒÄ…ÒÇè¡£����Çì¡£����…Î���¡ää9èÂ5Ž„���‹ì¡£‹Tä9Ó‹ è¡£¡Pä| g9Áscv�èß ��ƒè¡£ƒì¡£�¡8äƒìÿ…ˆä‰$è’"��èå��¡ääƒÄ9èÂ5~!‹ì¡£‹Tä9Ó‹ è¡£¡Pä|¦9Ár è÷ ��¡Pî…À…öþÿÿ¡`ä9˜éåþÿÿ¡èä;LäŒôþÿÿéÏþÿÿƒì ÿ5èäè‰��™‰Eè‹Xä‰Uì‹Eè÷ã‹}ì¯û‰Ñ‹5\ä‹]èù¯Þ ‰Eà‰]ä‹Eà‹Uä£Pä‰TäƒÄéÚþÿÿv�U‰åWVSƒì ‹EÇEì���9Eì}g‹Uì‹E ‹¹���ü‰Þ¿øÂó¦„Ú��¿þ¹���ü‰Þó¦u ‹EH9E쌜��¿Ã¹���ü‰Þó¦…«���Çå���ÿEì‹U9Uì|™‹Tä‰\ä‹`ä¡Päƒúÿ£Xätl¡Lä9Â~£`äƒ=<äÿt)ƒ=Däÿteô[^_Éá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쌭��¿\ù ���ü‰Þó¦u‹Eƒè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 ÿ4h åèëöÿÿéãüÿÿ‰öhNËéÆüÿÿÿ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ÿ5NËh3Äè¶óÿÿƒÄ ÿ5Täÿ5Päh>Äèóÿÿ[^ÿ5LähLÄè‹óÿÿÇ$XÄèóÿÿ¡8äƒÄƒøtfƒìÿ4…lähÐÃè^óÿÿ¡<äƒÄ…À~Qÿ5@äPheÄè@óÿÿƒÄ¡Dä…À~Rÿ5HäPhuÄè"óÿÿƒÄÇE ���eô[^_ÉéŒòÿÿƒìÿ5 Ìrh‚Ä뙃ìÿ4ŸhÏÃCèëòÿÿƒÄ9ó|èé ÿÿÿv�U‰åƒìÿ5ˆGTÿ5¨îÿ5„&ÂhìËèºòÿÿÇ$ŠÄèNòÿÿÇ$ÌèBòÿÿÇ$ˆÌè6òÿÿÇ$ôÌè*òÿÿÇ$`ÍèòÿÿXÿ5ÀäèÒñÿÿÉÃU‰åƒì¡ î…ÀÇ`î����Çdî����Ç$Ìr����u7¡„&ƒì¯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¡å‰å…ÀVSt™RP‹5ì¡£V‹è¡£Sè”)��‰ÑƒÄ Áteø[^ÉÃì 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‘ƒÄ…À¾d���u‰öN‹µÀP‘…Àtô1Û9ó~*ƒþdtƒì j è—íÿÿƒÄé1ÿÿÿƒì hÍÄèîÿÿƒÄëܐPSÿ4ÀP‘hÒÄ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Árj‹5èÂ5ƒþd‰ð~¸d���ÿ…ÀP‘¡hä™RPSQè#��‰ÑƒÄ Áu9VÝ@îÚ$¯ö‰4$Ý@îݐîÚ$ݐîÙèܐ&ƒÄݐ&v�eø[^ÉÐè!��éhÿÿÿ‰öƒì Pè ��ƒÄéHÿÿÿv�U‰åƒìÝhîß-ˆéØùÙÉÝ$hçÄݨr èêÿÿÙ}þXß-ˆéf‹Eþ´ f‰EüÜ5hîÙmüÛ]øÙmþZ‹Eø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îèèÿÿƒÄ ÿ5ŒNËÿ5ˆNËhiÅèýçÿÿƒÄ ÿ5\îÿ5Xîh8ÏèäçÿÿƒÄ¡Øé…À„¼��PÛ$ÝÈéØñÙÉ¡ðéÜ=ÐéÙɃÄݰî…ÀØñÙÉÝÈJ Ý@÷, „[��PÛ$ÝàéØñÙÉÜ=èéÙÉݘNËƒÄØñÙÉÝpîÝHs#¡ê…À„ó��PÛ$ÝøéØñÙÉÜ=�êÙÉÝ îƒÄØñÙÉÝ€îÝG? ƒì h„Åè¿æÿÿÇ$¡Åè³æÿÿƒÄ ÿ5´îÿ5°îhXÏèúæÿÿƒÄ ÿ5ÌJ ÿ5ÈJ hˆÏèáæÿÿƒÄ ÿ5D÷, ÿ5@÷, h¸ÏèÈæÿÿÇ$ðÏè\æÿÿƒÄ ÿ5œNËÿ5˜NË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‰åƒì‹Mv�…É~#¸���Q9Ð}Ñà9Ð|ú9Ðt Ñø)ÁIëÝÑøÉÃPQhÆÿ5ÄäèãÿÿÇ$���èäÿÿv�U‰åƒì¡Pî…Àu ÇPî���ÉÃì jÿèßãÿÿv�U‰å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 ‰ö‹–9—tAB9Ú~ò[^‰È_ÉÍv�U‰åSƒì h¤Ã‹]Sè‡âÿÿƒÄ…À£ð¡£t‹]üÉÃPSh1Æÿ5Ääè4áÿÿÇ$���è8âÿÿU‰åWVSƒì‹}WhÄÑèÑáÿÿXZhsÃWè4âÿÿƒÄ…À‰Ã„ ���‹„&¸���B9Ð}v�Ç… NË����@9Ð|ðuðPVhqÄSèCáÿÿƒÄHuQ‹Uð…Ò‰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‰µ@Ìr‰4…Àr 1É@9ú£èÂ5}&‹µ�¢£v�‹‹…À£8î‰Â~^Aÿ•àJ 9ù|æ‰öF;uàŒRÿÿÿ‹ î…Ûueô[^_ÉÃQÿ5„&Âh NËh ûòèýÿÿƒÄ PhvÆÿ5ð¡££H÷, è¥ÞÿÿƒÄëÄ÷ÚëžJt6‹Mè…ɉ 8î‰È~#‰µ GT‹Eä…À£8î~ ‰µ�Ã5é{ÿÿÿ÷Øëð÷ØëÙ‹Mì…ɉ 8î‰È~#ÿ…@6 ‹Eì…À£8î~ ‰µ GTéEÿÿÿ÷Øëð÷ØëِÿµÀî‹Uè‹‹…Ò‰Eìu‰EèéÇþÿÿ‹Eä…À…¼þÿÿ‹Eì‰Eäé±þÿÿ‰ö÷Úé™þÿÿƒìhsÃÿuèßÿÿƒÄ…À‰Ã„’���1ö}ðv�PWhqÄSè?ÞÿÿƒÄHub‹UðF…Ò‰8î~H;„& …Òx Ç• ûò���ëÆ÷ÚÇ• ûò����ë·Qÿuh|Æÿ5ÄäèoÝÿÿÇ$���èsÞÿÿ‰Ð÷Ø;„&Âë²…ötЃì Sè*ÞÿÿƒÄéšýÿÿPÿuhfÆ뽍v�¾���@9ƍvýÿÿèqÝÿÿ‰ÂÁꍃâþ)Љµ ûò¡„&ÂF@9Æ|Ü‹MŠéHýÿÿU‰åWVSƒì‹E‰Eð1ÿhŽÆè=ÝÿÿƒÄ;}ð})‹½ G? 1ö;4€vÔ|*ƒì h£ÆGèÝÿÿƒÄ;}ð|ØÇE¥Æeô[^_ÉéùÜÿÿƒì‹�¢£ÿ4°h½ÆFè@ÝÿÿƒÄ;4€vÔ|Üë°‰öU‰å‹M1Ò9Ê}‹•Àr ‰• G? B9Ê|íÉÍv�U‰åWVSƒì ƒì ÿ5Èäè•ÝÿÿƒÄƒøcuƒì ÿ5ÈäèÝÿÿƒÄƒøÿtÔƒø uåë̓ìÿ5ÈäPèñÛÿÿƒÄ h¨îh„&ÂhÁÆèzÜÿÿƒÄƒø…­��=„&ÂðI�þ��¡¨î= ¡�Ý��1ÿLjGT����1Ûǝ`s#����Cûà“�~ì1Û9Ã}}ÿó��ǝ€vÔÿÿÿÿŽn��‰4�¢£‹€vÔ@=ô��‰€vԏ>��ƒìEðPhÍÆèÝÛÿÿƒÄH…��‹Eð…Àt‰‹EðƒÆOÿˆGTÿ… ›,…ÀuªC;¨î|ƒ¡€vÔ…À„»���1Û‹`s#9Ç|w‰4`R‘ǝ`s#����C)ǁûà“�4†~Õ1Û¡¨î9Ã}D1É; €vÔ}4‹4�¢£‹Ž‹… ›,‹… zš‰‹ŽAÿ… ›,; €vÔ|Ø¡¨îC9Ã|¼eô[^_ÉÃì h�z�èëÚÿÿÿ5ÄäjjhÑÆ‰Æ¿€„�è°ÛÿÿƒÄ ‹`s#éRÿÿÿÿ5Ääj:jhèÑèÛÿÿÇ$ÿÿÿÿèAÛÿÿÿ5ÄäjjhçÆëÞƒì h÷ÆèsÚÿÿëÔƒì h�z�ètÚÿÿÿ5ÄäjjhÑÆ‰Æ¿€„�è9ÛÿÿƒÄ ébþÿÿÿ5ÄäjjhÇëŽÿ5Ääjjh)ÇézÿÿÿU‰åWVSƒìƒ}ÿ„”��‹U¡è¡£‰Ñ‰•À&‹• ûò…Ò‰Mì~‰È÷؉Eì¸���‹ î)ЋU…ɉ• ûòt;;• NË„;��ÿH÷, ¡€&™RP‹5ì¡£V‹è¡£Sè^��‰ÑƒÄ Á„ê��¸ðI�+Eì‹…`s#ÇEð����9Uð‰Uè‹<…`R‘���‹‹•ÀîHƒÇ…À‰•Àî…€��¡èÂ5‰…Àr ‰•@Ìr@£èÂ5‹M¡ðäÿ @6 …Àt8‹•€vÔ…À‰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 ‰ …@Ìr‹M‹EØÿ@6 …À‰èÂ5t3‹µ€vÔ…À‰E䋵�¢£~‰Á‹ƒÃ…Ò‰8î‰Ð~ÿ …àJ Iu吋U‰µ GTéSÿÿÿ÷Øëá÷ØéÚþÿÿH„ñ���‹ • GT‹E9Á‰Màtx‹•�Ã5‹M9ȉEÜ…·þÿÿ‹•€vÔ1É9Á‰Eä‹•�¢£œþÿÿ‹ƒÃ…À£8î‰Æ~4…ÀŸÀ¶À;µ ûòt A;Mä|Ùépþÿÿ;uàtð;uÜtë‰4•�Ã5éZþÿÿ‰ö÷ÞëÈ‹ •€vÔ‰Mä1É;Mä‹•�¢£8þÿÿ‹ƒÃ…À£8î‰Æ~8…ÀŸÀ¶À;µ ûòt A;Mä|Ùé þÿÿ;uàtð;4•�Ã5tç‰4• GTéòýÿÿ‰ö÷ÞëÄ‹• GT;Et ÿ…@6 éÔýÿÿ‹•�Ã59EtJ‰• GTë߃ì ÿ5H÷, VShAÇÿ5ð¡£è(ÖÿÿƒÄ éóüÿÿÿ H÷, éÀüÿÿƒ€GTƒ„GT�éåýÿÿhHÇh��hQÇ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܍v�‹uÜ‹ž…À£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ƒìèÂÓÿÿ™÷=èÂ5‹4•Àr ‹<µ€vÔƒÿ„¨��j�jdÿ5ì¡£ÿ5è¡£èc ��‰ÑƒÄ Á„]��1Û9ûÇEìÿÿÿÿÇEà� úÇEÜ� ú}d‹4µ�¢£‰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ÿÿÿv�‹uä;µÀ&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‹�¢£‰]؍v�‹UØ‹²…À£8î‰ÂŽ›���‹ •àJ ‹•À&Â+ •@6 ;Eì~‰Eì‰Uð;MàbtT;MÜGt7F9þ|·‹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‹�¢£‰]؍v�‹UØ‹²…À£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Ù}4‹4½�¢£‹Ž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ÿº ���‰Ñ™÷ù…Òu‰ueô[^_ÉéËÿÿƒì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� %s�General parameters: �Heuristics: � -novelty+ -rnovelty+ �Printing: �walksat-v45�command line =�seed = %u �cutoff = %Li �tries = %i �heuristic = �, noise %d / %d�, wp %d / %d�tabu %d�wff read in �tail starts after flip = %i � %9i� %11.2f�histogram: � +++� %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 FOUND�ASSIGNMENT NOT FOUND�proportion null flips = %f �bad argument super(%d) �Bad argument %s �%u�%Li�Cannot open %s for output �Bad hamming file %s �done�Cannot open %s �0 %i �Bad init file %s �Unsatisfied clauses:�0�End unsatisfied clauses�%d �p cnf %i %i�%i �allocating memory... �Bad input file �ERROR - clause too long�ERROR - too many clauses �ERROR - too many atoms �%i %i �flipatom�walksat.c�watch1[cli] != watch2[cli]�v %i �Cannot open output file �End assign�Begin 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 %9li����Program 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 ������ÈB��pB;������lìÿÿ4���ÔíÿÿT����������zR�| ˆ��������0ìÿÿg���A…B E†‡�����<���xíÿÿû���A…B E†‡������ÿÿÿÿ����ÿÿÿÿ�����������������3��� ���̆ ���ÔÂ���h���4„���4‚ ����� ����������������´ã���È������������†���ä…��� ���������þÿÿo”…ÿÿÿo���ðÿÿoR…����������������������������������������������������àâ��������ú† ‡‡*‡:‡J‡Z‡j‡z‡Їš‡ª‡º‡ʇÚ‡ê‡ú‡ ˆˆ*ˆ:ˆJˆZˆjˆzˆ������������Øâ�������ÿÿÿÿ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�.comment�����������������������������������������������������44��������������������#���������HH�� ������������������1���������hh��Ì����������������7��� ������4‚4�����������������?���������4„4�������������������G���ÿÿÿo���R…R��@����������������T���þÿÿo���”…”��P����������������c��� ������ä…ä�� ����������������l��� ������†��È������ ���������u���������̆Ì��������������������p���������ä†ä�� ����������������{���������„ˆ„��P:��������������������������ÔÂÔB��������������������‡���������ðÂðB��d��������������������������TÒTR�����������������������������pÒpR��\������������������§���������ÌâÌR��������������������®���������ÔâÔR��������������������µ���������ÜâÜR��������������������º���������àâàR��Ð����������������Ã���������°ã°S�������������������È���������´ã´S��p�����������������Ñ���������(ä(T��|������������������×���������ÀäÀT��àæX�������� �������Ü��������������ÀT��˜�������������������������������XV��å��������������������������������È[��à�����1��������� ��������������¨k��C �������������������������������������4����������H����������h����������4‚����������4„����������R…����������”…����������ä…����������†����� �����̆����� �����ä†����� �����„ˆ����� �����ÔÂ����� �����ðÂ����������TÒ����������pÒ����������Ìâ����������Ôâ����������Üâ����������àâ����������°ã����������´ã����������(ä����������Àä�����������������������������������������������������������������¨ˆ����� �������������ñÿ���Ìâ������*���Ôâ������8���Üâ������E���0ä������I���Ìä�����U���̈����� �k���‰����� �������������ñÿw���Ðâ������„���Øâ������‘���ÈÒ������Ÿ���Üâ������«���°Â����� �Á������������ñÿË���ˆä�����Ô���8î�����Ü���$î�����ç���4î�����ô���T•‚���� � ��@î�������€:��� �*��Hî�����.��8ä�����8��œ¤d���� �A��Pî�����L��л3���� �\��À¾g�� �e��ê�����€��À“%��� �‘��lä�����¡��Xî�����²��иƒ��� �»��`î�����½��Ø•–���� �Ù��hî�����ã��å�����í��è–¶��� �������Ø������#��àâ������,��pî�����F��xî�����Z��€î�����w��ˆî�����y��î�����Š��˜î������� î�����¢��¨î�����¬��<ä�����¶��ðÂ�����½��°é�����Ë��€‹>��� �Ü������#������ï�� ª†���� �������Ï������������ï������'��°î�����5��À���@��@s#�����G��Ìâ����ñÿX��àä�����d��Lä�����k������I�����„��é�����•��Hs#�����­��,ä�����º��p–v���� �Ö��`s#„O���ã��äÂ5�����ó��èÂ5�����ü��lÂD���� � ��¼£Q���� �������ë������%��ðÂ5�����,��¤%���� �=��xµk��� �M���Ã5€„���T��½£���� �e��d¥1���� �w��¼C���� �…��˜¥D���� �—��àé�����¨��€GT�����´��ˆGT�����À�� GT€„���Ç��èä�����Î������a������à�����������ð��̆����� �ö������«������� é�����������#������(�� œÝ���� �C������?������T�� Ìr�����`��$Ìr�����b��(Ìr�����l��0Ìr�����v��dä�����{��Dä�����ˆ��@Ìr€„���“�� éd�����œ��T»|���� �§��Àä�����¹��Ää�����Ë��˜é�����Ù��ÀP‘”����â��8¤d���� �ê��ä¶ë��� �û��`R‘„O�����`²#��� ���è¡£�������øé�����-��¸é�����3��„ˆ����� �:��H­Ó��� �C��ð¡£�����N���¢£€„���U��h¾)���� �e��€&Â�����y�� å�������`±ÿ���� �Š��”ª!���� ���ðé�����µ�� î�����Â���ê�����Þ��„&Â�����æ��ˆ&Â�����ý��&Â����� ��˜&Â�������Øé�����-�� &Â�����6��À&ÂÄ' ���>��ˆNË�����H�� ì�����Z��¸¦T��� �_��NË�����d��˜NË�����v��`ä�����}��Ìâ����ñÿ������è������¡��$ÂH���� �±�� NËÄ' ���À��hvÔ�����Ë��¤ä�����ñÿ×��Xä�����ã��4‰I��� �è���å�����ñ������ï��������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���� �6 ��P÷, �����H ��`÷, Ä' ���P ������e�����b ��(ä������o �� ê�����ƒ ��¨é�����‰ ������è������ ���������� ���± ��Ìâ����ñÿÇ ��Àé�����Õ ��ìä�����á ��å�����ì ��@6 Ä' ���÷ ��G? ����� ��ää����� �� G? €„���" ���������� ���1 ������0�������call_gmon_start�crtstuff.c�__CTOR_LIST__�__DTOR_LIST__�__JCR_LIST__�p.0�completed.1�__do_global_dtors_aux�frame_dummy�__CTOR_END__�__DTOR_END__�__FRAME_END__�__JCR_END__�__do_global_ctors_aux�walksat.c�pickcode�scratch�prog_tms.0�prev_times.1�initialize_statistics�sumfalse�print_statistics_final�tzp�heuristic�scanoneu�abort_flag�elapsed_seconds�__divdi3�nonsuc_number_sampled_runs�print_parameters�heuristic_names�std_error_mean_r�picktabu�x�update_statistics_start_try�expertime�printhist�update_and_print_statistics_end_try�ungetc@@GLIBC_2.0�_DYNAMIC�suc_mean_std_dev_avgfalse�flips_this_solution�nonsuc_mean_std_dev_avgfalse�f�sumfalse_squared�tv�nonsuc_mean_avgfalse�numclause�numerator�_fp_hw�sum_x_squared�parse_parameters�fprintf@@GLIBC_2.0�print_false_clauses�signal@@GLIBC_2.0�fflush@@GLIBC_2.0�mean_avgfalse�numtruelit�lowbad�__fini_array_end�status_flag�numrun�__assert_fail@@GLIBC_2.0�totalsuccessflip�suc_ratio_mean_avgfalse�__dso_handle�print_statistics_start_flip�numoccurence�tail_start_flip�numfalse�__libc_csu_fini�super�putchar@@GLIBC_2.0�mean_r�handle_interrupt�picknoveltyplus�watch2�print_low_assign�calc_hamming_dist�print_sol_cnf�open_hamming_data�suc_sum_avgfalse�numnullflip�numliterals�watch1�numtry�random@@GLIBC_2.0�puts@@GLIBC_2.0�_init�malloc@@GLIBC_2.0�integer_sum_x�fscanf@@GLIBC_2.0�update_statistics_end_flip�scanf@@GLIBC_2.0�tabu_length�r�histtotal�std_dev_x�tail�wp_numerator�wherefalse�initfile�countunsat�stdout@@GLIBC_2.0�stderr@@GLIBC_2.0�numsuccesstry�tailhist�scanone�pickrnoveltyplus�occurence�picknovelty�numflip�nonsuc_sum_avgfalse�sum_r�_start�flipatom�hamming_fp�clause�save_low_assign�hamming_sample_freq�outfile�pickbest�save_false_clauses�suc_number_sampled_runs�hamming_flag�nonsuc_sum_std_dev_avgfalse�numatom�second_moment_avgfalse�sample_size�second_moment_x�number_sampled_runs�avgfalse�changed�std_dev_r�hamming_data_file�init�seed�suc_mean_avgfalse�numsol�__fini_array_start�fputc@@GLIBC_2.0�__libc_csu_init�hamming_target�variance_x�__bss_start�base_cutoff�main�printlow�__libc_start_main@@GLIBC_2.0�std_error_mean_x�size�__init_array_end�suc_sum_std_dev_avgfalse�variance_r�sum_std_dev_avgfalse�mean_x�printsolcnf�initprob�makeflag�data_start�denominator�printf@@GLIBC_2.0�_fini�std_dev_avgfalse�sqrt@@GLIBC_2.0�fclose@@GLIBC_2.1�times@@GLIBC_2.0�atom�read_hamming_file�gettimeofday@@GLIBC_2.0�__preinit_array_end�solution�printfalse�samplefreq�print_statistics_header�pickrnovelty�mean_std_dev_avgfalse�totalflip�exit@@GLIBC_2.0�initoptions�pickrandom�sscanf@@GLIBC_2.0�_edata�print_sol_file�_GLOBAL_OFFSET_TABLE_�_end�wp_denominator�printonlysol�makecount�cutoff�seconds_per_flip�ratio_avgfalse�stdin@@GLIBC_2.0�false�ratio_mean_avgfalse�save_solution�fopen@@GLIBC_2.1�trace_assign�__init_array_start�__moddi3�print_current_assign�_IO_stdin_used�hamming_distance�sum_avgfalse�srandom@@GLIBC_2.0�scanonell�variance_avgfalse�lowatom�fwrite@@GLIBC_2.0�__data_start�hamming_target_file�sum_x�_IO_getc@@GLIBC_2.0�_Jv_RegisterClasses�__preinit_array_start�sum_r_squared�superlinear�printtrace�breakcount�nonsuc_ratio_mean_avgfalse�target�lowfalse�__gmon_start__�strcpy@@GLIBC_2.0�