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 7
--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-235 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:24:46 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/tmpb70928.c /tmp/tmp7a3dbd.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 = 469.116)
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.0132484 MB)
	 31 a(971,382) 
	 31 d(836) 
	 31 d(382) 
	 31 r(792,734) 
	 31 d(431) 
	 31 r(469,431) 
	 31 d(710) 
	 31 d(788) 
	 31 r(886,660) 
	 31 d(708) 
	 31 a(1069,1030) 
	 31 r(882,894) 
	 31 r(414,411) 
	 31 r(457,495) 
	 31 a(491,931) 
	 29 d(713) 
	 31 r(430,425) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-70098-70101/000017/Modules/zlibmodule.c  r(1092,1104)  fails to compile
	  0 r(1092,1104) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(533) 
	 31 d(958) 
	 31 r(627,630) 
	 30 r(1076,1068) 
	 31 d(1016) 
	 31 r(516,527) 
	  0 a(1109,504) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(457) 
	 31 d(904) 
	 31 r(698,1052) 
	 31 r(871,818) 
	 31 d(458) 
	 31 r(1012,1014) 
	 31 d(587) 
	 31 d(393) 
	 31 a(501,451) 
	 31 r(1023,1016) 
	 31 a(1074,1069) 
	 31 d(781) 
	 31 d(408) 
	 28 r(539,514) 
	 31 original
search: generation 1 (sizeof one variant = 0.345208 MB)
	 29 a(971,382) r(508,663) 
	 31 r(430,425) d(972) 
	 31 a(971,382) r(1017,1008) 
	 31 r(430,425) d(890) 
	 31 r(414,411) r(715,772) 
	 31 d(431) r(368,769) 
	 31 d(710) d(670) 
	 31 d(533) a(368,684) 
	 31 d(710) d(941) 
	 31 d(533) d(711) 
	 30 r(882,894) a(863,680) 
	 29 r(469,431) d(790) 
	 30 d(708) a(900,687) 
	 31 a(491,931) a(580,577) 
	 31 d(533) d(1009) 
	 31 d(708) r(674,634) 
	 31 d(713) r(788,759) 
	 31 d(958) a(708,1055) 
	 31 d(713) d(602) 
	 31 d(958) r(1013,1028) 
	 30 r(469,431) r(687,501) 
	 30 d(408) r(493,500) 
	 31 a(1074,1069) d(589) 
	 31 r(430,425) r(412,414) 
	 31 a(1074,1069) r(1055,1075) 
	 31 r(430,425) r(857,864) 
	 31 d(1016) d(714) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-70098-70101/000066/Modules/zlibmodule.c  d(587) r(1092,1099)  fails to compile
	  0 d(587) r(1092,1099) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	956 a(971,382) d(497) 
	 31 a(491,931) d(545) 
	 31 a(971,382) r(857,836) 
	 31 a(491,931) d(758) 
	 31 d(533) d(452) 
	 31 d(710) a(413,382) 
	 30 d(457) a(1106,1093) 
	 31 a(491,931) a(537,718) 
	 28 d(457) d(795) 
	 30 a(491,931) r(791,792) 
	 31 d(533) a(1084,614) 
	 31 a(971,382) a(709,686) 
	 31 d(958) r(594,588) 
	 31 d(781) d(463) 
	 31 d(958) d(533) 
	 31 d(781) d(662) 
	 31 a(971,382) a(705,788) 
	 31 d(393) a(1009,611) 
	 31 r(469,431) d(947) 
	 31 d(393) a(408,549) 
	 31 r(871,818) a(801,611) 
	 31 d(836) r(830,870) 
	 31 r(871,818) r(849,787) 
	 31 d(836) d(894) 
	 31 a(1074,1069) d(1028) 
	 31 r(430,425) d(693) 
	 31 a(501,451) d(581) 
	 31 r(886,660) d(996) 
	 31 a(501,451) d(514) 
	 31 r(886,660) d(591) 
