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 314
--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 4
--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-65-50 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:02:59 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/tmpdb74a8.c /tmp/tmp495ebc.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 388.809)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2175
cilRep: stmts in weighted_path = 1241
cilRep: total weight = 549.55
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/mathmodule.c (code bank/base file; atoms [1,2175])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.400519 MB)
search: initial population (sizeof one variant = 0.0252275 MB)
	 31 r(1503,1496) 
	 31 d(931) 
	 31 d(1092) 
	 31 a(1961,2017) 
	 31 a(676,542) 
	 31 d(616) 
	 31 r(577,575) 
	 31 d(656) 
	 31 r(538,518) 
	 31 r(794,797) 
	 31 d(454) 
	 31 d(1050) 
	 31 d(651) 
	 31 d(665) 
	 31 d(1313) 
	 31 r(1016,997) 
	 31 d(1630) 
	 31 d(1655) 
	 31 d(913) 
	 31 d(578) 
	 31 d(1555) 
	 31 d(1053) 
	 31 a(1023,2153) 
	 31 a(1986,511) 
	 31 r(729,698) 
	 31 r(1571,1579) 
	 31 a(1064,1404) 
	 31 d(1289) 
	 31 r(887,899) 
	 31 a(1938,1678) 
	 31 a(1630,1336) 
	  0 r(749,770) 
	 31 d(1276) 
	 31 d(1496) 
	 31 d(778) 
	 31 d(1360) 
	 31 d(1571) 
	 31 r(844,612) 
	 31 d(717) 
	 31 original
search: generation 1 (sizeof one variant = 0.400951 MB)
	 31 d(651) d(391) 
	 31 a(676,542) d(603) 
	 31 d(651) a(736,1670) 
	 31 a(676,542) d(2160) 
	 31 a(1064,1404) d(842) 
	 31 a(430,2150) 
	 31 a(1064,1404) d(602) 
	 31 a(445,1678) 
	 31 r(844,612) r(588,741) 
	 31 d(1360) d(1479) 
	 31 r(844,612) r(1592,1633) 
	 31 d(1360) r(2030,1944) 
	 31 d(717) d(1476) 
	 31 r(1503,1496) d(1059) 
	 31 d(717) a(684,586) 
	 31 r(1503,1496) d(712) 
	 31 d(778) r(475,465) 
	 31 d(1053) r(1472,1476) 
	 31 a(1961,2017) d(2119) 
	 30 d(1655) r(1382,1374) 
	 31 a(1961,2017) d(1930) 
	 31 d(1655) d(422) 
	 31 a(1630,1336) r(696,713) 
	 31 d(1313) a(557,872) 
	 31 d(778) d(1362) 
	 31 r(844,612) d(2044) 
	 31 d(578) d(1395) 
	  1 d(931) r(1669,1688) 
	 31 d(578) r(577,571) 
	 31 d(931) r(1335,410) 
	 31 a(676,542) r(1667,1532) 
	 31 d(1050) d(1684) 
	 31 r(844,612) d(1049) 
	 31 a(1630,1336) r(1715,1725) 
	 31 r(844,612) r(2134,2146) 
	 31 a(1630,1336) a(935,647) 
	 31 r(538,518) r(1091,1092) 
	 31 d(1289) a(1016,1666) 
	 29 r(538,518) d(1053) 
	 31 d(1289) a(1575,487) 
	 31 d(1053) a(459,1422) 
	 31 d(1289) a(2145,1915) 
	 30 r(1571,1579) d(1577) 
	 31 d(717) r(1957,1971) 
	 30 r(1571,1579) r(780,788) 
	 31 d(717) a(740,750) 
	 31 d(931) r(1633,1619) 
	 31 d(778) d(748) 
	 31 d(931) r(2089,2015) 
	 31 d(778) r(1559,960) 
	 31 r(1503,1496) d(1915) 
	 31 d(778) r(1589,1011) 
	 31 r(1503,1496) r(403,426) 
	 31 d(778) r(736,759) 
	 31 d(778) a(440,486) 
	 31 d(913) r(1347,1352) 
	 31 d(778) r(1567,1531) 
	 31 d(913) r(848,1772) 
	 31 d(1360) d(2038) 
	 31 d(717) r(932,1022) 
	 31 d(1360) a(912,1700) 
	 31 d(717) d(1999) 
	 31 r(577,575) r(2071,2023) 
	  0 r(887,899) d(1671) 
	 31 a(1064,1404) d(1491) 
	  1 r(729,698) d(1664) 
	 31 a(1064,1404) r(1629,1613) 
	 31 r(729,698) d(1023) 
