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 false
--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 false
--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 316
--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 3
--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 false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-184-52-39 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Sep 23 18:05:41 EDT 2013
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/tmpc6480c.c /tmp/tmp46e201.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 429.65)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2348
cilRep: stmts in weighted_path = 1280
cilRep: total weight = 492.1
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/_json.c (code bank/base file; atoms [1,2348])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.374525 MB)
search: initial population (sizeof one variant = 0.0251122 MB)
	 31 r(1060,918) 
	 31 a(451,975) 
	 31 r(1313,1303) 
	 31 d(541) 
	 31 d(401) 
	 31 r(1942,1938) 
	 31 a(989,1621) 
	 31 a(2211,867) 
	 31 a(1883,864) 
	 31 d(1992) 
	 31 r(1184,1122) 
	  0 d(827) 
	  1 r(743,995) 
	 31 r(2226,2202) 
|[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-70019-70023/000014/Modules/_json.c  a(2331,1828)  fails to compile
	  0 a(2331,1828) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(1952) 
	 31 d(1776) 
	 31 r(2301,2271) 
	 31 r(780,805) 
	 31 a(996,2178) 
	 31 a(1094,1157) 
	 31 a(1889,1995) 
	 31 r(2022,2032) 
	 31 d(1683) 
	 31 d(595) 
	 31 d(560) 
	 31 a(738,737) 
	 31 r(1943,741) 
	  0 d(827) 
	 31 r(1370,1356) 
	  0 r(782,813) 
	 31 r(762,730) 
	 31 a(1339,1751) 
	 31 r(1597,1613) 
	 31 d(759) 
	 31 r(677,544) 
	 31 r(1018,918) 
	 31 r(621,597) 
	 31 a(1019,665) 
	 31 original
search: generation 1 (sizeof one variant = 0.374897 MB)
	 31 a(451,975) r(982,886) 
	 31 r(1942,1938) d(636) 
	 31 a(451,975) r(362,363) 
	 31 r(1942,1938) d(968) 
	  0 d(560) r(800,823) 
	 31 r(825,810) 
	 31 a(451,975) r(2166,2220) 
	 31 d(560) a(1569,2000) 
	 31 d(595) d(1682) 
	 31 d(759) a(2103,2144) 
	 31 a(738,737) r(528,1887) 
	 31 a(989,1621) d(2107) 
	 31 d(401) a(1704,1292) 
	 31 a(996,2178) r(739,752) 
	 31 r(1018,918) a(2151,2340) 
	 31 r(677,544) d(411) 
	 31 a(1094,1157) a(2015,2283) 
	 31 r(621,597) d(630) 
	 31 a(1094,1157) r(1807,1769) 
	 31 r(621,597) a(1993,866) 
	 31 d(390) 
	 31 d(1952) d(1768) 
	 31 r(638,571) 
	 31 d(1952) d(620) 
	 31 r(2301,2271) r(1739,1743) 
	 31 r(2226,2202) d(695) 
	 31 r(1060,918) d(912) 
	 31 d(1992) d(1867) 
	 31 r(1060,918) d(1707) 
	 31 d(1992) d(1237) 
	 31 a(1094,1157) d(1206) 
	 31 a(451,975) a(1970,2027) 
	  0 a(989,1621) d(782) 
	 31 r(1370,1356) d(1139) 
	  1 a(989,1621) d(1566) 
	 31 r(1370,1356) a(1085,571) 
	 31 a(1019,665) r(954,928) 
	 31 d(838) 
	 31 d(1988) 
	 31 r(1313,1303) a(1925,1941) 
	 31 r(1060,918) a(1556,1620) 
	 31 d(401) a(1526,1768) 
	 31 r(1597,1613) a(1007,2343) 
	 31 a(1019,665) r(593,618) 
	 31 a(1889,1995) a(902,1013) 
	 31 a(451,975) r(739,744) 
	 31 d(1992) r(1774,1610) 
	 31 d(1992) r(2005,1938) 
	 31 d(1992) d(822) 
	 31 d(1992) r(627,557) 
	 31 r(1942,1938) d(1447) 
	 31 d(759) d(1760) 
	 31 r(1942,1938) d(299) 
	 31 d(759) d(2231) 
search: generation 2 (sizeof one variant = 0.376166 MB)
	 31 a(451,975) r(610,1254) 
	 31 d(390) r(362,363) d(995) 
	 31 a(451,975) r(362,363) d(406) 
	 31 d(390) d(2285) 
	 31 r(1060,918) a(1556,1620) d(810) 
	 31 d(1992) r(1774,1610) d(1135) 
	 31 a(451,975) a(557,2133) 
	 31 d(390) a(1970,2027) d(488) 
	 31 a(451,975) a(1970,2027) a(2326,2263) 
	 31 d(390) d(2169) 
	 31 d(1988) d(784) 
	 31 d(1988) d(1624) 
	 31 d(1988) a(805,1494) 
	 31 d(1988) r(738,745) 
	 31 a(1019,665) r(593,618) d(1235) 
	 31 r(1313,1303) a(1925,1941) d(883) 
	 31 r(638,571) d(2111) 
	 31 d(838) d(849) 
	 31 r(638,571) a(1094,487) 
	 31 d(838) a(2243,1862) 
	 31 r(1942,1938) a(811,786) 
	 31 d(1988) d(968) d(2139) 
	  0 r(1942,1938) d(968) d(791) 
	 31 d(1988) d(448) 
	 31 d(1992) d(1237) a(1162,1090) 
	 31 d(595) d(1682) d(1805) 
	 31 d(1992) d(1237) r(890,846) 
	 31 d(595) d(1682) a(1458,528) 
	 31 r(825,810) d(2231) r(633,661) 
	 31 d(759) d(2222) 
	 31 r(825,810) a(2130,600) 
	 31 d(759) d(2231) d(1525) 
	 31 a(451,975) r(362,363) a(1159,2272) 
	 31 d(390) r(2027,1983) 
	 31 d(838) r(1264,1252) 
	 31 d(1992) d(1237) r(927,1792) 
	 31 d(838) r(1187,1242) 
	 31 d(1992) d(1237) r(1358,1311) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) 
	 31 a(1889,1995) r(933,954) 
	 31 a(1094,1157) a(2015,2283) a(1712,1741) 
	 31 a(1889,1995) a(902,1013) d(775) 
	 31 r(1942,1938) d(1447) r(826,792) 
	 31 r(1060,918) d(912) r(1267,1190) 
	 31 a(1019,665) r(954,928) a(557,1691) 
	 31 d(759) a(2103,2144) d(1767) 
	 31 d(1992) d(2301) 
	 31 d(759) a(2103,2144) r(2005,1938) a(1117,1760) 
	 31 d(1992) r(2005,1938) r(833,818) 
	 31 d(759) a(2103,2144) r(514,520) 
	 31 a(1889,1995) a(490,1209) 
	 31 r(1942,1938) d(1447) a(902,1013) r(2288,2282) 
	 31 a(1889,1995) a(902,1013) d(1811) 
	 31 r(1942,1938) d(1447) r(743,299) 
	 31 d(1992) d(299) a(844,1978) 
	 31 r(1942,1938) r(1774,1610) d(751) 
	 31 d(1992) r(1774,1610) r(776,751) 
	 31 r(1942,1938) d(299) d(811) 
	 31 d(401) a(1526,1768) r(1739,1743) d(755) 
	 31 r(2301,2271) d(2131) 
	 31 d(401) a(1526,1768) r(811,807) 
	 31 r(2301,2271) r(1739,1743) a(919,988) 
	  0 r(1018,918) d(1682) r(2331,2337) 
	 31 d(595) a(2151,2340) a(702,2256) 
	 31 r(1018,918) a(2151,2340) d(2345) 
	 31 d(595) d(1682) r(1593,1600) 
	 31 r(1060,918) d(1707) r(1739,1743) d(1255) 
	 31 r(2301,2271) d(1663) 
	 31 r(1060,918) d(1707) d(996) 
	 31 r(2301,2271) r(1739,1743) d(563) 
