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 1
--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-245-61-18 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:04:57 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           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp3fa62a.c /tmp/tmpbbde6b.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 = 409.145)
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(1687,1686) 
	 31 r(2337,1834) 
	 31 r(1604,1618) 
	 31 r(2003,2035) 
	 31 d(2029) 
	 31 r(2020,1888) 
	 31 d(1663) 
	 31 r(1259,1203) 
	 31 r(2288,2307) 
	 31 a(516,2133) 
	 31 a(1445,913) 
	 31 d(1707) 
	 31 r(1235,1058) 
	 31 d(904) 
	 31 d(1764) 
	 31 d(955) 
	 31 a(448,2290) 
	 31 r(772,746) 
	 31 d(654) 
	 31 r(2265,1366) 
	 31 d(938) 
	 31 r(699,697) 
	 31 d(2291) 
	 31 a(766,773) 
	 31 r(2026,1927) 
	 31 r(2135,2090) 
	 31 d(1362) 
	 31 a(616,1760) 
	 31 d(533) 
	 31 r(614,694) 
	 31 d(1928) 
	 31 a(2220,2222) 
	 31 d(1626) 
	 31 r(955,906) 
	 31 d(1088) 
	 31 r(565,415) 
	 31 r(494,1694) 
	 31 a(833,2107) 
	 31 d(1052) 
	 31 original
search: generation 1 (sizeof one variant = 0.375003 MB)
	 31 d(904) r(656,592) 
	 31 d(1088) d(982) 
	 31 r(2003,2035) r(953,1000) 
	 31 d(1663) d(817) 
	 31 r(2003,2035) d(1434) 
	 31 d(1663) d(1028) 
	 31 a(766,773) a(1760,2046) 
	 31 d(1088) d(769) 
	 31 d(2291) r(1563,1553) 
	 31 d(1626) r(678,529) 
	 31 d(2291) a(737,1352) 
	 31 d(1626) d(1618) 
	 31 r(1235,1058) d(1262) 
	 31 a(833,2107) a(1273,2254) 
	 31 r(1235,1058) d(1001) 
	 31 a(833,2107) d(1278) 
	 31 d(1663) d(1456) 
	 31 r(565,415) d(1256) 
	 31 d(904) a(1600,537) 
	 31 d(1088) d(1123) 
	 31 r(2265,1366) d(1564) 
	 31 d(1088) r(1971,1982) 
	 31 r(2265,1366) d(1593) 
	 31 d(1088) a(492,1086) 
	 31 a(833,2107) d(831) 
	 31 d(1928) d(556) 
	 31 a(833,2107) d(977) 
	 31 d(1928) r(532,614) 
	 31 d(938) d(2312) 
	 31 d(2291) r(538,2151) 
	 31 r(699,697) r(2199,1157) 
	 31 d(1707) r(998,885) 
	 31 r(1687,1686) a(730,1552) 
	 31 r(2020,1888) r(1135,1122) 
	 31 r(2026,1927) a(1601,2082) 
	 31 r(1235,1058) d(766) 
	 31 r(2026,1927) d(1129) 
	 31 r(1235,1058) d(408) 
	 31 r(1235,1058) a(1234,1253) 
	 31 a(766,773) r(1634,1635) 
	 31 r(955,906) r(1668,807) 
	 31 a(1445,913) d(1552) 
	 31 r(955,906) d(808) 
	 31 a(1445,913) r(2081,1814) 
	 31 d(2029) d(2113) 
	 31 d(1663) r(2185,1363) 
	 31 d(2029) d(1557) 
	 31 d(1663) d(1597) 
	 31 r(1235,1058) d(1432) 
	 31 r(2003,2035) d(1308) 
	 31 r(1235,1058) d(1640) 
	 31 r(2003,2035) d(1303) 
	 31 d(1707) r(441,436) 
	 31 a(516,2133) a(571,764) 
	 31 r(1235,1058) r(2276,2305) 
	 31 r(2003,2035) d(1752) 
	 31 r(1235,1058) d(1516) 
	 31 r(2003,2035) d(620) 
	 31 a(616,1760) r(1055,866) 
	 31 r(2288,2307) d(1356) 
	 31 a(616,1760) d(2340) 
	 31 r(2288,2307) a(656,2082) 