search: generation 2 (sizeof one variant = 0.40192 MB)
	 30 r(538,518) r(1091,1092) r(369,364) 
	 31 d(1360) a(912,1700) a(1361,1069) 
	 31 d(1289) d(2082) 
	 31 r(1503,1496) d(1915) a(2145,1915) r(1062,1061) 
	 31 d(1289) a(2145,1915) d(1701) 
	 31 r(1503,1496) d(1915) d(1308) 
	  0 d(1360) r(2030,1944) d(1095) 
	 31 d(931) r(2089,2015) d(818) 
	 31 d(717) a(740,750) r(1395,462) 
	 31 d(778) d(748) r(1031,1032) 
	 31 d(717) a(740,750) d(1954) 
	 31 d(778) d(748) d(1084) 
	 31 a(1961,2017) d(2119) r(2046,1973) 
	 31 a(430,2150) a(545,1346) 
	 31 a(1961,2017) d(2119) d(1507) 
	 31 a(430,2150) r(410,468) 
	 31 d(931) r(2089,2015) d(940) 
	 29 d(1053) a(459,1422) r(1081,1082) 
	 31 d(931) r(2089,2015) d(1775) 
	 30 d(1053) a(459,1422) a(1571,931) 
	 31 a(1630,1336) a(935,647) r(923,924) 
	 31 d(778) r(1589,1011) r(1471,1472) 
	 31 r(1503,1496) a(838,1463) 
	 31 a(676,542) d(603) r(403,426) r(1038,459) 
	 31 r(1503,1496) r(403,426) a(719,866) 
	 31 a(676,542) d(603) r(693,661) 
	 31 r(844,612) r(588,741) d(1305) 
	 31 r(844,612) r(1592,1633) d(2170) 
	 31 d(717) a(684,586) d(640) 
	 31 r(844,612) r(1592,1633) d(649) 
	 31 r(844,612) r(1002,930) 
	 31 a(1630,1336) a(935,647) r(2134,2146) d(1028) 
	 31 r(844,612) r(2134,2146) d(2048) 
	 31 a(1630,1336) a(935,647) d(1040) 
	 31 d(913) r(531,926) 
	 31 d(717) r(1957,1971) r(848,1772) d(1100) 
	 31 d(913) r(848,1772) d(1493) 
	 31 d(717) r(1957,1971) r(2031,1975) 
	  0 d(578) r(577,571) d(1669) 
	 31 r(1503,1496) d(1915) d(1497) 
	 31 r(844,612) d(1049) a(1625,709) 
	 31 a(1064,1404) d(602) a(1563,1288) 
	 31 r(844,612) d(1049) d(523) 
	 31 a(1064,1404) d(602) r(1915,444) 
	 31 d(913) r(1347,1352) d(1616) 
	 31 r(1503,1496) d(712) r(1630,1633) 
	 31 d(913) r(1347,1352) d(1722) 
	 31 r(1503,1496) d(712) r(1351,1344) 
	 31 r(1503,1496) d(1915) r(1455,1428) 
	 31 d(778) r(1559,960) r(982,954) 
	 31 d(913) r(1064,1063) 
	 31 d(1289) a(1016,1666) r(1347,1352) a(628,1430) 
	 31 d(913) r(1347,1352) a(488,542) 
	 31 d(1289) a(1016,1666) r(1396,1608) 
	 31 d(778) r(736,759) a(1511,1345) 
	 31 d(931) r(1335,410) a(1564,1579) 
	 31 r(1503,1496) d(712) a(1078,848) 
	 31 r(844,612) r(2134,2146) d(485) 
	 31 d(1289) a(1016,1666) d(875) 
	 31 d(1289) a(2145,1915) r(1809,1902) 
	 31 d(1289) a(2145,1915) d(1055) 
	 31 d(1289) a(1016,1666) d(787) 
