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 6
--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-51-55 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:06:26 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/tmpa4ccfb.c /tmp/tmp0c7e40.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 = 421.976)
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.0250988 MB)
	 31 r(1998,2029) 
	 31 d(750) 
	 31 r(1490,1052) 
	 31 a(2207,1968) 
	 31 d(2161) 
	 31 a(1591,1862) 
	 31 d(2019) 
	 31 r(915,932) 
	 31 a(2342,2336) 
	 31 d(1445) 
	 31 d(1490) 
	 31 a(848,2007) 
	 31 r(2220,2183) 
	 31 r(2223,2211) 
	 31 a(1637,2343) 
	 31 r(1029,953) 
	 31 a(569,561) 
	 31 r(1016,934) 
	 31 a(2003,1030) 
	 31 r(752,767) 
	 31 d(1980) 
	 31 r(1235,2143) 
	 31 a(1983,1631) 
	 31 r(1342,1349) 
	  0 r(813,833) 
	 31 r(1948,1832) 
	 31 r(771,729) 
	 31 r(1683,1662) 
	 31 d(1081) 
	 31 a(1782,2046) 
	 31 d(1685) 
	 31 r(1235,731) 
	 31 d(2100) 
	 31 r(413,410) 
	 31 d(2337) 
	 31 a(1007,2081) 
	 31 d(1612) 
	 31 r(778,570) 
	  0 r(1564,1543) 
	 31 original
search: generation 1 (sizeof one variant = 0.374838 MB)
	 31 d(2337) a(1734,1013) 
	 31 d(2161) d(1955) 
	 31 a(569,561) r(1876,1888) 
	 31 a(569,561) d(1738) 
	 31 a(569,561) r(1624,2223) 
	 31 a(569,561) d(1262) 
	 31 r(915,932) a(1499,1564) 
	 31 d(1685) d(1507) 
	 31 r(915,932) r(858,968) 
	 31 d(1685) a(917,1734) 
	 31 d(1685) r(1339,1283) 
	 31 d(1490) r(2139,2173) 
	 31 a(2342,2336) d(1829) 
	 31 a(1637,2343) d(1938) 
	 31 r(1490,1052) d(1846) 
	 31 a(569,561) r(772,734) 
	 31 r(1490,1052) d(1856) 
	 31 a(569,561) d(1561) 
	 31 a(2342,2336) a(1771,1498) 
	 31 a(848,2007) d(1062) 
	 31 r(1029,953) a(411,1022) 
	 31 d(1980) d(805) 
	 31 r(1029,953) d(1816) 
	 31 d(1980) r(1470,1471) 
	 31 r(1683,1662) r(840,842) 
	 31 r(1342,1349) r(2313,2020) 
	 31 r(1683,1662) a(1017,573) 
	 31 r(1342,1349) a(1875,1516) 
	 31 r(915,932) a(614,892) 
	 31 d(2019) r(534,536) 
	 31 a(1637,2343) d(792) 
	 31 r(1998,2029) a(1566,1993) 
	 31 a(1637,2343) a(1926,2002) 
	 31 r(1998,2029) r(696,669) 
	 31 d(750) a(613,513) 
	 31 a(1007,2081) a(698,525) 
	 31 r(771,729) r(696,651) 
	 31 a(2207,1968) d(2016) 
	 31 r(771,729) d(939) 
	 31 a(2207,1968) d(730) 
	 31 d(2161) d(1474) 
	 31 r(2220,2183) d(1999) 
	 31 d(2161) r(2238,845) 
	 31 r(2220,2183) d(534) 
	 31 r(1490,1052) a(2084,2238) 
	 31 r(1016,934) r(1431,1307) 
	 31 a(1637,2343) r(982,876) 
	 31 r(1016,934) a(752,364) 
	 31 a(1637,2343) d(801) 
	 31 r(1016,934) a(451,1620) 
	 31 d(2100) a(1872,2164) 
	 31 d(2161) r(1659,1643) 
	 31 d(2100) d(569) 
	 31 d(2161) d(2152) 
	 31 r(1029,953) d(995) 
	 31 r(1683,1662) r(1363,1457) 
	 31 r(1998,2029) d(1992) 
	 31 r(1029,953) a(772,1859) 
	 31 r(1998,2029) a(2247,408) 
	 31 r(752,767) a(826,1461) 
