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 5
--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-255 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:40 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmpe8c427.c /tmp/tmp0cdacf.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 = 452.425)
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 r(1081,791) 
	 31 d(672) 
	 31 a(503,474) 
	 31 a(588,375) 
	 31 a(966,644) 
	 31 d(708) 
	 31 d(508) 
	 30 r(768,773) 
	 29 d(659) 
	 31 d(618) 
	 31 a(1052,527) 
	 31 d(882) 
	 31 a(608,886) 
	 30 r(748,680) 
	 31 a(785,783) 
	 31 d(546) 
	 31 a(535,584) 
	 31 a(658,401) 
	 30 r(791,681) 
	 31 r(466,489) 
	 31 r(693,708) 
	 31 r(837,799) 
	 30 d(812) 
	 31 r(872,813) 
	 31 a(537,505) 
	 31 a(580,677) 
	 30 r(1097,1083) 
	 31 d(714) 
	 31 d(382) 
	 31 d(416) 
	 31 a(738,470) 
	 31 a(758,625) 
	 31 a(508,534) 
	 31 r(721,715) 
	 31 a(527,745) 
	 31 d(778) 
	 30 r(634,674) 
	 31 d(962) 
	 30 d(1102) 
	 31 original
search: generation 1 (sizeof one variant = 0.345227 MB)
	 30 r(721,715) r(600,586) 
	 30 a(508,534) a(769,683) 
	 29 d(778) r(545,515) 
	 31 d(618) r(592,595) 
	 31 d(672) d(661) 
	 31 a(535,584) d(1026) 
	 31 a(738,470) d(607) 
	 30 r(721,715) a(1076,734) 
	 31 d(962) d(1052) 
	 31 d(672) r(840,869) 
	 31 a(508,534) d(480) 
	 31 d(508) r(786,777) 
	 30 a(508,534) a(840,870) 
	 31 d(508) d(694) 
	 31 d(672) r(582,581) 
	 31 a(1052,527) r(683,682) 
	 31 d(672) r(812,864) 
	 31 a(1052,527) d(737) 
	 30 a(588,375) r(661,676) 
	 31 a(966,644) r(685,719) 
	 31 r(1081,791) a(1076,803) 
	 31 d(940) 
	 31 d(962) d(997) 
	 31 r(693,708) r(618,663) 
	 31 d(962) d(951) 
	 30 r(693,708) r(634,617) 
	 31 d(487) 
	 31 r(837,799) d(654) 
	 30 a(785,783) r(789,685) 
	 29 d(618) a(539,966) 
	 31 a(785,783) a(791,1083) 
	 31 d(618) a(941,608) 
	 31 d(882) d(884) 
	 31 a(537,505) d(537) 
	 30 r(1081,791) d(587) 
	 31 d(508) a(1016,962) 
	 31 a(588,375) d(867) 
	 31 d(508) d(804) 
	 31 a(1052,527) d(785) 
	 31 a(785,783) r(935,957) 
	 31 a(1052,527) r(422,401) 
	 31 a(785,783) a(487,503) 
	 31 d(546) d(659) 
	 31 d(546) a(857,603) 
	 31 a(738,470) d(1010) 
	 31 a(785,783) r(652,671) 
	 31 a(738,470) d(427) 
	 31 a(785,783) a(674,696) 
	 31 d(382) r(1085,1081) 
	 31 d(882) d(912) 
	 31 d(382) d(792) 
	 31 d(882) a(865,924) 
	 31 a(537,505) r(432,427) 
	 30 r(721,715) r(677,833) 
	 31 a(537,505) a(368,603) 
	 31 r(721,715) r(1028,998) 
search: generation 2 (sizeof one variant = 0.345724 MB)
	 31 d(882) d(884) d(828) 
	 30 a(785,783) r(652,671) d(479) 
	 31 d(672) r(582,581) d(796) 
	 31 d(508) d(694) r(872,800) 
	 29 d(672) r(582,581) d(581) 
	 31 d(508) d(694) a(866,734) 
	 31 r(837,799) d(654) r(433,422) 
	 31 a(785,783) a(674,696) a(720,470) 
	 31 d(940) d(794) 
	 31 d(940) d(1104) 
	 31 d(940) a(913,800) 
	 29 d(940) d(1072) 
	 31 a(785,783) a(674,696) a(812,651) 
	 29 d(487) d(1072) 
	 31 d(882) d(1010) r(586,598) 
	 30 a(738,470) d(884) d(850) 
	 31 d(882) d(884) d(911) 
	 31 a(738,470) d(1010) r(545,543) 
	 30 d(672) d(537) a(917,454) 
	 31 a(537,505) d(661) r(425,417) 
	 29 d(672) d(661) a(1010,601) 
	 30 a(537,505) d(537) r(882,909) 
	 31 a(785,783) a(674,696) d(997) a(388,680) 
	 31 d(962) r(718,776) 
	 31 a(785,783) a(674,696) r(831,815) 
	 29 d(962) d(997) a(493,681) 
	 31 r(837,799) d(654) r(861,798) 
	 31 a(785,783) a(487,503) a(1099,546) 
	 31 r(837,799) d(654) a(952,682) 
	 31 a(785,783) a(487,503) r(657,617) 
	 31 d(508) d(694) a(927,796) 
	 31 d(618) r(592,595) d(1010) 
	 30 d(962) d(997) d(574) 
	 31 d(508) a(1016,962) r(677,602) 
	 31 d(882) r(956,919) 
	 31 d(672) r(812,864) d(912) r(967,492) 
	 31 d(882) d(912) d(601) 
	 30 d(672) r(812,864) r(500,475) 
	 31 d(940) r(592,597) 
	 31 d(940) r(899,884) 
	 31 a(738,470) d(1010) d(683) 
	 31 r(721,715) r(1028,998) a(489,694) 
	 31 d(882) d(912) d(661) a(793,794) 
	 31 d(672) a(853,871) 
	 31 d(882) d(912) r(654,661) 
	 30 d(672) d(661) d(942) 
	 31 d(546) d(659) r(599,601) 
	 30 d(672) r(840,869) a(900,800) 
	 29 d(546) d(659) d(390) 
	 30 d(672) r(840,869) d(528) 
	 31 a(785,783) a(674,696) a(865,924) d(668) 
	 31 d(882) d(385) 
	 31 a(785,783) a(674,696) r(412,417) 
	  0 d(882) a(865,924) d(1093) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 29 a(508,534) d(480) r(593,594) 
	 31 d(882) d(884) r(1017,1020) 
	 31 d(508) d(1101) 
	 31 d(962) d(997) d(694) r(659,630) 
	 31 d(508) d(694) d(607) 
	 31 d(962) d(997) d(731) 
	 30 r(1081,791) d(427) a(770,728) 
	 31 a(738,470) a(1076,803) d(862) 
	 31 r(1081,791) a(1076,803) r(612,538) 
	 30 a(738,470) d(427) d(963) 