search: generation 3 (sizeof one variant = 0.403006 MB)
	 31 d(717) a(740,750) d(1954) d(1995) 
	 31 d(778) d(748) r(1031,1032) d(1085) 
	 31 d(1289) a(2145,1915) r(1347,1352) a(488,542) r(2127,2112) 
	 31 d(913) d(1701) r(1094,1093) 
	 31 d(1289) a(2145,1915) d(1701) d(785) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) 
	 31 a(1961,2017) d(2119) d(1507) r(1020,964) 
	 31 d(931) r(2089,2015) d(1775) d(1002) 
	 29 r(1503,1496) d(1915) r(1455,1428) r(1563,1574) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) 
	 31 r(1503,1496) d(712) r(1351,1344) r(436,494) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) 
	 31 d(931) r(1335,410) a(1564,1579) d(1099) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1353) 
	 31 r(844,612) r(2031,1975) a(1446,1396) 
	 31 d(717) r(1957,1971) r(1002,930) a(420,461) 
	 31 r(844,612) r(1002,930) a(2175,1297) 
	 31 d(717) r(1957,1971) r(2031,1975) d(1479) 
	 31 d(778) r(736,759) d(2089) 
	 31 d(1289) a(1016,1666) d(875) a(1511,1345) r(737,765) 
	 31 d(778) r(736,759) a(1511,1345) d(726) 
	 29 d(1289) a(1016,1666) d(875) r(1562,1552) 
	 30 a(1961,2017) d(2119) r(2046,1973) a(701,1636) 
	 31 r(1503,1496) d(1915) r(1455,1428) r(864,866) 
	 31 r(1503,1496) d(1915) r(1455,1428) r(1040,1038) 
	 31 d(717) r(1957,1971) r(848,1772) d(1100) d(1561) 
	 31 a(430,2150) a(545,1346) a(603,866) 
	 31 r(844,612) d(1049) a(1625,709) r(1024,1023) 
	 31 a(430,2150) a(545,1346) d(514) 
	 31 r(844,612) d(1049) a(1625,709) a(1351,744) 
	 31 d(717) r(1957,1971) a(2071,2022) 
	 31 r(844,612) r(2134,2146) d(485) r(848,1772) d(1100) d(1622) 
	 31 d(717) r(1957,1971) r(848,1772) d(1100) r(645,656) 
	 31 r(844,612) r(2134,2146) d(485) d(590) 
	 31 r(1503,1496) d(712) a(1078,848) r(1386,1358) 
	 31 r(1503,1496) d(712) r(1351,1344) a(1354,1133) 
	 31 d(913) r(1064,1063) d(737) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) 
	 31 r(1503,1496) d(1915) d(603) r(693,661) d(1078) 
	 30 a(676,542) r(1455,1428) d(817) 
	 31 r(1503,1496) d(1915) r(1455,1428) d(1601) 
	 31 a(676,542) d(603) r(693,661) a(1094,1133) 
	 31 d(931) r(2089,2015) d(940) d(1478) 
	 31 d(913) r(1347,1352) d(1616) d(1355) 
	 29 d(778) r(736,759) a(1511,1345) d(859) 
	 31 r(844,612) r(2134,2146) d(485) a(1333,1070) 
	 31 r(1503,1496) d(712) a(1511,1345) d(1389) 
	 30 d(778) r(736,759) r(1351,1344) r(1048,1046) 
	 31 r(1503,1496) d(712) r(1351,1344) d(1623) 
	 31 d(778) r(736,759) a(1511,1345) r(1922,1963) 
	 31 a(1064,1404) d(602) a(1563,1288) d(1478) 
	 30 d(1289) a(1016,1666) d(875) d(1694) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) 
	 31 d(913) r(848,1772) d(1493) a(1020,1572) 
search: generation 4 (sizeof one variant = 0.403444 MB)
	 31 r(1503,1496) d(712) r(1351,1344) r(1020,964) d(770) 
	 31 a(1961,2017) d(2119) d(1507) r(436,494) r(2003,1995) 
	 31 r(1503,1496) d(712) r(1351,1344) r(436,494) d(1573) 
	 31 a(1961,2017) d(2119) d(1507) r(1020,964) a(935,822) 
	 31 a(1064,1404) d(602) r(1693,1670) d(605) 
	 31 d(913) r(1347,1352) d(1616) a(1563,1288) d(1478) a(495,1792) 
	 29 a(1064,1404) d(602) a(1563,1288) d(1478) r(1512,1491) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) a(1910,823) 
	 31 d(913) d(1701) r(1094,1093) r(1696,1685) 
	 31 r(844,612) r(2031,1975) a(1446,1396) d(811) 
	 28 a(1961,2017) d(2119) d(1507) r(1020,964) r(1049,1041) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(601,587) 
	 31 r(844,612) r(2031,1975) a(1446,1396) a(700,866) 
	 31 r(844,612) r(2134,2146) d(485) d(590) a(1680,744) 
	 31 r(1503,1496) d(1915) d(1589) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) d(1601) d(1084) 
	 31 r(1503,1496) d(1915) r(1455,1428) d(1601) r(609,612) 
	 31 a(430,2150) a(545,1346) d(514) d(453) 
	 31 d(778) r(1559,960) a(2160,1137) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(982,954) a(1926,1341) d(1396) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) a(936,1647) 
	 31 a(1064,1404) r(1002,930) a(420,461) a(1338,1786) 
	 31 d(717) r(1957,1971) d(602) r(1915,444) r(1393,1427) d(675) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) 
	 31 d(717) r(1957,1971) r(1002,930) a(420,461) r(1484,1335) 
	 31 a(430,2150) a(545,1346) d(514) r(1352,1358) 
	 31 a(1961,2017) d(2119) d(1507) r(1020,964) r(1659,1665) 
	 31 d(931) r(2089,2015) d(1775) d(1002) r(597,593) 
	 31 d(778) r(736,759) d(2089) r(1582,1577) 
	 31 d(778) d(748) r(1031,1032) d(1085) r(2006,1984) 
	 31 d(931) r(1335,410) a(1564,1579) d(1099) a(422,536) 
	 31 r(844,612) r(2134,2146) d(485) a(1333,1070) d(1616) d(1355) d(1450) 
	 31 d(913) r(1347,1352) d(1760) 
	 31 r(844,612) r(2134,2146) d(485) a(1333,1070) a(407,2095) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) 
	 31 d(1289) a(2145,1915) d(1701) d(785) a(1412,1576) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) 
	 30 d(778) r(736,759) d(2089) r(1680,1686) 
	 30 d(1289) a(1016,1666) d(875) a(1511,1345) r(737,765) a(748,1224) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1353) a(596,844) 
	 31 r(1503,1496) d(1915) r(1455,1428) d(1601) a(645,1438) 
	 30 d(778) r(1559,960) d(1446) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(721,1644) 
	 30 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(637) 
	  0 d(913) r(1347,1352) a(488,542) r(584,571) r(749,764) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) 
	 31 d(913) r(1484,645) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(1913) 
	 31 a(430,2150) a(545,1346) a(603,866) d(1090) 
	 31 r(844,612) d(1049) a(1625,709) r(1094,1093) d(1430) 
	 31 d(913) d(1701) r(1024,1023) a(383,536) 
	 31 r(844,612) d(1049) a(1625,709) r(1024,1023) d(1797) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) 
	 31 d(717) r(1957,1971) a(1597,1765) 
	 29 r(1503,1496) d(712) r(1351,1344) d(1623) r(2031,1975) d(1479) d(1697) 
	 31 d(717) r(1957,1971) r(2031,1975) d(1479) d(631) 
	 31 r(1503,1496) d(712) r(1351,1344) d(1623) r(1958,2015) 