search: generation 2 (sizeof one variant = 0.375839 MB)
	 31 d(750) a(613,513) d(2148) 
	  0 d(1685) a(917,1734) d(1555) 
	 31 a(2342,2336) a(1771,1498) r(2256,1591) 
	 31 a(2342,2336) d(1829) d(1490) 
	 31 r(1016,934) a(752,364) d(1474) d(1957) 
	 31 d(2161) d(1018) 
	 31 r(1016,934) a(752,364) r(902,1206) 
	 31 d(2161) d(1474) r(795,810) 
	 31 r(915,932) r(1876,1888) d(1965) 
	 31 a(569,561) a(614,892) r(416,408) 
	 31 r(915,932) a(614,892) a(1552,1992) 
	 31 a(569,561) r(1876,1888) r(903,1471) 
	 31 a(848,2007) d(1062) d(1993) 
	 31 d(1685) a(917,1734) a(395,2213) 
	 31 r(1490,1052) a(1734,1013) a(2185,569) 
	 31 d(2337) d(1846) d(391) 
	 31 r(1490,1052) d(1846) r(2256,1873) 
	 31 d(2337) a(1734,1013) d(1876) 
	 31 r(1683,1662) r(1697,1694) 
	 31 d(750) a(613,513) r(840,842) a(1566,1888) 
	 31 r(1683,1662) r(840,842) d(2156) 
	 31 d(750) a(613,513) r(2000,1730) 
	 31 r(915,932) d(2016) r(910,1026) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) 
	 31 r(915,932) a(1499,1564) r(936,950) 
	 31 a(2207,1968) d(2016) d(1975) 
	 31 d(1685) d(1507) d(488) 
	 31 a(1637,2343) d(792) r(669,601) 
	 31 d(750) a(613,513) d(1853) 
	 31 a(569,561) d(1561) d(2241) 
	 31 d(1685) d(801) r(1347,1350) 
	 31 a(1637,2343) a(917,1734) r(1052,901) 
	 31 d(1685) a(917,1734) a(1929,2032) 
	 31 a(1637,2343) d(801) d(1052) 
	 31 r(2220,2183) d(534) d(813) 
	 31 d(1980) d(805) d(1815) 
	 31 r(2220,2183) d(534) r(2308,2237) 
	 31 d(1980) d(805) d(1988) 
	 31 a(1637,2343) a(1875,1516) d(1507) 
	 31 r(1342,1349) d(801) r(667,612) 
	 31 a(1637,2343) d(801) a(2156,1488) 
	 31 r(1342,1349) a(1875,1516) r(2089,1815) 
	 31 d(1490) r(2139,2173) d(939) r(1496,1120) 
	 31 r(771,729) d(1608) 
	 31 d(1490) r(2139,2173) d(2199) 
	 31 r(771,729) d(939) d(2019) 
	 31 r(1016,934) a(451,1620) d(1074) 
	  0 d(1980) d(805) d(770) 
	 31 r(2220,2183) d(1999) r(1708,1762) 
	 31 a(569,561) r(772,734) d(877) 
	 31 a(848,2007) d(1062) a(937,1467) 
	 31 a(848,2007) d(1062) a(595,1939) 
	 31 d(2161) d(2152) d(2326) 
	 31 d(750) a(613,513) d(1093) 
	 31 a(1637,2343) r(1363,1457) d(781) 
	 31 r(1683,1662) d(792) d(777) 
	 31 a(1637,2343) d(792) d(2213) 
	  0 r(1683,1662) r(1363,1457) r(827,829) 
	 31 r(915,932) r(858,968) d(1855) 
	 31 d(2161) r(2238,845) r(562,561) 
	 31 r(915,932) r(858,968) r(371,403) 
	 31 d(2161) r(2238,845) r(810,812) 