search: generation 3 (sizeof one variant = 0.376865 MB)
	 31 d(759) d(1447) r(743,299) r(2236,1685) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(1117,1760) r(1806,1799) 
	 31 d(759) a(2103,2144) r(2005,1938) a(1117,1760) r(1993,1877) 
	 31 r(1942,1938) d(1447) r(743,299) a(2250,2245) 
	 31 d(759) d(2222) r(1052,947) 
	 31 r(1942,1938) r(1774,1610) d(751) d(1067) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) 
	 31 d(838) r(1264,1252) d(817) 
	 31 d(595) a(2151,2340) a(702,2256) d(1757) 
	 31 d(838) r(1264,1252) a(2064,975) 
	 31 d(1988) a(805,1494) a(919,988) d(746) 
	 31 r(2301,2271) r(1739,1743) a(2144,2343) 
	 31 d(1988) a(805,1494) a(1771,1792) 
	 31 r(2301,2271) r(1739,1743) a(919,988) r(758,774) 
	 31 r(1942,1938) d(1447) a(902,1013) r(2288,2282) d(807) 
	 31 d(595) d(1682) a(1458,528) d(1470) 
	 31 d(1992) d(1237) r(1358,1311) r(2215,2214) 
	 31 d(595) d(1682) r(1593,1600) a(883,949) 
	 31 d(1988) a(805,1494) a(599,615) 
	 31 d(390) r(2027,1983) r(634,638) 
	 31 d(759) a(2103,2144) r(2005,1938) a(1117,1760) d(1088) 
	 31 a(1094,1157) a(2015,2283) a(1712,1741) a(2145,489) 
	 31 d(1992) a(811,786) r(828,790) 
	 31 r(1942,1938) d(2301) d(401) 
	 31 d(1992) d(2301) r(1797,1726) 
	 31 r(1942,1938) a(811,786) d(838) 
	 31 d(595) d(1682) a(1458,528) r(2197,2225) 
	 31 r(1942,1938) d(299) d(811) d(396) 
	 31 r(1942,1938) r(1774,1610) d(751) d(1476) 
	 31 d(1988) d(448) d(2340) 
	 31 r(2301,2271) r(362,363) a(1159,2272) r(2288,2259) 
	 31 a(451,975) r(1739,1743) a(919,988) a(953,550) 
	 31 r(2301,2271) r(1739,1743) a(919,988) r(650,910) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) 
	 31 a(1094,1157) a(2015,2283) d(2222) r(1009,954) 
	 31 d(759) a(902,1013) d(525) r(1127,1105) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) 
	 31 d(759) d(2222) r(2268,2306) 
	 31 d(390) r(796,2292) 
	 31 a(451,975) a(1970,2027) a(2326,2263) r(362,363) d(995) r(1984,2002) 
	 31 d(390) r(362,363) d(995) d(2267) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) 
	 31 r(1942,1938) d(299) r(1739,1743) d(755) d(1306) 
	 31 d(401) a(1526,1768) d(811) r(1022,418) 
	 31 r(1942,1938) d(299) d(811) a(981,1109) 
	 31 d(401) a(1526,1768) r(1739,1743) d(755) r(1029,916) 
	 31 d(595) d(1682) a(1458,528) d(883) 
	 31 d(390) r(2027,1983) d(1055) 
	 31 d(759) d(2231) d(1525) d(1235) a(1187,890) 
	 31 a(1019,665) r(593,618) r(1556,1508) 
	 31 d(759) d(2231) d(1525) r(842,809) 
	 31 a(1019,665) r(593,618) d(1235) r(544,1526) 
	 31 a(451,975) r(610,1254) a(805,1494) a(1709,2228) 
	 31 d(1988) a(760,771) 
	 31 a(451,975) r(610,1254) r(2084,2090) 
	 31 d(1988) a(805,1494) r(644,938) 
	 31 d(759) a(2103,2144) d(1767) r(2109,2117) 
	 31 d(759) a(2103,2144) d(1767) d(720) 
	 31 d(759) d(1972) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) 
	 31 d(759) d(2231) d(1525) d(1016) 
	 31 d(1988) d(448) r(861,1057) 