search: generation 3 (sizeof one variant = 0.346348 MB)
	 31 r(837,799) d(654) r(861,798) a(543,543) 
	 31 d(672) r(812,864) d(912) r(967,492) d(711) 
	 31 r(837,799) d(654) a(952,682) r(778,770) 
	 31 a(785,783) a(674,696) d(997) a(388,680) r(630,655) 
	 31 d(882) d(884) d(828) r(861,798) a(882,912) 
	 31 r(837,799) d(654) d(903) 
	 31 d(882) d(884) d(828) a(967,803) 
	 31 r(837,799) d(654) r(861,798) a(490,682) 
	 31 r(1081,791) a(1076,803) r(612,538) a(853,871) d(1111) 
	 31 d(672) r(730,785) 
	 31 r(1081,791) a(1076,803) r(612,538) d(515) 
	 28 d(672) a(853,871) r(854,851) 
	 31 r(721,715) r(1028,998) a(489,694) r(433,422) r(1051,1030) 
	 31 r(837,799) d(654) r(496,452) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) 
	 29 r(837,799) d(654) r(433,422) r(852,849) 
	 31 r(837,799) d(654) r(433,422) a(388,680) r(651,948) 
	 30 a(785,783) a(674,696) d(997) d(919) 
	 29 r(837,799) d(654) r(433,422) d(790) 
	 31 a(785,783) a(674,696) d(997) a(388,680) d(596) 
	 31 d(962) d(997) d(731) a(423,413) 
	 31 r(1081,791) a(1076,803) r(612,538) r(968,1054) 
	 30 a(785,783) a(674,696) a(720,470) d(1048) 
	 31 a(785,783) a(487,503) a(1099,546) d(771) 
	 31 r(837,799) d(654) r(433,422) d(578) 
	 31 d(940) r(592,597) d(459) 
	 31 d(508) a(533,606) 
	 31 d(940) r(899,884) d(694) a(866,734) a(956,608) 
	 31 d(508) d(694) a(866,734) r(950,928) 
	 31 d(940) r(899,884) d(584) 
	 31 d(940) r(592,597) r(412,417) r(607,611) 
	 31 a(785,783) a(674,696) d(997) 
	 31 d(940) r(592,597) d(731) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) 
	 31 d(940) d(1104) r(919,1068) 
	 31 d(508) d(1101) r(670,661) 
	 31 d(940) d(1104) d(999) 
	 31 d(508) d(1101) r(666,675) 
	 30 d(508) a(788,527) 
	 31 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) 
	 31 d(508) a(1016,962) r(677,602) a(482,464) 
	 31 d(508) d(694) a(927,796) d(1023) 
	 31 a(738,470) a(1076,803) d(862) d(1074) 
	 30 d(962) d(997) a(493,681) r(788,776) 
	 30 a(785,783) a(674,696) r(831,815) r(971,1021) 
	 31 a(537,505) d(661) r(425,417) d(653) 
	 29 a(785,783) a(674,696) r(972,997) 
	 30 a(537,505) d(661) r(425,417) a(865,924) d(668) a(375,1079) 
	 30 a(785,783) a(674,696) a(865,924) d(668) r(391,388) 
	 31 a(537,505) d(661) r(425,417) a(516,879) 
	 31 d(508) d(694) d(607) d(882) 
	 31 a(738,470) a(1076,803) d(862) d(710) 
	 31 d(962) d(997) d(731) a(522,614) 
	  0 a(785,783) a(487,503) r(657,617) a(1111,966) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 28 d(962) d(997) d(694) r(659,630) d(499) 
	 30 a(785,783) a(674,696) r(831,815) d(541) 
	 31 d(508) d(694) a(927,796) d(865) 
	 29 d(962) d(997) d(574) d(656) 