search: generation 2 (sizeof one variant = 0.375985 MB)
	 31 r(1235,1058) d(1597) d(2276) 
	 31 d(1663) d(1640) a(2020,1362) 
	 31 r(1235,1058) d(1640) a(1801,623) 
	 31 d(1663) d(1597) a(1363,927) 
	 31 r(2003,2035) d(1752) d(2017) 
	 31 r(2026,1927) d(1129) a(1684,2051) 
	 31 d(2029) d(2113) r(898,884) 
	 31 d(1663) r(2185,1363) d(1596) 
	 31 r(565,415) d(1256) d(2219) 
	 31 r(2288,2307) d(1356) r(2042,1925) 
	 31 d(1663) d(1456) a(634,1856) 
	 31 d(2029) d(1557) d(789) 
	 31 a(766,773) r(1634,1635) d(1308) a(699,1494) 
	 31 r(2003,2035) a(780,1923) 
	 31 a(766,773) r(1634,1635) d(751) 
	 31 r(2003,2035) d(1308) d(2121) 
	 31 r(1235,1058) d(1262) r(776,732) 
	 31 d(2291) r(538,2151) r(624,1819) 
	 31 r(1235,1058) d(1262) d(1920) 
	 31 d(2291) r(538,2151) d(491) 
	 31 d(2291) r(1563,1553) r(950,1132) 
	 31 a(766,773) a(1760,2046) d(1816) 
	 31 d(2291) r(1563,1553) r(2180,2173) 
	 31 a(766,773) a(1760,2046) d(2086) 
	 31 d(1663) d(986) 
	 31 r(2003,2035) d(1308) r(2185,1363) d(1723) 
	 31 d(1663) r(2185,1363) d(1558) 
	 31 r(2003,2035) d(1308) a(847,941) 
	 31 r(1235,1058) d(1618) r(2086,2076) 
	 31 d(1626) d(1001) a(449,2343) 
	 31 r(1235,1058) d(1001) r(1811,1717) 
	 31 d(1626) d(1618) r(2272,2287) 
	 31 r(2003,2035) d(620) a(2130,2313) 
	 31 a(766,773) r(1634,1635) r(412,449) 
	 31 r(2003,2035) d(620) r(406,403) 
	 31 a(766,773) r(1634,1635) a(1700,1884) 
	  0 d(1928) r(828,834) 
	 31 r(1687,1686) a(730,1552) d(556) a(1851,1888) 
	 31 d(1928) d(556) d(1110) 
	 31 r(1687,1686) a(730,1552) a(600,638) 
	 31 d(1663) r(2185,1363) r(1966,1848) 
	 31 d(1663) r(2185,1363) d(1567) 
	 31 r(1235,1058) d(1432) r(990,956) 
	 31 a(766,773) r(1634,1635) d(1922) 
	 31 d(1707) r(998,885) d(1307) 
	 31 r(955,906) r(1668,807) d(2029) 
	 31 d(1707) r(998,885) r(1338,1303) 
	 31 r(955,906) r(1668,807) d(1831) 
	 31 d(1088) d(982) r(559,626) 
	 31 a(833,2107) d(1278) d(2100) 
	 31 d(1088) d(1123) r(2148,2089) 
	 31 a(833,2107) d(977) r(2256,2190) 
	 31 d(904) r(1307,1446) 
	 31 d(2291) a(737,1352) r(656,592) r(1278,1252) 
	 31 d(904) r(656,592) r(909,912) 
	 31 d(2291) a(737,1352) r(1340,1307) 
	 31 r(1235,1058) d(1516) a(1683,2099) 
	 31 r(1235,1058) d(1262) r(696,702) 
	 31 a(833,2107) d(831) d(2111) 
	 31 d(2291) r(1563,1553) d(2090) 
search: generation 3 (sizeof one variant = 0.376791 MB)
	 31 r(565,415) d(1256) d(2219) a(847,941) r(753,746) 
	 31 r(2003,2035) d(1308) r(2241,2247) 
	 31 r(565,415) d(1256) d(2219) d(2312) 
	 31 r(2003,2035) d(1308) a(847,941) d(2235) 
	 31 a(766,773) a(1760,2046) d(1816) r(2272,2287) r(570,532) 
	 31 d(1626) d(1618) d(2227) 
	 31 a(766,773) a(1760,2046) d(1816) d(398) 
	 31 d(1626) d(1618) r(2272,2287) d(731) 
	 31 r(2003,2035) d(1308) d(2121) a(2101,2299) 
	 31 a(833,2107) d(977) r(2256,2190) d(1458) 
	 31 r(2003,2035) d(620) r(406,403) r(1155,1092) 
	 31 d(1663) r(2185,1363) d(1567) r(1949,1844) 
	 31 r(1235,1058) d(1640) a(1801,623) d(651) 
	 31 d(2291) r(538,2151) d(491) d(592) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) 
	 31 d(2291) r(538,2151) d(491) d(1931) 
	 31 r(1235,1058) r(2022,1873) 
	 31 d(1663) r(2185,1363) d(1558) d(1516) a(1683,2099) d(1880) 
	 31 r(1235,1058) d(1516) a(1683,2099) r(1601,1616) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) 
	 31 r(1235,1058) d(1597) d(2276) a(1949,610) 
	 31 d(1663) r(2185,1363) r(1966,1848) a(1191,1781) 
	 31 a(766,773) a(1760,2046) d(1308) d(2121) d(1984) 
	 31 r(2003,2035) d(1816) a(2307,1087) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) 
	 31 d(1663) r(2185,1363) r(1966,1848) d(676) 
	 31 d(1707) r(998,885) r(1338,1303) r(1526,1567) 
	 31 r(565,415) d(1256) d(2219) r(2034,1968) 
	 31 r(2003,2035) d(1308) d(2121) d(814) 
	 31 r(2003,2035) d(620) a(2130,2313) r(899,944) 
	 31 d(1663) d(1597) a(1363,927) d(2121) d(949) 
	 31 r(2003,2035) d(1308) r(537,1888) 
	 31 d(1663) d(1597) a(1363,927) r(659,639) 
	 31 r(2003,2035) d(1308) d(2121) r(1119,1123) 
	 31 a(833,2107) r(559,626) d(2141) 
	 31 d(1088) d(982) d(977) r(2256,2190) r(828,805) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) 
	 31 d(1088) d(982) r(559,626) r(915,949) 
	 31 d(2291) a(737,1352) r(1340,1307) d(2084) 
	 31 r(1235,1058) d(1262) r(776,732) r(1771,1703) 
	 31 d(2029) d(2113) r(898,884) d(991) 
	 31 d(2291) r(538,2151) d(491) r(809,795) 
	 31 d(2291) r(1563,1553) r(2180,2173) d(1497) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) 
	 31 r(2003,2035) d(1308) d(2121) r(1619,1599) 
	 31 r(2003,2035) a(780,1923) a(1184,2343) 
	 31 r(2003,2035) a(780,1923) d(1125) 
	 31 r(2003,2035) d(1308) d(2121) r(622,659) 
	 31 r(1235,1058) d(1262) r(696,702) d(1024) 
	 31 d(2291) r(1563,1553) r(2180,2173) r(2298,2240) 
	 31 d(1663) r(2185,1363) d(1596) d(1967) 
	 31 d(2291) a(737,1352) r(1340,1307) r(568,602) 
	  0 d(1928) d(556) d(1110) d(1566) 
	 31 r(2026,1927) d(1129) a(1684,2051) r(1951,1873) 
