WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail true
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov true
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 319
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 2
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq true
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-172-31-37-248 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Wed Feb 19 10:25:01 EST 2014
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp236558.c /tmp/tmpf5c215.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	p77: true (1)
	p78: true (1)
	p79: true (1)
	p80: true (1)
	p81: true (1)
	p82: true (1)
	p83: true (1)
	p84: true (1)
	p85: true (1)
	p86: true (1)
	p87: true (1)
	p88: true (1)
	p89: true (1)
	p90: true (1)
	p91: true (1)
	p92: true (1)
	p93: true (1)
	p94: true (1)
	p95: true (1)
	p96: true (1)
	p97: true (1)
	p98: true (1)
	p99: true (1)
	p100: true (1)
	p101: true (1)
	p102: true (1)
	p103: true (1)
	p104: true (1)
	p105: true (1)
	p106: true (1)
	p107: true (1)
	p108: true (1)
	p109: true (1)
	p110: true (1)
	p111: true (1)
	p112: true (1)
	p113: true (1)
	p114: true (1)
	p115: true (1)
	p116: true (1)
	p117: true (1)
	p118: true (1)
	p119: true (1)
	p120: true (1)
	p121: true (1)
	p122: true (1)
	p123: true (1)
	p124: true (1)
	p125: true (1)
	p126: true (1)
	p127: true (1)
	p128: true (1)
	p129: true (1)
	p130: true (1)
	p131: true (1)
	p132: true (1)
	p133: true (1)
	p134: true (1)
	p135: true (1)
	p136: true (1)
	p137: true (1)
	p138: true (1)
	p139: true (1)
	p140: true (1)
	p141: true (1)
	p142: true (1)
	p143: true (1)
	p144: true (1)
	p145: true (1)
	p146: true (1)
	p147: true (1)
	p148: true (1)
	p149: true (1)
	p150: true (1)
	p151: true (1)
	p152: true (1)
	p153: true (1)
	p154: true (1)
	p155: true (1)
	p156: true (1)
	p157: true (1)
	p158: true (1)
	p159: true (1)
	p160: true (1)
	p161: true (1)
	p162: true (1)
	p163: true (1)
	p164: true (1)
	p165: true (1)
	p166: true (1)
	p167: true (1)
	p168: true (1)
	p169: true (1)
	p170: true (1)
	p171: true (1)
	p172: true (1)
	p173: true (1)
	p174: true (1)
	p175: true (1)
	p176: true (1)
	p177: true (1)
	p178: true (1)
	p179: true (1)
	p180: true (1)
	p181: true (1)
	p182: true (1)
	p183: true (1)
	p184: true (1)
	p185: true (1)
	p186: true (1)
	p187: true (1)
	p188: true (1)
	p189: true (1)
	p190: true (1)
	p191: true (1)
	p192: true (1)
	p193: true (1)
	p194: true (1)
	p195: true (1)
	p196: true (1)
	p197: true (1)
	p198: true (1)
	p199: true (1)
	p200: true (1)
	p201: true (1)
	p202: true (1)
	p203: true (1)
	p204: true (1)
	p205: true (1)
	p206: true (1)
	p207: true (1)
	p208: true (1)
	p209: true (1)
	p210: true (1)
	p211: true (1)
	p212: true (1)
	p213: true (1)
	p214: true (1)
	p215: true (1)
	p216: true (1)
	p217: true (1)
	p218: true (1)
	p219: true (1)
	p220: true (1)
	p221: true (1)
	p222: true (1)
	p223: true (1)
	p224: true (1)
	p225: true (1)
	p226: true (1)
	p227: true (1)
	p228: true (1)
	p229: true (1)
	p230: true (1)
	p231: true (1)
	p232: true (1)
	p233: true (1)
	p234: true (1)
	p235: true (1)
	p236: true (1)
	p237: true (1)
	p238: true (1)
	p239: true (1)
	p240: true (1)
	p241: true (1)
	p242: true (1)
	p243: true (1)
	p244: true (1)
	p245: true (1)
	p246: true (1)
	p247: true (1)
	p248: true (1)
	p249: true (1)
	p250: true (1)
	p251: true (1)
	p252: true (1)
	p253: true (1)
	p254: true (1)
	p255: true (1)
	p256: true (1)
	p257: true (1)
	p258: true (1)
	p259: true (1)
	p260: true (1)
	p261: true (1)
	p262: true (1)
	p263: true (1)
	p264: true (1)
	p265: true (1)
	p266: true (1)
	p267: true (1)
	p268: true (1)
	p269: true (1)
	p270: true (1)
	p271: true (1)
	p272: true (1)
	p273: true (1)
	p274: true (1)
	p275: true (1)
	p276: true (1)
	p277: true (1)
	p278: true (1)
	p279: true (1)
	p280: true (1)
	p281: true (1)
	p282: true (1)
	p283: true (1)
	p284: true (1)
	p285: true (1)
	p286: true (1)
	p287: true (1)
	p288: true (1)
	p289: true (1)
	p290: true (1)
	p291: true (1)
	p292: true (1)
	p293: true (1)
	p294: true (1)
	p295: true (1)
	p296: true (1)
	p297: true (1)
	p298: true (1)
	p299: true (1)
	p300: true (1)
	p301: true (1)
	p302: true (1)
	p303: true (1)
	p304: true (1)
	p305: true (1)
	p306: true (1)
	p307: true (1)
	p308: true (1)
	p309: true (1)
	p310: true (1)
	p311: true (1)
	p312: true (1)
	p313: true (1)
	p314: true (1)
	p315: true (1)
	p316: true (1)
	p317: true (1)
	p318: true (1)
	p319: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 475.119)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1113