search: generation 2 (sizeof one variant = 0.346081 MB)
	 31 a(501,451) d(581) d(499) 
	 31 a(491,931) a(580,577) r(950,941) 
	 31 d(710) d(670) r(1020,1012) 
	 31 d(533) a(1084,614) r(943,940) 
	 31 d(958) a(393,408) 
	 31 d(533) a(368,684) r(594,588) r(721,694) 
	 30 d(958) r(594,588) d(790) 
	 31 d(533) a(368,684) r(393,382) 
	 31 d(533) a(1084,614) r(384,385) 
	 31 a(491,931) a(537,718) d(497) 
	 30 a(501,451) d(514) d(1072) 
	 31 r(886,660) d(996) d(737) 
	 31 d(408) r(493,500) r(934,949) 
	 31 d(708) r(674,634) d(766) 
	 31 d(408) r(493,500) a(594,586) 
	 31 d(708) r(674,634) d(903) 
	 31 a(491,931) a(537,718) r(627,614) 
	 30 a(491,931) a(537,718) r(776,746) 
	 30 d(781) d(662) d(850) 
	 31 d(781) d(463) a(850,828) 
	 31 d(533) d(1009) r(674,628) 
	 31 r(430,425) d(972) r(778,774) 
	 31 d(713) r(788,759) a(708,680) 
	 31 d(533) d(452) d(1012) 
	 30 d(710) d(670) r(430,433) 
	 31 r(430,425) d(972) d(998) 
	 30 r(430,425) r(412,414) r(865,800) 
	 31 d(533) a(1084,614) r(478,488) 
	 31 r(430,425) d(972) d(950) 
	 31 a(491,931) a(580,577) r(392,385) 
	 31 a(491,931) d(758) a(717,766) 
	 31 r(430,425) d(693) d(1106) 
	 31 r(430,425) r(1055,1075) d(490) 
	 31 a(1074,1069) d(693) d(589) 
	 31 r(430,425) d(693) r(707,792) 
	 31 a(1074,1069) r(1055,1075) a(409,437) 
	 31 d(713) d(602) d(946) 
	 30 r(430,425) d(972) d(1055) 
	 31 a(501,451) d(514) d(939) 
	 31 d(533) d(711) d(690) 
	 30 r(430,425) d(890) r(997,967) 
	 29 d(1016) d(714) r(863,836) 
	 31 a(1074,1069) d(1028) d(972) d(837) 
	 30 r(430,425) d(383) 
	 31 a(1074,1069) d(1028) r(980,1021) 
	 31 r(430,425) d(972) d(385) 
	 30 a(491,931) d(545) a(972,849) 
	 30 d(713) r(788,759) a(739,785) 
search: generation 3 (sizeof one variant = 0.346422 MB)
	 31 a(501,451) d(581) d(499) d(888) 
	 31 r(886,660) d(996) d(737) d(1008) 
	 31 a(1074,1069) r(1055,1075) a(409,437) a(737,778) 
	 30 d(408) r(493,500) a(594,586) a(612,690) 
	 31 d(408) r(493,500) d(950) a(1013,408) 
	 31 r(430,425) d(972) a(594,586) r(1011,1000) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) 
	 30 r(430,425) d(972) d(950) d(1069) 
	 31 d(533) a(368,684) r(594,588) r(721,694) d(674) 
	 30 d(710) d(670) r(430,433) d(747) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) 
	 31 a(501,451) d(581) d(499) r(788,685) 
	 31 a(1074,1069) d(1028) d(972) r(674,634) d(903) a(736,790) 
	 30 d(708) d(837) d(485) 
	 31 a(1074,1069) d(1028) d(972) d(837) d(1109) 
	 30 d(708) r(674,634) d(903) r(388,368) 
	 31 a(501,451) d(514) d(1072) a(452,698) 
	 31 r(886,660) d(996) d(737) d(458) 
	 31 d(533) d(452) d(1012) r(469,532) 
	 31 r(886,660) d(996) d(737) r(478,480) 
	 31 a(491,931) r(778,774) d(1085) 
	 31 r(430,425) d(972) a(580,577) r(950,941) r(721,679) 
	 31 a(491,931) a(580,577) r(950,941) r(852,834) 
	 30 r(430,425) d(972) r(778,774) d(971) 
	 31 r(430,425) d(890) r(831,830) 
	 30 d(533) d(711) d(690) r(997,967) d(1026) 
	 30 r(430,425) d(890) r(997,967) a(1092,505) 
	 31 d(533) d(711) d(690) a(948,505) 
	 31 r(430,425) r(1055,1075) d(490) d(386) 
	 30 r(430,425) d(972) r(778,774) d(603) 
	 31 a(1074,1069) d(1028) r(980,1021) d(591) 
	 30 a(501,451) d(514) d(939) r(578,582) 
	 31 a(501,451) d(581) d(499) d(587) 
	 31 d(713) r(788,759) a(708,680) a(710,698) 
	 31 a(501,451) d(581) d(499) r(693,774) 
	 29 d(713) r(788,759) a(708,680) d(656) 
	 30 a(1074,1069) d(1028) d(972) d(837) r(685,790) 
	 30 d(533) d(1009) r(674,628) r(785,794) 
	 31 d(533) a(963,696) 
	 31 r(430,425) d(693) r(707,792) a(1084,614) r(943,940) d(578) 
	 30 d(533) a(1084,614) r(943,940) d(676) 
	 31 r(430,425) d(693) r(707,792) r(926,948) 
	 31 a(1074,1069) a(717,766) d(874) 
	 31 a(491,931) d(758) d(693) d(589) a(772,463) 
	 31 a(1074,1069) d(693) d(589) d(801) 
	 31 a(491,931) d(758) a(717,766) r(625,928) 
	 31 a(1074,1069) d(1028) r(980,1021) a(1022,1030) 
	 31 a(491,931) a(537,718) r(627,614) a(495,1055) 
	 31 a(491,931) d(758) a(717,766) a(708,680) r(1108,1100) 
	 31 d(713) r(788,759) d(605) 
	 30 a(491,931) d(758) a(717,766) d(537) 
	 30 d(713) r(788,759) a(708,680) d(441) 
	 30 r(430,425) d(972) r(778,774) r(1052,1053) 
	 31 d(710) d(670) r(1020,1012) d(499) 
	 31 a(1074,1069) r(1055,1075) a(409,437) r(444,505) 
	 31 a(491,931) a(537,718) r(627,614) a(774,549) 