search: generation 5 (sizeof one variant = 0.40194 MB)
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(1701) r(1094,1093) r(1505,1507) d(1501) 
	 31 d(913) d(637) d(667) 
	  0 d(913) r(1347,1352) d(1616) r(1693,1670) d(637) d(1691) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) 
	 31 d(931) r(2089,2015) d(1775) d(1002) r(597,593) r(935,982) 
	 31 d(931) r(2089,2015) d(1775) d(1002) r(597,593) r(1332,1230) 
	 31 r(844,612) r(2031,1975) a(1446,1396) a(700,866) d(1563) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) 
	 31 r(844,612) r(2031,1975) a(1446,1396) a(700,866) r(1050,1037) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) 
	 31 d(913) r(1484,645) r(1953,2007) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1353) a(596,844) a(553,1132) 
	 31 d(913) d(845) 
	 30 r(844,612) r(2031,1975) a(1446,1396) a(700,866) r(1347,1352) d(1616) d(1355) d(1913) d(1421) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(1913) a(414,370) 
	 31 r(844,612) r(2031,1975) a(1446,1396) a(700,866) a(843,1300) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) 
	 31 r(844,612) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) a(2030,1288) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) r(1623,1605) 
	 29 r(844,612) d(1049) a(1625,709) r(1094,1093) d(1430) d(1576) 
	 31 d(931) d(1616) r(1693,1670) d(709) r(431,404) 
	 31 d(913) r(1347,1352) r(2089,2015) d(1775) d(1002) r(597,593) r(1053,1054) 
	 31 d(931) r(2089,2015) d(1775) d(1002) r(597,593) d(1629) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) 
	 31 r(1503,1496) a(1556,2050) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(712) r(1351,1344) d(1623) r(1958,2015) d(722) 
	 31 r(1503,1496) d(712) r(1351,1344) d(1623) r(1958,2015) a(624,1075) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) r(1985,1974) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(1601) d(1084) d(1465) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(721,1644) r(1450,1394) 
	 30 a(430,2150) a(545,1346) d(514) r(1455,1428) d(1601) d(1084) r(2166,2162) 
	 31 r(1503,1496) d(712) a(1078,848) r(1484,645) r(1333,1135) 
	 31 d(913) a(1505,1508) r(601,587) d(416) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(601,587) d(1356) 
	 31 d(913) r(1484,645) d(1507) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1616) d(1355) d(875) a(1812,1804) 
	 31 d(913) r(1347,1352) d(1353) a(596,844) d(2132) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1353) a(596,844) d(689) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(435,424) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) 
	 31 a(1961,2017) d(2119) d(1507) r(1020,964) r(1659,1665) d(1597) 
	 31 r(1503,1496) d(1915) d(1589) d(1894) 
	 29 a(1961,2017) d(2119) d(1507) r(1020,964) r(1659,1665) d(1998) 
	 31 r(1503,1496) d(1915) r(1455,1428) d(1601) a(645,1438) d(1532) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(982,954) a(1926,1341) d(1396) d(640) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(826) 
	 31 a(1064,1404) r(1002,930) a(420,461) a(1338,1786) d(1441) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) d(474) 
	  0 d(717) r(1957,1971) a(1597,1765) r(1915,444) r(1393,1427) a(1419,1666) r(891,848) 
	 31 a(1064,1404) d(602) a(825,2112) 
	 31 d(717) r(1957,1971) a(1597,1765) d(866) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(940,964) 
	 31 d(717) r(1957,1971) a(1597,1765) a(2157,422) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) 
	 31 r(844,612) r(2031,1975) a(1446,1396) a(700,866) d(446) 
	 31 d(913) d(1701) r(1024,1023) a(383,536) d(1040) 
	 31 r(844,612) r(2134,2146) d(485) d(590) a(1680,744) r(889,860) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(2019,2021) 
	 31 r(844,612) a(1926,1341) a(608,1701) a(2063,1954) 
	 30 d(778) r(1559,960) r(982,954) r(2031,1975) a(1446,1396) d(811) d(974) 
	 31 r(844,612) r(2031,1975) a(1446,1396) d(811) a(1041,1047) 
	 29 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(624) 
