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 8
--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-60-190 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:07:03 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/tmp02ce91.c /tmp/tmpde7e74.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 = 425.23)
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.0251093 MB)
	 31 d(1767) 
	 31 r(1062,932) 
	 31 r(1823,1810) 
	 31 r(1591,1577) 
	 31 r(858,928) 
	 31 r(702,595) 
	 31 d(1685) 
	 31 d(2104) 
	 31 r(2144,2145) 
	 31 r(864,1804) 
	 31 r(2313,1256) 
	 31 a(1026,985) 
	 31 d(1203) 
	 31 r(1875,2036) 
	  0 r(770,759) 
	 31 a(2192,814) 
	 31 r(1949,2048) 
	 31 d(556) 
	 31 r(526,1060) 
	 31 d(1738) 
	 31 r(1813,1717) 
	 31 a(2143,1209) 
	 31 d(1278) 
	 31 r(977,624) 
	 31 d(489) 
	 31 d(1192) 
	 31 a(1607,2192) 
	 31 d(1240) 
	 31 a(2173,2272) 
	 31 d(1292) 
	 31 d(1203) 
	 31 a(777,1292) 
	 31 r(1060,1015) 
	 31 r(2298,2310) 
	 31 a(2219,2188) 
	 31 a(744,573) 
	  1 d(809) 
	 31 d(1211) 
	 31 d(781) 
	 31 original
search: generation 1 (sizeof one variant = 0.374956 MB)
	 31 a(2173,2272) d(2345) 
	 31 d(781) r(1315,1449) 
	 31 a(2173,2272) r(2252,2240) 
	  0 d(781) r(792,798) 
	 31 d(1685) a(1798,1856) 
	 31 r(977,624) r(531,614) 
	 31 d(2104) d(1267) 
	 31 a(1026,985) d(1985) 
	 31 r(1060,1015) d(2171) 
	 31 a(2143,1209) d(1109) 
	 31 r(1813,1717) d(1820) 
	 31 a(1026,985) d(1851) 
	 31 d(1738) d(2085) 
	 31 r(1813,1717) r(930,1000) 
	 31 d(1738) r(744,770) 
	 31 r(1813,1717) d(654) 
	 31 r(864,1804) r(2199,831) 
	 31 r(1813,1717) r(1931,1883) 
	 31 r(864,1804) a(1823,875) 
	 31 r(1813,1717) d(554) 
	 31 r(1949,2048) r(2220,2188) 
	 31 r(1476,1470) 
	 31 r(858,928) d(1971) 
	 31 r(2144,2145) d(2230) 
	 31 r(858,928) d(531) 
	 31 r(2144,2145) r(1110,1118) 
	 31 r(1060,1015) d(1925) 
	 31 r(1823,1810) d(1843) 
	 31 r(1060,1015) d(1067) 
	 31 r(1823,1810) d(2312) 
	 31 r(1823,1810) r(2253,2263) 
	  0 r(1823,1810) d(791) 
	 31 r(1823,1810) r(1929,1971) 
	 31 r(1823,1810) d(2283) 
	 31 r(2298,2310) r(1751,1190) 
	 31 d(1211) a(1777,941) 
	 31 r(2298,2310) a(2297,830) 
	 31 d(1211) d(1843) 
	 31 d(454) 
	 31 r(1823,1810) d(1873) 
	 31 r(2298,2310) d(1117) 
	  0 r(1060,1015) d(1491) 
	 31 r(2298,2310) d(1446) 
	 31 r(1060,1015) r(1190,1269) 
	 31 r(858,928) r(2137,2146) 
	 31 d(556) d(2252) 
	 31 a(2173,2272) r(2154,2061) 
	  0 r(526,1060) d(827) 
	 31 r(858,928) r(1730,1755) 
	 31 r(858,928) a(976,2310) 
	 31 a(2173,2272) r(488,2096) 
	 31 r(2313,1256) r(1015,930) 
	 31 d(781) r(2118,2119) 
	 31 a(1026,985) a(2155,940) 
	 31 d(1203) a(400,2337) 
	 31 d(1240) r(985,884) 