search: generation 4 (sizeof one variant = 0.346951 MB)
	 31 d(408) r(493,500) d(950) r(627,614) a(774,549) d(480) 
	 31 a(491,931) a(537,718) a(1013,408) d(1074) 
	 31 d(408) r(493,500) d(950) a(1013,408) r(710,767) 
	 31 a(491,931) a(537,718) r(627,614) a(774,549) d(672) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) 
	 31 a(491,931) r(778,774) r(693,774) a(595,1081) 
	 30 a(501,451) d(581) d(499) r(693,774) a(717,738) 
	 31 a(491,931) r(778,774) d(1085) d(709) 
	 31 r(430,425) d(693) r(493,500) d(950) a(1013,408) a(665,653) 
	 31 d(408) r(707,792) r(926,948) d(708) 
	 31 r(430,425) d(693) r(707,792) r(926,948) r(730,768) 
	 31 d(408) r(493,500) d(950) a(1013,408) d(409) 
	 31 d(533) d(711) d(690) a(948,505) r(857,849) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) 
	 31 a(491,931) r(1079,487) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) 
	 30 a(491,931) a(537,718) r(627,614) a(495,1055) d(801) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) r(705,690) 
	 31 a(1074,1069) r(1055,1075) a(409,437) r(444,505) r(482,465) 
	 30 d(713) r(788,759) a(708,680) d(441) r(691,707) 
	 29 a(491,931) d(758) d(693) d(890) r(831,830) r(1096,1085) 
	 31 r(430,425) d(589) a(772,463) d(492) 
	 31 a(491,931) d(758) d(693) d(589) a(772,463) r(435,430) 
	 30 r(430,425) d(890) r(831,830) r(694,1023) 
	 31 r(430,425) d(972) r(778,774) d(603) a(1098,677) 
	 31 d(533) a(368,684) r(594,588) r(721,694) d(674) a(792,728) 
	 31 r(886,660) d(996) d(737) d(1008) d(732) 
	 31 a(501,451) d(581) d(499) d(888) r(563,549) 
	 31 a(491,931) a(537,718) a(708,680) r(1108,1100) r(792,682) 
	 31 a(491,931) d(758) a(717,766) r(627,614) a(774,549) d(528) 
	 31 a(491,931) a(537,718) r(627,614) a(774,549) a(563,1007) 
	 31 a(491,931) d(758) a(717,766) a(708,680) r(1108,1100) r(388,391) 
	 31 d(533) d(711) d(690) a(948,505) d(654) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) 
	 30 a(491,931) d(758) a(1084,614) r(943,940) d(578) d(601) 
	 31 r(430,425) d(693) r(707,792) a(717,766) r(625,928) d(1022) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(536,534) 
	 31 r(430,425) d(693) r(707,792) a(1084,614) r(943,940) d(578) a(747,728) 
	 30 r(886,660) d(996) d(737) d(458) r(677,857) 
	 30 d(533) d(452) d(1012) r(469,532) a(628,642) 
	 29 d(408) r(493,500) d(950) a(1013,408) r(596,587) 
	 31 r(886,660) d(996) d(737) d(458) d(1023) 
	 31 a(501,451) d(514) d(1072) r(788,759) d(605) a(669,886) 
	 30 d(713) a(452,698) a(573,692) 
	 30 a(501,451) d(514) d(1072) a(452,698) d(858) 
	 30 d(713) r(788,759) d(605) d(907) 
	 30 a(491,931) a(537,718) r(627,614) a(495,1055) r(896,913) 
	 30 a(501,451) d(581) d(499) r(788,685) d(708) 
	 31 a(1074,1069) r(1055,1075) a(409,437) r(444,505) d(1084) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) d(852) 
	 30 r(430,425) d(693) r(1026,966) d(907) 
	 29 d(408) r(493,500) a(594,586) r(707,792) r(926,948) d(882) 
	 31 r(430,425) d(693) r(707,792) r(926,948) d(522) 
	 30 d(408) r(493,500) a(594,586) r(1026,966) r(414,423) 
	 29 a(501,451) d(514) d(1072) a(452,698) d(478) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) 
	 31 a(491,931) d(413) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(874,634) 
	 31 a(491,931) r(778,774) d(1085) r(503,454) 