cilRep: stmts in weighted_path = 486
cilRep: total weight = 276.3
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/zlibmodule.c (code bank/base file; atoms [1,1113])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.344721 MB)
search: initial population (sizeof one variant = 0.0132456 MB)
	 31 d(952) 
	 31 d(904) 
	 31 d(856) 
	 31 r(1109,1081) 
	 31 d(496) 
	 30 r(775,717) 
	 31 d(731) 
	 31 r(830,852) 
	 31 d(906) 
	 31 d(758) 
	 31 d(927) 
	 30 r(853,865) 
	 31 a(812,811) 
	 30 r(666,660) 
	 31 a(389,385) 
	 31 d(667) 
	 31 d(1012) 
	 31 a(778,1031) 
	 30 d(1070) 
	 31 r(1085,1108) 
	 31 a(961,961) 
	 31 d(470) 
	 30 d(387) 
	 31 d(630) 
	 31 r(674,659) 
	 31 d(771) 
	 30 r(600,586) 
	 29 a(546,504) 
	 31 d(729) 
	 31 d(996) 
	 30 r(1089,1083) 
	 31 a(609,745) 
	 31 d(533) 
	 31 r(412,431) 
	 31 d(856) 
	 31 d(1029) 
	 31 a(829,382) 
	 31 d(1017) 
	 31 d(633) 
	 31 original
search: generation 1 (sizeof one variant = 0.345098 MB)
	 31 d(1017) d(1013) 
	 31 r(412,431) d(470) 
	 31 d(1017) d(563) 
	 31 r(412,431) a(1081,996) 
	 30 d(630) d(857) 
	 31 d(1017) d(415) 
	 30 r(412,431) r(909,889) 
	 31 r(830,852) r(694,384) 
	 30 r(412,431) r(1085,1111) 
	 30 r(830,852) r(864,837) 
	 31 r(412,431) d(465) 
	 31 d(667) r(427,428) 
	 31 r(412,431) r(1012,1020) 
	 31 d(667) a(415,1031) 
	 31 d(856) a(1023,996) 
	 29 d(771) d(1109) 
	 31 d(729) d(422) 
	 30 r(1085,1108) a(853,869) 
	 31 d(729) r(1054,385) 
	 30 r(1085,1108) d(783) 
	 30 d(470) d(413) 
	 31 d(904) a(1029,879) 
	 31 d(927) r(737,694) 
	 31 r(674,659) r(770,705) 
	 31 d(496) r(469,595) 
	 31 a(829,382) r(1024,1012) 
	 29 d(496) r(452,770) 
	 31 a(829,382) d(657) 
	 30 r(674,659) a(658,366) 
	 31 d(729) d(1028) 
	 31 r(674,659) d(494) 
	 30 d(729) d(537) 
	  0 r(412,431) a(1087,1031) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(856) a(414,463) 
	 31 d(856) d(998) 
	 31 d(952) a(469,608) 
	 30 d(856) d(1018) 
	 31 d(952) d(543) 
	 30 d(996) d(501) 
	 31 d(856) r(391,385) 
	 31 d(996) d(706) 
	 31 d(856) r(429,393) 
	 31 d(731) r(1027,1022) 
	 31 r(830,852) a(861,855) 
	 31 d(731) r(1087,1079) 
	 31 r(830,852) r(382,906) 
	 31 d(904) d(965) 
	 31 a(389,385) d(890) 
	 31 d(904) a(1087,401) 
	 31 a(389,385) r(532,539) 
	 31 d(467) 
	 29 d(633) r(383,384) 
	 31 d(382) 
	 31 d(633) d(1018) 
	 31 a(609,745) r(721,716) 
	 31 d(927) r(865,829) 
	 31 a(609,745) r(607,609) 
	 31 d(927) a(685,800) 
	 29 d(470) d(782) 
	 31 d(1012) a(1084,1105) 
	 31 d(470) d(965) 
	 30 d(1012) d(426) 
	 29 d(758) d(392) 
	 30 r(1085,1108) r(963,1109) 
	 31 d(630) a(470,474) 
	 31 r(412,431) r(1079,437) 