search: generation 4 (sizeof one variant = 0.377791 MB)
	 31 d(1663) r(2185,1363) r(1966,1848) d(676) r(1694,1693) 
	 31 r(1235,1058) d(1640) a(1801,623) d(651) r(405,372) 
	 31 r(2003,2035) d(1308) d(2121) d(2227) r(1000,1056) 
	 31 d(1626) d(1618) r(1119,1123) a(1792,600) 
	 31 r(2003,2035) d(1308) d(2121) r(1119,1123) r(1945,1468) 
	 31 d(1626) d(1618) d(2227) d(1557) 
	 31 a(833,2107) r(915,949) r(795,787) 
	 31 d(1088) d(982) r(559,626) r(559,626) d(2141) r(541,2303) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) 
	 31 d(1088) d(982) r(559,626) r(915,949) d(299) 
	 31 r(2003,2035) d(1308) d(904) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(847,941) d(2235) a(1315,490) 
	 31 r(2003,2035) d(1308) a(847,941) d(2235) r(817,828) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) 
	 31 d(2291) r(1601,1616) d(1435) 
	 31 r(1235,1058) d(1516) a(1683,2099) r(538,2151) d(491) d(1931) d(1568) 
	 31 d(2291) r(538,2151) d(491) d(1931) d(724) 
	 31 r(1235,1058) d(1516) a(1683,2099) r(1601,1616) d(781) 
	 31 d(1663) d(1597) r(1634,1635) d(751) d(1029) r(1614,1607) 
	 31 a(766,773) a(1363,927) r(659,639) r(553,671) 
	 31 d(1663) d(1597) a(1363,927) r(659,639) r(1348,1431) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(1963) 
	 31 a(833,2107) r(537,1888) r(2236,1312) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) r(1840,997) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) d(1577) 
	 31 r(2003,2035) d(1308) r(537,1888) d(2172) 
	 31 r(2003,2035) d(620) a(780,1923) a(1184,2343) d(1626) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) 
	 31 r(2003,2035) d(620) a(2130,2313) r(899,944) d(2027) 
	 31 r(2003,2035) a(780,1923) a(1184,2343) r(553,594) 
	 31 d(1663) d(1597) a(1363,927) r(659,639) r(537,1888) a(2234,585) 
	 31 r(2003,2035) d(1308) a(1461,2178) 
	 31 d(1663) d(1597) a(1363,927) r(659,639) d(451) 
	 31 r(2003,2035) d(1308) r(537,1888) d(1751) 
	 31 d(2291) d(1262) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) r(2180,2173) r(2298,2240) d(1431) 
	 31 d(2291) r(1563,1553) r(2180,2173) r(2298,2240) a(1792,1840) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1103,1110) 
	 31 a(766,773) a(1760,2046) d(615) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) d(1816) r(487,1123) r(864,1769) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) d(544) 
	 31 d(1626) d(1618) r(2272,2287) d(731) d(491) d(1931) d(864) 
	 31 d(2291) r(538,2151) r(1128,1110) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(2164,2185) 
	 31 d(2291) r(538,2151) d(491) d(1931) r(2139,2180) 
	  0 r(2003,2035) r(2208,2213) r(1491,1562) 
	  1 r(1235,1058) d(1640) a(1801,623) d(1308) d(2121) d(1792) d(2326) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) d(745) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) 
	 31 r(2003,2035) r(2185,1363) d(1567) r(1949,1844) d(374) 
	 31 d(1663) a(780,1923) d(1125) d(1123) 
	 31 r(2003,2035) a(780,1923) d(1125) d(743) 
	 31 d(1663) r(2185,1363) d(1567) r(1949,1844) r(635,670) 
	 31 d(2029) d(2113) r(898,884) d(940) 
	 31 d(1626) d(1618) d(2227) d(991) r(1837,1992) 
	 31 d(2029) d(2113) r(898,884) d(991) a(2249,2259) 
	 31 d(1626) d(1618) d(2227) a(752,2121) 
	 31 d(1088) r(537,1888) d(726) 
	 31 r(2003,2035) d(1308) d(982) r(559,626) r(915,949) d(631) 
	 31 d(1088) d(982) r(559,626) r(915,949) a(729,941) 
	 31 r(2003,2035) d(1308) r(537,1888) a(1303,1437) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) 
	 31 d(2291) r(538,2151) d(491) d(592) a(2022,2023) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) 
	  0 a(833,2107) r(559,626) d(2141) d(1562) 
	 31 d(1626) d(1618) d(2121) d(814) d(1557) 
	 31 r(2003,2035) d(1308) r(2272,2287) d(731) r(1634,1636) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) 
	 31 r(2003,2035) d(1308) d(2121) d(814) d(369) 
	 31 r(2003,2035) d(1308) r(537,1888) d(985) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) 