search: generation 4 (sizeof one variant = 0.347394 MB)
	 31 r(837,799) d(654) d(903) r(968,1054) a(600,996) 
	 31 r(1081,791) a(1076,803) r(612,538) a(539,591) 
	 30 r(837,799) d(654) d(903) d(659) 
	 31 r(1081,791) a(1076,803) r(612,538) r(968,1054) a(1096,549) 
	 31 d(508) d(694) a(927,796) a(927,796) d(1023) d(481) 
	 30 d(508) d(694) d(865) d(375) 
	 28 d(508) d(694) a(927,796) d(865) r(484,469) 
	 30 d(508) d(694) a(927,796) d(1023) a(626,931) 
	 31 r(837,799) d(654) r(433,422) r(852,849) d(489) 
	 30 r(837,799) d(654) r(861,798) a(490,682) r(499,464) 
	 30 r(837,799) d(654) r(861,798) a(490,682) d(852) 
	 30 r(837,799) d(654) r(433,422) r(852,849) d(670) 
	 31 a(785,783) a(674,696) a(720,470) d(1048) r(633,666) 
	 31 d(508) d(1101) r(670,661) a(481,931) 
	 31 a(785,783) r(861,798) a(543,543) r(801,501) 
	 31 r(837,799) d(654) a(674,696) d(997) r(1069,1074) 
	 30 a(785,783) a(674,696) d(997) r(849,956) 
	 31 r(837,799) d(654) r(861,798) a(543,543) d(852) 
	 31 d(508) d(1101) r(666,675) r(831,837) 
	 31 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(432,421) 
	 31 d(940) d(1104) r(919,1068) a(789,1007) 
	 31 d(508) d(1101) r(670,661) a(394,886) 
	 31 r(837,799) d(654) d(903) a(864,834) 
	 31 d(940) r(592,597) d(459) d(718) 
	 31 d(940) r(592,597) r(412,417) a(489,694) r(478,454) d(501) 
	 31 r(721,715) r(1028,998) r(607,611) a(539,565) 
	 31 d(940) r(592,597) r(412,417) r(607,611) d(505) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) 
	 31 a(785,783) a(674,696) a(698,1095) 
	 29 a(537,505) d(661) r(425,417) d(653) d(997) a(388,680) r(630,655) d(759) 
	 30 a(785,783) a(674,696) d(997) a(388,680) r(630,655) r(413,423) 
	 31 a(537,505) d(661) r(425,417) d(653) d(598) 
	 31 d(508) d(694) d(607) d(1096) 
	 29 d(672) r(730,785) d(882) d(593) 
	 30 d(508) d(694) d(607) d(882) r(467,488) 
	 31 d(672) r(730,785) r(1027,967) 
	 31 d(940) r(899,884) d(584) d(479) 
	 30 d(508) d(1101) r(670,661) r(514,505) 
	 30 d(962) d(578) a(644,1095) 
	 31 r(837,799) d(654) r(433,422) d(997) d(731) a(423,413) d(691) 
	 31 d(962) d(997) d(731) a(423,413) a(1030,758) 
	 29 r(837,799) d(654) r(433,422) d(578) a(698,505) 
	 31 a(738,470) a(1076,803) d(862) d(710) r(584,768) 
	 30 a(537,505) d(661) r(425,417) d(653) d(872) 
	 29 a(537,505) d(661) r(425,417) a(516,879) d(771) d(774) 
	 31 a(785,783) a(487,503) a(1099,546) d(1047) 
	 30 a(537,505) d(661) r(425,417) a(516,879) d(534) 
	 31 a(785,783) a(487,503) a(1099,546) d(771) d(739) 
	 31 d(508) d(694) a(866,734) r(950,928) d(834) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(679) 
	 30 d(962) d(694) a(927,796) d(1023) a(685,611) 
	 31 d(508) d(997) d(731) a(423,413) a(422,796) 
	 31 d(962) d(997) d(731) a(423,413) r(1073,1070) 
	 31 d(508) d(694) a(927,796) d(1023) a(798,850) 
	 31 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(1076,1072) 
	 31 d(508) d(1101) r(666,675) r(634,670) 
	 31 d(508) a(533,606) a(1070,642) 
	 30 d(962) d(997) d(574) d(656) d(408) 
	 30 d(672) r(812,864) d(912) r(967,492) d(711) a(466,591) 
	 31 a(738,470) a(1076,803) d(862) d(1074) d(411) 