search: generation 3 (sizeof one variant = 0.376695 MB)
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) 
	 31 a(569,561) r(772,734) d(877) r(1726,1752) 
	 31 r(1342,1349) d(801) d(1815) r(862,1060) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) 
	 31 r(1342,1349) d(801) r(667,612) r(845,822) 
	 31 d(1980) d(805) d(1815) d(795) 
	 31 r(915,932) d(2152) d(2326) d(1716) 
	 31 d(2161) a(614,892) a(1552,1992) d(2057) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) 
	 31 d(2161) d(2152) d(2326) r(1716,1723) 
	 31 r(1683,1662) d(792) d(777) a(655,1700) 
	 31 d(750) a(613,513) r(840,842) a(1566,1888) r(1021,1002) 
	 31 r(1490,1052) d(1846) r(2256,1873) a(599,2256) 
	 31 d(1980) d(805) d(1988) d(2021) 
	 31 a(848,2007) d(1062) d(1993) a(734,2199) 
	 31 d(2161) d(2152) d(2326) r(1431,1370) 
	 31 a(1637,2343) d(792) d(2213) r(940,823) 
	 31 r(1342,1349) a(1875,1516) r(2089,1815) r(2135,2056) 
	 31 d(2161) d(2152) d(2326) a(486,1139) 
	 31 r(771,729) d(1608) d(1683) 
	 31 a(2207,1968) d(1961) 
	 31 a(569,561) r(1876,1888) r(903,1471) a(1499,1564) r(1559,1552) r(2313,2237) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) r(1577,1275) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) 
	 31 d(750) a(613,513) d(1853) a(2127,2057) 
	 31 r(771,729) d(1608) d(1255) 
	 31 d(1980) d(805) d(1815) r(396,369) 
	 31 a(1637,2343) r(1363,1457) d(781) d(364) 
	 31 a(1637,2343) r(1363,1457) d(781) a(1929,2032) d(781) 
	 31 d(1685) a(917,1734) d(2326) 
	 31 a(1637,2343) r(1363,1457) d(781) r(2132,2055) 
	 31 d(1685) a(917,1734) a(1929,2032) r(1682,1683) 
	 31 r(915,932) a(614,892) a(1552,1992) d(1444) 
	 31 r(1016,934) a(451,1620) d(1074) a(1271,2265) 
	 31 r(915,932) a(614,892) a(1552,1992) d(1598) 
	 31 r(1016,934) a(451,1620) d(1074) a(1715,1354) 
	 31 a(569,561) r(772,734) a(614,892) a(1552,1992) a(2066,2087) 
	 31 r(915,932) d(877) r(418,419) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) 
	 31 r(915,932) a(614,892) a(1552,1992) d(374) 
	 31 r(2220,2183) d(534) r(2308,2237) d(2114) 
	 31 d(1685) a(917,1734) a(395,2213) d(1027) 
	 31 r(2220,2183) d(1999) r(1708,1762) d(1919) 
	 31 d(1980) d(805) d(1815) d(447) 
	 31 r(915,932) a(1499,1564) r(936,950) r(2326,1818) 
	 31 a(1637,2343) a(1875,1516) d(1507) r(1753,1717) 
	 31 r(1342,1349) r(1691,1306) 
	 31 r(1683,1662) r(1697,1694) d(801) r(667,612) d(1068) 
	 31 r(1342,1349) d(801) r(667,612) a(1770,1732) 
	 31 r(1683,1662) r(1697,1694) r(1958,1884) 
	 31 d(1490) r(2139,2173) d(939) r(1496,1120) a(910,2081) 
	 31 d(2161) d(1474) r(795,810) d(2243) 
search: generation 4 (sizeof one variant = 0.377118 MB)
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) 
	 31 a(569,561) r(1876,1888) r(903,1471) a(1499,1564) r(1559,1552) r(2313,2237) r(2185,999) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) 
	 31 r(1342,1349) d(801) r(667,612) a(1770,1732) a(900,955) 
	 31 a(569,561) r(1617,1610) d(1188) 
	 31 a(569,561) r(772,734) d(877) r(1876,1888) r(903,1471) d(1241) d(2029) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) r(2287,2243) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) r(1951,2051) 
	 31 r(915,932) d(2114) r(626,621) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) 
	 31 r(915,932) a(614,892) a(1552,1992) d(374) d(2024) 
	 31 r(2220,2183) d(534) r(2308,2237) d(2114) d(931) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) a(1435,796) 
	 31 d(2161) a(614,892) a(1552,1992) d(2057) r(1577,1275) r(2000,562) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) r(1577,1275) r(835,802) 
	 31 d(2161) a(614,892) a(1552,1992) d(2057) d(1600) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) 
	 31 r(771,729) d(1608) d(1255) r(810,847) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) a(1079,1087) 
	 31 r(771,729) d(1608) d(1255) r(1859,946) 
	 31 d(2161) d(2152) d(2326) r(903,1471) d(1241) r(332,1732) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) 
	 31 d(2161) d(2152) d(2326) a(486,1139) a(1564,1774) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) d(2003) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) 
	 31 a(848,2007) d(781) d(364) a(1734,1577) 
	 31 a(1637,2343) r(1363,1457) d(781) d(364) a(1447,2099) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(490,1856) 
	 31 d(750) a(1734,585) r(748,773) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) 
	 31 d(750) a(613,513) r(840,842) a(1566,1888) r(1021,1002) d(1938) 
	  0 r(915,932) a(614,892) a(1552,1992) a(1734,585) d(841) 
	 31 d(1685) a(917,1734) a(395,2213) d(1027) d(1729) 
	  0 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(1570,1516) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(933,890) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) r(825,786) 
	 31 r(1683,1662) d(792) d(777) a(858,821) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) 
	 31 r(1683,1662) d(792) d(777) a(655,1700) a(2192,1944) 
	 31 r(915,932) d(877) r(418,419) a(2199,1767) 
	 31 r(1342,1349) d(801) r(667,612) r(845,822) a(1770,1700) 
	 31 d(1980) d(805) d(1815) d(795) d(1088) 
	 31 r(1342,1349) d(801) d(1815) r(862,1060) a(1570,1558) 
	 31 r(915,932) a(614,892) a(1552,1992) d(374) d(1472) 
	 31 r(1342,1349) r(907,1005) 
	 31 r(915,932) d(2152) d(2326) d(1716) r(1691,1306) d(1604) 
	 31 r(1342,1349) r(1691,1306) a(665,1209) 
	 31 r(915,932) d(2152) d(2326) d(1716) r(439,2236) 
	 31 d(750) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(2076,542) 
	 31 r(915,932) a(614,892) a(1552,1992) d(1444) r(2063,2061) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) 
	 31 d(1685) a(917,1734) a(1929,2032) r(1682,1683) r(743,1118) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(596,635) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) d(519) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(1273,1241) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) r(626,612) 
	 31 d(1490) r(2139,2173) d(939) r(1496,1120) a(910,2081) a(2251,2252) 
	 31 a(1637,2343) r(1363,1457) d(781) d(364) r(2045,1970) 
	 31 r(1490,1052) d(1846) r(2256,1873) a(599,2256) a(1874,2127) 
	 31 r(915,932) a(1499,1564) r(936,950) r(2326,1818) d(2332) 
	 31 r(1490,1052) d(1846) r(2256,1873) a(599,2256) a(1005,949) 
	 31 r(915,932) a(1499,1564) r(936,950) r(2326,1818) a(1345,1431) 