search: generation 5 (sizeof one variant = 0.378637 MB)
	 31 r(2003,2035) d(1308) d(2121) r(1119,1123) r(1945,1468) d(847) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) r(1840,997) r(1123,1093) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) d(1577) d(1128) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1959,2024) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) d(1577) a(1703,1668) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) r(2180,2173) r(2298,2240) d(1431) r(1270,1184) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) d(1155) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) d(750) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) r(2180,2173) r(2298,2240) d(1431) d(2174) 
	 31 r(2003,2035) d(620) a(2130,2313) r(899,944) d(1792) r(1103,1110) r(434,417) 
	 31 r(2003,2035) d(1308) d(2121) d(2027) d(661) 
	 31 r(2003,2035) d(620) a(2130,2313) r(899,944) d(2027) d(1459) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1103,1110) d(2171) 
	 31 d(2291) d(1262) d(501) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) 
	 31 d(2291) r(538,2151) d(491) d(592) a(2022,2023) d(454) 
	 31 d(2029) d(2113) r(898,884) d(991) a(2249,2259) r(1507,1490) 
	 31 r(2003,2035) d(416) 
	 31 d(1088) d(982) r(559,626) r(915,949) a(729,941) d(1308) r(537,1888) d(2172) r(1964,1997) 
	 31 r(2003,2035) d(1308) r(537,1888) d(2172) d(415) 
	 31 d(1088) d(982) r(559,626) r(915,949) a(729,941) r(1345,1307) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) d(1577) r(813,784) 
	 31 a(833,2107) r(537,1888) r(2236,1312) r(1948,1867) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) r(1264,1279) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) d(2283) 
	 31 d(1626) d(1618) d(2227) d(1557) d(1495) 
	 31 d(1088) d(982) r(559,626) r(915,949) a(729,941) a(834,1827) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(2164,2185) a(765,1751) 
	 31 d(2291) r(538,2151) d(491) d(1931) r(2139,2180) r(703,566) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) 
	 31 d(2029) r(2208,2213) r(1351,1331) r(1953,2038) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) 
	 31 d(2029) d(2113) r(898,884) d(991) a(2249,2259) r(1639,1626) 
	  0 r(2003,2035) d(1308) r(537,1888) d(2172) d(827) 
	 31 d(1626) d(1618) d(2227) d(991) r(1837,1992) r(1202,1239) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) d(2236) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) r(864,1769) d(793) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) d(1816) r(487,1123) r(864,1769) d(809) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) a(2141,1856) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) d(2022) d(916) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(702) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) d(1206) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) d(1499) 
	 31 r(2003,2035) d(1308) r(2272,2287) d(731) r(1634,1636) d(537) 
	 31 d(1626) d(1618) r(1119,1123) a(1792,600) a(1682,1577) 
	 31 d(2291) d(1262) d(1272) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) r(755,774) 
	 31 a(766,773) a(1363,927) r(659,639) r(553,671) d(1022) 
	 31 a(766,773) a(1363,927) r(659,639) r(553,671) r(1304,1449) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) a(2101,890) 
	 31 d(1626) d(1618) r(2180,2173) r(2298,2240) a(1792,1840) r(592,657) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) r(2113,2117) 
	 31 d(2291) r(1563,1553) r(2180,2173) r(2298,2240) a(1792,1840) r(2032,2041) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(2164,2185) a(1877,2042) 
	 31 d(1663) r(2185,1363) r(1966,1848) d(676) r(1694,1693) r(1769,487) 