search: generation 5 (sizeof one variant = 0.347825 MB)
	 31 a(785,783) r(666,675) r(634,670) d(385) 
	 30 d(508) d(1101) a(674,696) d(997) a(388,680) r(630,655) r(413,423) d(481) 
	 31 a(785,783) a(674,696) d(997) a(388,680) r(630,655) r(413,423) a(600,441) 
	 31 d(508) d(1101) r(666,675) r(634,670) r(952,931) 
	 31 d(508) d(1101) r(666,675) r(634,670) d(408) d(788) 
	 31 d(962) d(997) d(574) d(656) r(610,608) 
	 31 d(508) d(1101) r(666,675) r(634,670) d(387) 
	 31 d(962) d(997) d(574) d(656) d(408) r(1106,1097) 
	 30 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) r(497,477) 
	 31 a(785,783) a(487,503) a(1099,546) d(771) d(739) r(828,841) 
	 30 r(721,715) r(1028,998) r(467,488) d(659) 
	 30 d(508) d(694) d(607) d(882) a(489,694) r(478,454) r(1017,1007) r(691,786) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) d(736) 
	 31 d(508) d(694) d(607) d(882) r(467,488) a(963,1083) 
	 29 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(739) r(857,865) 
	 30 a(785,783) r(425,417) d(653) d(598) a(499,965) 
	 29 a(537,505) d(661) r(425,417) d(653) d(598) r(1081,409) 
	 31 a(785,783) a(487,503) a(1099,546) d(771) d(739) a(1021,998) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) 
	 31 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(1076,1072) d(679) d(617) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(679) a(788,470) 
	 30 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(1076,1072) r(831,862) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) 
	 31 a(785,783) a(674,696) r(412,417) a(674,696) d(997) r(1069,1074) r(1022,1015) 
	 31 r(837,799) d(654) a(674,696) d(997) r(1069,1074) r(829,857) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(679) r(444,598) 
	 31 d(508) d(997) d(731) a(423,413) d(903) r(968,1054) a(600,996) r(861,864) 
	 29 r(837,799) d(654) a(422,796) d(582) 
	 31 d(508) d(997) d(731) a(423,413) a(422,796) r(849,1084) 
	 31 r(837,799) d(654) d(903) r(968,1054) a(600,996) r(393,1105) 
	 30 d(508) d(1101) r(670,661) r(514,505) d(867) 
	 30 r(1081,791) a(1076,803) r(612,538) r(968,1054) a(1096,549) r(627,618) 
	 31 d(508) d(1101) r(666,675) r(831,837) a(368,452) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) a(465,497) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) 
	 31 d(940) d(584) d(479) r(515,543) 
	 29 d(940) r(899,884) d(584) d(479) r(706,758) 
	 31 d(940) r(592,597) d(459) d(718) d(870) 
	 31 r(837,799) d(654) r(584,768) d(799) 
	 31 a(738,470) a(1076,803) d(862) d(710) r(861,798) a(543,543) d(852) d(1015) 
	 31 r(837,799) d(654) r(861,798) a(543,543) d(852) d(780) 
	 31 a(738,470) a(1076,803) d(862) d(710) r(584,768) d(1097) 
	 31 d(962) d(997) d(731) a(423,413) r(1073,1070) d(868) 
	 31 r(721,715) r(1028,998) r(607,611) a(539,565) d(563) 
	 31 r(837,799) d(654) a(674,696) d(997) r(1069,1074) a(368,546) 
	 31 d(940) r(592,597) r(412,417) a(489,694) r(478,454) d(501) a(412,1083) 
	 31 a(738,470) a(1076,803) d(862) d(1074) d(411) r(1010,966) 
	 29 d(508) d(1101) r(670,661) r(514,505) d(863) 
	 31 d(940) a(927,796) a(1016,962) r(677,602) a(654,608) r(432,421) d(540) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) 
	 31 d(940) r(592,597) d(459) d(718) a(437,642) 
	 30 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(432,421) d(390) 
	 30 r(837,799) d(654) d(903) d(659) d(713) 
	 30 r(837,799) d(654) r(861,798) a(490,682) d(852) d(968) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) 
	 31 a(738,470) a(1076,803) d(862) d(710) d(718) r(552,563) 
	 30 d(940) r(592,597) d(459) d(718) d(829) 
	 30 a(738,470) a(1076,803) d(862) d(710) r(584,768) d(705) 
	 31 d(962) d(997) d(731) a(423,413) a(1030,758) a(840,606) 
	 29 d(508) d(1101) r(666,675) r(831,837) a(422,803) 
	 31 r(1081,791) a(1076,803) r(612,538) r(968,1054) a(1096,549) d(870) 
	 30 a(785,783) a(487,503) a(1099,546) d(771) d(739) d(628) 