search: generation 2 (sizeof one variant = 0.375484 MB)
	 31 r(858,928) a(976,2310) d(1338) 
	 31 d(2104) d(1267) d(746) 
	 31 r(858,928) a(976,2310) d(1350) 
	 31 d(2104) d(1267) a(2320,1845) 
	 31 d(781) r(2118,2119) d(1490) 
	 31 r(1813,1717) d(554) r(831,786) 
	 31 a(1026,985) d(1985) d(2295) 
	 31 d(1211) d(1843) a(783,1211) 
	 31 a(1026,985) d(1851) d(1526) 
	 31 r(1060,1015) d(1925) d(1082) 
	 31 r(1823,1810) d(2312) d(1925) r(2167,2169) 
	 31 r(1060,1015) d(723) 
	 31 r(1823,1810) d(2312) a(1960,2006) 
	 31 r(1060,1015) d(1925) a(2061,2085) 
	 31 r(1823,1810) r(2253,2263) d(858) 
	 31 r(1813,1717) r(930,1000) r(677,665) 
	 31 r(1060,1015) d(2171) d(626) 
	 31 r(1476,1470) d(2022) 
	 31 r(1060,1015) d(2171) r(1874,1859) 
	 31 r(1476,1470) d(1244) 
	  0 d(1203) r(1566,1544) 
	 31 r(858,928) a(976,2310) a(400,2337) a(1488,2274) 
	  0 d(1203) a(400,2337) r(1495,554) 
	 31 r(858,928) a(976,2310) d(1495) 
	 31 a(1026,985) d(1985) d(695) 
	 31 r(1060,1015) d(1067) d(2041) 
	 31 a(1026,985) d(1985) r(2154,2158) 
	 31 r(1060,1015) d(1067) r(1704,1755) 
	 31 a(2143,1209) d(1109) d(780) 
	 31 a(2173,2272) r(488,2096) r(1155,1162) 
	 31 r(858,928) d(2057) 
	 31 d(1240) r(985,884) r(2137,2146) d(830) 
	 31 r(858,928) r(2137,2146) r(819,840) 
	 31 d(1240) r(985,884) r(623,443) 
	 31 r(977,624) d(2230) d(2247) 
	 31 r(2144,2145) r(531,614) d(1865) 
	 31 r(977,624) r(531,614) d(1278) 
	 31 r(2144,2145) d(2230) r(1304,1313) 
	 31 r(1060,1015) d(1067) d(1055) 
	 31 a(2173,2272) d(2345) d(450) 
	 31 d(1203) d(1873) d(368) 
	 31 r(1823,1810) a(400,2337) d(912) 
	 31 d(1203) a(400,2337) a(1117,928) 
	 31 r(1823,1810) d(1873) r(1923,900) 
	 31 r(1823,1810) d(2312) r(2206,1591) 
	 31 r(858,928) a(976,2310) d(1358) 
	 31 r(977,624) r(919,931) 
	 31 r(1823,1810) r(2253,2263) r(531,614) a(1339,1624) 
	 31 r(977,624) r(531,614) r(2234,2236) 
	 31 r(1823,1810) r(2253,2263) d(2300) 
	 31 r(1949,2048) r(2220,2188) d(840) 
	 31 a(1026,985) d(1851) a(2107,1490) 
	 31 d(1211) a(1777,941) d(531) r(1813,1742) 
	 31 r(858,928) d(2030) 
	 31 d(1211) a(1777,941) r(2243,2263) 
	 31 r(858,928) d(531) r(1729,1770) 
	 31 r(858,928) r(1730,1755) d(1792) 
	 31 r(1060,1015) d(2171) a(2155,2299) 
	 31 r(858,928) a(2298,2296) 
	 31 r(1060,1015) d(1067) a(976,2310) d(1066) 
	 31 r(858,928) a(976,2310) r(2306,2274) 
	 31 r(1060,1015) d(1067) r(1630,551) 