search: generation 4 (sizeof one variant = 0.377833 MB)
	 31 a(451,975) a(1970,2027) a(2326,2263) r(593,618) r(1556,1508) r(2007,1058) 
	 31 a(1019,665) d(1064) a(501,2263) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(443) 
	 31 a(1019,665) r(593,618) r(1556,1508) r(1120,1093) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(1956,1995) 
	  0 d(1992) a(811,786) r(828,790) d(836) 
	 31 d(390) r(2027,1983) d(1055) a(1458,528) d(1470) r(1601,1612) 
	 31 d(595) d(1682) r(2208,2214) 
	 31 d(390) r(2027,1983) d(1055) d(1028) 
	 31 d(595) d(1682) a(1458,528) d(1470) r(1431,1436) 
	 31 d(1988) a(805,1494) a(1771,1792) r(738,745) 
	 31 a(1019,665) r(593,618) d(1235) r(544,1526) a(897,1714) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) r(1639,1634) 
	 31 d(1992) d(1237) r(1358,1311) r(2215,2214) r(624,1596) 
	 31 r(1942,1938) r(2024,1921) 
	 31 d(1988) a(805,1494) a(1771,1792) d(2301) d(401) d(2101) 
	 31 r(1942,1938) d(2301) d(401) d(1574) 
	 31 d(1988) a(805,1494) a(1771,1792) d(1861) 
	 31 a(1094,1157) a(1187,890) r(724,723) 
	 31 d(759) d(2231) d(1525) d(1235) a(2015,2283) a(902,1013) d(525) d(1103) a(593,554) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) r(861,1065) 
	 31 d(759) d(2231) d(1525) d(1235) a(1187,890) d(2208) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) 
	 31 d(1988) a(805,1494) a(919,988) d(746) r(826,836) 
	 31 d(759) d(1972) d(1191) 
	 31 r(1942,1938) r(1774,1610) d(751) d(1476) d(517) 
	 31 d(1992) a(811,786) r(828,790) a(1117,1760) r(1806,1799) a(410,2236) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) 
	 31 d(1992) a(811,786) r(828,790) a(1345,1340) 
	  0 r(1942,1938) a(2103,2144) r(2005,1938) a(1117,1760) r(1806,1799) r(844,820) 
	 31 r(1942,1938) a(811,786) d(720) a(800,2055) 
	 31 d(759) a(2103,2144) d(1767) d(838) a(2005,1758) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) 
	 31 r(1942,1938) d(2301) d(401) r(1637,1621) 
	 31 d(595) a(2151,2340) a(702,2256) d(1757) r(601,613) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) 
	 31 a(451,975) r(1739,1743) a(919,988) a(953,550) d(813) 
	 31 d(759) a(902,1013) d(525) r(1127,1105) a(1312,1495) 
	 31 d(759) a(2103,2144) r(2005,1938) a(1117,1760) d(1088) d(501) 
	 31 a(451,975) a(1970,2027) a(2326,2263) r(362,363) d(995) r(1984,2002) a(1681,866) 
	 31 d(595) d(1682) a(1458,528) r(2197,2225) r(1635,1628) 
	 31 r(1942,1938) d(1832) d(2148) 
	 31 a(451,975) r(362,363) a(1159,2272) d(2301) d(401) d(1052) 
	  0 r(1942,1938) d(2301) d(401) d(809) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1103) d(1956) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1860) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(659,559) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) d(1055) a(734,2096) 
	 31 d(390) r(2027,1983) a(995,1109) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(1829,1013) 
	 31 d(390) r(2027,1983) d(1055) a(513,644) 
	 31 d(759) d(2231) d(1525) r(842,809) d(944) 
	 31 r(1942,1938) d(299) d(811) a(981,1109) d(541) 
	 31 d(759) d(1447) r(743,299) r(2236,1685) d(392) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) 