search: generation 5 (sizeof one variant = 0.378395 MB)
	 31 d(750) a(1734,585) r(748,773) r(757,1710) 
	 31 d(1980) d(805) d(1815) d(795) d(1088) a(1892,1943) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) 
	 31 d(750) a(1734,585) r(748,773) r(1444,1460) d(2326) d(2181) 
	 31 r(2220,2183) d(534) d(813) d(2204) 
	 31 d(750) a(1734,585) r(748,773) d(2121) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) r(1577,1275) r(835,802) r(1617,1610) r(1951,2051) d(1203) 
	 31 a(569,561) r(772,734) d(877) d(906) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) r(1577,1275) r(835,802) d(1002) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) r(1951,2051) d(1817) 
	 31 r(1683,1662) d(792) d(777) d(941) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(858,821) r(2200,2199) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) d(1839) 
	 31 a(848,2007) d(1062) d(1993) r(903,1471) a(1499,1564) r(1559,1552) r(2313,2237) r(2185,999) r(1754,1810) 
	 31 a(569,561) r(1876,1888) r(903,1471) a(1499,1564) r(1559,1552) r(2313,2237) r(2185,999) d(1544) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) r(825,786) r(1781,1429) 
	 31 r(915,932) a(614,892) a(1552,1992) d(1444) r(2063,2061) d(860) 
	 31 a(569,561) r(772,734) d(877) r(1876,1888) r(903,1471) d(1241) d(2029) d(1659) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) d(2003) d(456) 
	 31 r(1342,1349) r(907,1005) r(1592,1682) 
	 31 a(848,2007) d(1062) d(1993) d(1436) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) a(1079,1087) r(1490,602) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) a(1490,864) 
	 31 r(1342,1349) r(626,621) r(1435,1438) 
	 31 r(915,932) d(2114) d(801) d(1815) r(862,1060) a(1570,1558) a(2036,864) 
	 31 r(1342,1349) d(801) d(1815) r(862,1060) a(1570,1558) r(669,562) 
	 31 r(915,932) d(2114) r(626,621) r(2158,2137) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) 
	 31 r(771,729) d(1608) d(1255) r(810,847) r(2055,1721) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) r(626,612) r(390,398) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) r(2287,2243) r(970,1007) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(1552,1992) d(2057) d(1600) d(1989) 
	 31 d(2161) a(614,892) a(2059,2145) a(2101,665) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) 
	 31 d(2161) a(614,892) a(1552,1992) d(2057) d(1600) r(1188,1274) 
	 31 r(915,932) d(877) r(418,419) a(2199,1767) d(1968) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) a(1250,603) 
	 31 a(848,2007) d(1062) a(937,1467) r(1951,2051) d(2100) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) d(1262) r(596,635) d(1591) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(596,635) r(837,802) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) r(1951,2051) r(2062,1726) 
	 31 r(915,932) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1753,1804) 
	 31 r(915,932) a(614,892) d(2114) r(626,621) d(2025) 
	 31 r(915,932) d(2114) r(626,621) r(2151,2084) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) 
	 31 r(915,932) a(614,892) a(1552,1992) d(374) d(1472) r(2274,628) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(490,1856) d(1005) 
	 31 r(915,932) d(877) r(418,419) a(1499,1564) r(1559,1552) r(1577,1275) r(835,802) d(1728) 
	 31 a(2207,1968) a(655,1700) d(560) r(981,897) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) r(440,458) 
	 31 a(2207,1968) a(1499,1564) r(1559,1552) r(1577,1275) r(835,802) r(775,748) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) 
	 31 a(1637,2343) r(1363,1457) d(781) d(364) r(2045,1970) r(1096,1155) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(490,1856) a(2297,1768) 
	 31 d(2161) d(2152) d(2326) a(486,1139) a(1564,1774) d(1158) 