search: generation 6 (sizeof one variant = 0.349183 MB)
	 30 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) 
	 31 d(962) d(997) d(731) a(423,413) r(1073,1070) d(868) d(584) 
	 30 d(962) d(997) d(574) d(656) d(408) r(1106,1097) r(485,459) 
	 31 d(508) d(997) d(731) a(423,413) a(422,796) r(849,1084) d(693) 
	 30 r(837,799) d(654) r(861,798) a(543,543) d(852) d(780) d(868) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(1077) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) 
	 31 d(940) r(425,417) d(653) d(598) r(1081,409) r(948,944) 
	 31 a(537,505) d(661) r(425,417) d(653) d(598) r(1081,409) d(997) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) r(776,730) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) 
	 30 d(508) d(997) d(731) a(423,413) d(903) r(968,1054) a(600,996) r(861,864) d(670) 
	 29 d(508) d(694) a(927,796) a(1016,962) r(677,602) a(654,608) r(1076,1072) d(679) d(617) d(388) 
	 29 a(738,470) a(1076,803) d(862) d(710) r(584,768) d(1097) d(418) 
	 30 a(785,783) r(666,675) r(634,670) d(385) d(997) d(731) a(423,413) r(1073,1070) d(868) r(971,1013) 
	 31 d(962) r(951,962) 
	 31 a(785,783) r(666,675) r(634,670) d(385) a(865,508) 
	 30 d(962) d(997) d(731) a(423,413) r(1073,1070) d(868) r(458,496) 
	 31 a(738,470) a(1076,803) d(862) d(710) r(584,768) d(1097) d(1008) 
	 31 r(837,799) d(654) r(584,768) d(799) a(928,924) 
	 31 d(962) d(997) d(656) r(610,608) a(862,734) 
	 30 d(962) d(997) d(574) d(731) a(423,413) r(1073,1070) d(868) a(738,651) 
	 30 d(962) d(997) d(731) a(423,413) r(1073,1070) d(868) r(940,944) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) 
	 31 d(940) d(713) d(1090) 
	 30 r(837,799) d(654) d(903) d(659) r(592,597) d(459) r(584,768) r(786,746) d(604) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) a(610,394) 
	 30 r(837,799) d(654) d(903) d(659) d(713) d(385) 
	 30 d(508) d(694) r(592,597) r(444,598) r(610,609) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(679) d(459) d(718) d(1103) a(618,670) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(679) r(444,598) d(673) 
	 31 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) 
	 30 r(837,799) d(654) d(903) a(963,1083) r(747,767) 
	 31 d(508) d(694) d(607) d(882) r(467,488) a(963,1083) d(493) 
	 30 r(837,799) d(654) d(903) r(968,1054) a(600,996) r(393,1105) r(577,579) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) a(423,413) d(903) r(968,1054) a(600,996) r(861,864) d(917) 
	 31 d(508) d(997) d(731) r(1017,1007) a(465,497) r(1017,1021) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) a(465,497) d(666) 
	 31 d(508) d(997) d(731) a(423,413) d(903) r(968,1054) a(600,996) r(861,864) r(1007,928) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) 
	 31 d(940) r(899,884) d(459) r(584,768) r(786,746) d(1081) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) d(553) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) a(586,608) 
	 31 a(785,783) r(666,675) r(634,670) d(385) d(758) 
	 31 d(940) r(592,597) d(459) d(718) a(437,642) d(729) 
	 29 d(940) r(899,884) r(592,597) d(739) r(857,865) r(630,667) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(739) r(857,865) a(674,463) 
	 31 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) 
	 31 r(837,799) d(654) a(368,452) d(606) 
	 30 d(508) d(1101) r(666,675) r(831,837) a(368,452) r(1012,1017) 
	 30 r(837,799) d(654) a(674,696) d(997) r(1069,1074) r(829,857) d(421) 
	 31 r(721,715) r(1028,998) r(607,611) a(539,565) d(563) r(1010,1012) 
|[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/000394/Modules/zlibmodule.c  d(940) d(584) d(479) r(515,543) r(1093,1099)  fails to compile
	  0 d(940) d(584) d(479) r(515,543) r(1093,1099) 
	  0 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) r(601,958) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	956 a(785,783) a(674,696) r(412,417) r(905,895) d(679) r(444,598) r(385,382) 
	 31 d(940) r(592,597) d(459) d(871) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) r(694,608) 
	 30 r(837,799) d(654) r(905,895) d(679) a(942,927) r(1016,1021) 
search: generation 7 (sizeof one variant = 0.348999 MB)
	 30 d(940) r(899,884) r(592,597) d(459) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(429) 
	 29 a(537,505) d(661) a(487,503) d(718) a(438,458) d(792) r(863,860) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(731) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) r(602,604) 
	 31 r(837,799) d(654) d(903) d(659) a(587,591) 
	 31 d(962) r(951,962) r(592,597) d(459) r(584,768) r(786,746) d(604) d(482) 
	 28 r(837,799) d(654) d(903) d(659) r(592,597) d(459) r(584,768) r(786,746) d(604) d(1077) 
	 31 d(962) r(951,962) d(956) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(587) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(679) 
	  0 d(508) d(694) d(607) d(882) r(467,488) a(963,1083) d(493) r(1093,1091) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	956 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) 
	 31 d(962) r(951,962) d(1103) d(900) d(787) 
	 31 d(508) d(694) r(592,597) d(459) d(718) r(905,912) 
	 31 d(962) r(951,962) a(1007,705) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(602) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(486,463) 
	 31 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) 
	 31 r(837,799) d(654) r(584,768) d(799) a(928,924) r(670,655) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) r(694,608) r(430,413) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) a(586,608) r(842,811) 
	 29 r(837,799) d(654) r(1072,1064) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) r(584,768) d(799) a(928,924) d(533) 
	 29 r(837,799) d(654) r(584,768) d(799) a(928,924) a(694,711) 
	 31 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) d(493) r(1027,1021) 
	 30 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) r(415,413) 
	 30 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) r(748,690) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) r(1103,1110) 
	 30 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) a(731,606) 
	 30 d(508) d(694) d(607) d(882) r(467,488) a(963,1083) d(493) r(739,785) 
	 30 a(785,783) r(666,675) r(634,670) d(385) d(997) d(731) a(423,413) r(1073,1070) d(868) r(971,1013) r(587,596) 
	 31 d(508) d(997) d(731) a(423,413) a(422,796) r(849,1084) d(693) r(660,633) 
	 31 d(940) r(592,597) d(459) d(459) r(584,768) r(786,746) d(553) a(414,965) 
	 31 d(940) r(592,597) r(584,768) r(786,746) d(553) a(929,681) 
	 30 d(940) r(592,597) d(459) r(584,768) r(786,746) d(553) a(1022,1014) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) d(553) d(1106) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(459) r(584,768) r(786,746) a(891,1095) d(801) 
	 30 a(537,505) d(661) r(592,597) d(771) d(459) d(718) a(438,458) r(1053,1046) d(533) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(414) 
	 30 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(768) 
	 29 a(785,783) a(674,696) r(412,417) r(584,768) r(786,746) d(553) a(671,652) 
	 31 d(940) r(592,597) d(459) r(905,895) d(679) r(444,598) d(673) r(389,386) 
	 29 a(785,783) a(674,696) r(412,417) r(905,895) d(679) r(444,598) d(673) r(881,894) 
	 30 d(940) r(592,597) d(459) r(584,768) r(786,746) d(553) d(499) 
	 31 d(940) r(592,597) d(459) r(584,768) r(786,746) r(584,768) r(786,746) a(891,1095) a(713,606) 
	 30 a(537,505) d(661) r(592,597) d(459) r(776,730) r(894,904) 
	 30 d(940) r(592,597) d(459) r(584,768) r(786,746) r(776,730) r(618,629) 
	 29 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) a(580,684) 
	 29 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) d(654) d(903) r(968,1054) a(600,996) r(393,1105) r(577,579) a(812,401) 
	 30 r(837,799) r(1069,1074) r(829,857) d(1070) a(1050,1000) 
	 30 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) a(478,450) 
	 31 r(837,799) d(654) d(903) r(968,1054) a(600,996) r(393,1105) r(577,579) d(589) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) d(804) 
	 30 d(508) d(694) r(592,597) d(459) r(412,417) r(905,895) d(1070) d(493) r(1052,1050) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) 
	 30 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) r(766,1087) 
	 30 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) d(997) d(656) r(610,608) a(862,734) r(475,503) 
	 31 d(962) d(659) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) d(831) 
	 31 r(837,799) d(459) d(718) a(438,458) d(792) d(601) 
	 31 d(940) r(899,884) r(592,597) d(654) a(368,452) d(606) r(840,798) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) a(789,710) 