search: generation 5 (sizeof one variant = 0.347531 MB)
	 31 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(705,690) r(777,793) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) r(485,483) 
	 30 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) d(780) 
	  0 d(408) r(493,500) a(594,586) r(1026,966) r(705,690) r(1085,1087) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(713) a(452,698) a(573,692) d(514) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) a(1096,879) 
	 30 d(408) r(493,500) a(594,586) d(576) 
	 30 r(886,660) d(996) d(737) r(478,480) d(436) r(1026,966) r(705,690) r(485,499) 
	 29 d(408) r(493,500) a(594,586) r(1026,966) r(705,690) d(780) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) 
	 30 a(501,451) d(581) r(778,774) d(1085) d(709) r(563,582) 
	 31 a(491,931) d(499) d(888) r(563,549) a(659,452) 
	 29 a(501,451) d(581) d(499) d(888) r(563,549) r(771,687) 
	 30 a(491,931) r(778,774) d(1085) d(709) a(460,1079) 
	 31 a(491,931) d(758) a(717,766) r(625,928) a(1098,1091) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) r(778,774) d(1085) d(610) d(660) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) r(868,852) 
	 31 a(491,931) d(409) d(533) 
	 30 d(408) r(493,500) d(950) a(1013,408) a(537,718) a(1013,408) d(1074) d(408) 
	 30 a(491,931) a(537,718) a(1013,408) d(1074) d(884) 
	 31 d(408) r(493,500) d(950) a(1013,408) d(409) a(469,803) 
	 30 r(430,425) d(693) r(707,792) r(926,948) d(522) r(546,736) 
	 30 a(491,931) d(413) d(368) 
	 31 r(430,425) d(693) r(1026,966) d(907) r(860,800) 
	 30 r(430,425) d(693) r(707,792) r(926,948) r(730,768) d(770) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(483,465) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(600,598) 
	 30 r(886,660) d(996) d(737) d(458) d(1023) r(580,577) 
	 30 r(430,425) d(693) r(707,792) r(926,948) d(522) r(429,417) 
	 31 a(491,931) a(537,718) r(627,614) a(495,1055) d(801) d(1012) 
	 30 r(430,425) d(693) r(707,792) a(1084,614) r(943,940) d(578) a(747,728) d(1077) 
	 31 d(533) d(711) d(690) a(948,505) d(600) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) r(857,849) r(673,667) 
	 30 d(533) d(711) d(690) a(948,505) r(857,849) r(1077,1076) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) 
	 30 d(533) d(711) d(690) a(948,505) r(857,849) d(1027) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(536,534) r(419,418) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) d(795) 
	 30 a(491,931) d(758) a(717,766) a(708,680) r(1108,1100) r(388,391) r(795,737) r(504,866) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) 
	 30 a(491,931) d(758) a(717,766) a(708,680) r(1108,1100) r(388,391) a(1090,874) 
	 30 d(713) d(603) a(1098,677) a(801,601) 
	 30 r(430,425) d(972) r(778,774) r(788,759) d(605) d(907) r(1012,999) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) 
	 29 r(430,425) d(972) r(778,774) d(603) a(1098,677) r(972,1008) 
	 30 d(408) r(493,500) r(1102,1079) 
	 31 r(430,425) d(589) a(772,463) d(492) d(950) a(1013,408) r(710,767) r(553,576) 
	 29 d(408) r(493,500) d(950) a(1013,408) r(710,767) d(392) 
	 31 r(430,425) d(589) a(772,463) d(492) a(953,957) 
	 28 a(491,931) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(663,672) 
	 31 d(408) r(778,774) r(693,774) a(595,1081) r(1096,1111) 
	 31 a(491,931) r(778,774) r(693,774) a(595,1081) a(658,680) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(690,980) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) 
	 30 a(501,451) r(1055,1075) d(490) a(598,599) r(795,737) a(1019,1011) 
	 30 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) d(612) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(782) 
	 31 a(491,931) d(758) a(717,766) r(627,614) a(774,549) d(528) r(967,365) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(486) 
	 31 a(491,931) r(778,774) r(693,774) a(595,1081) a(889,601) 