search: generation 6 (sizeof one variant = 0.379268 MB)
	 31 r(771,729) d(1608) d(1255) r(810,847) r(2055,1721) a(800,1244) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) r(391,400) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) a(897,897) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) a(807,941) 
	 31 r(1342,1349) r(907,1005) r(1592,1682) d(2204) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) a(1490,864) d(1762) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(490,1856) a(2297,1768) r(2303,2239) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(1972,1892) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) 
	 31 r(915,932) d(2114) r(626,621) r(2158,2137) d(833) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) a(2181,1543) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(1552,1992) d(2057) d(1600) d(1989) d(2336) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) a(999,2089) 
	 31 a(569,561) r(1876,1888) r(903,1471) a(1499,1564) r(1559,1552) r(2313,2237) r(2185,999) d(1544) a(967,651) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) 
	 31 r(915,932) d(2114) r(1021,1002) r(744,743) r(1448,1435) r(2337,1599) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) d(1600) 
	 31 r(915,932) d(2114) r(626,621) r(2151,2084) r(962,877) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(1262) r(490,1856) a(2297,1768) r(764,677) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) 
	 31 a(848,2007) d(1062) a(937,1467) d(1262) r(490,1856) a(2297,1768) d(1438) 
	 31 d(2161) d(2152) d(2326) a(486,1139) a(1564,1774) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) a(1563,2000) 
	 31 a(1637,2343) d(1158) r(1813,1729) 
	 31 d(2161) d(2152) d(2326) a(486,1139) a(1564,1774) d(1158) d(676) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) d(805) 
	 31 a(569,561) r(1876,1888) a(655,1700) d(560) r(981,897) r(1152,1155) 
	 31 a(2207,1968) r(2226,2223) r(825,786) d(1839) d(2282) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) d(1839) a(1439,803) 
	 31 a(2207,1968) a(655,1700) d(560) r(981,897) d(775) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) a(1490,864) d(1239) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) a(1490,864) d(443) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) r(440,458) r(631,622) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) d(1262) r(596,635) d(1591) a(1552,1992) d(374) r(1613,1614) a(858,821) r(2200,2199) d(2027) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) r(2178,1642) 
	 31 a(569,561) r(772,734) d(877) r(1617,1610) d(1262) r(596,635) d(1591) r(2285,2271) 
	  0 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(858,821) r(2200,2199) r(1566,1534) 
	  0 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) d(436) 
	 31 d(1980) d(805) d(1815) d(795) d(1088) a(1892,1943) d(1096) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) r(440,458) r(536,620) 
	 31 r(1342,1349) d(801) d(1815) r(862,1060) a(1570,1558) r(669,562) d(1184) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) d(884) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(1552,1992) d(2057) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) d(1460) 
	 31 r(2220,2183) d(1600) d(1989) d(1028) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(1552,1992) d(2057) d(1600) d(1989) d(1093) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(1820) 
	  0 d(1980) d(805) r(667,612) a(2051,2049) a(1552,1992) d(2057) d(1600) d(1989) r(809,808) 
search: generation 7 (sizeof one variant = 0.379869 MB)
	  0 r(915,932) d(2114) r(1021,1002) r(744,743) r(1448,1435) r(2337,1599) d(1015) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(591,1691) 
	 31 a(2207,1968) r(2226,2223) r(825,786) d(1839) d(2282) d(397) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) 
	 31 a(2207,1968) r(2226,2223) r(825,786) d(1839) d(2282) d(1305) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) r(391,400) d(2116) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) a(2181,1543) d(1716) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) a(1018,1004) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) a(2181,1543) a(2193,1992) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) d(600) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) 
	 31 a(848,2007) d(1062) a(1103,1855) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1436,2007) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) d(1760) 
	 31 a(848,2007) r(981,897) r(1152,1155) r(835,820) 
	 31 a(569,561) r(1876,1888) a(655,1700) d(560) d(1062) a(937,1467) d(2103) d(660) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) d(375) 
	 31 a(569,561) r(1876,1888) a(655,1700) d(560) r(981,897) r(1152,1155) d(838) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) r(1833,2194) 
	 31 a(2207,1968) a(655,1700) d(560) r(981,897) d(775) d(2326) a(2337,1516) a(999,2089) r(1862,1814) 
	  0 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) a(999,2089) r(847,826) 
	 31 a(2207,1968) a(655,1700) d(560) r(981,897) d(775) a(1774,1892) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) d(1839) a(1439,803) r(1841,866) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(1820) r(2288,2246) 
	 31 r(2220,2183) r(744,743) r(1448,1435) d(1600) r(1029,1017) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) a(999,2089) a(2026,1945) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) a(999,2089) r(751,774) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) d(1600) r(1358,1433) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(2245,1769) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) a(633,603) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(1279,1254) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) r(1350,1444) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) a(1490,864) d(1762) r(1065,1059) 
	 31 a(2207,1968) r(2226,2223) r(825,786) d(1839) d(2282) a(727,1461) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) d(1349) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) r(1942,1959) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) d(1184) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) a(807,941) r(758,736) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) a(2297,432) 
	 31 r(771,729) d(1608) d(1255) r(810,847) r(2055,1721) a(800,1244) a(2083,2150) 
	 31 r(2220,2183) d(534) d(813) r(940,1823) 
	 31 r(915,932) d(2114) r(626,621) r(2151,2084) r(962,877) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) d(2169) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) d(1690) 
	 31 r(915,932) d(2114) r(626,621) r(2151,2084) r(962,877) r(1245,1246) 
	 31 a(848,2007) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) d(884) a(838,902) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) d(1723) 
	 31 a(848,2007) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) d(908) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) d(884) r(2023,1870) 
	 31 r(2220,2183) d(877) r(418,419) a(655,1700) d(560) a(1490,864) d(1239) r(1058,1006) 
	 31 r(915,932) d(1600) d(1989) d(1028) r(915,990) 
	 31 r(2220,2183) d(1600) d(1989) d(1028) d(2333) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) a(1490,864) d(1239) d(1995) 
	 31 a(569,561) r(1876,1888) a(1344,1292) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) 
	 31 a(569,561) r(1876,1888) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) d(2038) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) 