search: generation 5 (sizeof one variant = 0.379835 MB)
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1639,1635) 
	 31 d(390) r(2027,1983) a(995,1109) d(1922) 
	 31 d(1988) a(805,1494) a(919,988) d(746) r(826,836) d(568) 
	 31 d(1988) a(805,1494) a(919,988) d(746) r(826,836) r(528,1756) 
	 31 d(595) d(1682) a(1458,528) d(1470) d(401) d(2101) r(1621,1681) 
	 31 d(1988) a(805,1494) a(1771,1792) d(2301) r(1431,1436) a(2337,624) 
	 31 d(595) d(1682) a(1458,528) d(1470) r(1431,1436) a(1109,2281) 
	 31 d(1988) a(805,1494) a(1771,1792) d(2301) d(401) d(2101) a(1973,1868) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) 
	  0 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(1829,1013) r(770,758) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) 
	 31 d(595) a(2151,2340) a(1351,1310) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) r(819,810) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) d(698) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(446,455) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) 
	 31 a(451,975) r(1739,1743) a(919,988) d(525) d(1103) a(659,559) a(699,524) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) a(953,550) d(813) a(678,619) 
	 31 a(451,975) r(1739,1743) a(919,988) a(953,550) d(813) r(792,812) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(659,559) a(1605,743) 
	 31 d(1992) d(1237) r(1358,1311) r(2215,2214) r(624,1596) d(2270) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1884,1807) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) 
	 31 d(390) r(2027,1983) d(1055) a(513,644) r(2050,1954) 
	 31 d(1992) a(811,786) r(828,790) a(1345,1340) r(1796,1728) 
	 31 d(1988) a(805,1494) d(1064) d(443) a(1305,610) 
	 31 a(451,975) a(1970,2027) a(2326,2263) a(1771,1792) d(1861) a(2283,2121) 
	 31 d(1988) a(805,1494) a(1771,1792) d(1861) d(772) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(443) r(1844,953) 
	 31 d(759) a(902,1013) d(525) r(1127,1105) d(1964) 
	 31 r(1942,1938) r(2024,1921) a(1312,1495) a(1944,941) 
	 31 d(759) a(902,1013) d(525) r(1127,1105) a(1312,1495) a(1980,1847) 
	 31 r(1942,1938) r(2024,1921) r(2152,2094) 
	 31 r(1942,1938) r(1774,1610) d(751) d(1476) d(517) a(2277,1624) 
	 31 d(759) d(2231) d(1525) r(842,809) d(944) d(1604) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) 
	 31 d(390) r(2027,1983) d(1055) a(1458,528) d(1470) r(1601,1612) d(1056) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) d(1055) a(734,2096) d(632) 
	 31 r(1942,1938) d(2301) d(401) r(1637,1621) r(520,514) 
	 31 d(1992) a(811,786) r(828,790) a(1345,1340) a(983,2055) 
	 31 d(1988) a(805,1494) a(1771,1792) d(2301) d(401) d(2101) r(2067,2089) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) 
	 31 a(451,975) r(1739,1743) a(919,988) a(953,550) d(813) r(2211,2186) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1103) d(1956) a(1956,1995) a(2124,977) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(1015,1819) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1103) d(1956) a(765,439) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) 
	 31 r(1942,1938) d(2301) d(401) d(1574) d(851) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(1829,1013) d(780) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(773,757) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) 