search: generation 6 (sizeof one variant = 0.404684 MB)
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(1601) d(1084) d(1465) a(742,826) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(2006,438) 
	 29 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) r(1623,1605) a(1296,868) 
	 31 d(913) r(1347,1352) d(1616) a(1361,1069) d(1353) a(596,844) d(689) d(546) 
	 31 d(1360) a(912,1700) r(1693,1670) d(709) d(1518) d(1760) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) r(726,712) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1353) a(596,844) d(689) a(684,1670) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) d(737) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(721,1644) r(1450,1394) r(527,525) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) 
	 30 a(1961,2017) d(2119) d(1507) r(1020,964) r(1659,1665) d(1597) d(920) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(981,1012) 
	 31 a(1961,2017) d(2119) d(1507) r(1020,964) r(1659,1665) d(1597) r(981,1019) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) 
	 31 d(913) a(1505,1508) r(601,587) d(416) a(1078,848) r(1484,645) r(1333,1135) a(450,491) 
	 31 r(1503,1496) d(712) r(1627,1626) 
	 31 d(913) a(1505,1508) r(601,587) d(416) d(466) 
	 31 r(1503,1496) d(712) a(1078,848) r(1484,645) r(1333,1135) d(954) 
	 30 d(778) r(1559,960) r(982,954) a(1597,1765) a(2157,422) r(2132,2146) 
	 31 d(717) r(1957,1971) a(1926,1341) a(1974,1975) r(1623,1605) r(775,797) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) r(1623,1605) d(870) 
	 30 d(717) r(1957,1971) a(1597,1765) a(2157,422) d(502) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) r(1623,1605) a(826,1425) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) 
	 31 d(913) r(1347,1352) d(1616) d(1355) r(2165,2163) 
	 30 d(913) r(1347,1352) r(2089,2015) d(1775) d(1002) r(597,593) r(1053,1054) d(875) r(435,424) d(1463) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(435,424) d(1013) 
	 31 d(913) r(1347,1352) r(2089,2015) d(1775) d(1002) r(597,593) r(1053,1054) d(904) 
	 31 d(931) d(1616) r(1693,1670) d(709) r(431,404) r(2086,2078) 
	 29 d(913) d(1701) r(1024,1023) a(383,536) d(1040) a(1552,1572) 
	 31 d(778) d(689) 
	 31 r(1503,1496) a(1556,2050) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(624) d(1397) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(624) d(729) 
	 30 r(1503,1496) a(1556,2050) d(1466) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) r(489,468) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) 
	 31 r(1503,1496) d(712) r(1351,1344) d(1623) r(1958,2015) a(624,1075) d(931) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) a(606,612) 
	 30 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(712) r(1351,1344) d(2064) d(722) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(1623) r(1958,2015) d(722) a(847,487) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(712) r(1351,1344) d(1623) r(1958,2015) d(722) d(646) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1413) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) d(1355) d(825) d(474) r(628,627) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) d(474) d(1295) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) d(646) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1023) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) d(1430) d(1991) r(2080,1953) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) a(612,931) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(2059,2043) 
	 31 r(1503,1496) r(1692,1681) 
	 31 r(1503,1496) a(1556,2050) a(1556,2050) d(1557) 
	 31 r(1503,1496) a(1556,2050) a(1042,1042) 
	 31 r(1503,1496) a(1556,2050) a(1778,885) 
	 31 d(931) d(1616) r(1693,1670) d(709) r(431,404) r(974,928) 
	 31 d(778) r(1559,960) r(982,954) a(1926,1341) a(608,1701) r(1985,1974) r(1578,1581) 
	 31 d(1360) a(912,1700) a(1361,1069) d(1616) d(1355) d(875) a(1812,1804) r(361,367) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(982,954) a(1926,1341) d(1396) d(640) d(928) 