search: generation 2 (sizeof one variant = 0.345892 MB)
	 31 r(830,852) a(861,855) r(1075,1064) 
	 30 r(674,659) a(658,366) d(1014) 
	 31 d(1012) a(1084,1105) r(426,427) 
	 31 d(1012) d(426) r(409,433) 
	 31 d(731) a(470,474) d(416) 
	 31 d(630) r(1027,1022) a(431,919) 
	 31 d(731) r(1027,1022) r(384,368) 
	 30 d(630) a(470,474) a(718,527) 
	 31 d(856) d(563) a(693,917) 
	 29 d(1017) d(998) d(864) 
	 31 d(856) d(998) a(711,775) 
	 31 d(1017) d(563) a(739,603) 
	 31 d(856) a(1023,996) r(429,393) d(492) 
	 31 d(856) a(489,458) 
	 31 d(856) a(1023,996) d(739) 
	 31 d(856) r(429,393) d(804) 
	 31 d(729) a(533,690) 
	 31 d(667) r(427,428) d(422) a(397,734) 
	 31 d(729) d(422) r(841,586) 
	 31 d(667) r(427,428) r(668,674) 
	 30 r(674,659) d(415) d(776) 
	 31 d(1017) r(770,705) d(898) 
	 31 r(674,659) r(770,705) r(488,484) 
	 31 d(1017) d(415) d(673) 
	 30 d(667) a(415,1031) a(1081,996) d(433) 
	 30 r(412,431) a(886,900) 
	 31 d(667) a(415,1031) d(965) 
	 30 r(412,431) a(1081,996) d(605) 
	  0 d(996) d(706) d(1093) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(467) a(942,728) 
	 31 d(996) d(706) d(943) 
	 30 d(467) r(603,1081) 
	 31 d(952) r(363,362) 
	 31 d(1017) d(563) d(543) d(1109) 
	 31 d(952) d(543) d(1055) 
	 31 d(1017) d(563) r(709,794) 
	 30 d(856) r(429,393) r(831,820) 
	 31 d(470) d(413) d(1104) 
	 30 r(674,659) d(494) a(670,1055) 
	 31 d(856) a(414,463) d(1110) 
	 30 r(1085,1108) d(783) a(1071,368) 
	 30 d(856) r(391,385) d(430) 
	 31 a(609,745) a(1029,879) r(480,503) 
	 31 d(904) r(721,716) d(1031) 
	 31 a(609,745) r(721,716) r(551,578) 
	 30 d(904) a(1029,879) d(426) 
	 31 a(609,745) r(607,609) a(1087,401) r(798,854) 
	 31 d(904) d(952) 
	 30 a(609,745) r(607,609) r(771,778) 
	 31 d(904) a(1087,401) d(611) 
	 31 d(856) a(414,463) r(1013,998) 
	 31 d(731) r(1087,1079) a(881,504) 
	 30 d(996) d(706) a(469,608) d(1101) 
	 30 d(952) r(850,861) 
	 31 d(996) d(706) r(997,1018) 
	 31 d(952) a(469,608) d(581) 
	 31 r(412,431) d(470) a(591,546) 
	 30 a(609,745) r(721,716) r(546,601) 
	 31 r(412,431) d(470) r(679,786) 
	 31 a(609,745) r(721,716) d(386) 
	 30 r(412,431) d(470) r(1015,963) 
	 31 d(729) d(1028) r(676,629) 
	 28 r(412,431) d(465) d(1023) 
	 31 r(412,431) r(1079,437) r(858,833) 
search: generation 3 (sizeof one variant = 0.346601 MB)
	 31 d(996) d(706) a(469,608) d(1101) r(584,483) 
	 31 d(904) r(721,716) d(1031) d(996) 
	 31 r(674,659) r(770,705) r(488,484) d(1104) d(491) 
	 30 d(470) d(413) d(1091) 
	 30 r(674,659) r(770,705) r(488,484) d(515) 
	 30 d(470) d(413) d(1104) a(388,528) 
	 31 d(731) r(1087,1079) a(881,504) r(612,1008) 
	 31 a(609,745) a(1029,879) r(480,503) r(708,771) 
	 30 d(904) r(721,716) d(1031) r(498,482) 
	 31 d(856) r(429,393) d(804) r(659,660) 
	 31 d(731) r(1027,1022) r(384,368) d(364) 
	 31 d(904) a(1087,401) d(611) a(966,686) 
	 31 d(729) d(1028) d(673) 
	 31 d(1012) d(426) r(409,433) r(676,629) a(746,791) 
	 29 d(729) d(1028) r(676,629) r(618,644) 
	 29 d(1012) d(426) r(409,433) r(579,577) 
	 31 d(731) r(1027,1022) r(384,368) d(884) 
	 31 d(952) d(543) d(1055) d(917) 
	 31 d(904) r(721,716) d(1031) d(714) 
	 31 d(470) d(413) d(1104) r(664,652) 
	 31 a(609,745) r(679,786) r(542,538) 
	 31 r(412,431) d(470) r(607,609) r(771,778) d(514) 
	 30 a(609,745) r(607,609) r(771,778) d(1007) 
	 31 r(412,431) d(470) r(679,786) r(1025,967) 
	 31 d(729) d(422) r(841,586) r(793,732) 
	 31 d(952) r(363,362) r(798,811) 
	 31 d(856) d(909) 
	 30 d(467) a(942,728) d(998) a(711,775) d(746) 
	 31 d(856) d(998) a(711,775) r(478,504) 
	 31 d(467) a(942,728) r(676,665) 
	 30 d(731) a(470,474) d(416) r(773,739) 
	 30 d(470) d(413) d(1104) r(544,545) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) 
	 31 d(856) r(836,798) 
	 31 d(729) d(422) r(841,586) r(1017,1007) 
	 30 d(856) d(998) a(711,775) d(967) 
	 30 d(1017) d(563) r(1098,1105) 
	 31 a(609,745) r(607,609) r(771,778) r(709,794) d(546) 
	 30 d(1017) d(563) r(709,794) r(503,496) 
	 31 a(609,745) r(607,609) r(771,778) d(602) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) 
	 29 d(856) a(414,463) d(1110) d(857) 
	 30 d(731) r(668,674) d(1031) 
	 29 d(667) r(427,428) a(470,474) d(416) d(658) 
	 31 d(731) a(470,474) d(416) d(940) 
	 31 d(667) r(427,428) r(668,674) a(836,838) 
	 31 d(729) a(469,694) 
	 31 d(667) r(427,428) r(668,674) a(533,690) a(430,444) 
	 31 d(729) a(533,690) a(469,591) 
	 30 d(667) r(427,428) r(668,674) a(668,652) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) 
	 31 d(856) a(1023,996) d(739) r(1024,999) 
	 31 d(667) a(415,1031) a(1081,996) d(433) a(801,408) 
	 31 d(1012) a(1084,1105) r(426,427) a(850,591) 
	 31 d(729) d(422) a(414,463) d(1110) r(772,775) 
	 31 d(856) r(841,586) a(490,698) 
	 29 d(729) d(422) r(841,586) d(425) 
	 31 d(856) a(414,463) d(1110) d(837) 