search: generation 6 (sizeof one variant = 0.348633 MB)
	 31 d(713) r(788,759) d(605) d(589) a(772,463) d(492) a(953,957) r(709,768) 
	 30 r(430,425) d(907) r(866,828) a(662,627) 
	 29 d(713) r(788,759) d(605) d(907) r(866,828) r(1026,1021) 
	 30 r(430,425) d(589) a(772,463) d(492) a(953,957) r(389,387) 
	 31 a(491,931) d(499) d(888) r(563,549) a(659,452) a(759,454) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(600,598) r(861,851) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(499) d(1085) a(867,608) r(868,852) a(672,658) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) r(868,852) r(889,897) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) r(1090,1089) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) 
	 31 a(491,931) d(409) d(533) d(746) 
	 31 a(491,931) d(758) a(717,766) r(627,614) a(774,549) d(528) r(967,365) d(532) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(483,465) d(1084) 
	 31 a(491,931) a(537,718) a(1013,408) d(1074) d(884) a(737,841) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(514) d(1013) 
	 30 d(713) a(452,698) a(573,692) d(1085) d(610) d(1074) a(670,608) 
	 29 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) d(895) 
	 31 d(713) a(452,698) a(573,692) d(514) d(375) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(788,759) d(605) d(907) r(866,828) r(618,651) 
	 31 d(713) d(1085) d(610) d(997) r(958,952) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) a(898,1054) 
	 30 d(713) r(788,759) a(717,766) a(708,680) r(1108,1100) r(388,391) a(1090,874) d(409) 
	 29 a(491,931) d(758) d(605) d(907) r(866,828) r(967,881) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) a(420,584) 
	 30 a(491,931) d(758) a(717,766) a(708,680) r(1108,1100) r(388,391) a(1090,874) a(516,698) 
	 31 a(501,451) d(581) d(499) a(1098,1091) a(952,919) 
	 31 a(491,931) d(758) a(717,766) r(625,928) d(1085) a(867,608) a(1096,879) a(587,766) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) a(1096,879) r(444,962) 
	 30 a(491,931) d(758) a(717,766) r(625,928) a(1098,1091) r(730,697) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(1026,966) d(907) r(860,800) d(427) 
	 30 r(430,425) d(693) d(1085) d(610) r(857,849) r(673,667) r(413,401) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) r(857,849) r(673,667) d(683) 
	 30 r(430,425) d(693) r(1026,966) d(907) r(860,800) d(834) 
	 31 d(533) d(711) a(644,629) 
	 30 d(533) d(711) d(690) a(948,505) d(600) d(690) a(948,505) d(600) r(659,675) 
	 31 d(533) d(711) d(690) a(948,505) d(600) a(662,732) 
	 31 d(533) d(711) d(690) a(948,505) d(600) d(966) 
	 30 r(886,660) d(996) d(737) r(478,480) d(436) r(1026,966) r(705,690) r(485,499) d(967) 
	 30 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) d(999) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) r(868,852) a(942,968) 
	 31 r(430,425) d(589) a(772,463) d(492) d(950) a(1013,408) r(710,767) r(553,576) r(1015,1013) 
	 29 r(430,425) r(1055,1075) d(490) a(598,599) d(795) r(860,803) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) r(382,412) 
	 28 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) a(881,967) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) d(460) 
	 31 a(491,931) d(413) d(368) r(390,385) 
	 31 a(491,931) r(778,774) r(693,774) a(595,1081) a(658,680) a(492,484) 
	 30 d(533) d(711) d(690) a(948,505) r(857,849) r(1077,1076) a(830,860) 
	 29 r(430,425) d(581) d(499) d(587) r(503,443) d(392) d(489) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(362) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(600,598) d(470) 
	 30 r(430,425) d(693) r(707,792) r(926,948) d(522) r(546,736) a(386,682) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(939) 