search: generation 6 (sizeof one variant = 0.379266 MB)
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) 
	 31 d(1988) a(953,550) d(813) a(678,619) d(1801) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) a(953,550) d(813) a(678,619) d(2033) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) d(755) 
	 31 a(451,975) r(1739,1743) a(919,988) a(953,550) d(813) r(792,812) r(809,820) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(2051) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(2117,2121) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1884,1807) a(841,1743) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(394,396) 
	 31 r(1942,1938) a(811,786) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(615,656) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(862,1845) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1232,2254) 
	 31 d(1988) a(805,1494) a(919,988) d(746) r(826,836) r(528,1756) r(1000,1056) 
	 31 d(1992) a(811,786) r(828,790) a(1345,1340) r(1796,1728) r(1851,1944) 
	 31 r(1942,1938) d(720) r(1472,1473) r(446,455) r(1613,1597) 
	 31 d(759) a(2103,2144) d(1767) r(2024,1921) r(2152,2094) a(2338,1497) 
	 31 r(1942,1938) r(2024,1921) r(2152,2094) a(2125,2130) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(446,455) a(2195,2218) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) 
	 31 d(1988) a(805,1494) a(919,988) d(746) d(698) a(1307,1707) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) d(698) d(2344) 
	 31 d(1988) a(805,1494) a(919,988) d(746) r(826,836) d(568) d(846) 
	 31 a(451,975) r(362,363) a(1159,2272) d(2045) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(1832) d(1432) a(417,1858) a(844,1668) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1895,928) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(2236) 
	 31 a(451,975) a(1970,2027) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) a(1753,941) 
	 31 d(759) a(2326,2263) d(1064) d(2034) r(819,810) a(2216,727) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) r(819,810) a(2024,1840) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) r(2269,2235) 
	 31 d(595) a(840,778) d(698) r(885,1018) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) r(489,443) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) d(698) a(1686,2299) 
	 31 d(595) d(1682) a(1458,528) r(1472,1473) r(446,455) r(975,1802) 
	 31 d(759) a(2103,2144) d(1767) d(720) d(1470) d(401) d(2101) r(1621,1681) r(1494,927) 
	 31 d(595) d(1682) a(1458,528) d(1470) d(401) d(2101) r(1621,1681) d(2261) 
	  0 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(446,455) d(770) 
	 31 d(390) r(2027,1983) d(1055) a(513,644) r(2050,1954) d(1569) 
	 31 r(1942,1938) d(2301) d(401) d(1574) d(851) d(848) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(401) r(1637,1621) r(520,514) a(828,975) 
	 31 r(1942,1938) d(2301) d(1432) r(1498,1729) d(2306) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) a(567,1621) 
	 31 r(1942,1938) d(2301) d(401) r(1637,1621) r(520,514) a(1753,1497) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(773,757) a(943,904) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(525) d(1103) a(659,559) a(1605,743) a(541,594) 
	 31 d(1988) a(805,1494) a(1771,1792) d(1861) d(772) a(909,805) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) d(1949) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1639,1635) r(1498,1729) d(2206) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1569,1507) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1639,1635) d(2148) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) a(1275,1085) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) a(953,550) d(2302) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) a(953,550) d(813) a(678,619) r(2131,2060) 
	 31 a(451,975) a(1970,2027) a(1056,1062) 
	  0 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) r(819,810) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) r(1566,1498) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) r(819,810) a(1770,1856) 
search: generation 7 (sizeof one variant = 0.380283 MB)
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) 
	 31 d(595) d(1682) a(1458,528) r(1472,1473) r(446,455) r(975,1802) a(630,1249) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1895,928) r(1632,1631) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(394,396) d(1508) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) d(698) a(1686,2299) d(1769) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(1832) d(1432) a(417,1858) a(844,1668) d(1007) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) 
	 31 a(451,975) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) 
	 31 a(451,975) r(362,363) a(1159,2272) d(2045) d(956) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) a(986,937) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1232,2254) d(369) 
	 31 d(595) d(1682) a(1458,528) r(1472,1473) r(446,455) r(975,1802) d(1802) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) a(417,1858) a(1895,928) d(2254) 
	  0 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1459,1311) a(2149,1833) d(2051) a(2344,1620) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(2051) d(1345) 
	  0 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1895,928) a(1554,2159) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1436) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) d(1432) r(1498,1729) r(1724,1710) r(755,764) 
	  0 a(451,975) r(362,363) a(1159,2272) d(1832) r(771,751) a(417,904) a(765,1735) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(1199,1246) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) r(1693,1697) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) a(953,550) d(813) a(678,619) r(2131,2060) d(1015) 
	 31 r(1942,1938) d(720) r(1472,1473) r(446,455) r(1613,1597) r(2305,2277) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(1832) d(1432) a(417,1858) a(844,1668) r(2156,410) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) a(1974,600) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(2236) r(1025,1060) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) d(2046) a(1956,1995) d(1836) a(773,409) d(698) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(1873) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) r(2143,2153) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) 
	 31 r(1942,1938) a(811,786) r(446,455) a(2195,2218) r(1029,1067) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) d(1158) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(446,455) a(2195,2218) d(2301) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) r(2269,2235) d(1306) 
	 31 d(759) r(1639,1635) r(1498,1729) d(2206) r(811,807) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(1639,1635) r(1498,1729) d(2206) d(1639) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) r(2269,2235) r(2286,2245) 
	 31 d(1988) a(805,1494) a(1771,1792) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) r(1771,1704) 
	 31 a(451,975) d(1861) d(772) a(909,805) r(1025,898) 
	 31 d(1988) a(805,1494) a(1771,1792) d(1861) d(772) a(909,805) d(2153) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) 
	 31 d(759) a(2103,2144) d(1767) d(720) d(1470) d(401) d(2101) r(1621,1681) r(1494,927) d(2162) 
	 31 r(1942,1938) a(811,786) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(615,656) d(2334) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) d(755) r(559,538) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) a(1094,1117) 
	 31 a(451,975) a(1970,2027) a(1056,1062) r(886,928) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(2236) r(748,757) 