search: generation 7 (sizeof one variant = 0.405875 MB)
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(1601) d(1084) d(1465) a(742,826) a(1297,1291) 
	 30 d(913) r(1347,1352) d(1616) d(1355) r(2165,2163) d(1045) 
	 31 a(1064,1404) a(721,1644) r(1450,1394) r(527,525) d(1778) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(721,1644) r(1450,1394) r(527,525) d(556) 
	 31 d(778) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) d(1093) 
	 31 a(430,2150) a(545,1346) d(689) r(2035,2081) 
	 31 d(778) d(689) d(1825) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1487,1501) 
	 31 d(913) r(1347,1352) a(624,1075) r(2110,2106) a(2162,928) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(2089,2042) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) d(1015) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) 
	 31 d(778) r(1351,1344) d(1623) d(1915) d(1589) r(1763,1755) r(1858,1803) a(1792,868) 
	 31 r(1503,1496) r(1958,2015) a(624,1075) r(2110,2106) d(721) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) d(2099) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) 
	 31 r(1503,1496) d(712) a(1078,848) a(1505,1508) r(982,954) a(1926,1341) d(1396) d(640) d(928) r(1395,646) 
	 31 d(913) a(1505,1508) r(601,587) d(416) a(1078,848) r(1484,645) r(1333,1135) a(450,491) d(1099) 
	 31 d(778) d(689) r(709,1687) 
	 30 d(913) r(1347,1352) d(1616) d(1355) r(2165,2163) d(662) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(435,424) d(1013) d(531) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(435,424) d(1013) d(1888) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) d(382) 
	 31 d(913) d(1701) a(1926,1341) a(608,1701) d(624) d(1397) r(789,808) 
	 30 r(1503,1496) a(1556,2050) r(1559,960) r(982,954) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(452,1805) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) d(1045) 
	 31 r(1503,1496) a(1556,2050) r(1559,960) r(982,954) a(1926,1341) a(608,1701) d(624) d(1397) d(361) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) 
	 31 d(778) d(689) a(1834,869) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) r(489,468) d(930) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) r(489,468) a(490,370) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) d(737) d(600) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) a(624,1075) r(2110,2106) d(1832) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(804,807) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) d(737) d(864) 
	  0 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) d(1691) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) 
	 30 d(778) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) a(606,612) a(1564,1037) 
	 30 r(1503,1496) r(1692,1681) a(522,555) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(435,424) d(1013) d(1805) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1023) a(442,463) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) r(489,468) r(591,606) 
	 31 r(1503,1496) d(1915) d(1589) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) d(1478) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1763,1755) d(646) d(1972) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) d(646) d(1466) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) 
	 31 r(1503,1496) r(489,468) a(459,418) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) r(489,468) a(1092,533) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) d(646) a(607,2150) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) a(1926,1341) a(1974,1975) r(1623,1605) a(826,1425) a(1563,1571) 
	 30 d(778) r(1559,960) r(982,954) r(640,641) d(421) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) 
	 30 d(778) r(1559,960) r(982,954) a(1926,1341) a(1974,1975) r(1623,1605) a(826,1425) r(998,1016) 
search: generation 8 (sizeof one variant = 0.406031 MB)
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) r(527,525) d(1778) r(1972,2053) 
	 31 a(1064,1404) a(721,1644) r(1450,1394) a(662,1341) d(1078) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1062) 
	 31 a(1064,1404) a(721,1644) r(1450,1394) r(527,525) d(1778) r(1618,1605) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) d(382) d(879) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) a(1926,1341) a(1974,1975) r(1623,1605) a(826,1425) a(1563,1571) r(880,900) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) d(1769) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) a(675,1223) 
	 29 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(624,1075) r(2110,2106) r(1009,958) d(726) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(1926,1976) r(1078,1069) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) a(895,825) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) a(723,1224) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1298) 
	 31 r(1503,1496) d(1915) d(1589) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) d(1478) d(1568) 
	 30 d(778) d(1049) a(1625,709) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) d(382) a(819,1701) 
	 30 r(1503,1496) d(1915) d(1023) a(442,463) d(2016) 
	 30 d(778) d(1049) a(1625,709) r(1094,1093) d(1023) a(442,463) r(1277,1279) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) d(382) a(1423,1670) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(2025) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) d(1829) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(2132,2050) 
	 31 d(778) d(689) r(709,1687) a(721,1644) d(439) r(692,733) d(1002) a(855,451) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) a(1520,1001) 
	 31 d(778) d(689) r(709,1687) r(868,720) 
	  0 d(913) r(1347,1352) d(1616) r(830,876) d(2043) r(2174,2168) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) a(1580,2050) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) r(1070,1785) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) a(1280,2112) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) r(601,614) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) a(364,1912) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) 
	 31 a(1064,1404) d(602) r(1915,444) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) d(514) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) d(1593) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(1497) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) r(1284,1282) 
	 31 d(778) r(1351,1344) a(1747,1297) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) r(1437,702) 
	 29 d(778) r(1351,1344) d(1623) r(1958,2015) d(737) d(600) a(780,1340) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) a(1457,1437) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) d(391) 
	 30 d(778) d(689) d(1825) r(864,879) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(2089,2042) a(893,704) 
	 31 r(1503,1496) d(1915) d(1589) a(1015,974) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) r(1763,1755) d(646) d(1466) a(444,744) 
	  0 r(1503,1496) d(1915) d(1589) r(1763,1755) d(646) d(1466) r(1687,1690) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) a(1338,1484) 
	 30 d(778) d(689) a(1834,869) d(737) d(864) r(1922,2069) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) d(1655) 
	 31 d(778) d(689) a(1834,869) d(764) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(2028,587) d(737) d(864) d(680) 
	  0 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1078,848) r(1484,645) r(1333,1135) a(450,491) d(1099) r(826,1657) 
	 31 d(913) a(1505,1508) r(601,587) d(416) a(1926,1341) a(721,1644) r(1450,1394) r(527,525) d(556) r(2089,2054) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(721,1644) r(1450,1394) r(527,525) d(556) d(1467) 
	  0 d(913) a(1505,1508) r(601,587) d(416) a(1078,848) r(1484,645) r(1333,1135) a(450,491) d(1099) d(901) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) r(717,679) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) 