search: generation 4 (sizeof one variant = 0.347477 MB)
	 31 d(856) a(414,463) d(1110) d(837) a(1074,919) 
	 31 d(856) d(909) r(423,408) 
	 28 d(952) r(363,362) r(798,811) d(855) 
	 30 d(729) d(422) r(841,586) r(793,732) r(720,710) 
	 31 d(904) a(1087,401) d(611) a(966,686) r(600,599) 
	 30 d(667) r(427,428) r(668,674) a(836,838) r(444,497) 
	 30 d(856) d(909) r(1087,1079) a(881,504) r(612,1008) d(563) 
	 31 d(731) a(595,603) 
	 31 d(856) d(909) a(393,606) 
	 31 d(731) r(1087,1079) a(881,504) r(612,1008) a(716,1083) 
	 28 a(609,745) a(1029,879) r(480,503) r(708,771) d(783) 
	 31 d(729) a(469,694) d(1096) 
	 30 d(1017) a(1087,401) d(611) a(966,686) r(539,538) 
	 31 d(904) d(563) r(1098,1105) d(418) 
	 31 d(1017) d(563) r(1098,1105) a(653,694) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) 
	 30 d(667) r(427,428) r(668,674) a(533,690) a(430,444) a(1009,1000) 
	 31 d(856) a(1023,996) d(739) r(1024,999) r(926,947) 
	 30 d(731) r(1027,1022) r(384,368) d(364) r(426,394) 
	 31 d(856) r(429,393) d(804) r(659,660) d(598) 
	 31 d(731) r(1027,1022) r(384,368) d(884) r(998,1019) 
	 31 d(729) a(469,694) d(664) 
	 31 d(731) r(1027,1022) r(384,368) d(884) d(717) 
	 31 d(729) d(1028) d(673) r(1026,965) 
	 31 d(1012) a(1084,1105) r(426,427) a(850,591) r(886,729) 
	 31 d(904) r(721,716) d(1031) r(498,482) r(841,474) 
	 31 d(856) r(676,665) r(795,784) 
	 30 d(467) a(942,728) r(841,586) a(490,698) d(837) 
	 31 d(856) r(841,586) a(490,698) d(853) 
	 30 d(467) a(942,728) r(676,665) r(869,814) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) 
	 30 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(872) 
	 29 d(731) r(668,674) d(1031) d(910) 
	 29 d(731) r(668,674) d(1031) a(950,401) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(1095) 
	 30 a(609,745) r(679,786) r(542,538) d(730) 
	 31 d(856) a(414,463) d(1110) d(837) r(942,919) 
	 29 d(731) r(1087,1079) r(384,368) d(364) r(705,628) 
	 31 d(731) r(1027,1022) a(881,504) r(612,1008) r(1027,1017) 
	 31 d(731) r(1087,1079) a(881,504) r(612,1008) r(653,630) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(665) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) 
	 29 d(729) a(533,690) a(469,591) r(384,368) d(884) a(736,1095) 
	 31 d(731) r(1027,1022) a(631,1081) 
	 31 d(729) a(533,690) a(469,591) d(658) 
	 29 d(731) r(1027,1022) r(384,368) d(884) a(710,438) 
	 31 d(731) r(668,674) d(1031) d(429) 
	 31 d(952) r(363,362) r(798,811) a(1021,1081) 
	 31 d(470) d(413) d(1104) r(785,730) 
	 31 d(856) r(836,798) r(544,545) r(1021,1007) 
	 31 d(470) d(413) d(1104) r(544,545) d(527) 
	 29 d(856) r(836,798) r(539,537) 