search: generation 8 (sizeof one variant = 0.379492 MB)
	 31 a(569,561) r(1876,1888) d(1839) a(1439,803) r(1841,866) a(813,802) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) d(418) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) a(1124,1250) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) d(1839) a(1439,803) r(1841,866) a(2269,2263) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(2272,732) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) d(1723) r(811,798) 
	 31 a(848,2007) a(1642,2185) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) d(1062) a(937,1467) d(2103) a(1436,2007) a(2277,2261) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1436,2007) a(2338,1782) 
	  0 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) r(841,844) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) d(1895) 
	 31 r(2220,2183) d(534) d(813) r(940,1823) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) d(1600) r(1358,1433) d(2158) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) d(1600) r(1358,1433) r(1776,1710) 
	 31 r(2220,2183) d(534) d(813) r(940,1823) r(961,950) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(1820) r(2288,2246) d(961) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) d(600) a(1814,439) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) d(594) 
	 31 r(915,932) a(614,892) a(591,1691) d(1629) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(591,1691) a(1840,1871) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) r(1960,1982) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) r(981,897) r(1152,1155) r(835,820) d(748) 
	 31 a(848,2007) a(1836,650) d(2265) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) 
	 31 a(848,2007) r(981,897) r(1152,1155) r(835,820) d(883) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(1820) r(2288,2246) a(1774,2314) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) r(1129,1157) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(1820) r(2288,2246) r(2218,2192) 
	 31 r(915,932) r(2034,1962) 
	 31 a(848,2007) d(1062) a(1103,1855) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) a(2181,1543) a(2193,1992) r(1838,1855) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) a(2181,1543) a(2193,1992) a(1468,2122) 
	 31 a(848,2007) d(1062) a(1103,1855) a(1277,928) 
	 31 a(569,561) r(1876,1888) a(486,1139) d(615) r(1708,1804) a(807,941) r(758,736) r(775,765) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) d(1684) 
	 31 r(2220,2183) a(1972,1860) d(600) d(394) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1270) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) d(600) r(1276,1279) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) d(1456) 
	 31 d(1980) d(805) r(667,612) a(1439,803) d(793) r(1719,1802) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(1459,1432) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) d(2077) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) r(2334,2288) 
	 31 r(2220,2183) r(744,743) r(1448,1435) d(1600) r(1029,1017) a(1972,1860) r(1942,1959) a(785,644) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) r(1942,1959) r(866,620) 
	 31 r(2220,2183) r(744,743) r(1448,1435) d(1600) r(1029,1017) d(1574) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) d(877) r(418,419) a(655,1700) d(560) a(1490,864) d(1239) d(1995) r(1731,1772) 
	 31 r(915,932) r(626,621) r(2151,2084) r(2152,2097) a(633,603) a(811,1841) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) a(633,603) d(1326) 
	 31 r(915,932) d(877) r(418,419) a(655,1700) d(560) a(1490,864) d(1239) d(1995) d(1105) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1627) 
	 31 a(848,2007) d(1062) a(1103,1855) r(726,727) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) d(2037) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) 
	 31 a(1637,2343) a(676,1782) d(1310) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) r(1552,1993) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1053,1018) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) d(600) r(1600,1593) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) d(1062) d(1993) r(2226,2223) d(491) r(564,1997) a(671,743) d(1723) a(1804,585) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) a(2230,1362) d(884) a(838,902) d(991) 
	 31 a(848,2007) r(1569,1552) r(2226,2223) a(1079,1087) d(787) a(2181,1543) d(1716) d(997) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) a(2181,1543) d(1716) r(934,983) 
	 31 a(848,2007) r(1569,1552) r(2226,2223) a(1079,1087) a(2230,1362) d(884) a(838,902) d(1269) 