search: generation 7 (sizeof one variant = 0.347672 MB)
	 31 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) r(1022,963) 
	 31 d(533) d(711) d(690) a(948,505) d(600) a(662,732) r(444,899) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) r(1026,966) r(705,690) r(485,499) d(967) r(478,473) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) a(1091,874) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(788,759) d(605) d(907) r(866,828) r(618,651) d(499) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(499) d(1085) a(867,608) r(868,852) a(672,658) d(1079) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) d(1085) 
	 31 a(491,931) d(413) d(368) r(390,385) a(1054,962) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) a(420,584) r(1018,996) 
	 30 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(483,465) d(1084) a(588,443) 
	 31 a(491,931) d(499) d(888) r(563,549) a(659,452) a(759,454) r(951,947) 
	 31 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) 
	 31 a(501,451) d(581) d(499) d(499) d(1085) a(867,608) a(1096,879) r(444,962) a(489,591) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) a(1096,879) r(444,962) d(879) 
	 31 a(501,451) d(581) d(499) d(1085) a(867,608) r(868,852) a(942,968) r(421,426) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) a(717,591) 
	 30 d(533) d(711) d(690) a(948,505) r(857,849) r(1077,1076) a(830,860) r(781,738) 
	 30 r(430,425) d(589) a(772,463) d(492) a(953,957) r(389,387) d(863) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(914) 
	 31 a(491,931) d(413) d(368) d(1085) d(499) d(1085) a(867,608) r(868,852) a(672,658) d(1014) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) 
	 30 a(491,931) d(413) d(368) r(390,385) a(541,469) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(499) d(1085) a(867,608) r(868,852) a(672,658) d(889) 
	 29 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) d(460) d(902) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) d(1087) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) d(486) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) d(460) a(738,614) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) r(412,397) 
	 30 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) d(999) a(812,690) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(939) d(884) 
	 30 a(491,931) d(413) d(368) r(390,385) a(1073,1054) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) r(382,412) r(385,384) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) r(626,653) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) 
	 31 a(491,931) d(758) a(717,766) r(625,928) d(1085) d(368) r(390,385) d(565) 
	 31 a(491,931) d(413) a(867,608) a(1096,879) a(587,766) d(541) 
	 31 a(491,931) d(758) a(717,766) r(625,928) d(1085) a(867,608) a(1096,879) a(587,766) a(1102,1085) 
	 31 a(491,931) d(413) d(368) r(390,385) r(860,869) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) d(501) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) a(420,584) a(495,477) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) a(420,584) a(606,745) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) a(549,874) 
	 30 d(713) a(452,698) a(573,692) d(1085) d(610) d(1074) a(670,608) r(1020,1018) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) r(747,681) 
	 30 a(491,931) d(758) r(503,443) d(392) a(450,368) a(630,681) 
	 30 r(430,425) d(581) d(499) d(587) a(717,766) r(625,928) d(1085) a(867,608) a(1096,879) a(587,766) d(842) 
	 31 a(491,931) d(758) a(717,766) r(625,928) d(1085) a(867,608) a(1096,879) a(587,766) a(800,527) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) r(608,668) 
	 29 a(501,451) d(581) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(911) 
	 31 r(430,425) d(610) d(997) d(1095) a(479,1000) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(499) d(587) r(503,443) r(907,909) r(382,412) d(537) 
	 30 a(501,451) d(581) d(610) d(1074) r(852,872) r(665,614) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) r(634,656) 
	 30 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) r(382,412) r(904,879) 