search: generation 5 (sizeof one variant = 0.347838 MB)
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) 
	 29 d(470) d(413) d(1104) d(563) r(1098,1105) d(418) d(514) 
	 31 d(904) r(785,730) d(608) 
	 29 d(470) d(413) d(1104) r(785,730) r(651,1012) 
	 31 d(904) d(563) r(1098,1105) d(418) a(606,1079) 
	 30 d(856) d(909) r(1087,1079) a(881,504) r(612,1008) d(563) r(602,605) 
	 31 d(729) d(1028) d(673) r(1026,965) a(630,651) 
	 31 d(731) r(1027,1022) a(631,1081) r(679,786) r(542,538) d(730) d(791) 
	 31 a(609,745) d(413) 
	 31 d(731) r(1027,1022) a(631,1081) r(417,416) 
	 31 a(609,745) r(679,786) r(542,538) d(730) r(415,432) 
	 29 d(470) d(413) d(1104) r(785,730) d(505) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) d(515) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) a(1052,393) 
	 31 d(731) r(1027,1022) r(384,368) d(884) a(710,438) a(651,652) 
	 29 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(1027,1017) a(1012,397) 
	 31 d(731) r(1027,1022) a(881,504) r(612,1008) d(905) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) 
	 31 d(731) r(1027,1022) a(881,504) r(612,1008) r(1027,1017) d(484) 
	 31 d(904) r(1013,968) a(545,680) d(1073) 
	 30 d(856) a(414,463) r(1013,998) d(563) r(1098,1105) d(418) d(758) 
	 30 d(904) d(563) r(1098,1105) d(418) d(1096) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(428,420) 
	 29 d(729) a(469,694) d(1096) r(1013,968) a(545,680) d(1081) 
	 31 d(856) a(414,463) r(1013,998) r(1110,1104) 
	 31 d(729) a(469,694) d(1096) d(522) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) 
	 31 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) 
	 31 d(1012) a(1084,1105) r(426,427) a(850,591) r(886,729) r(732,1110) 
	 31 d(1017) d(563) r(1098,1105) a(653,694) d(408) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) r(592,588) 
	 31 d(731) r(668,674) a(966,686) d(618) a(866,728) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(490,492) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(872) d(467) d(579) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) a(829,690) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(872) a(644,375) 
	 29 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) d(578) 
	 30 d(470) d(413) d(1104) r(544,545) d(527) r(652,653) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(872) a(397,424) 
	 30 d(731) r(668,674) d(1031) d(429) d(612) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(903,606) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(1095) r(720,732) 
	 30 d(731) r(668,674) d(1031) d(429) r(495,469) 
	 30 d(731) d(563) r(1098,1105) d(418) a(668,659) 
	 31 d(904) r(1027,1022) r(384,368) d(364) d(1095) d(1091) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(1091,734) 
	 28 d(904) d(563) r(1098,1105) d(418) r(1094,1090) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) 
	 30 d(1017) d(563) r(1098,1105) a(653,694) d(538) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(665,628) 
	 30 d(470) d(413) d(1104) r(785,730) d(800) 
	 31 d(467) a(942,728) r(841,586) a(490,698) d(837) d(731) 
	 30 d(731) r(1087,1079) a(881,504) r(612,1008) r(653,630) a(414,651) 
	 30 d(467) a(942,728) r(676,665) r(869,814) d(632) 
	  0 d(470) d(413) d(1104) r(544,545) d(527) r(1113,1079) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	956 d(731) r(668,674) d(1031) a(950,401) r(368,708) 
	 31 d(470) d(413) d(1104) r(544,545) d(527) a(927,408) 
search: generation 6 (sizeof one variant = 0.35011 MB)
	 28 d(1012) a(1084,1105) d(563) r(1098,1105) d(418) a(606,1079) a(618,659) 
	 30 d(904) r(426,427) a(653,694) r(486,500) d(385) 
	 29 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) r(1098,1083) 
	 30 d(904) d(563) r(1098,1105) d(418) a(606,1079) d(908) 
	 31 d(904) r(905,897) 
	 31 d(731) r(1027,1022) r(384,368) d(884) a(710,438) a(651,652) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) r(734,1081) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) 
	 29 d(731) r(1027,1022) r(384,368) d(884) a(710,438) a(651,652) a(431,968) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) 
	 31 d(729) d(1028) d(673) r(1026,965) a(630,651) d(1019) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) a(829,690) d(858) 
	 30 d(731) r(1027,1022) a(631,1081) r(679,786) r(542,538) d(730) d(791) r(1075,1064) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) a(1052,393) a(738,677) 
	 31 d(729) a(1031,469) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(466,437) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) a(1052,393) d(611) 
	 29 d(731) r(1027,1022) r(384,368) d(364) r(417,416) d(1085) 
	 31 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(1095) r(720,732) r(687,1027) 
	 31 d(731) r(1027,1022) a(631,1081) r(417,416) a(711,712) 
	 30 d(729) a(469,694) d(1096) d(522) a(587,1095) 
	 31 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) r(1073,1062) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) r(592,588) a(963,368) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(872) a(644,375) d(879) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) a(829,690) d(1083) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(903,606) r(999,1026) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(1091,734) r(860,796) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(368,708) a(651,1054) 
	 28 d(904) r(1027,1022) r(384,368) d(364) d(1095) r(1013,968) a(545,680) d(1073) d(582) 
	 30 d(904) d(1091) a(1113,732) 
	 31 d(904) r(1027,1022) r(384,368) d(364) d(1095) d(1091) d(910) 
	 31 d(904) r(1013,968) a(545,680) d(1073) d(997) 
	 31 d(731) r(1027,1022) r(592,588) r(631,671) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) r(384,368) d(364) d(872) a(397,424) d(1099) 
	 31 d(731) r(1027,1022) r(384,368) d(364) d(872) a(397,424) d(901) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) r(592,588) a(686,792) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) r(1027,1022) r(384,368) d(364) d(1095) r(720,732) r(1015,1010) 
	 31 d(731) r(713,711) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(1095) r(720,732) r(425,424) 
	 31 a(609,745) a(1052,393) a(437,450) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) 
	 31 a(609,745) d(413) r(496,504) 
	 29 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) a(1052,393) d(1024) 
	 29 d(470) d(413) d(1104) r(544,545) d(527) r(793,738) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) d(801) 
	 30 d(470) d(413) d(1104) r(544,545) d(527) a(927,408) d(861) 
	 30 d(856) r(841,586) a(490,698) d(853) a(626,996) d(1076) 
	 30 d(731) a(850,591) r(886,729) r(732,1110) a(666,917) 
	 30 d(1012) a(1084,1105) r(426,427) r(1027,1022) r(384,368) d(364) d(1095) a(903,606) a(771,601) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(903,606) a(794,716) 
	 29 d(1012) a(1084,1105) r(426,427) a(850,591) r(886,729) r(732,1110) r(1012,1000) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) 
	 29 d(731) r(1027,1022) a(881,504) r(612,1008) d(905) r(785,736) 
	 31 d(904) d(1031) a(950,401) r(368,708) r(767,714) 
	 30 d(731) r(668,674) r(1013,968) a(545,680) d(1073) r(612,580) 
	 30 d(904) r(1013,968) a(545,680) d(1073) a(480,692) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(368,708) d(1104) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(665,628) d(1009) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) r(676,665) r(869,814) d(632) a(1102,463) 
	 29 d(467) a(942,728) d(467) r(745,817) a(971,999) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) r(980,1012) 
	 28 d(467) a(942,728) r(676,665) r(869,814) d(632) r(662,627) 