search: generation 3 (sizeof one variant = 0.376576 MB)
	 31 r(1476,1470) d(1244) r(1704,1755) a(853,2343) 
	 31 r(1060,1015) d(1067) d(2240) 
	 31 r(1476,1470) d(1244) a(1009,2263) 
	 31 r(1060,1015) d(1067) r(1704,1755) d(930) 
	 31 r(1949,2048) r(2220,2188) d(840) d(835) 
	 31 r(1060,1015) d(1067) d(2041) r(1639,1626) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(2214,2222) 
	 31 r(1060,1015) d(1067) r(1630,551) d(1620) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1255,1268) 
	 31 r(977,624) r(531,614) r(2234,2236) r(2306,2274) r(971,877) 
	 31 r(858,928) a(976,2310) d(828) 
	 31 r(977,624) r(531,614) r(2234,2236) d(1608) 
	 31 r(858,928) a(976,2310) r(2306,2274) r(801,813) 
	 31 a(2143,1209) d(1109) d(780) a(534,814) 
	 31 r(1476,1470) d(1244) a(739,2343) 
	 31 r(858,928) a(976,2310) d(1358) r(751,757) 
	 31 r(977,624) r(531,614) d(1278) r(1889,1056) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) 
	 31 r(1813,1717) r(930,1000) a(805,2007) 
	 31 r(858,928) a(976,2310) d(1350) a(2228,364) 
	 31 r(1813,1717) r(930,1000) r(677,665) d(540) 
	 31 r(1823,1810) r(2253,2263) d(2300) a(2218,1352) 
	 31 a(1026,985) d(1985) r(2154,2158) r(585,1554) 
	 31 r(1060,1015) d(1925) r(1155,1162) d(419) 
	 31 a(2173,2272) r(488,2096) a(2061,2085) a(1508,1352) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) 
	 31 a(2173,2272) r(488,2096) r(1155,1162) d(886) 
	 31 r(858,928) a(976,2310) d(1358) d(1613) 
	 31 r(977,624) d(2230) d(2247) a(2101,1088) 
	 31 d(1203) a(400,2337) a(1117,928) a(2077,2067) 
	 31 d(1240) r(985,884) r(623,443) r(1603,1600) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) 
	 31 r(1949,2048) d(1067) a(976,2310) d(1066) r(1232,1638) 
	 31 r(1060,1015) d(1067) a(976,2310) d(1066) d(2095) 
	 31 r(1949,2048) r(2220,2188) d(840) a(1558,736) 
	 31 r(858,928) a(976,2310) d(1338) r(732,771) 
	 31 r(977,624) r(919,931) r(1556,1573) 
	 31 r(1060,1015) a(2314,1751) 
	 31 r(1060,1015) d(1067) a(976,2310) d(1066) d(1067) d(2041) d(2084) 
	 31 r(1060,1015) d(1067) d(2041) r(1808,1704) 
	 31 r(1060,1015) d(1067) a(976,2310) d(1066) a(2218,1352) 
	 31 a(1026,985) d(1851) a(2107,1490) r(2118,2119) d(1490) a(823,778) 
	 31 d(781) d(531) 
	 31 a(1026,985) d(1851) a(2107,1490) d(1577) 
	 31 d(781) r(2118,2119) d(1490) r(1264,1268) 
	 31 r(1060,1015) d(1067) d(1055) d(618) 
	 31 r(1823,1810) d(2312) a(1960,2006) d(743) 
	 31 r(1060,1015) d(1067) a(2061,2085) r(566,528) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) 
	 31 r(1060,1015) d(1067) d(2041) r(1768,1941) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) 
	 31 r(2144,2145) d(2230) r(1304,1313) a(846,1858) 
	 31 r(858,928) d(531) r(1729,1770) r(1461,1155) 
	 31 a(1026,985) d(1985) r(1923,820) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) d(700) 
	 31 a(1026,985) d(1985) d(695) r(2096,1612) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) 
	 31 r(1476,1470) d(1244) r(1630,551) d(817) 
	 31 r(1060,1015) d(1067) a(1873,1964) 
	 31 r(1476,1470) d(1244) a(2345,408) 
	 31 r(1060,1015) d(1067) r(1630,551) r(1929,1868) 