search: generation 6 (sizeof one variant = 0.378954 MB)
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) d(1206) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(644) 
	 31 d(2291) d(2125) 
	 31 a(833,2107) r(559,626) d(2141) r(1246,1209) d(1206) d(2263) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) r(1997,1928) 
	 31 d(1626) d(1618) r(1119,1123) a(1792,600) a(1682,1577) r(2304,2283) 
	 31 d(1626) r(750,2100) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(521,494) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(432,2141) 
	 31 d(2029) d(2113) r(898,884) d(991) a(2249,2259) r(1639,1626) r(2333,2331) 
	 31 d(2291) d(1262) d(501) r(1983,1845) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(702) r(1840,997) r(1123,1093) r(737,730) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(702) a(2076,1943) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) r(1840,997) r(1123,1093) a(668,1939) 
	 31 d(2029) d(2113) r(898,884) d(991) d(1265) a(414,2256) 
	 31 a(833,2107) r(537,1888) r(2236,1312) a(2249,2259) r(1507,1490) d(455) 
	 31 d(2029) d(2113) r(898,884) d(991) a(2249,2259) r(1507,1490) d(396) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) r(2045,1960) 
	 31 a(833,2107) d(977) r(2256,2190) r(2048,1920) d(1577) d(1128) a(1781,864) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) a(2101,890) a(1278,2046) 
	 31 d(1626) d(1618) r(2180,2173) r(2298,2240) a(1792,1840) r(592,657) r(544,550) 
	 31 r(2003,2035) d(1308) d(2314) 
	 31 d(2291) d(1262) d(1272) d(2121) d(1792) r(1563,1553) d(1155) d(447) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) d(1155) d(1577) 
	 31 d(2291) d(1262) d(1272) r(2028,1921) 
	 31 r(2003,2035) d(1308) d(2121) r(1119,1123) r(1945,1468) d(847) d(2041) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) r(864,1769) d(793) d(800) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1103,1110) d(2171) r(2062,487) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) r(2113,2117) d(2312) a(1209,1889) a(2141,1856) r(2139,2107) 
	 31 r(565,415) d(1256) d(2219) a(2142,573) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) r(2113,2117) r(823,1024) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) a(2141,1856) a(1121,1768) 
	  0 d(1626) d(1618) d(2227) d(1557) d(1495) d(1555) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) d(1499) d(2300) 
	 31 d(2291) r(538,2151) d(491) r(899,944) d(2005) d(2283) d(1754) 
	 31 r(2003,2035) a(2130,2313) d(1931) r(2139,2180) r(703,566) r(361,1855) 
	 31 d(2291) r(538,2151) d(491) d(1931) r(2139,2180) r(703,566) d(956) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) d(2283) d(541) 
	 31 a(766,773) r(1634,1635) a(834,1827) a(2135,2125) 
|[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/000393/Modules/_json.c  d(1088) d(982) r(559,626) r(915,949) a(729,941) d(751) d(1029) d(2022) r(755,774) d(2335)  fails to compile
	  0 d(1088) d(982) r(559,626) r(915,949) a(729,941) d(751) d(1029) d(2022) r(755,774) d(2335) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) r(755,774) a(520,1700) 
	 31 d(1088) d(982) r(559,626) r(915,949) a(729,941) a(834,1827) r(2112,2110) 
	 31 d(1663) r(2185,1363) d(1558) r(1494,1814) d(1816) r(487,1123) r(864,1769) d(809) d(1337) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) 
	 31 d(2291) r(538,2151) d(491) d(592) a(2022,2023) d(454) r(488,802) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(1792) r(1563,1553) r(2180,2173) r(2298,2240) d(1431) d(2174) r(1544,1498) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(702) r(843,801) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) r(2180,2173) r(2298,2240) d(1431) d(2174) a(1978,551) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) r(2236,1312) d(1265) a(695,627) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) r(390,399) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) 