search: generation 9 (sizeof one variant = 0.405573 MB)
	 30 d(778) d(689) a(1834,869) d(764) r(1582,1518) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) r(787,790) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) a(1457,1437) a(1513,1662) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) d(767) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(2025) a(1682,396) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) r(1927,1938) 
	  0 a(430,2150) a(545,1346) d(514) r(1455,1428) r(601,614) r(2172,2169) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) a(721,1644) d(439) r(692,733) d(1002) d(391) a(1566,647) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) d(391) a(409,1124) 
	  0 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) r(601,614) r(743,763) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) r(601,614) a(613,487) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) r(717,679) r(1617,1601) 
	 31 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) r(717,679) d(928) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) r(601,614) d(868) 
	 30 a(430,2150) a(545,1346) a(603,866) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) d(1769) d(1746) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) r(527,525) d(1778) r(1972,2053) r(1572,823) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) a(895,825) r(2085,2083) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) a(1926,1341) a(1974,1975) r(1623,1605) a(826,1425) a(1563,1571) r(880,900) d(564) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1779) 
	 31 d(913) d(1049) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1934) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) d(2146) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) d(1829) d(939) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) d(1593) d(1355) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(2025) d(395) 
	 31 d(778) d(689) a(1834,869) d(764) d(583) 
	 30 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) r(1070,1785) d(1718) 
	 31 d(913) d(2064) r(640,641) a(662,1341) d(1298) r(597,616) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(750) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1298) d(394) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) a(1686,822) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1555) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) a(1042,511) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) d(2105) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) a(843,2115) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) a(895,825) r(380,382) 
	 28 r(1503,1496) d(1915) d(1023) a(442,463) d(2016) r(1479,1475) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) r(1091,1092) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1763) 
	  0 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1298) a(851,1418) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(1763,1755) r(1858,1803) d(382) a(1423,1670) d(416) 
	 31 r(1503,1496) d(1915) d(1589) r(665,704) r(830,876) d(2043) a(1280,2112) r(1903,1858) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) a(1280,2112) r(585,584) 
	 30 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) d(382) a(1423,1670) a(383,1667) 
	 31 d(913) d(1701) r(1094,1093) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) d(382) a(819,1701) a(1680,1141) 
	 31 d(778) d(1049) a(1625,709) r(1505,1507) d(2064) r(640,641) a(662,1341) a(675,1223) d(490) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) a(675,1223) r(1927,1996) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) d(382) a(819,1701) r(748,743) 
	 31 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) a(721,1644) d(439) r(692,733) d(1002) d(391) r(1849,1911) 
	  0 a(430,2150) a(545,1346) d(514) r(1455,1428) r(665,704) r(830,876) d(2043) a(1280,2112) r(1690,1694) 
	 30 d(913) r(1347,1352) a(488,542) r(584,571) r(1608,1633) r(665,704) r(830,876) d(2043) a(1280,2112) d(859) 
	 31 a(430,2150) a(545,1346) d(514) r(1455,1428) a(721,1644) d(439) r(692,733) d(1002) d(391) a(1693,1281) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) r(1437,702) d(1612) 
	 31 r(1503,1496) d(1915) d(1589) r(1347,1352) d(1616) d(1355) d(825) r(1337,1362) a(1644,1787) d(1478) d(1568) a(1597,1670) 