search: generation 7 (sizeof one variant = 0.349004 MB)
	 31 d(856) a(414,463) r(1013,998) r(1013,968) r(905,897) d(768) 
	 29 d(904) a(545,680) r(1027,1011) r(927,934) d(1051) 
	 29 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(854,861) 
	 30 d(904) r(905,897) r(795,731) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) a(491,499) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) d(801) r(788,677) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) d(801) r(626,634) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) d(426) 
	 30 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) a(850,591) r(886,729) d(1047) r(1073,1062) r(769,698) 
	 31 d(1017) d(563) r(1098,1105) d(717) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) d(492) 
	 30 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) r(1073,1062) r(668,674) 
	 29 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(730) d(791) r(1075,1064) d(417) 
	 30 d(731) r(1027,1022) a(631,1081) r(679,786) r(542,538) d(1074) 
	 31 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(881) 
	 27 d(731) r(1027,1022) a(631,1081) r(679,786) r(542,538) d(730) d(791) r(1075,1064) d(828) 
	 29 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(1091,734) r(860,796) d(852) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) 
	 31 d(729) a(1031,469) r(889,904) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) a(544,540) 
	 31 d(904) r(905,897) d(971) 
	 29 d(904) r(1027,1022) r(384,368) d(364) d(1095) d(1091) d(910) a(480,967) 
	  0 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(466,437) r(1095,853) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	  0 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) r(1093,1091) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 30 d(731) r(1027,1022) a(631,1081) r(417,416) a(711,712) d(1108) 
	 31 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(665,628) d(1009) d(1029) 
	 30 d(731) r(1027,1022) r(384,368) d(364) d(1095) a(903,606) a(794,716) d(690) 
	 30 d(904) a(1087,401) d(611) d(1031) a(950,401) r(384,368) d(364) d(872) a(397,424) d(1099) r(541,532) 
	 30 a(609,745) a(1029,879) r(480,503) r(963,1094) a(829,690) d(1083) d(503) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) a(598,397) 
	 31 a(609,745) d(413) r(496,504) d(1102) 
	 30 a(609,745) d(413) r(496,504) r(855,861) 
	 31 d(904) r(905,897) r(1106,1101) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) r(731,732) 
	 31 d(729) a(1031,469) r(1110,1108) 
	 31 d(904) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) d(393) 
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(842,853) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) a(574,368) 
	 29 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) r(660,633) 
	 31 d(731) r(713,711) d(1085) 
	 31 d(904) d(1091) a(1113,732) d(957) 
	 29 d(904) r(905,897) r(426,427) a(653,694) r(486,500) d(828) r(538,536) 
	 31 d(1012) a(1084,1105) a(759,612) 
	 31 d(904) r(905,897) d(712) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) a(470,368) 
	 30 a(609,745) a(1029,879) a(545,680) a(715,625) a(466,437) r(1016,1011) 
	 29 d(856) a(414,463) r(1013,998) r(1013,968) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) r(675,628) 
	 27 a(609,745) a(1029,879) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) d(783) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(466,437) a(1099,879) 
	 31 d(904) d(1031) a(950,401) r(368,708) a(651,1054) r(729,712) 
	 31 d(731) r(668,674) r(905,897) a(604,452) 
	 31 d(904) r(905,897) d(1075) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(368,708) a(651,1054) r(713,693) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) 
	 31 a(609,745) a(1052,393) a(437,450) r(417,416) a(711,712) r(935,933) 
	 31 d(731) r(1027,1022) a(631,1081) r(417,416) a(711,712) r(773,719) 
	 31 a(609,745) a(1052,393) a(437,450) a(1094,1000) 