search: generation 7 (sizeof one variant = 0.379864 MB)
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(1887,1950) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) 
	 31 r(2003,2035) d(1308) d(2121) r(1119,1123) r(1945,1468) d(847) d(2041) d(745) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(915,906) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) r(2113,2117) r(823,1024) r(1555,1557) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) a(1919,1461) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) r(2341,2326) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) r(1118,1074) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) 
	 31 r(2003,2035) d(1308) a(2337,1845) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) d(2314) r(876,918) 
	 31 r(2003,2035) d(1308) d(2314) r(1471,1463) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) r(2002,1943) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) a(2267,2310) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) a(2141,1856) a(1121,1768) a(750,2314) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1152) 
	 31 r(1235,1058) d(1640) a(1314,1308) r(891,939) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) d(669) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) a(486,1859) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) r(1342,1311) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) r(755,774) a(520,1700) d(2261) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) d(2283) d(541) d(2121) d(1792) r(1563,1553) d(1155) d(1577) r(2112,2086) 
	 31 r(2003,2035) d(1308) a(1732,526) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) d(2283) d(541) a(947,998) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) d(1155) d(1577) d(1730) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) d(443) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) r(1840,997) r(1123,1093) a(668,1939) d(1959) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) r(597,698) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1475) 
	 31 d(1626) r(750,2100) a(486,1691) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(411,443) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) d(1499) d(2300) d(418) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(1832) 
	 31 a(766,773) a(1760,2046) d(1816) d(1234) r(2159,2000) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) r(1276,1268) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1272) 
	 31 a(833,2107) r(537,1888) a(1851,2035) d(977) r(2256,2190) r(2048,1920) d(1839) d(840) 
	 31 r(2003,2035) d(1308) r(1060,1058) d(1557) d(2289) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) d(864) 
	 31 d(1626) d(1618) r(2272,2287) d(2125) a(375,1938) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) r(432,2141) r(442,454) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(432,2141) d(1992) 
	 31 d(2291) d(2125) d(554) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(750) 
	 31 a(833,2107) r(537,1888) r(2236,1312) a(2249,2259) r(1507,1490) d(455) r(844,790) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) 
	  0 a(766,773) r(1634,1635) r(864,1769) d(793) d(800) d(586) 
	  0 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) r(864,1769) d(793) d(800) r(2121,2197) 
	 31 a(766,773) r(1634,1635) a(834,1827) a(2135,2125) d(638) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) r(2113,2117) d(2312) a(1209,1889) a(2141,1856) r(2139,2107) d(1206) 
search: generation 8 (sizeof one variant = 0.381011 MB)
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) 
	 31 d(1626) r(750,2100) a(486,1691) r(1456,1353) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1613) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) 
	 31 r(2003,2035) d(1308) a(2337,1845) a(2271,651) 
	 31 r(1235,1058) d(1640) a(1801,623) r(1776,1727) a(1314,1308) r(571,858) d(1123) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) r(597,698) a(1668,1292) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) r(597,698) a(1339,1488) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) r(1729,1809) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) d(1705) 
	 31 a(833,2107) r(1060,1058) d(1155) a(1919,1461) a(521,853) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) a(1919,1461) r(570,676) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) r(1241,1237) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(411,443) r(1188,1237) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(1832) d(1154) 
	 31 r(2003,2035) d(1308) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(2082) 
	 31 r(1235,1058) r(1060,1058) d(1557) d(2289) r(417,458) 
	 31 r(2003,2035) d(1308) r(1060,1058) d(1557) d(2289) a(409,2313) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) r(663,619) 
	 31 a(766,773) r(1634,1635) d(751) d(1029) d(2022) r(755,774) a(520,1700) d(2261) r(570,631) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(1354,2104) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) d(2314) r(876,918) a(567,678) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) d(2314) r(876,918) r(961,884) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) d(443) r(1020,959) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(750) d(2007) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) a(1919,1461) r(739,751) 
	 31 d(2291) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(898,1853) 
	 31 d(2291) r(1563,1553) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) a(1919,1461) d(1619) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) a(2267,2310) d(1987) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1272) a(1326,2213) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) r(2002,1943) r(432,2141) r(442,454) r(432,1187) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) r(2002,1943) d(1364) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) r(432,2141) r(442,454) d(970) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) r(1342,1311) d(669) 
	 31 r(2003,2035) d(1308) d(2121) d(1792) r(1563,1553) d(1155) d(1577) d(1730) r(1843,2049) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(1832) a(904,861) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) r(2002,1943) a(390,1734) 
	 31 a(833,2107) r(537,1888) a(1851,2035) a(765,928) d(1475) d(534) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) r(1060,1058) d(1557) d(1683) r(2085,2112) 
	  0 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) r(1555,1559) 
	  0 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1475) d(1249) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(1447) a(1460,1013) d(1617) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) r(1776,1727) a(1314,1308) d(669) r(1615,1604) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) d(669) r(2251,2276) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1782) 
	 31 a(766,773) a(1760,2046) d(1816) d(1234) r(2159,2000) a(1474,2206) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) r(1620,2331) 
	 31 a(766,773) a(1760,2046) d(1816) d(1234) r(2159,2000) d(1443) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(1438) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1096) 
	 31 a(766,773) r(1634,1635) a(834,1827) a(2135,2125) d(638) a(1721,1644) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) a(819,836) 
	 31 d(1626) d(1272) d(1802) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1272) r(1608,1600) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) r(417,419) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(915,906) d(1358) 
	 31 r(2003,2035) a(2130,2313) r(899,944) d(2005) d(2283) d(541) d(2121) d(1792) r(1563,1553) d(1155) d(1577) r(2112,2086) d(437) 