search: generation 4 (sizeof one variant = 0.378187 MB)
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) r(1781,1811) 
	 31 r(977,624) r(531,614) d(1278) r(1889,1056) r(2292,564) 
	 31 r(1060,1015) d(1925) d(2076) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(2061,2085) r(1255,1268) a(1525,585) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1255,1268) d(562) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) 
	 31 r(1060,1015) a(900,2062) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) d(700) a(1610,1630) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) r(795,845) 
	 31 r(1813,1717) r(930,1000) d(840) r(2111,2099) r(569,2002) 
	 31 r(1060,1015) r(2220,2188) r(677,665) d(540) r(2086,2099) 
	 31 r(1813,1717) r(930,1000) r(677,665) d(540) d(2172) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) d(799) 
	 31 r(977,624) r(531,614) d(1278) r(1889,1056) d(1630) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) 
	 31 d(781) d(2041) r(1768,1941) r(1441,1443) 
	 31 r(1060,1015) d(1067) r(2118,2119) d(1490) r(1264,1268) d(2258) 
	 31 d(781) r(2118,2119) d(1490) r(1264,1268) d(1152) 
	 31 r(1060,1015) d(1067) d(2041) r(1768,1941) r(2243,2300) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) r(631,554) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(774) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(1685,565) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1888,361) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(2025,1928) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) a(1862,785) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2222,2209) 
	 31 r(1060,1015) d(1067) d(2041) r(1639,1626) r(2111,2099) d(2095) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) d(783) 
	 31 r(1060,1015) d(1067) d(2041) r(1639,1626) r(2264,2288) 
	  0 r(1823,1810) r(2253,2263) d(2300) a(2218,1352) r(819,826) 
	  0 a(1026,985) d(1985) r(1923,820) r(785,1694) 
	 31 r(1949,2048) r(488,2096) r(1155,1162) d(886) r(1368,1348) 
	 31 a(2173,2272) d(1067) a(976,2310) d(1066) r(1232,1638) d(1131) 
	 31 r(1949,2048) d(1067) a(976,2310) d(1066) r(1232,1638) d(2101) 
	 31 a(2173,2272) r(488,2096) r(1155,1162) d(886) r(1756,1778) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) a(1964,1758) 
	 31 r(1060,1015) d(1067) a(976,2310) d(1066) d(1067) d(2041) d(2084) a(635,609) 
	 31 r(1476,1470) d(1244) r(1630,551) d(817) a(785,538) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) 
	 31 r(1060,1015) d(1067) a(1873,1964) d(442) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) 
	 31 r(1060,1015) d(1067) d(2041) r(1768,1941) d(2090) 
	 31 r(2144,2145) d(2230) r(1304,1313) a(846,1858) r(674,563) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) 
	 31 a(2173,2272) r(488,2096) a(739,2343) r(2007,1267) 
	 31 r(1476,1470) d(1244) a(739,2343) d(1191) 
	 31 a(2173,2272) r(488,2096) r(1155,1162) d(886) a(1308,973) 
	 31 r(1949,2048) a(2061,2085) r(1997,2000) r(1862,1833) 
	 31 r(1060,1015) d(1925) r(2220,2188) d(840) d(835) r(362,364) 
	 31 r(1949,2048) r(2220,2188) d(840) d(835) d(2089) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(2060) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(1244) a(2345,408) r(1525,1968) 
	 31 r(1476,1470) r(1997,2000) d(1338) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) 
	  0 r(1476,1470) d(1244) a(2345,408) r(1490,1567) 
	 31 d(1203) a(400,2337) a(1117,928) d(700) r(445,448) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) a(2077,2067) d(724) 
	 31 d(1203) a(400,2337) a(1117,928) a(2077,2067) r(724,720) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) d(700) a(1931,1721) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) d(840) r(2111,2099) d(1964) 
	 31 r(1060,1015) r(2220,2188) r(2260,2232) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) 
search: generation 5 (sizeof one variant = 0.379807 MB)
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) 
	  0 d(781) r(2118,2119) d(1490) r(1264,1268) d(1152) d(1562) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(1279,1577) 
	 31 d(781) r(2118,2119) d(1490) r(1264,1268) d(1152) d(1445) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) 
	 31 r(1060,1015) d(1067) a(1873,1964) d(442) r(1264,1265) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(2228) 
	 31 r(1949,2048) a(2061,2085) r(1997,2000) r(1862,1833) r(1997,2000) d(562) d(1128) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(743,1839) 
	 31 r(1949,2048) a(2061,2085) r(1997,2000) r(1862,1833) r(2180,2220) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) d(660) 
	 31 r(1060,1015) r(1869,1837) 
|[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/000295/Modules/_json.c  r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) d(2338)  fails to compile
	  0 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) d(2338) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) a(1345,1714) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) 
	 31 r(1476,1470) d(1244) d(636) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) 
	 31 r(1060,1015) r(2220,2188) r(2260,2232) r(947,851) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(412) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(2025,1928) r(1556,1573) r(2269,2240) d(1476) 
	 31 r(977,624) r(919,931) r(961,970) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(2025,1928) r(1921,1983) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) 
	 31 r(1060,1015) a(900,2062) d(2144) 
	 31 r(1060,1015) d(1925) d(2076) d(971) 
	 31 r(1060,1015) a(900,2062) d(1598) 
	 31 r(1060,1015) d(1925) d(2076) d(2172) 
	 31 r(1060,1015) d(1067) a(1873,1964) d(442) d(1026) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(1244) a(2345,408) r(1525,1968) a(1210,2159) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) d(565) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) a(1862,785) r(1525,559) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) d(783) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(774) d(2281) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(2025,1928) r(1768,1941) d(2090) a(897,600) 
	 31 r(1060,1015) d(1067) d(2041) d(1967) 
	 31 r(1060,1015) d(1067) r(1630,551) d(2337) a(2025,1928) d(867) 
	 31 r(1060,1015) d(1067) d(2041) r(1768,1941) d(2090) a(990,1060) 
	 31 r(1813,1717) r(930,1000) d(840) r(2111,2099) r(569,2002) a(1996,2037) 
	 31 r(1060,1015) d(1925) r(2220,2188) d(840) d(835) r(362,364) a(840,624) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) r(1249,298) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) a(2077,2067) d(724) d(1187) 
	 31 r(1060,1015) d(1925) d(2278) 
	 31 r(1060,1015) a(900,2062) a(2061,2085) d(695) d(700) a(1931,1721) r(2232,2289) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) d(700) a(1931,1721) a(2331,1184) 
	 31 r(1060,1015) a(900,2062) r(1316,1292) 
	 31 r(1060,1015) d(695) d(700) a(1958,2046) d(1880) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(1200) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) 
	 31 r(1060,1015) d(1925) d(2076) r(567,701) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) d(1663) d(986) 
	 31 r(1060,1015) d(1067) d(2240) d(1715) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) d(828) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) r(821,1242) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) r(631,554) d(1017) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(2061,2085) r(1255,1268) a(1525,585) a(1344,528) 
	 31 r(1060,1015) r(1358,1308) d(851) a(885,513) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) r(760,746) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) r(1608,1618) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) d(2296) 