search: generation 10 (sizeof one variant = 0.407397 MB)
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) r(1927,1938) r(593,613) 
	 31 d(913) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) r(724,416) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) d(826) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) r(1927,1938) r(387,381) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1906,1833) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(750) r(1824,1804) d(982) d(1934) a(926,1670) 
	 31 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1934) r(1904,1833) 
	 29 d(913) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(750) r(1583,1576) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) r(717,679) r(1617,1601) d(2056) 
	 30 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) d(2105) r(1584,1575) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1763) a(489,569) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) r(1091,1092) r(1091,1092) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) r(1091,1092) r(998,974) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1763) d(1321) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) d(2146) d(541) 
	 31 d(913) d(1701) r(1094,1093) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) d(382) a(819,1701) a(1680,1141) a(1919,2049) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) r(1927,1938) a(940,1010) 
	 30 d(913) d(1049) a(1910,1835) 
	 31 d(778) d(689) a(1834,869) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1779) r(649,644) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) d(764) d(583) d(652) 
	 30 d(778) d(689) a(1834,869) d(764) d(583) d(814) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1779) r(2174,2172) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) a(675,1223) r(1927,1996) r(1689,1678) 
	 30 d(778) d(689) a(1834,869) d(764) r(1582,1518) d(299) 
	 31 d(913) d(1701) d(382) a(819,1701) r(748,743) r(684,721) 
	 30 d(778) d(1049) a(1625,709) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) r(1376,1336) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) r(684,698) 
	 31 d(778) d(1049) a(1625,709) r(1094,1093) d(1589) r(1763,1755) r(1858,1803) d(382) a(819,1701) r(748,743) a(1971,2034) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) a(721,1644) d(439) r(692,733) d(1002) d(391) a(1566,647) r(1912,1054) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) d(1100) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1763) d(1077) 
	 30 d(913) r(1347,1352) d(1616) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) r(1327,1329) 
	 30 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) r(1661,1650) d(1053) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1763) a(1617,1627) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) r(1437,702) d(1612) r(2002,2006) 
	 30 d(778) a(1457,1437) a(1513,1662) d(1645) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) a(1457,1437) a(1513,1662) a(1346,1918) 
	 31 d(778) r(1351,1344) d(1623) r(1958,2015) a(624,1075) r(2110,2106) r(1009,958) r(1437,702) d(1612) d(720) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) d(2146) d(1783) 
	 30 d(778) d(1049) a(1625,709) r(1505,1507) d(2064) r(640,641) a(662,1341) a(675,1223) d(490) d(2051) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) r(1629,1596) r(717,679) r(1617,1601) a(1326,2115) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) d(1355) d(825) r(1337,1362) a(1644,1787) d(1578) r(1824,1804) d(982) d(1374) r(1525,892) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) r(1351,1364) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(407) d(1355) d(825) r(1337,1362) a(1644,1787) r(1629,1596) r(717,679) r(1617,1601) a(923,1817) 
	 31 d(913) r(1476,1465) r(1367,1361) r(1927,1938) r(1654,1665) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1555) d(600) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) r(1943,2006) d(1555) a(1572,1886) 
	 31 d(913) r(1347,1352) d(1616) d(1355) d(875) r(1858,1803) r(1476,1465) r(1367,1361) r(1927,1938) d(1686) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) a(1457,1437) a(1513,1662) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) a(465,1070) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) d(652) 
	 31 r(1503,1496) d(1915) d(1589) r(1763,1755) r(1858,1803) a(2167,679) a(1457,1437) a(1513,1662) r(720,705) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(982) d(1374) a(1473,1729) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) d(1593) d(1355) r(2107,2109) 
	 31 d(913) r(1347,1352) d(1298) d(394) r(1527,1540) 
	 31 d(913) d(1701) r(1094,1093) r(1505,1507) d(2064) r(640,641) a(662,1341) d(1298) d(394) a(1532,1566) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) d(709) d(1518) d(1637) a(1028,553) d(1593) d(1355) r(1729,1377) 
	 31 a(1064,1404) d(602) a(825,2112) a(1783,1779) a(1926,1976) a(895,825) r(380,382) d(613) 
	 31 d(913) r(1347,1352) d(1616) r(1693,1670) r(982,954) a(1926,1341) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) d(1930) a(712,718) d(2105) r(1070,2124) 
	 31 a(1064,1404) d(602) r(1915,444) r(1393,1427) a(1419,1666) r(2029,1975) d(1578) r(1824,1804) d(2025) a(1682,396) r(2134,1999) 
	 31 r(1503,1496) d(712) d(1049) a(1625,709) r(1094,1093) d(1430) d(1991) d(1915) d(1589) r(1763,1755) d(646) r(436,449) r(1341,1405) d(767) r(1797,1786) 
	 30 r(1503,1496) r(1692,1681) d(583) d(1608) 
	 30 d(778) d(689) a(1834,869) d(764) a(522,555) a(1038,529) r(787,790) a(2031,2066) 
	 31 r(1503,1496) r(1692,1681) a(522,555) a(1038,529) r(787,790) d(1073) 
	 31 d(778) d(689) a(1834,869) d(764) d(583) r(587,1693) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20778
"Test Suite Evaluations": 65.9619

Compile Failures: 0
Wall-Clock Seconds Elapsed: 29132.4
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             650 815.457 = 2.92398%
  test                              21088 27072.921 = 97.0752%
  TOTAL                                   27888.596 = 95.7305% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 02:08:34 EDT 2013
shutting down