search: generation 8 (sizeof one variant = 0.349476 MB)
	  0 d(1012) a(1084,1105) a(759,612) r(1093,1092) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 a(609,745) a(1052,393) a(437,450) a(1094,1000) r(783,781) 
	 29 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) a(491,499) r(1028,1007) 
	 28 d(731) r(668,674) d(1031) a(950,401) r(368,708) a(651,1054) r(713,693) r(1026,965) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) a(544,540) r(384,385) 
	 30 d(731) r(668,674) r(905,897) a(604,452) a(611,549) 
	 31 d(731) r(1027,1022) a(631,1081) d(1095) r(1027,1022) a(631,1081) d(955) d(936) 
	 31 d(731) r(720,732) r(595,585) d(881) r(581,578) 
	 28 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(881) a(746,441) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) a(859,528) 
	 31 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(618) d(425) d(706) r(1008,1020) a(437,488) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(1047) r(1073,1062) r(668,674) r(389,391) 
	 31 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) r(1073,1062) r(668,674) a(971,546) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) d(545) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) d(618) d(425) d(706) r(842,853) r(533,527) 
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) a(544,540) r(898,895) 
	 31 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) a(544,540) r(897,902) 
	 30 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(842,853) r(575,582) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) a(598,397) a(672,663) 
	 31 d(904) r(905,897) r(1106,1101) a(1026,565) 
	 31 d(904) r(905,897) d(913) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(368,708) a(651,1054) r(713,693) d(971) a(389,386) 
	 31 d(904) r(905,897) d(971) a(954,968) 
	 31 d(731) r(668,674) d(1031) a(950,401) r(368,708) a(651,1054) r(713,693) r(597,601) 
	 31 d(1017) d(563) r(1098,1105) d(717) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(579) 
	 31 d(856) a(414,463) a(959,644) 
	 30 d(1017) d(563) r(1098,1105) d(717) d(480) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(565) 
	 30 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) r(849,857) 
	 31 d(1012) a(1084,1105) a(759,612) d(828) r(731,732) r(428,435) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) r(731,732) d(492) 
	 31 d(1012) a(1084,1105) a(759,612) a(508,617) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) r(1029,1028) 
	 30 d(904) r(905,897) d(971) r(456,465) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(860,799) 
	 30 d(904) r(905,897) d(712) d(426) d(1007) 
	 29 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) d(426) d(425) 
	 31 d(904) r(905,897) d(712) r(934,945) 
	 31 d(904) r(905,897) d(1095) r(720,732) r(595,585) d(881) d(467) 
	 31 d(731) r(1027,1022) a(631,1081) d(971) r(712,686) 
	 31 d(904) r(905,897) d(971) d(707) 
	 31 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(881) r(397,790) 
	 29 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) d(801) r(626,634) r(812,871) 
	 30 d(904) a(1087,401) d(611) d(1031) a(950,401) r(384,368) d(364) d(872) a(397,424) d(1099) r(541,532) a(419,1031) 
	 31 d(904) a(491,499) r(715,758) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) r(905,897) d(712) d(804) 
	 31 d(904) r(905,897) d(712) r(1054,1090) 
	 31 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) a(491,499) d(896) 
	 31 a(609,745) a(1052,393) a(437,450) r(417,416) a(711,712) r(935,933) r(1018,1019) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) r(731,732) r(894,883) 
	 31 a(609,745) a(1052,393) a(437,450) a(466,437) a(1099,879) d(705) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(1094,1000) r(850,853) 
	 30 a(609,745) a(1052,393) a(437,450) a(1094,1000) d(434) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(466,437) a(1099,879) d(736) 
	 31 d(904) r(905,897) d(1075) r(422,427) 
	 31 d(729) a(1031,469) r(1110,1108) r(674,643) 
	 31 d(731) r(668,674) r(905,897) r(963,1094) d(467) r(745,817) r(474,476) d(393) r(435,412) 
	 31 d(904) r(480,503) a(604,452) r(1075,1068) 
	 31 d(731) r(668,674) r(905,897) a(604,452) d(584) 
	 31 d(904) r(480,503) r(963,1094) d(467) r(745,817) r(474,476) d(393) d(943) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(1027,1011) r(927,934) r(784,794) r(800,1015) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) d(716) 
	 28 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(543,527) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(812) 