search: generation 6 (sizeof one variant = 0.379015 MB)
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) d(886) d(1988) a(1272,2290) r(2234,2307) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) d(720) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) a(2013,875) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) d(783) r(1256,1206) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) 
	  0 r(1060,1015) a(900,2062) a(2061,2085) a(2061,2085) r(1997,2000) r(1862,1833) r(2180,2220) d(818) 
	 31 r(1949,2048) d(695) d(700) a(1931,1721) r(2232,2289) d(1704) 
	 31 r(1060,1015) a(900,2062) a(2061,2085) d(695) d(700) a(1931,1721) r(2232,2289) d(1080) 
	 31 r(1949,2048) a(2061,2085) r(1997,2000) r(1862,1833) r(2180,2220) d(1317) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(1279,1577) d(2314) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) 
	 31 r(1060,1015) r(1869,1837) r(976,876) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(1200) r(2043,1948) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) a(1862,785) r(1525,559) r(1279,1239) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) a(1862,785) r(1525,559) r(827,802) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) r(1249,298) a(953,1354) 
	 31 r(1060,1015) d(1067) d(2240) d(1715) d(594) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(1200) a(1085,439) 
	  1 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) d(1555) 
	 31 r(1476,1470) d(1244) d(1067) d(2240) d(1663) d(783) d(639) 
	 31 r(1060,1015) d(636) d(1920) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) d(783) d(2195) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) d(828) a(1275,1272) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) 
	 31 r(1060,1015) d(2136) r(1573,1488) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) a(943,729) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) a(2267,1507) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) r(946,901) 
	 31 r(1060,1015) a(900,2062) d(2144) a(789,1209) 
	 31 r(977,624) r(919,931) r(1556,1573) r(1997,2000) r(2026,1955) d(565) d(2334) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(2269,2240) a(2332,1516) r(455,415) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(2026,1955) d(565) r(816,783) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) 
	 31 r(1060,1015) d(695) d(700) a(1958,2046) d(1880) r(1273,1245) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) d(1925) a(2061,2085) d(695) a(2077,2067) d(724) d(1187) r(670,634) 
	 31 r(1060,1015) r(1249,298) d(790) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) r(1249,298) a(2289,1235) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) a(2077,2067) d(724) d(1187) r(2087,2097) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) d(1663) d(986) r(655,550) 
	 31 r(1949,2048) a(2061,2085) r(1997,2000) r(1862,1833) r(2180,2220) r(550,1819) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1083) 
	 31 r(1060,1015) r(2220,2188) r(2260,2232) r(947,851) r(829,817) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(1279,1577) a(2135,1620) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(1279,1577) r(2046,1927) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(743,1839) r(1117,1122) 
	 31 r(1060,1015) d(1925) a(1895,2036) d(541) r(1204,1245) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) r(821,1242) a(1191,941) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) r(1204,1266) 