search: generation 8 (sizeof one variant = 0.381072 MB)
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(732,729) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1253,1262) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(846,778) 
	 31 a(451,975) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) d(1566) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) a(2103,2144) d(1767) d(720) r(1472,1473) r(1161,1125) r(2269,2235) d(1306) d(1973) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) r(907,1004) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) a(601,727) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) a(987,778) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(2051) d(1345) r(1432,1458) 
	 31 r(1942,1938) a(811,786) r(771,751) a(417,904) r(521,517) r(1808,1753) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) d(838) r(2209,2185) r(771,751) a(417,904) r(1199,1246) d(1763) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(1199,1246) a(1122,1461) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1247) 
	 31 d(1988) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) d(755) r(559,538) a(1628,2133) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) d(1158) a(987,995) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) a(1094,1117) r(2255,2234) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) d(631) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) a(1094,1117) d(2279) 
	 31 d(759) r(1639,1635) r(1498,1729) d(2206) r(811,807) r(772,730) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) d(2046) a(1956,1995) d(1836) a(773,409) d(698) r(436,417) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) a(1895,928) r(1632,1631) a(801,2236) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) a(771,2046) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1436) r(1308,1307) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) r(1074,1760) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1436) a(1715,1839) 
	 31 a(451,975) r(362,363) a(1159,2272) d(2045) d(956) r(949,860) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) a(773,1552) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) d(2334) d(933) 
	 31 r(1942,1938) a(811,786) r(362,363) a(1159,2272) d(1832) d(1432) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) r(2236,2237) 
	 31 a(451,975) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) r(886,885) 
	 31 r(1942,1938) a(811,786) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(615,656) d(2334) d(1305) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) a(805,1494) a(1771,1792) d(1861) d(772) a(909,805) d(2153) r(2234,2237) 
	 31 d(1988) d(2236) r(1025,1060) a(1560,904) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) d(2236) r(1025,1060) r(2178,332) 
	 31 d(1988) a(805,1494) a(1771,1792) d(1861) d(772) a(909,805) d(2153) d(1473) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) a(2149,1833) d(2051) d(1345) r(1776,1704) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) a(748,1326) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) r(1998,2040) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(2051) d(1345) a(489,2326) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) a(1056,1062) r(886,928) a(674,364) 
	 31 a(451,975) a(1970,2027) r(1724,1710) d(2193) a(1684,853) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) r(2129,2056) 
	 31 a(451,975) a(1970,2027) a(1056,1062) r(886,928) d(861) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) a(2253,2121) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1133,1158) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) d(1366) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) r(544,1867) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) d(404) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) r(810,812) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) d(1977) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) r(695,613) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) d(837) 