search: generation 9 (sizeof one variant = 0.381196 MB)
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(834,1827) a(2135,2125) d(638) a(1721,1644) d(2061) 
	 31 a(766,773) r(1634,1635) a(528,1888) d(1868) a(494,1855) d(2037) r(1354,2104) d(823) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(1354,2104) d(486) 
	 31 a(766,773) r(1634,1635) a(834,1827) a(2135,2125) d(638) a(1721,1644) r(2344,2342) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) d(2314) r(876,918) a(567,678) r(582,693) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) r(805,1251) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1615,1604) r(2305,2261) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) r(1776,1727) a(1314,1308) d(669) r(1267,1203) r(702,626) a(819,836) a(778,1760) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) a(819,836) d(1998) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) r(1776,1727) a(1314,1308) d(669) r(1615,1604) d(501) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) r(702,626) r(417,419) d(1575) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) d(1272) r(1608,1600) a(1535,1853) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1272) r(1608,1600) d(2267) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) r(417,419) r(417,414) 
	 31 r(565,415) d(731) a(1851,2035) a(990,1620) d(935) r(1717,1808) 
	 31 d(2291) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) d(1972) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) d(564) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) d(1543) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) r(2002,1943) a(390,1734) r(1495,487) 
	 31 r(2003,2035) d(1308) a(2337,1845) a(2271,651) r(1131,1082) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) d(619) a(765,928) d(1637) d(1613) r(1980,1871) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) a(1314,1308) r(571,858) r(1729,1809) r(2112,2121) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) r(1729,1809) a(1495,1574) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1613) d(732) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) a(458,2096) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) r(1507,864) 
	 31 r(1235,1058) d(1640) a(1801,623) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) a(591,2055) 
	 31 d(2291) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1096) a(730,2299) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1096) r(1467,2154) 
	 31 d(2291) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) r(636,554) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) r(1241,1237) a(1861,1855) 
	 31 r(2003,2035) d(1308) r(1060,1058) d(1557) d(2289) a(409,2313) d(2336) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1096) d(817) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(1447) a(1460,1013) d(1617) r(1575,1508) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) r(837,799) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) r(597,698) a(1668,1292) d(2228) 
	 31 a(833,2107) r(537,1888) r(2236,1312) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(1438) r(2176,2214) 
	 31 r(1235,1058) d(1640) d(1265) d(1606) d(2314) r(876,918) r(961,884) d(440) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) d(1606) d(2314) r(876,918) r(961,884) a(1867,736) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(1438) d(1686) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) d(443) r(1020,959) a(2132,565) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) a(752,734) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(2272,2287) d(731) a(1851,2035) r(1060,1058) d(1155) a(1919,1461) r(739,751) d(805) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(750) d(2007) r(1818,1807) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) a(1637,1488) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) r(1729,1809) a(2039,1942) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) d(2003) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) d(1767) 
	 31 d(2291) d(731) a(1851,2035) r(1188,1237) r(403,371) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(411,443) a(990,1620) d(935) r(2139,2271) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) a(846,2312) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(411,443) r(1188,1237) r(848,847) 
	 31 a(833,2107) r(537,1888) a(1851,2035) a(765,928) d(1475) d(534) r(2132,2112) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) r(1776,1727) a(1314,1308) d(669) r(1615,1604) r(1843,1995) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) r(1060,1058) d(1557) d(1683) r(2085,2112) d(1118) 
	 31 d(1626) r(750,2100) a(486,1691) r(1456,1353) r(1461,2020) 