search: generation 7 (sizeof one variant = 0.379589 MB)
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(945) 
	 31 r(858,928) a(976,2310) a(2013,875) a(435,456) 
	  0 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) a(2013,875) r(842,781) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) r(1877,1841) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(1279,1577) r(2046,1927) a(2181,1211) 
	 31 r(1060,1015) d(1925) d(851) a(743,1839) a(1770,1727) r(1614,1607) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1927,1030) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1967,1893) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) a(900,936) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) d(720) r(2207,2221) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) a(1639,743) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) r(1249,298) a(2289,1235) r(1246,1209) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) a(943,729) r(601,699) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(1279,1577) d(2314) r(844,792) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) r(1499,2269) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(1985) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(2031) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) d(720) r(1922,775) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) d(1599) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) r(1059,935) r(1204,1266) d(774) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) r(1204,1266) r(492,491) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) d(760) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) r(999,1024) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) r(946,901) d(2146) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) r(946,901) r(777,1614) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) d(1663) d(783) d(2195) r(1730,1717) 
	 31 r(1060,1015) d(1067) d(2240) r(1027,936) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) 
	 31 r(1060,1015) d(1067) d(2240) d(1663) d(783) d(2195) a(458,432) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(1574) r(449,409) d(2129) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(2044) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) d(737) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1083) d(2258) 
	 31 r(1060,1015) d(1925) r(804,800) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) r(1211,2186) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1083) a(1492,409) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) 
	 31 r(1060,1015) d(1925) d(2041) a(2332,2171) a(1848,2026) d(1663) d(986) r(655,550) r(808,785) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) a(2145,2137) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) d(670) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) d(2288) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) r(2055,802) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) a(581,2062) 
	 31 r(1060,1015) a(2332,1516) r(2313,2268) r(1608,1597) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) d(695) d(700) a(1958,2046) d(1880) r(1273,1245) r(861,946) 
	 31 r(1060,1015) d(695) d(700) a(1958,2046) d(1880) r(1273,1245) r(411,448) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) a(619,693) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(1997,2000) r(2026,1955) d(565) d(2334) a(597,1768) 
	 31 r(977,624) r(919,931) r(1556,1573) a(953,1734) r(671,592) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) 
	 31 r(977,624) r(919,931) r(1556,1573) r(1997,2000) r(2026,1955) d(565) d(2334) a(2297,2251) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) a(943,729) d(1255) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1995) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) d(1561) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) a(943,729) d(2333) 
search: generation 8 (sizeof one variant = 0.373797 MB)
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(695) r(1249,298) a(2289,1235) r(1246,1209) d(2225) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) r(2204,2194) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(1985) r(602,702) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) r(1059,935) r(1204,1266) d(774) r(766,760) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1995) d(1602) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) d(927) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(1997,2000) r(2026,1955) d(565) d(2334) a(597,1768) d(635) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) a(619,693) r(810,812) r(2055,802) r(804,798) 
	 31 r(1476,1470) d(1244) d(636) a(729,1968) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) a(619,693) d(807) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) r(2055,802) r(1128,1140) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) d(1925) a(2061,2085) r(1358,1308) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1927,1030) d(1119) 
	 31 r(1060,1015) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) r(861,992) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) d(750) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1927,1030) a(2142,2127) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) r(449,451) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) r(1877,1841) a(2333,408) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) d(670) r(1360,1326) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2339,1497) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) d(724) r(1858,2305) r(774,738) r(996,859) a(1870,785) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) d(615) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) d(2288) d(542) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1083) d(2258) a(1700,864) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) a(2061,2085) a(396,2162) r(1249,989) d(2136) d(1083) d(2258) d(1575) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) d(2288) a(541,703) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) d(1561) a(2167,1620) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) d(959) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) r(1204,1266) r(492,491) r(571,843) 
	 31 r(1476,1470) d(1244) d(636) r(810,812) d(760) r(1276,1237) 
	  1 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) d(670) d(2346) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) a(900,936) r(1963,2021) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) d(737) d(1950) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) 
	 31 r(1476,1470) d(562) r(2264,2256) d(2110) r(999,1024) r(1717,1807) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(945) r(1444,1352) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(945) d(2076) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) r(999,1024) r(2147,2130) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) d(544) 
	 31 r(977,624) r(919,931) r(1556,1573) a(953,1734) r(671,592) r(1921,1967) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) a(1617,2337) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) r(2282,2300) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) a(2211,2077) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) d(573) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(1834,1993) r(2334,2060) 
	 31 r(1060,1015) r(1249,298) d(790) a(560,1209) r(629,671) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) a(762,585) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) r(2003,2020) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) d(1244) d(636) r(810,812) d(2288) a(1845,1758) 
	  0 r(1476,1470) r(1491,1490) a(560,1209) d(1013) 
	  1 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) r(1237,1202) 
	  0 r(1476,1470) d(1244) d(636) r(810,812) d(2288) r(827,838) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) d(2172) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) a(943,729) d(1574) r(449,409) r(1499,2269) r(1607,1604) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) r(1499,2269) r(1926,1968) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) a(943,729) r(601,699) d(1875) 