search: generation 9 (sizeof one variant = 0.381367 MB)
	 31 a(451,975) a(1970,2027) a(1056,1062) r(886,928) d(861) d(1965) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(1199,1246) a(1122,1461) r(521,494) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) d(1064) r(1459,1311) a(2149,1833) d(1432) d(631) a(737,737) 
	 31 a(451,975) a(1970,2027) a(2326,2263) r(846,778) d(2030) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(846,778) r(988,947) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) d(631) r(765,730) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) r(1074,1760) d(1342) 
	 31 a(451,975) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) d(1566) r(993,1053) 
	 31 r(1942,1938) a(811,786) r(362,363) a(1159,2272) d(1832) d(1432) a(417,1858) r(615,656) d(2334) d(1305) d(1234) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) a(748,1326) d(1849) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) r(1498,1729) r(1724,1710) d(2019) r(907,1004) r(1769,457) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1626,1624) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(624) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) r(907,1004) d(1468) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) d(2193) a(1684,853) r(1742,1716) 
	 31 a(451,975) a(1970,2027) r(1724,1710) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1560,1563) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) 
	 31 a(451,975) a(1970,2027) r(1724,1710) d(2193) a(1684,853) r(1847,1919) 
	 31 d(595) a(2151,2340) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) a(1974,2027) 
	 31 r(1942,1938) a(811,786) d(838) a(702,2256) d(2046) a(2151,2340) a(702,2256) a(2149,1833) d(2051) d(1345) r(1776,1704) d(1838) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) a(2149,1833) d(2051) d(1345) r(1776,1704) r(2031,1877) 
	  1 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) r(770,751) 
	  0 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(959) 
	  1 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) r(448,419) 
	 31 d(595) a(2151,2340) d(1437) a(1955,2040) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) r(2036,2033) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) d(703) 
	  0 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) d(1560) 
	  0 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) d(2046) a(1956,1995) d(1836) a(773,409) d(698) r(436,417) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) r(1998,2040) r(750,697) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(787) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) d(2046) a(1956,1995) d(1836) a(773,409) d(698) r(436,417) a(2267,764) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) r(1998,2040) d(2221) 
	 31 a(451,975) d(838) r(2209,2185) r(771,751) d(1615) d(2046) a(1956,1995) d(1836) a(773,409) d(698) r(436,417) a(573,1074) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) d(1366) d(1124) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) r(2129,2056) d(540) 
	 31 r(1942,1938) a(2103,2144) r(2005,1938) a(766,2156) d(2291) a(805,1494) a(1771,1792) d(1861) d(772) a(909,805) d(2153) r(2234,2237) d(1126) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) r(1612,1610) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) d(1366) d(838) r(2209,2185) r(771,751) d(813) d(404) d(1311) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) d(404) a(1990,1921) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) r(1437,1432) d(1366) d(1593) 
	 31 d(595) a(2151,2340) d(1879) d(1760) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(653) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(2320) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) a(987,778) r(1499,1347) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) d(404) r(1310,1353) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) a(601,727) a(2174,1978) 
	 31 d(595) a(2151,2340) a(702,2256) d(995) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) d(906) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) a(601,727) d(570) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) r(1923,1860) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) r(362,363) a(1159,2272) d(2045) d(1592) r(544,1867) d(2179) 
	 31 d(595) a(2151,2340) a(702,2256) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(553) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1253,1262) r(1162,1110) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1253,1262) a(790,1516) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(777) 
	 31 a(451,975) a(1970,2027) r(1724,1710) d(2193) a(1684,853) r(2057,2121) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) r(2129,2056) d(849) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) d(2334) d(933) a(375,2254) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) r(1925,2021) r(695,613) r(1889,489) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) r(695,613) d(1709) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) d(2334) d(933) d(2156) 
search: generation 10 (sizeof one variant = 0.38238 MB)
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) d(404) r(1310,1353) r(2156,1516) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(2320) a(562,695) 
	 31 a(451,975) r(674,630) d(1080) d(777) r(1624,933) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) a(1970,2027) r(1724,1710) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1560,1563) d(1780) 
	 31 a(451,975) a(1970,2027) r(1724,1710) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1560,1563) d(1754) 
	  0 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(777) d(827) 
	  0 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(2320) d(1742) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) d(2334) d(933) a(375,2254) d(949) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) r(419,445) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2193) r(2129,2056) d(849) r(975,515) 
	 31 a(451,975) a(1987,2185) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) r(907,1004) d(1468) a(2151,2340) a(417,1858) r(615,656) r(1925,2021) r(695,613) r(1889,489) r(2194,2208) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) r(1925,2021) r(695,613) r(1889,489) d(397) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) r(1498,1729) r(1724,1710) d(2019) r(907,1004) d(1468) r(1883,1867) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) r(1923,1860) d(1965) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) r(1925,2021) r(695,613) r(1889,489) r(781,849) 
	 31 d(595) a(2151,2340) a(2149,1833) d(2051) d(1345) r(1776,1704) d(1838) d(1139) 
	 31 r(1942,1938) a(811,786) d(838) a(702,2256) d(2046) a(2151,2340) a(702,2256) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(787) d(1975) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(787) r(808,818) 
	 31 r(1942,1938) a(811,786) d(838) a(702,2256) d(2046) a(2151,2340) a(702,2256) a(2149,1833) d(2051) d(1345) r(1776,1704) d(1838) a(2096,2092) 