search: generation 9 (sizeof one variant = 0.349725 MB)
	 31 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(881) r(397,790) a(391,705) 
	 31 d(904) r(905,897) d(1075) r(422,427) a(392,390) 
	 30 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) r(1073,1062) r(905,897) d(712) r(934,945) r(675,667) 
	 31 d(904) r(668,674) a(971,546) a(457,546) 
	 31 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(1047) r(1073,1062) r(668,674) a(971,546) d(581) 
	 29 d(904) r(905,897) d(712) r(934,945) r(543,527) 
	 31 d(904) r(905,897) r(905,897) d(1075) r(422,427) d(544) 
	 31 d(904) d(913) a(713,886) 
	 31 d(904) r(905,897) d(913) d(747) 
	 31 d(904) r(905,897) d(1075) r(422,427) a(1000,463) 
	 31 d(904) a(1087,401) d(611) a(966,686) a(690,788) r(1075,1065) a(1102,694) a(598,397) a(672,663) r(1054,602) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) a(859,528) d(1069) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) r(905,897) d(971) a(954,968) r(605,604) 
	 31 d(904) a(545,680) r(1027,1011) r(927,934) r(784,794) d(812) a(633,652) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(812) d(628) 
	 31 d(904) r(905,897) d(971) a(954,968) d(729) 
	 28 d(1017) d(563) r(1098,1105) a(850,591) d(707) r(966,682) 
	 29 d(904) r(905,897) d(971) r(886,729) d(618) d(425) d(706) r(1008,1020) a(437,488) r(1104,1109) 
	 30 d(1017) d(563) r(1098,1105) a(850,591) r(886,729) d(618) d(425) d(706) r(1008,1020) a(437,488) a(488,705) 
	 31 d(904) r(905,897) d(971) d(707) r(962,540) 
	 31 d(731) r(1027,1022) r(904,882) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(1027,1011) r(927,934) r(784,794) r(800,1015) a(631,1081) d(955) a(859,528) r(691,696) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) a(859,528) d(631) 
	 30 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(1027,1011) r(927,934) r(784,794) r(800,1015) d(1008) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) a(859,528) r(422,409) 
	 31 d(1012) a(1084,1105) a(759,612) d(828) r(731,732) r(428,435) r(600,592) 
	 31 d(731) r(1027,1022) r(668,674) r(905,897) r(963,1094) d(467) r(745,817) r(474,476) d(393) r(435,412) r(451,465) 
	 31 d(731) a(631,1081) d(971) r(712,686) r(633,672) 
	 31 d(731) r(1027,1022) a(631,1081) d(971) r(712,686) r(431,411) 
	 31 d(731) r(668,674) r(905,897) r(963,1094) d(467) r(745,817) r(474,476) d(393) r(435,412) a(693,505) 
	 31 d(904) r(905,897) d(712) r(934,945) d(913) d(644) 
	 31 d(904) r(905,897) r(532,537) 
	 31 d(904) r(905,897) d(712) r(934,945) d(578) 
	 31 d(904) r(905,897) d(913) r(792,766) 
	 31 d(1012) r(1106,1101) a(1026,565) a(629,1000) 
	 31 d(904) r(905,897) a(1084,1105) a(759,612) a(508,617) a(601,642) 
	 29 d(1012) a(1084,1105) a(759,612) a(508,617) d(1076) 
	 31 d(904) r(905,897) r(1106,1101) a(1026,565) d(739) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) r(384,368) d(364) d(872) a(397,424) d(1099) r(541,532) a(419,1031) d(432) 
	 30 d(856) r(841,586) a(490,698) d(853) a(626,996) a(927,408) a(491,499) r(1028,1007) r(1050,1048) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) r(1029,1028) r(905,897) a(604,452) d(584) d(412) 
	 31 d(731) r(668,674) r(854,853) 
	 31 d(731) r(1027,1022) a(631,1081) d(955) r(1029,1028) a(1013,584) 
	 30 d(731) r(668,674) r(905,897) a(604,452) d(584) d(775) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(731,732) r(428,435) r(799,866) 
	 31 d(1012) a(1084,1105) a(759,612) d(828) r(486,500) d(828) r(731,732) r(894,883) r(1012,1008) 
	 31 d(1012) a(1084,1105) r(426,427) a(653,694) r(486,500) d(828) r(731,732) r(894,883) a(450,490) 
	 31 d(1012) a(1084,1105) a(759,612) d(828) r(731,732) r(428,435) a(626,996) 
	 31 a(609,745) a(1052,393) a(437,450) a(1094,1000) r(1054,1090) d(394) 
	 31 d(904) r(905,897) d(712) r(783,781) r(972,1022) 
	 31 a(609,745) a(1052,393) a(437,450) a(1094,1000) r(783,781) a(850,705) 
	 31 d(904) r(905,897) d(712) r(1054,1090) d(644) 
	 31 d(731) r(668,674) r(905,897) r(963,1094) d(467) r(898,895) d(549) 
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) a(544,540) r(745,817) r(474,476) d(393) r(435,412) d(444) 
	 31 d(731) r(668,674) r(905,897) r(963,1094) d(467) r(745,817) r(474,476) d(393) r(435,412) r(868,861) 
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) a(544,540) r(898,895) a(1110,617) 
	 30 d(729) d(422) r(841,586) d(998) a(711,775) a(598,963) a(582,566) d(413) r(479,443) a(544,540) r(897,902) d(690) 
	 30 d(904) r(480,503) a(604,452) r(1075,1068) a(786,715) 
	 28 d(731) r(1027,1022) a(631,1081) d(1095) r(720,732) r(595,585) d(881) r(397,790) d(999) 
	 31 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(812) r(563,581) 
	 31 d(904) r(905,897) d(971) r(456,465) d(594) 
	 31 a(609,745) a(1052,393) a(437,450) a(466,437) a(1099,879) d(705) r(731,778) 
	 29 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) r(1027,1011) r(927,934) r(784,794) d(565) r(736,681) 
	 30 d(856) a(414,463) r(1013,998) r(1013,968) a(545,680) a(715,625) a(1094,1000) r(850,853) r(542,516) 
search: generation 10 (sizeof one variant = 0.350677 MB)
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) a(544,540) r(745,817) d(835) 
	 31 d(731) r(1027,1022) r(904,882) r(474,476) d(393) r(435,412) d(444) r(401,1050) 
	 31 a(609,745) a(1029,879) a(1087,401) d(611) a(966,686) a(544,540) r(745,817) r(474,476) d(393) r(435,412) d(444) d(443) 
	 31 d(731) r(1027,1022) r(904,882) a(573,452) 
	 31 d(904) a(1087,401) d(611) d(1031) a(950,401) a(390,1000) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(1027,1011) r(927,934) r(784,794) r(800,1015) d(1008) r(384,368) d(364) d(872) a(397,424) d(1099) r(541,532) a(419,1031) d(432) a(603,801) 
	 30 d(904) a(1087,401) d(611) d(1031) a(950,401) r(384,368) d(364) d(872) a(397,424) d(1099) r(541,532) a(419,1031) d(432) r(467,465) 
	 31 d(904) a(1087,401) d(611) a(966,686) d(618) d(425) d(706) r(1008,1020) r(1027,1011) r(927,934) r(784,794) r(800,1015) d(1008) d(1084) 
	 31 d(731) r(668,674) r(474,476) d(393) r(435,412) d(444) d(600) 
*** 720m timeout
python-bug-70098-70101.tar.gz
Wed Feb 19 22:22:49 EST 2014
shutting down