search: generation 8 (sizeof one variant = 0.348873 MB)
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) r(608,668) d(459) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) r(758,579) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(914) a(1103,728) 
	 31 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) a(708,368) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) d(758) a(717,766) r(625,928) d(1085) d(368) r(390,385) d(565) d(415) 
	 31 a(491,931) r(1022,963) d(385) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) r(1022,963) r(968,879) 
	 31 a(491,931) d(758) a(717,766) r(625,928) d(1085) d(368) r(390,385) d(565) d(714) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) r(481,488) 
	 30 a(501,451) d(581) d(610) d(997) d(1095) d(528) d(528) d(482) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) a(863,696) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) r(411,416) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) d(487) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) d(1097) 
	 30 a(501,451) d(581) d(499) d(1085) a(867,608) r(868,852) a(942,968) r(421,426) d(852) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(788,759) d(605) d(907) r(866,828) r(618,651) d(499) a(794,791) 
	 30 r(430,425) r(1055,1075) d(490) a(867,608) r(868,852) a(672,658) d(1014) d(997) 
	 31 a(491,931) d(413) d(368) d(1085) d(499) d(1085) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) r(538,535) 
	 30 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) a(1113,1090) 
	 28 a(491,931) d(413) d(368) d(1085) d(499) d(1085) a(867,608) r(868,852) a(672,658) d(1014) d(777) 
	 31 r(430,425) r(1055,1075) a(954,694) 
	 30 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(483,465) d(1084) a(588,443) d(490) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) d(707) 
	 31 r(430,425) r(1055,1075) d(490) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) d(690) 
	 31 d(408) r(493,500) a(594,586) r(1026,966) a(537,718) r(627,614) a(495,1055) r(450,488) r(483,465) d(1084) a(588,443) r(1101,1106) 
	 30 d(713) r(788,759) d(605) d(907) r(866,828) a(420,584) a(606,745) d(544) 
	 30 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) r(432,425) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) a(420,584) a(495,477) r(515,544) 
	 30 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) a(924,1054) 
	 31 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) a(591,565) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) d(1085) r(432,416) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) d(486) d(1087) 
	 31 d(713) r(788,759) d(605) d(907) r(866,828) d(501) a(1024,1008) 
	 31 a(491,931) d(413) a(867,608) a(1096,879) a(587,766) d(541) d(734) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) a(420,584) a(495,477) d(658) 
	 29 r(886,660) d(996) d(737) r(478,480) d(1074) r(852,872) r(665,614) a(1074,796) 
	 31 a(501,451) d(581) d(610) d(436) r(1026,966) r(705,690) r(485,499) d(967) r(478,473) d(968) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) r(1026,966) r(705,690) r(485,499) d(967) r(478,473) r(1081,536) 
	 30 a(501,451) d(581) d(610) d(1074) r(852,872) r(665,614) r(781,785) 
	 30 a(501,451) d(581) d(610) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) r(484,478) 
	 31 a(501,451) d(581) d(997) d(1095) d(528) r(597,599) 
	 29 a(501,451) d(581) d(610) d(997) d(1095) d(528) d(1098) 
	 28 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) d(528) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(997) a(433,434) r(626,653) r(721,783) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(939) d(884) a(730,795) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(1073,1054) d(628) 
	 31 a(491,931) d(413) d(368) r(390,385) d(954) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) 
	 30 a(491,931) d(413) d(368) r(390,385) a(1073,1054) d(1102) 
	 30 r(886,660) d(996) d(737) r(478,480) d(436) d(600) a(662,732) r(444,899) a(422,686) 
	 31 d(533) d(711) d(690) a(948,505) d(482) r(412,397) d(1108) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) r(412,397) a(552,968) 
	 31 d(533) d(711) d(690) a(948,505) d(600) a(662,732) r(444,899) r(860,799) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) d(968) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) d(1085) r(794,710) 
	 30 a(491,931) d(499) r(788,759) d(605) d(907) r(866,828) r(618,651) d(499) a(840,872) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(888) r(563,549) a(659,452) a(759,454) r(951,947) a(829,397) 
	 31 a(491,931) d(499) d(888) r(563,549) a(659,452) a(759,454) r(951,947) d(421) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(788,759) d(605) d(907) r(866,828) r(618,651) d(499) d(658) 