search: generation 9 (sizeof one variant = 0.382131 MB)
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(2343) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) d(1813) d(700) d(959) r(765,757) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) d(959) r(389,404) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) r(2114,2081) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) a(2211,2077) a(1681,1781) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1272,2290) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(945) d(2076) r(1627,1632) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(953,1734) r(671,592) r(1921,1967) r(1633,1624) 
	 31 r(977,624) r(919,931) r(1556,1573) a(560,1209) r(1237,1202) a(971,1630) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) r(1237,1202) a(1079,1124) 
	 31 r(977,624) r(919,931) r(1556,1573) a(953,1734) r(671,592) r(1921,1967) r(1241,1256) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(945) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) a(619,693) r(810,812) r(2055,802) r(804,798) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) d(573) a(1717,1808) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) d(573) d(933) 
	 31 r(977,624) r(919,931) r(1556,1573) r(2269,2240) a(2332,1516) r(2313,2268) a(619,693) r(810,812) r(2055,802) r(804,798) d(2255) 
	 31 r(1060,1015) r(1249,298) r(833,836) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(1997,2000) r(2026,1955) d(565) d(2334) a(597,1768) d(635) d(790) a(1834,1993) r(2003,2020) a(1871,2100) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) r(2003,2020) d(2066) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(1997,2000) r(2026,1955) d(565) d(2334) a(597,1768) d(635) d(444) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) r(449,451) a(1974,2127) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) d(2172) d(2029) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) d(2172) a(2228,2224) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) r(449,451) d(775) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) r(1499,2269) r(1926,1968) r(2314,693) 
	 31 r(1060,1015) r(2220,2188) a(900,936) r(1963,2021) r(1128,1111) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) a(900,936) r(1963,2021) r(1874,1858) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) r(1499,2269) r(1926,1968) d(435) 
	 31 r(1060,1015) d(2136) r(298,299) d(528) r(861,992) a(2100,1861) 
	 31 r(1060,1015) a(396,2162) r(1249,989) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) r(729,760) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(2244) 
	 31 r(1060,1015) a(396,2162) r(1249,989) d(2136) r(298,299) d(528) r(861,992) a(827,2051) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) d(931) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1476,1472) d(528) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) a(1339,2127) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) d(455) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) r(2111,2099) a(390,1734) d(1574) r(449,409) d(737) d(1950) d(1199) 
	 31 r(1060,1015) r(2220,2188) d(840) d(1561) a(2167,1620) a(1975,1543) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(2136) r(1133,1096) d(1561) a(2167,1620) d(614) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) d(737) d(1950) d(1435) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) r(1877,1841) a(2333,408) d(1716) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) a(762,585) d(2290) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(1895,2036) d(541) d(650) r(1877,1841) a(2333,408) r(1938,903) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) r(1204,1266) r(492,491) r(571,843) r(1883,2038) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(695) d(700) a(1958,2046) r(1059,935) r(1204,1266) r(492,491) r(571,843) a(1262,364) 
	  0 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) r(1877,1841) a(2333,408) d(1555) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) a(501,2199) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(1985) r(602,702) d(1776) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) r(449,451) r(2003,2006) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) d(400) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) r(449,409) d(737) d(1950) d(1741) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) a(1292,975) r(655,561) d(1719) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) r(1563,1572) r(625,675) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) r(1130,1115) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(825) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) d(2172) r(2162,766) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) r(2204,2194) a(1091,541) 
	 31 r(1476,1470) d(562) r(2264,2256) d(2110) r(999,1024) r(1717,1807) a(2343,1461) a(2339,1497) a(1846,2312) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2260,821) 
	 31 r(1476,1470) d(562) r(2264,2256) d(2110) r(999,1024) r(1717,1807) a(902,973) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2339,1497) d(1025) 
	 31 r(1060,1015) r(1249,298) d(790) a(1834,1993) r(2003,2020) r(670,669) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(1985) r(602,702) d(1574) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) a(994,1292) d(670) r(1360,1326) r(446,432) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) a(1617,2337) r(862,1067) 