search: generation 8 (sizeof one variant = 0.349648 MB)
	 31 a(537,505) d(661) r(592,597) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(375) 
	 31 r(837,799) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(437) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(871) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(1053) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) 
	 29 r(837,799) d(654) r(1072,1064) d(853) 
	 31 d(940) r(592,597) d(459) d(459) r(584,768) r(786,746) d(553) a(414,965) d(662) 
	 30 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) a(478,450) d(996) 
	 30 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) a(1021,682) r(773,780) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) d(388) 
	 30 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) a(919,603) 
	 31 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) a(656,841) 
	 30 a(537,505) d(661) r(592,597) d(771) d(459) d(718) r(951,962) d(956) d(657) 
	 31 d(962) a(438,458) r(1053,1046) d(533) a(676,1007) 
	 31 a(537,505) d(661) r(592,597) d(771) d(459) d(718) a(438,458) r(1053,1046) d(533) d(456) 
	 30 d(962) r(951,962) d(956) d(1099) 
	 30 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(414) r(746,705) 
	 30 d(940) r(899,884) r(592,597) d(654) a(368,452) d(606) r(840,798) d(659) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(486,463) d(899) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) r(681,662) 
	 31 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) a(731,606) r(475,485) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(731) a(533,463) 
	 31 a(785,783) a(674,696) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) d(493) r(1027,1021) d(916) 
	 31 r(721,715) r(1028,998) r(412,417) r(905,895) d(1070) d(493) r(1103,1110) r(999,967) 
	 31 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) r(1103,1110) d(429) 
	 31 r(721,715) r(1028,998) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) d(493) r(1027,1021) d(609) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) d(1071) 
	 31 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) d(1000) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(968) 
	 31 d(940) r(592,597) a(438,458) d(792) d(679) d(694) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(679) d(627) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) 
	 31 d(940) r(592,597) r(592,597) d(459) r(584,768) r(486,463) d(487) 
	 30 a(537,505) d(661) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) a(365,601) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(545) 
	 30 a(537,505) d(661) r(592,597) d(459) r(584,768) r(486,463) d(535) 
	 31 a(785,783) r(592,597) d(459) d(718) r(905,912) a(948,508) 
	 31 d(508) d(694) a(674,696) d(718) d(1103) d(900) d(605) a(588,931) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(679) 
	 31 d(508) d(694) r(592,597) d(459) d(718) r(905,912) a(1099,886) 
	 30 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(1103) d(900) d(587) r(944,927) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(644) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) a(612,660) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(587) d(597) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(584,768) d(799) a(928,924) d(533) a(728,715) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) r(488,482) d(600) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) d(800) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) r(584,768) d(799) a(928,924) d(533) r(771,747) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) r(1030,652) d(804) d(419) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(706,714) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) 
	 29 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) d(804) d(486) 
	 31 d(962) a(1113,919) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(659) d(852) 
	 30 d(962) d(659) d(1007) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(601) 
	 28 d(940) r(592,597) d(459) a(928,924) r(786,746) a(891,1095) r(1025,1011) r(966,473) 
	 30 r(837,799) d(654) r(584,768) d(799) d(459) r(584,768) r(786,746) d(553) a(414,965) d(632) 
	 30 d(940) r(592,597) d(459) d(459) r(584,768) r(786,746) d(553) a(414,965) r(428,412) 
	 29 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) r(1010,1016) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) r(766,1087) d(494) 
	 29 d(962) d(997) d(656) r(610,608) a(862,734) d(831) r(368,747) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(459) r(584,768) r(786,746) a(891,1095) d(801) d(1007) 
	 30 d(962) r(951,962) r(592,597) d(459) r(584,768) r(786,746) d(604) d(482) a(546,886) 