search: generation 9 (sizeof one variant = 0.349042 MB)
	 30 a(501,451) d(581) d(610) d(436) r(1026,966) r(705,690) r(485,499) d(967) r(478,473) d(968) d(1085) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) r(538,535) r(736,773) 
	 31 a(491,931) d(413) d(368) d(1085) d(499) r(629,669) 
	 30 a(501,451) d(581) d(610) d(436) r(1026,966) r(705,690) r(485,499) d(967) r(478,473) d(968) d(1053) 
	 30 a(491,931) d(413) d(368) d(1085) d(499) d(1085) a(598,599) r(795,737) r(736,746) d(999) d(939) d(591) r(538,535) d(736) 
	 30 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) a(708,368) d(480) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) d(1097) d(776) 
	 31 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) a(708,368) r(866,828) d(501) a(1024,1008) r(633,662) 
	 28 d(713) r(788,759) d(605) d(907) r(539,505) 
	 29 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) a(708,368) r(1099,1111) 
	 29 d(713) r(788,759) d(605) d(907) r(866,828) d(501) a(1024,1008) d(673) 
	 30 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(939) d(884) a(730,795) a(919,528) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) d(1085) d(610) d(1074) r(852,872) d(1085) r(794,710) r(542,522) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(390,385) d(363) r(432,425) r(721,712) 
	 31 r(886,660) d(996) d(737) r(478,480) d(436) d(482) d(939) d(884) a(730,795) r(1106,1103) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) d(968) r(535,542) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) r(411,416) d(573) 
	 30 a(501,451) d(581) d(610) r(778,720) 
	 30 d(533) d(711) d(690) a(948,505) d(482) r(412,397) d(1108) d(997) d(1095) r(481,488) d(435) 
	 30 a(501,451) d(581) d(610) d(997) d(1095) r(481,488) r(687,1096) 
	 30 d(533) d(711) d(690) a(948,505) d(482) r(412,397) d(1108) r(464,500) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) d(1009) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) a(746,967) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(942,968) r(384,375) a(591,565) r(801,574) 
	 31 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(898,890) r(829,835) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) a(677,775) 
	 30 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) a(591,565) d(759) 
	 30 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) d(968) d(632) 
	 30 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) a(591,565) d(671) 
	 30 a(501,451) d(581) d(1085) a(867,608) r(868,852) a(942,968) r(384,375) a(591,565) d(911) 
	 31 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) d(968) d(929) 
	 31 a(501,451) d(581) d(997) d(1095) d(528) r(597,599) d(495) 
	 31 a(491,931) d(413) d(368) d(610) d(997) d(464) a(420,584) a(495,477) d(658) r(1054,746) 
	 31 a(491,931) d(758) a(717,766) r(625,928) r(778,774) r(788,759) d(605) d(907) r(866,828) r(618,651) d(499) d(658) r(881,890) 
	 29 r(430,425) d(581) d(499) d(587) r(503,443) d(392) a(450,368) d(1051) d(968) d(758) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(914) a(1103,728) r(444,899) r(860,799) r(473,450) 
	 31 d(533) d(711) d(690) a(948,505) d(600) a(662,732) d(852) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(914) a(1103,728) d(1107) 
	 31 d(533) d(711) d(690) a(948,505) d(600) a(662,732) r(444,899) r(860,799) d(588) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) r(481,488) a(427,718) 
	 30 r(430,425) r(1055,1075) a(954,694) d(611) 
	 31 d(533) d(711) d(690) a(948,505) d(482) r(412,397) d(1108) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) r(666,629) 
	 31 a(501,451) d(581) d(499) d(587) r(718,801) 
	 31 d(533) d(711) d(690) a(948,505) d(482) r(412,397) d(1108) a(835,642) 
	 31 a(501,451) d(581) d(499) d(587) r(503,443) r(907,909) a(480,967) a(1021,803) a(898,890) r(490,495) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) a(863,696) d(600) d(966) d(594) a(708,368) a(1085,1108) 
	 31 d(533) d(711) d(690) a(948,505) a(591,931) 
	 31 a(501,451) d(581) d(610) d(997) d(1095) d(528) a(863,696) a(738,566) 
	 31 d(533) d(711) d(690) a(948,505) d(600) d(966) d(594) a(708,368) r(1020,1007) 
	 30 d(713) r(788,759) d(605) d(907) r(866,828) d(501) a(1024,1008) r(775,790) 
*** 720m timeout
python-bug-70098-70101.tar.gz
Wed Feb 19 22:22:51 EST 2014
shutting down