search: generation 9 (sizeof one variant = 0.381532 MB)
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(591,1691) a(1840,1871) d(2295) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(2272,732) a(952,764) 
	 31 d(1980) r(744,743) r(1448,1435) d(1600) r(1358,1433) d(2158) r(820,784) 
	 31 r(2220,2183) d(534) d(813) r(940,1823) r(840,842) a(1566,1888) r(1021,1002) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) r(2334,2288) r(803,2144) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) r(2334,2288) d(1111) 
	 31 r(2220,2183) d(534) d(813) r(940,1823) r(840,842) a(1566,1888) r(1021,1002) r(744,743) r(1448,1435) d(1600) r(1358,1433) d(2158) a(1832,1534) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) a(762,1892) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) d(2037) d(1340) 
	 31 r(915,932) r(2034,1962) d(1444) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1270) r(1715,1710) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) a(633,603) d(1326) a(1798,750) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) r(1129,1157) a(1631,1088) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(1820) r(2288,2246) a(1774,2314) r(1445,1307) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) a(2230,1362) d(884) a(838,902) d(991) r(516,494) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) d(594) d(700) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) r(409,1555) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) r(1129,1157) r(1970,1888) 
	  0 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) a(1816,1525) r(1124,1157) a(1704,541) d(1627) r(1564,1498) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1627) a(1475,1467) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) r(1129,1157) a(538,1892) 
	 31 r(915,932) r(626,621) r(2151,2084) r(2152,2097) a(633,603) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1270) d(739) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) a(811,1841) a(784,2159) 
	 31 r(915,932) r(626,621) r(2151,2084) r(2152,2097) a(633,603) a(811,1841) r(2227,2215) 
	  0 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1270) r(843,790) 
	 31 r(915,932) a(614,892) a(591,1691) d(1629) d(1738) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) d(2110) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(1816,1525) r(1124,1157) a(1704,541) d(1627) a(2339,1642) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(937,1467) d(2103) a(676,1782) r(1552,1993) r(1236,1235) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) r(1552,1993) a(2211,2256) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1627) r(726,725) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) d(418) d(1022) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) r(1129,1157) r(1835,1947) 
	 31 a(848,2007) a(1836,650) d(2265) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) d(637) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1561) 
	 31 a(848,2007) a(1836,650) d(2265) r(1132,1119) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) a(2034,2037) 
	 31 a(1637,2343) a(676,1782) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) d(561) 
	 31 d(1980) d(1310) a(789,1495) 
	 31 a(1637,2343) a(676,1782) d(1310) a(1887,1782) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) a(453,1760) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(1836,650) r(1261,1272) d(413) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(676,1782) d(2077) d(1276) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) d(2077) r(970,860) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) r(1153,1139) 
	 31 d(1980) d(805) a(2171,544) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(1459,1432) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) a(1813,1741) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) r(818,817) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(1459,1432) d(2281) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) a(2234,812) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) r(823,1595) a(1124,1250) r(727,725) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) a(1124,1250) d(762) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) d(2116) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) r(826,842) 
	 31 r(2220,2183) d(534) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) r(1066,1019) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) d(1306) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) a(1056,890) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) d(594) a(858,821) d(935) d(787) d(2154) d(1062) a(937,1467) d(2103) a(1436,2007) a(2277,2261) a(1999,513) 
	 31 r(1683,1662) d(792) d(777) d(970) 
	 31 r(915,932) a(614,892) a(1552,1992) a(1734,585) r(521,501) d(1111) r(2339,2320) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) r(903,1471) d(1241) r(2287,2243) r(970,1007) d(2287) a(661,2343) d(594) d(1128) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(787) d(2154) d(1062) a(937,1467) d(2103) a(1436,2007) a(2277,2261) r(1118,1128) 
	 31 r(915,932) r(2034,1962) d(1888) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) a(1124,1250) a(1241,864) 