search: generation 9 (sizeof one variant = 0.350235 MB)
	 31 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) a(478,450) d(996) d(853) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) d(804) 
	 31 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) d(1000) d(475) 
	 29 d(508) d(694) a(674,696) d(718) d(1103) d(900) d(605) a(588,931) d(574) 
	 31 d(962) d(997) d(656) r(610,608) a(1070,841) r(710,795) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(862,734) a(1021,682) a(656,841) d(437) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) a(656,841) r(465,443) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) r(781,785) 
	 30 r(837,799) d(654) r(584,768) d(799) a(928,924) r(786,746) a(891,1095) r(1025,1011) a(1021,682) r(773,780) a(714,966) 
	 31 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) a(656,841) r(980,1014) 
	 30 a(785,783) a(674,696) d(493) r(1103,1110) r(999,967) r(767,746) 
	 31 r(721,715) r(1028,998) r(412,417) r(905,895) d(1070) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) r(681,662) d(601) 
	 30 a(785,783) a(674,696) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) r(681,662) d(861) 
	 30 r(721,715) r(1028,998) r(412,417) r(905,895) d(1070) d(493) r(1103,1110) r(999,967) r(906,897) 
	 31 d(940) r(592,597) r(592,597) d(459) r(584,768) r(486,463) d(487) d(587) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) r(522,542) 
	 31 d(962) a(438,458) r(1053,1046) d(533) a(676,1007) d(731) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(587) d(597) a(929,961) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) a(500,496) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) r(609,610) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) r(584,768) r(786,746) a(483,482) d(498) d(1053) d(1101) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) d(587) d(597) a(627,687) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(587) d(597) d(965) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(1053) r(1095,793) 
	 31 d(508) d(694) r(592,597) d(459) r(475,485) r(614,962) 
	 30 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) a(731,606) d(718) d(644) a(633,1079) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(644) a(794,717) 
	 30 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) a(731,606) r(475,485) a(481,375) 
	 30 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) a(656,841) d(389) 
	 31 d(940) r(592,597) a(438,458) d(792) d(679) d(694) r(855,872) 
	 29 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(871) d(419) 
	 29 d(962) a(1113,919) r(392,382) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(679) a(592,566) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(584,768) d(799) a(928,924) d(533) a(728,715) r(897,896) 
	 30 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) r(863,865) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(601) r(1106,1090) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) d(926) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(601) r(522,544) 
	 31 d(940) r(592,597) d(459) d(459) r(584,768) d(792) d(679) d(627) r(1070,1073) 
	 30 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) r(786,746) d(553) a(414,965) r(428,412) r(998,1018) 
	 30 d(940) r(592,597) d(459) d(459) r(584,768) r(786,746) d(553) a(414,965) r(428,412) d(766) 
	 31 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(679) d(627) r(576,573) 
	 30 a(785,783) a(674,696) a(489,694) r(478,454) r(1017,1007) d(718) a(438,458) d(792) d(731) a(533,463) d(870) 
	 31 d(940) r(899,884) r(592,597) d(459) d(736) r(671,655) d(493) r(1027,1021) d(916) r(1071,1070) 
	 31 a(785,783) a(674,696) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) d(493) r(1027,1021) d(916) r(870,835) 
	 29 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(731) a(533,463) a(434,968) 
	 30 r(837,799) d(654) r(584,768) d(799) d(459) r(584,768) r(786,746) d(553) a(872,800) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) a(414,965) d(632) r(980,998) 
	 31 r(837,799) d(654) r(584,768) d(799) d(459) r(584,768) r(786,746) d(553) a(414,965) d(632) r(795,774) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) d(667) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) d(804) d(486) d(551) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(545) r(607,608) 
	 31 d(940) r(592,597) d(459) d(459) r(584,768) r(786,746) d(553) a(414,965) d(662) a(628,962) 
	 31 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(414) r(746,705) d(422) 
	 30 a(537,505) d(661) r(592,597) d(771) d(459) d(718) r(951,962) d(956) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(871) a(1053,505) 
	 31 a(537,505) d(661) r(592,597) d(657) r(429,422) 
	 30 a(537,505) d(661) r(592,597) d(771) d(459) d(718) r(951,962) d(956) d(657) a(612,653) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(871) d(1009) 