|[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-70019-70023/000593/Modules/_json.c  a(1094,1157) a(2270,2025) d(1879) d(2335) a(2148,2121)  fails to compile
	  0 a(1094,1157) a(2270,2025) d(1879) d(2335) a(2148,2121) 
	  0 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) a(987,778) r(1499,1347) a(737,501) 
	  0 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) r(1925,2021) a(987,778) r(1499,1347) d(1681) 
	  0 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) d(1659) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) d(1855) r(1998,2040) d(2221) r(2209,2172) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) d(703) r(1497,2165) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(490,571) d(703) r(651,1126) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) d(1855) r(1998,2040) d(2221) d(760) 
	 31 a(451,975) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1253,1262) a(790,1516) d(1019) 
	 31 d(595) a(2151,2340) a(1970,2027) r(1724,1710) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1560,1563) r(1363,1432) 
	 31 a(451,975) a(1970,2027) r(1724,1710) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1560,1563) a(1140,727) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(840,778) r(826,836) d(568) r(794,1958) d(2136) r(1253,1262) a(790,1516) r(623,1757) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(777) r(1444,1429) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) r(2151,2113) r(2201,2169) r(1470,1472) d(2334) d(933) a(375,2254) d(1958) 
	 31 a(1094,1157) a(2015,2283) a(902,1013) d(448) d(2231) d(1525) a(2055,408) r(2151,2113) r(2201,2169) r(1470,1472) d(2334) d(933) a(375,2254) d(2150) 
	 31 d(595) a(2151,2340) a(1351,1310) r(657,613) d(1064) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(777) d(2308) 
	 31 a(451,975) a(2151,2340) a(702,2256) d(2046) a(1956,1995) d(1836) a(773,409) a(2037,2045) d(1566) r(993,1053) r(409,2158) 
	 31 d(595) a(2151,2340) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) a(1974,2027) d(820) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) d(631) r(765,730) r(1920,2029) 
	 31 a(451,975) a(678,619) a(819,2274) a(2270,2025) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(653) r(1250,676) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(653) a(1057,1516) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) d(631) r(765,730) r(866,2107) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(2149,1833) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(553) r(1922,1616) 
	 31 d(595) a(2151,2340) a(702,2256) d(1432) r(1516,1606) r(1283,1856) r(1626,1624) d(298) 
	 31 a(451,975) r(362,363) a(1159,2272) d(1832) d(1432) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) r(1626,1624) r(1843,1865) 
	 31 d(595) a(2151,2340) a(702,2256) d(2034) a(702,2256) d(2046) a(840,778) r(1252,1242) r(952,950) r(674,630) d(1080) d(553) a(1558,1841) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(2110,2155) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) r(298,299) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) d(633) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) r(517,501) 
	 31 a(451,975) r(1459,1311) d(2193) a(1684,853) r(1742,1716) r(1822,1742) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) d(535) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) a(2149,1833) d(1432) r(1516,1606) r(1283,1856) d(2310) a(2241,2264) 
	 31 a(451,975) a(1970,2027) a(2326,2263) d(1064) r(1459,1311) d(2193) a(1684,853) r(1742,1716) d(389) 
	 31 d(595) a(2151,2340) a(702,2256) d(2046) a(2151,2340) a(702,2256) d(787) a(1254,1883) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) r(1925,2021) r(695,613) r(1889,489) d(2081) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) d(1497) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) r(521,517) d(1437) d(906) r(1718,1780) 
	 31 r(1942,1938) a(811,786) d(838) r(2209,2185) r(771,751) a(417,904) r(521,517) d(1437) d(906) d(1973) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) d(1879) d(2335) a(1437,1139) 
	 31 d(595) a(2151,2340) d(1437) r(1724,1710) d(2193) a(1684,853) r(2057,2121) d(2019) 
	 31 a(451,975) a(1970,2027) a(1955,2040) r(2230,2292) 
	  0 d(595) a(2151,2340) d(1437) a(1955,2040) r(842,802) 
	 31 a(451,975) a(1970,2027) r(1724,1710) d(2193) a(1684,853) r(2057,2121) a(2035,571) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) d(2334) d(933) d(2156) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(653) a(1133,2292) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) r(1987,2044) 
	 31 a(451,975) a(2151,2340) a(417,1858) r(615,656) d(2334) d(933) d(2156) d(1360) 
	 31 d(759) a(2103,2144) d(1767) d(720) r(1472,1473) d(838) r(2209,2185) r(771,751) d(813) a(678,619) a(819,2274) a(2270,2025) a(678,619) a(819,2274) a(2270,2025) a(702,2256) d(2046) d(1432) r(1516,1606) a(848,1691) d(653) r(752,731) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20507
"Test Suite Evaluations": 64.6909

Compile Failures: 2
Wall-Clock Seconds Elapsed: 34081
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             642 1219.162 = 3.82624%
  test                              20728 30643.860 = 96.1732%
  TOTAL                                   31863.203 = 93.4927% (avg CPU usage)
python-bug-70019-70023.tar.gz
Tue Sep 24 03:33:45 EDT 2013
shutting down