search: generation 10 (sizeof one variant = 0.381968 MB)
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(1925) a(2061,2085) d(1925) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) d(573) d(933) a(899,884) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) d(959) r(389,404) a(1926,1621) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) r(449,451) d(775) d(2334) 
	 31 r(1060,1015) r(1249,298) r(833,836) d(939) 
	 31 r(1476,1470) d(562) r(2264,2256) d(2110) r(999,1024) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) a(1339,2127) r(610,822) 
	 31 r(1060,1015) r(1717,1807) a(902,973) d(1889) 
	 31 r(1476,1470) d(562) r(2264,2256) d(2110) r(999,1024) r(1717,1807) a(902,973) d(2112) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1476,1472) a(1339,2127) d(1955) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(825) r(632,600) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(851) a(743,1839) a(1770,1727) a(900,936) r(1963,2021) r(1874,1858) a(1563,812) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) a(743,1839) a(1770,1727) a(900,936) r(1963,2021) r(1874,1858) d(861) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(825) r(2106,2154) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) a(762,585) d(2290) r(2306,2233) 
	 31 r(1060,1015) r(1249,298) r(833,836) a(1598,609) 
	 31 r(1476,1470) d(1244) a(1009,2263) d(1985) r(602,702) d(1574) d(1007) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) d(400) d(1250) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) d(400) r(2041,1869) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) d(1985) r(602,702) d(1574) d(1261) 
	 31 r(1060,1015) r(2220,2188) a(560,1209) r(1237,1202) a(971,1630) r(2022,1956) 
	 31 r(977,624) r(919,931) r(1556,1573) d(840) r(2111,2099) a(390,1734) r(601,699) r(449,451) a(1974,2127) a(674,696) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) r(449,451) a(1974,2127) d(1348) 
	 31 r(977,624) r(919,931) r(1556,1573) a(560,1209) r(1237,1202) a(971,1630) d(970) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2339,1497) d(1025) r(1344,1316) 
	 31 r(1476,1470) d(1244) r(1155,1162) r(1858,2305) r(1491,1490) a(560,1209) a(762,585) d(2290) d(525) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) a(2343,1461) r(2223,2228) d(931) d(2271) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1858,2305) r(774,738) d(1765) a(501,2199) a(1058,996) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) a(501,2199) r(1726,1805) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(541) d(650) r(1877,1841) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) d(931) d(1632) 
	 31 r(1060,1015) d(1925) a(2061,2085) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) d(455) d(1951) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) a(600,903) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) d(760) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) a(2343,1461) r(2223,2228) d(455) d(1082) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1476,1472) d(528) r(569,737) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) a(501,2199) a(2278,2007) 
	 31 r(858,928) a(976,2310) d(1350) r(677,665) d(2292) d(945) r(2043,1925) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(2061,2085) a(396,2162) r(1888,361) d(554) r(1819,1809) d(866) a(1617,2337) r(862,1067) d(848) 
	 31 r(1060,1015) d(1925) d(700) d(959) r(389,404) r(657,674) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) r(1563,1572) r(625,675) r(1272,1247) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) r(1563,1572) r(625,675) d(1597) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1813) d(700) d(959) r(389,404) r(724,723) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2339,1497) d(1025) d(613) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) r(1491,1517) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) a(526,750) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2339,1497) d(1025) r(594,659) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) d(724) r(1858,2305) r(774,738) r(996,859) d(2288) d(1984) r(1624,1928) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1997,2000) d(562) a(2077,2067) r(1858,2305) r(774,738) a(2343,1461) a(2339,1497) d(1025) r(1575,1567) 
	 31 r(1060,1015) d(2136) r(298,299) d(528) r(861,992) a(2100,1861) d(2333) 
	 31 r(1060,1015) d(2136) r(298,299) d(528) r(861,992) a(2100,1861) r(729,1184) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) d(541) d(650) r(1877,1841) a(2333,408) d(1716) r(401,393) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(2244) d(932) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) r(449,451) d(1001) 
	 31 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) r(1130,1115) a(1974,2127) d(1120) 
	  0 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) r(601,699) r(449,451) a(1974,2127) r(1555,1563) 
	  0 r(1476,1470) d(1244) a(1009,2263) a(1895,2036) d(1618) d(2110) r(2092,734) r(1563,1572) r(1130,1115) a(1187,2133) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(601,600) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) a(501,2199) a(994,1292) d(670) r(449,451) d(775) d(1208) 
	 31 r(1476,1470) d(1244) r(1155,1162) d(886) d(1988) a(1009,2263) a(1895,2036) a(994,1292) d(670) r(449,451) d(775) d(1596) 
	 31 r(1060,1015) r(2220,2188) d(840) r(2111,2099) a(390,1734) d(1574) a(953,1734) a(2225,2245) d(1765) a(501,2199) r(2264,2307) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(2244) d(1730) 
	 31 r(1060,1015) d(2343) d(1608) 
	 31 r(1060,1015) d(1925) a(2061,2085) r(1358,1308) d(851) r(1871,1988) d(2343) d(670) 
	 31 r(1060,1015) d(1925) a(2061,2085) a(396,2162) r(1249,989) d(1925) a(2061,2085) r(1997,2000) d(562) r(2264,2256) d(2110) a(1292,975) r(655,561) d(2244) a(1609,1283) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20927
"Test Suite Evaluations": 66.0158

Compile Failures: 1
Wall-Clock Seconds Elapsed: 42143.2
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             654 1175.914 = 2.97172%
  test                              21129 38394.033 = 97.0278%
  TOTAL                                   39570.121 = 93.8945% (avg CPU usage)
python-bug-70019-70023.tar.gz
Tue Sep 24 05:49:28 EDT 2013
shutting down