search: generation 10 (sizeof one variant = 0.350161 MB)
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(926) a(481,732) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) d(413) d(871) d(1009) r(683,779) 
	 31 a(537,505) d(661) r(592,597) d(459) r(584,768) r(786,746) a(891,1095) d(413) d(871) d(1009) a(730,966) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) d(926) d(919) 
	 31 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(601) r(1106,1090) d(1020) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) a(414,965) d(632) r(980,998) d(604) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(1053) r(1095,793) r(1025,996) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(644) a(794,717) r(580,566) 
	 29 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) a(414,965) d(632) r(980,998) d(783) 
	 31 a(785,783) a(674,696) a(489,694) r(478,454) r(1017,1007) d(736) r(671,655) d(493) r(1027,1021) d(916) r(870,835) d(493) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) d(587) d(597) a(627,687) d(790) 
	 30 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) a(500,496) d(781) 
	 30 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) r(786,746) d(553) a(414,965) r(428,412) r(998,1018) a(485,481) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(1053) r(1095,793) d(538) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) d(667) d(718) d(1103) d(900) d(605) d(601) r(522,544) d(605) 
	 30 a(785,783) a(674,696) a(1011,931) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) d(667) d(849) 
	 30 a(785,783) a(674,696) d(718) d(1103) d(900) d(605) d(601) r(522,544) d(904) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) d(804) r(1009,966) 
	 31 d(508) d(694) d(607) d(882) r(467,488) r(968,1054) a(600,996) r(393,1105) d(790) a(731,606) d(718) d(644) a(633,1079) a(1084,879) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) a(478,450) d(996) d(853) d(482) 
	 31 d(508) d(1101) r(666,675) r(831,837) d(804) d(486) d(551) d(738) 
	 30 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) d(804) d(486) d(551) a(1073,469) 
	 31 d(508) d(1101) r(666,675) r(831,837) a(674,696) d(997) r(1069,1074) r(829,857) d(1070) a(478,450) d(996) d(853) d(675) 
	 31 d(962) d(997) d(574) a(438,458) d(906) a(1094,444) d(545) r(607,608) r(443,587) 
	 30 d(940) r(592,597) r(592,597) d(459) d(718) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) d(804) d(1018) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) d(804) a(549,625) 
	 30 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(545) r(607,608) r(759,748) 
	 29 a(537,505) d(661) r(592,597) d(657) d(459) d(718) a(438,458) r(786,746) d(553) a(414,965) r(428,412) r(998,1018) r(577,582) 
	 31 d(940) r(899,884) r(592,597) r(429,422) r(422,393) 
	 31 a(537,505) d(661) r(592,597) d(657) r(429,422) d(907) 
	 30 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) r(786,746) d(553) a(414,965) r(428,412) r(998,1018) r(483,480) 
	 30 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(545) r(607,608) r(576,581) 
	 29 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) d(804) a(661,718) 
	 31 r(837,799) d(654) a(368,452) d(606) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) r(863,865) r(705,908) 
	 31 d(940) r(592,597) r(592,597) a(419,967) r(1007,954) d(667) d(438) 
	 31 r(837,799) d(654) a(368,452) d(606) a(419,967) r(1007,954) d(667) d(1045) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) r(863,865) a(856,924) 
	 31 d(940) r(899,884) r(592,597) d(459) d(736) r(671,655) d(493) r(1027,1021) d(916) r(1071,1070) r(917,770) 
	 31 r(837,799) d(654) r(905,895) d(679) a(942,927) r(584,768) r(786,746) a(483,482) d(498) d(1053) r(1095,793) d(588) 
	 30 d(940) r(899,884) r(592,597) d(459) d(718) a(438,458) d(792) d(679) d(627) r(576,573) r(1101,1090) 
	 31 r(721,715) r(1028,998) r(412,417) r(905,895) d(1070) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) r(681,662) d(601) d(534) 
	 30 d(940) r(899,884) r(592,597) d(459) d(736) r(671,655) r(592,597) d(459) d(718) d(644) a(794,717) d(961) 
	 31 d(508) d(694) d(493) r(1027,1021) d(916) r(1071,1070) r(792,685) 
	 31 d(940) r(899,884) r(592,597) d(459) d(736) r(671,655) d(493) r(1027,1021) d(916) r(1071,1070) d(675) 
	 29 d(508) d(694) r(592,597) d(459) d(718) d(644) a(794,717) a(627,672) 
	 31 d(962) d(997) d(656) r(610,608) a(862,734) a(1021,682) a(656,841) r(465,443) a(368,608) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) r(488,482) a(1070,841) r(522,542) d(1094) 
	 31 d(508) d(694) r(592,597) d(459) d(718) d(1103) d(900) d(587) d(597) a(929,961) a(670,629) 
	 31 d(962) d(997) d(574) d(656) r(610,608) r(1030,652) d(804) d(486) d(551) d(599) 
	 31 d(940) r(592,597) d(459) d(459) r(584,768) d(792) r(746,705) d(422) d(1019) 
	 30 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(414) d(679) d(627) r(1070,1073) d(939) 
	 30 d(940) r(592,597) d(459) d(459) r(584,768) d(792) d(679) d(627) r(1070,1073) a(729,758) 
	 30 a(537,505) d(661) a(487,503) a(1099,546) d(771) d(459) d(718) a(438,458) r(1053,1046) d(414) r(746,705) d(422) r(1083,731) 
	 31 d(940) r(592,597) r(592,597) d(459) d(718) a(438,458) d(906) a(1094,444) d(693) r(863,865) r(672,612) 
	 31 r(721,715) r(1028,998) r(412,417) r(905,895) d(1070) r(412,417) r(905,895) d(1070) d(493) r(1050,1052) r(681,662) d(601) a(859,644) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 21303
"Test Suite Evaluations": 66.5719

Compile Failures: 1
Wall-Clock Seconds Elapsed: 38011.4
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             648 1159.204 = 3.10004%
  test                              21559 36233.829 = 96.8995%
  TOTAL                                   37393.221 = 98.3737% (avg CPU usage)
python-bug-70098-70101.tar.gz
Wed Feb 19 20:58:12 EST 2014
shutting down