search: generation 10 (sizeof one variant = 0.382207 MB)
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(937,1467) d(2103) a(676,1782) r(1552,1993) r(1236,1235) a(2086,2245) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) d(2037) d(1340) d(2148) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) d(1306) a(1851,1849) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(676,1782) d(2077) d(1276) r(362,361) 
	 31 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) d(2037) d(1340) a(1704,541) d(1627) a(1475,1467) a(1977,1085) 
	  0 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) r(827,843) 
	  3 r(915,932) a(614,892) a(1552,1992) a(613,513) r(840,842) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) d(1817) d(2037) d(1340) r(833,785) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1627) a(1475,1467) d(1556) 
	 31 d(1980) d(805) a(2171,544) d(521) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(937,1467) d(2103) a(676,1782) r(1552,1993) r(1236,1235) d(2142) 
	 31 a(848,2007) a(1836,650) d(2265) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) d(637) r(693,525) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) d(418) d(1022) r(828,841) 
	 31 r(915,932) r(2034,1962) d(1888) d(434) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) r(818,817) r(1292,794) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) d(792) d(777) d(970) r(732,748) 
	 31 r(1683,1662) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) r(409,1555) a(1432,1834) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) r(409,1555) a(2094,977) 
	 31 r(1683,1662) d(792) d(777) d(970) r(1984,1893) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) r(2226,2223) a(858,821) d(935) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) a(811,1841) a(784,2159) r(781,827) 
	 31 d(1980) d(805) r(667,612) d(1820) r(823,1595) d(418) d(1022) d(544) 
	 31 a(569,561) r(1876,1888) r(2226,2223) r(825,786) r(2226,2223) a(858,821) d(935) d(1820) r(823,1595) d(418) d(1022) r(1067,1020) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) d(534) r(2308,2237) a(614,892) a(1552,1992) a(811,1841) a(784,2159) d(752) 
	 31 r(2220,2183) d(534) r(409,1555) r(2255,2273) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) r(1129,1157) r(1970,1888) r(953,928) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) r(1129,1157) r(1970,1888) a(2081,796) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) r(1028,1006) r(409,1555) d(1823) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) r(1153,1139) a(2274,2264) 
	 31 a(848,2007) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) a(2034,2037) d(1360) 
	 31 a(1637,2343) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(1591,1626) a(2034,2037) d(450) 
	  0 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) r(1153,1139) d(836) 
	  0 r(2220,2183) d(534) d(813) r(940,1823) r(840,842) a(1566,1888) r(1021,1002) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) r(2334,2288) r(803,2144) a(1685,1768) 
	  0 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) r(823,1595) a(1124,1250) r(727,725) a(1595,501) 
	  0 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) r(826,842) r(2345,2331) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) r(1153,1139) d(1856) 
	 31 r(1683,1662) d(792) d(777) r(825,786) d(1839) a(1439,803) d(793) r(1459,1432) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) a(1813,1741) d(1626) 
	 31 a(848,2007) d(1062) a(937,1467) d(2103) a(1836,650) r(1261,1272) r(1153,1139) a(830,846) 
	 31 r(2220,2183) d(534) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) r(1066,1019) a(1305,2185) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) a(1056,890) d(1268) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) a(2337,1516) d(1120) r(1349,1363) r(2299,1358) a(1056,890) r(1297,1459) 
	 31 r(2220,2183) d(534) a(2337,1516) d(1120) r(1349,1363) a(2107,2151) r(1066,1019) r(636,696) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(676,1782) r(1552,1993) a(2211,2256) r(1771,1715) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) a(633,603) d(1326) a(1798,750) r(977,2055) 
	 31 a(1637,2343) a(676,1782) d(805) r(667,612) a(2051,2049) a(2059,2145) a(633,603) a(811,1841) r(2227,2215) r(1470,1469) 
	 31 r(915,932) r(626,621) r(2151,2084) r(2152,2097) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) d(561) d(961) 
	 31 a(1637,2343) a(676,1782) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) r(1363,1457) d(1062) a(937,1467) d(1262) r(1569,1552) r(440,458) d(1637) r(759,773) r(2265,1602) d(561) d(765) 
	 31 r(915,932) r(626,621) r(2151,2084) r(2152,2097) a(633,603) a(811,1841) r(2227,2215) r(1772,1801) 
	 31 r(2220,2183) d(534) r(2308,2237) a(614,892) a(1552,1992) d(374) r(1613,1614) a(1816,1525) r(1124,1157) a(1704,541) d(1627) a(1475,1467) r(2276,2306) 
	 31 a(569,561) r(1876,1888) r(2226,2223) a(858,821) d(935) d(1820) a(2234,812) a(2150,823) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(1816,1525) r(1124,1157) a(1704,541) d(1627) a(2339,1642) a(731,1945) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) r(823,1595) a(1124,1250) r(727,725) a(813,780) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(1836,650) r(1261,1272) d(413) r(1132,1119) d(2037) 
	 31 a(848,2007) a(1836,650) d(2265) r(2240,2288) 
	 31 d(1980) d(805) r(667,612) a(2051,2049) a(2059,2145) a(1306,1883) a(1972,1860) a(937,1467) d(2103) a(1836,650) r(1261,1272) d(413) a(2258,743) 
	 31 a(848,2007) a(1836,650) d(2265) r(1132,1119) d(2038) 
	 31 r(1683,1662) d(792) d(777) a(858,821) d(935) d(935) d(787) d(2154) d(2111) r(823,1595) a(1124,1250) r(727,725) a(2334,2326) 
	 31 r(2220,2183) d(534) d(813) r(1444,1460) d(2326) r(1600,1615) r(2278,2305) a(1566,1888) r(626,621) r(2151,2084) r(2152,2097) a(633,603) d(1326) a(1798,750) d(2088) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20398
"Test Suite Evaluations": 64.347

Compile Failures: 0
Wall-Clock Seconds Elapsed: 30032.7
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             638 733.105 = 2.62039%
  test                              20683 27243.663 = 97.379%
  TOTAL                                   27976.928 = 93.1549% (avg CPU usage)
python-bug-70019-70023.tar.gz
Tue Sep 24 02:27:01 EDT 2013
shutting down