search: generation 10 (sizeof one variant = 0.382363 MB)
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) d(1767) r(789,822) 
	 31 d(2291) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) d(1972) r(2243,2281) 
	 31 a(833,2107) d(1278) d(2100) d(1980) 
	 31 d(2291) d(731) a(1851,2035) r(1188,1237) r(403,371) a(555,729) d(2082) r(1776,1727) d(619) a(765,928) d(1637) d(1613) r(1980,1871) d(2039) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) d(619) a(765,928) d(1637) d(1613) r(1980,1871) d(411) 
	 31 d(2291) d(731) a(1851,2035) r(1188,1237) r(403,371) d(1839) 
	 31 a(766,773) a(1760,2046) d(1816) r(487,1123) a(528,1888) d(1868) a(494,1855) d(443) r(1020,959) a(2132,565) r(1693,1695) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) d(1543) d(1210) 
	 31 d(2291) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) d(1972) a(401,787) 
	 31 a(833,2107) r(537,1888) a(1851,2035) a(765,928) d(1475) d(534) r(2132,2112) r(2092,1267) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(1438) r(1241,1237) a(1861,1855) r(655,644) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) d(1686) d(2178) 
	 31 r(1235,1058) d(1640) a(1801,623) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2077,2127) d(1438) d(1686) r(651,1822) 
	 31 a(833,2107) r(537,1888) a(1851,2035) r(1060,1058) d(1557) d(1683) r(1241,1237) a(1861,1855) a(916,903) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) r(417,419) r(417,414) a(1447,1346) 
	 31 r(2003,2035) d(1308) d(977) r(2256,2190) r(2048,1920) d(1839) r(411,443) r(1188,1237) r(848,847) d(595) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) r(1776,1727) a(1314,1308) d(669) r(1615,1604) d(501) d(2292) 
	 31 a(766,773) r(1634,1635) a(834,1827) a(2135,2125) d(638) a(1721,1644) r(2344,2342) r(561,554) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) r(597,698) a(1668,1292) d(2228) a(1964,487) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) a(2135,2125) r(613,624) r(1013,943) r(837,799) d(1276) 
	 31 r(565,415) d(1256) d(2219) d(2312) a(1209,1889) d(1816) r(487,1123) a(834,1827) a(2135,2125) r(613,624) r(1013,943) r(837,799) r(2216,2208) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) d(2113) r(898,884) d(991) a(2249,2259) r(2342,2337) d(2124) r(597,698) a(1668,1292) d(2228) d(655) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) r(750,2100) a(486,1691) r(1456,1353) r(1461,2020) d(817) 
	 31 d(1626) d(2003) d(2314) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) d(2003) a(767,2159) 
	 31 d(1626) r(750,2100) a(486,1691) r(1456,1353) r(1461,2020) d(442) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) a(458,2096) r(1184,391) 
	 31 d(1626) d(1868) a(494,1855) d(2037) r(729,1667) a(1637,1488) r(2233,2258) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) a(1637,1488) r(2146,2055) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) a(458,2096) d(1820) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) r(1507,864) r(405,375) 
	 31 r(1235,1058) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) d(1272) r(1608,1600) a(1535,1853) r(970,921) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) d(1272) r(1608,1600) a(1535,1853) d(1256) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) r(1507,864) d(1644) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) a(1314,1308) r(571,858) r(1729,1809) r(2112,2121) a(2183,1707) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1351,1331) a(1446,1087) d(1447) a(1460,1013) d(1096) r(1467,2154) a(397,1853) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) d(1868) a(494,1855) d(2037) r(1354,2104) d(823) a(803,586) 
	 31 a(766,773) r(1634,1635) a(528,1888) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) a(819,836) d(1998) a(1972,2062) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) a(819,836) d(1998) a(1635,581) 
	 31 a(766,773) r(1634,1635) a(528,1888) d(1868) a(494,1855) d(2037) r(1354,2104) d(823) d(1823) 
	 31 r(2003,2035) d(1308) a(2337,1845) a(2271,651) r(1131,1082) a(1018,899) 
	 31 d(1626) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) d(1360) a(458,2096) d(1681) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) d(1767) r(1704,1814) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) a(1637,1488) d(1947) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) d(1767) a(769,1085) 
	 31 r(2003,2035) d(1308) d(2121) d(702) r(487,1123) a(528,1888) d(1868) a(494,1855) d(2037) r(729,1667) a(1637,1488) r(372,401) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) d(935) r(805,1251) d(1996) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) r(1507,864) d(1553) 
	 31 r(1235,1058) d(1640) a(1801,623) r(2208,2213) r(1463,1473) d(619) a(765,928) d(1637) a(1277,486) r(1507,864) a(2023,1870) 
	 31 d(2291) d(731) a(1851,2035) a(990,1620) d(935) r(805,1251) r(371,402) 
	 31 r(2003,2035) d(1308) d(2121) d(702) a(1801,623) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) a(591,2055) d(1779) 
	 31 r(1235,1058) d(1640) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1615,1604) r(2305,2261) a(1434,565) 
	 31 r(2003,2035) d(1308) d(2121) d(702) d(1234) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1615,1604) r(2305,2261) a(849,1944) 
	 31 r(1235,1058) d(1640) a(1801,623) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) a(591,2055) d(921) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) d(1767) a(811,736) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) r(417,419) r(417,414) r(555,633) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) r(702,626) r(417,419) r(417,414) a(1153,1488) 
	 31 r(1235,1058) d(1640) r(750,2100) a(486,1691) d(1695) d(1767) a(1776,2236) 
	 31 d(2291) r(1563,1553) r(1351,1331) a(1446,1087) r(1729,1809) a(2039,1942) d(445) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) d(1447) a(1766,1814) a(1941,2033) r(636,554) d(447) 
	 31 d(2291) r(1563,1553) r(1351,1331) a(1446,1087) d(1447) a(1766,1814) a(1941,2033) r(636,554) r(760,776) 
	 31 a(833,2107) d(1278) d(2100) a(555,729) d(2082) r(1776,1727) a(1314,1308) r(571,858) r(1729,1809) a(2039,1942) d(2296) 
	 31 d(1626) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) d(1618) r(2272,2287) d(731) a(1851,2035) a(990,1620) r(1267,1203) d(1272) r(1608,1600) a(1535,1853) d(781) 
	 31 a(833,2107) r(537,1888) r(2236,1312) d(1265) a(635,2133) d(750) d(2007) r(1818,1807) r(1132,1125) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20712
"Test Suite Evaluations": 65.3375

Compile Failures: 1
Wall-Clock Seconds Elapsed: 34704.5
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             647 788.024 = 2.42794%
  test                              20937 31668.346 = 97.5716%
  TOTAL                                   32456.533 = 93.5224% (avg CPU usage)
python-bug-70019-70023.tar.gz
Tue Sep 24 03:43:23 EDT 2013
shutting down
