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 8
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-242-106-210 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Sep 23 18:04:23 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp5d3866.c /tmp/tmpe893c5.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.27)
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.0252533 MB)
	 31 d(525) 
	 30 r(1580,1560) 
	 31 r(661,729) 
	 31 r(869,924) 
	 31 r(1533,1541) 
	 31 r(1814,1886) 
	 31 d(1450) 
	 31 d(940) 
	 31 r(689,723) 
	 31 r(1576,2124) 
	 31 r(2175,2168) 
	 31 a(2039,2055) 
	 31 d(1575) 
	 31 r(1754,1740) 
	  0 r(1664,1663) 
	 31 a(1476,1069) 
	 31 r(997,1002) 
	 31 d(1621) 
	 31 r(1808,1887) 
	 31 d(422) 
	 31 r(677,698) 
	 31 a(685,844) 
	 31 d(1692) 
	 31 r(2018,1974) 
	 31 d(506) 
	 31 d(1574) 
	 31 a(1031,2050) 
	 31 d(1682) 
	 31 a(471,391) 
	 31 d(1578) 
	 31 d(1572) 
	 31 a(863,1395) 
	 31 r(1528,1552) 
	 31 r(1077,1078) 
	 31 a(435,1521) 
	 31 a(823,1518) 
	 31 d(2110) 
	 31 d(2025) 
	 31 d(1952) 
	 31 original
search: generation 1 (sizeof one variant = 0.400927 MB)
	 31 r(661,729) r(1379,1365) 
	 31 a(2039,2055) d(1010) 
	 30 d(1621) r(1537,1574) 
	 31 d(1450) d(779) 
	 31 d(1621) d(1706) 
	 31 d(1450) a(736,1637) 
	 31 a(471,391) d(647) 
	 31 d(654) 
	 31 r(677,698) a(1506,1513) 
	 31 r(1576,2124) d(2109) 
	 31 r(1077,1078) a(2055,487) 
	 31 d(1682) r(958,926) 
	 31 a(685,844) d(1028) 
	 31 d(1952) d(1026) 
	 31 a(2039,2055) d(1276) 
	 31 d(422) d(1656) 
	 31 a(2039,2055) a(445,2095) 
	 31 d(422) d(2082) 
	 31 r(1533,1541) d(911) 
	 31 r(1528,1552) a(2167,1403) 
	 31 r(1533,1541) r(730,724) 
	 31 r(1528,1552) a(700,1038) 
	 31 r(1528,1552) a(2157,2115) 
	 31 a(2039,2055) d(1835) 
	 31 r(1528,1552) d(560) 
	 31 a(2039,2055) r(492,422) 
	 31 r(1528,1552) a(1756,1719) 
	 31 a(471,391) d(1770) 
	 31 r(661,729) a(661,1518) 
	 31 a(471,391) r(1536,1580) 
	 31 r(1533,1541) d(1296) 
	 31 r(661,729) d(1628) 
	 31 r(677,698) r(497,470) 
	 31 d(2110) r(1842,1812) 
	 31 r(677,698) r(2051,2072) 
	 31 d(2110) r(1293,1322) 
	 31 r(2175,2168) d(587) 
	 31 d(1572) d(1910) 
	 31 r(1808,1887) r(727,732) 
	 31 r(689,723) r(713,667) 
	 31 d(940) r(2162,2153) 
	 31 r(1533,1541) d(1500) 
	 31 r(1533,1541) r(1817,924) 
	 31 r(661,729) d(1520) 
	 31 r(1533,1541) d(1374) 
	 31 r(661,729) d(450) 
	 31 d(2127) 
	 31 r(997,1002) d(662) 
	 31 r(1077,1078) d(1043) 
	 31 a(471,391) d(730) 
	 31 r(1077,1078) r(378,377) 
	 31 a(471,391) r(823,1662) 
	 31 r(1077,1078) d(1938) 
	 31 r(2018,1974) r(1478,1463) 
	 30 r(1077,1078) r(2157,2151) 
	 31 r(2018,1974) a(661,2050) 
search: generation 2 (sizeof one variant = 0.402747 MB)
	 31 r(677,698) r(497,470) r(1651,1635) 
	 31 a(2039,2055) r(492,422) a(781,1396) 
	 31 r(1528,1552) a(2157,2115) d(1656) d(587) 
	 31 d(422) r(1009,974) 
	 31 r(1528,1552) a(2157,2115) d(1032) 
	 31 d(422) d(1656) d(679) 
	 31 a(2039,2055) d(1770) r(1562,1552) 
	 31 a(471,391) d(1010) d(844) 
	 31 a(2039,2055) d(1010) a(2065,1419) 
	 31 a(471,391) d(1770) d(1900) 
	 31 r(1077,1078) d(1043) a(445,2095) a(480,810) 
	 31 a(2039,2055) d(656) 
	 31 r(1077,1078) d(1043) d(1991) 
	 31 a(2039,2055) a(445,2095) r(373,379) 
	 31 d(654) a(2096,2050) 
	 31 r(1528,1552) a(1756,1719) r(1661,1635) 
	 31 a(2039,2055) d(1276) a(2133,1701) 
	 31 a(471,391) d(730) r(2049,1988) 
	 30 r(1077,1078) d(1938) a(936,1396) 
	 31 d(1682) r(958,926) d(2080) 
	 31 r(1077,1078) d(1938) r(806,782) 
	 31 d(1682) r(958,926) a(1080,869) 
	 31 r(2175,2168) d(587) d(1096) 
	 31 d(1450) d(779) a(1629,1629) 
	 30 r(2175,2168) d(587) a(697,370) 
	 31 d(1450) d(779) d(1636) 
	 31 a(685,844) d(1028) a(441,485) 
	 31 r(1528,1552) a(2167,1403) d(1829) 
	 31 a(471,391) d(1770) d(1441) 
	 31 a(2039,2055) d(1276) a(1662,1598) 
	 31 r(1528,1552) a(1756,1719) d(1411) 
	 31 r(1528,1552) a(700,1038) r(1093,1094) 
	 31 a(471,391) d(647) d(1558) 
	 31 d(940) r(2162,2153) r(1287,1286) 
	 31 d(1450) a(2067,1224) 
	 31 r(1576,2124) d(2109) a(736,1637) d(1584) 
	 31 d(1450) a(736,1637) d(918) 
	 31 r(1576,2124) d(2109) a(2112,427) 
	 31 r(1528,1552) a(2055,487) d(631) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) 
	 31 r(1528,1552) a(2157,2115) r(2051,1984) 
	 31 r(1077,1078) a(2055,487) r(361,365) 
	 31 r(1533,1541) d(1500) r(1722,1706) 
	 31 r(2018,1974) a(661,2050) r(864,900) 
	 31 r(1528,1552) r(1842,1812) d(629) 
	 31 d(2110) a(2157,2115) d(684) 
	 31 r(1528,1552) a(2157,2115) d(895) 
	 31 d(2110) r(1842,1812) d(954) 
	 31 a(471,391) d(1770) a(2065,1573) 
	 31 r(997,1002) d(662) d(1055) 
	 31 d(1621) d(666) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) 
	 31 d(1621) d(1706) r(1658,1660) 
	 31 d(2110) r(1293,1322) r(615,591) 
	 31 r(2018,1974) a(661,2050) r(958,926) r(1449,1418) 
	 31 d(1682) a(1063,542) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) 
	 31 d(1682) r(958,926) d(468) 
	 31 a(2039,2055) r(492,422) r(1817,924) r(2160,2165) 
	 31 r(1533,1541) a(437,647) 
	 31 a(2039,2055) r(492,422) r(2148,2142) 
	 31 r(1533,1541) r(1817,924) r(808,786) 
search: generation 3 (sizeof one variant = 0.402677 MB)
	 31 r(1533,1541) a(437,647) r(1458,1440) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1656) 
	 31 r(2018,1974) a(661,2050) a(1589,1419) 
	 31 a(2039,2055) r(492,422) r(1817,924) r(2160,2165) r(958,926) r(1449,1418) r(890,833) 
	 31 r(2018,1974) a(661,2050) r(958,926) r(1449,1418) a(936,843) 
	 31 a(2039,2055) r(492,422) r(1817,924) r(2160,2165) d(407) 
	 31 r(1576,2124) d(2109) d(779) d(1636) a(439,1635) 
	 31 d(1450) a(736,1637) d(1584) d(1415) 
	 31 r(1576,2124) d(2109) a(736,1637) d(1584) a(1680,1680) 
	 31 d(1450) d(779) d(1636) d(725) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) 
	 31 a(2039,2055) d(1770) r(1562,1552) d(1039) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) a(515,928) 
	 31 d(2110) r(1293,1322) r(615,591) d(2034) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1445) 
	 31 d(1450) d(779) d(1636) d(2125) 
	 31 r(1533,1541) d(1500) r(1722,1706) r(1514,1483) 
	 31 d(2110) r(1842,1812) d(954) d(888) 
	 31 d(2110) r(1293,1322) r(615,591) r(1699,1698) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1472) 
	 31 a(471,391) d(647) d(1558) d(1306) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) 
	 31 a(471,391) d(647) d(1558) d(2033) 
	 31 a(2039,2055) d(1276) a(1662,1598) d(1984) 
	 31 r(1528,1552) a(1756,1719) d(1411) r(1493,1501) 
	 31 a(2039,2055) d(1276) a(1662,1598) r(814,812) 
	 31 r(1528,1552) a(1756,1719) d(1411) r(545,526) 
	 31 d(2110) a(2157,2115) d(684) a(533,1481) d(1582) 
	 31 r(1077,1078) a(2157,2115) a(1524,533) 
	 31 d(2110) a(2157,2115) d(684) a(1001,2115) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1471) 
	 31 r(2018,1974) a(661,2050) r(1991,2011) 
	 31 r(1576,2124) d(2109) a(2112,427) r(958,926) r(1449,1418) d(1816) 
	 31 r(2018,1974) a(661,2050) r(958,926) r(1449,1418) d(499) 
	 31 r(1576,2124) d(2109) a(2112,427) d(665) 
	 31 d(1682) r(958,926) d(2080) d(779) a(1629,1629) r(1964,2029) 
	 31 d(1450) a(439,2112) 
	 30 d(1682) r(958,926) d(2080) a(1694,844) 
	  0 d(1450) d(779) a(1629,1629) d(1063) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) d(468) d(1694) 
	 31 d(1682) r(958,926) d(876) 
	 29 r(2018,1974) a(661,2050) r(1571,1526) d(1849) 
	 31 d(1682) r(958,926) d(468) a(678,707) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) r(1404,606) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) a(872,897) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) d(1093) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) r(2167,2150) 
	 31 a(2039,2055) r(492,422) r(2148,2142) r(1572,601) 
	 31 d(1682) r(958,926) a(1080,869) d(1507) 
	 31 a(2039,2055) a(2067,1224) r(661,685) 
	 31 d(1450) d(1276) a(2133,1701) r(1613,1626) 
	 30 a(2039,2055) d(1276) a(2133,1701) d(448) 
	 31 d(1450) a(2067,1224) r(484,492) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) 
	 31 d(1621) d(666) r(2175,2172) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) 
	 31 d(1621) d(666) a(1443,2105) 
	 31 d(654) d(1055) r(760,749) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) 
	 31 d(654) a(2096,2050) r(1692,1690) 
	 30 r(997,1002) d(662) d(1055) r(803,778) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1572) 
	 31 a(2039,2055) d(1276) a(2133,1701) a(1971,511) 
search: generation 4 (sizeof one variant = 0.403695 MB)
	 31 d(2110) r(1842,1812) r(958,926) d(468) a(678,707) d(1032) 
	 31 d(1682) d(954) d(888) d(381) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) 
	 31 d(2110) a(2157,2115) d(684) a(1001,2115) d(382) 
	 31 r(997,1002) d(662) d(1055) r(803,778) r(2057,2031) 
	 31 d(2110) a(2157,2115) d(684) a(1001,2115) r(2021,1952) 
	 31 r(997,1002) d(662) d(1055) r(803,778) d(579) 
	 30 d(1621) d(666) r(2175,2172) a(533,1481) r(1685,1667) r(1597,1625) 
	 31 r(1077,1078) a(2157,2115) d(1570) 
	 31 d(1621) d(666) r(2175,2172) r(373,377) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) r(1527,1562) 
	 30 r(1077,1078) a(2157,2115) a(533,1481) d(1471) r(1540,1565) 
	 31 d(2110) r(1293,1322) r(615,591) r(1699,1698) d(427) 
	 31 d(1450) d(779) d(1636) d(2125) d(1081) 
	 31 d(1450) d(779) d(1636) d(2125) d(1848) 
	 30 r(2018,1974) a(661,2050) r(1571,1526) d(1093) a(578,1706) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) d(468) d(1694) d(1092) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1656) d(1276) a(2133,1701) r(1613,1626) d(1039) 
	 31 d(1450) d(1011) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1656) r(799,787) 
	 30 d(1450) d(1276) a(2133,1701) r(1613,1626) d(1020) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1695,1681) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) r(1339,1357) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(1724,1778) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) a(515,928) d(430) 
	 31 r(2018,1974) a(661,2050) r(958,926) r(1449,1418) a(936,843) a(2128,1912) 
	 31 r(1533,1541) a(437,647) r(1458,1440) r(593,599) 
	 31 d(2110) r(1842,1812) r(1613,1626) r(614,615) 
	 31 d(1450) d(1276) a(2133,1701) d(954) d(888) r(1570,1563) 
	 31 d(2110) r(1842,1812) d(954) d(888) d(425) 
	 30 d(1450) d(1276) a(2133,1701) r(1613,1626) d(1584) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) d(1093) r(1809,1835) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) d(1607) 
	 31 r(2018,1974) a(661,2050) r(1571,1526) d(1093) r(1507,1511) 
	 30 r(997,1002) d(662) d(1055) a(1654,1521) r(1018,966) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) 
	 31 d(1450) d(779) d(1636) d(2125) r(1054,1053) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) d(626) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) r(1012,957) 
	 30 r(1576,2124) d(2109) d(779) d(1636) a(439,1635) a(533,1481) d(1445) r(2038,2045) 
	 31 r(1077,1078) a(2157,2115) d(2056) 
	 31 r(1576,2124) d(2109) d(779) d(1636) a(439,1635) r(2166,2151) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1445) r(1525,533) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) a(1038,2168) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) d(1629) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) d(812) 
	 31 a(2039,2055) d(1276) a(1662,1598) d(1984) d(876) 
	 31 r(1576,2124) d(2109) a(2112,427) r(958,926) r(1449,1418) d(1816) d(1025) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) 
	 31 d(1450) d(779) d(1636) d(725) a(2133,845) a(2133,866) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) d(2156) 
	 31 d(1450) d(779) d(1636) d(725) a(848,744) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) 
	 31 a(2039,2055) r(391,438) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(458,1463) 
	 30 a(2039,2055) a(2067,1224) r(661,685) d(774) 
	 31 d(654) a(2096,2050) r(1692,1690) a(533,1481) d(1445) r(1741,1725) 
	 31 r(1077,1078) a(2157,2115) r(1025,1026) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1445) d(1506) 
	 30 a(2039,2055) d(1276) a(1662,1598) r(814,812) r(1722,1706) r(1514,1483) d(1829) 
	 31 r(1533,1541) d(1500) r(1573,1764) 
	 31 a(2039,2055) d(1276) a(1662,1598) r(814,812) a(612,608) 
	 31 r(1533,1541) d(1500) r(1722,1706) r(1514,1483) a(1842,1274) 
search: generation 5 (sizeof one variant = 0.404567 MB)
	 31 r(1077,1078) a(1756,1719) d(1411) d(1405) d(812) r(973,998) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(459,420) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) d(812) r(570,575) 
	 31 d(654) a(2096,2050) r(1692,1690) a(533,1481) d(1445) r(1741,1725) r(2133,2134) 
	 31 d(2110) a(2157,2115) d(684) a(1001,2115) d(382) d(1563) 
	 31 d(1450) d(779) d(1636) d(2125) r(1054,1053) d(572) 
	 28 d(654) a(2096,2050) r(1692,1690) a(533,1481) d(1445) r(1741,1725) d(2043) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) r(1012,957) a(1329,2112) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(458,1463) d(2017) 
	 31 d(1450) d(779) d(1636) d(2125) d(1848) d(932) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) 
	 31 r(997,1002) a(437,647) r(1458,1440) r(593,599) r(1566,1520) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) 
	 31 r(1533,1541) a(437,647) r(1458,1440) r(593,599) a(845,1133) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) d(812) r(958,926) d(468) a(678,707) r(1096,1095) r(565,528) 
	 31 d(1682) r(1787,910) 
	 31 r(1528,1552) a(1756,1719) d(1411) d(1405) d(812) r(1769,1722) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) a(493,1764) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) a(533,1481) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) a(1838,1898) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(681,700) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) d(558) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) 
	 31 d(1682) d(954) d(888) r(1527,1562) d(1412) 
	 30 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) r(1527,1562) d(1987) 
	 31 d(1682) d(954) d(888) d(381) r(366,364) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1656) d(1276) a(2133,1701) r(1613,1626) d(1039) d(1829) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(2115) 
	 31 d(2110) r(1293,1322) d(1706) d(1693) r(1339,1357) r(2028,2034) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1695,1681) d(403) 
	 31 r(1533,1541) r(1817,924) r(808,786) d(1656) r(799,787) d(818) 
	  0 d(1450) d(1011) r(2169,2170) 
	 30 r(1533,1541) r(1817,924) r(808,786) d(1656) r(799,787) a(1637,1132) 
	 31 a(2039,2055) r(391,438) a(1913,1971) 
	 31 d(1450) d(779) d(1636) d(2125) r(1054,1053) r(887,889) 
	 31 a(2039,2055) r(391,438) d(1602) 
	 31 d(1450) d(779) d(1636) d(2125) r(1054,1053) r(1042,1043) 
	 30 d(1450) d(779) d(1636) d(2125) r(1054,1053) d(1805) 
	 31 r(1077,1078) a(2157,2115) d(1570) d(809) 
	 30 r(997,1002) d(662) d(1055) r(803,778) r(2057,2031) r(1842,1812) d(954) d(888) a(822,744) d(891) 
	 31 d(2110) r(2058,2007) 
	 31 r(997,1002) d(662) d(1055) r(803,778) r(2057,2031) r(1473,1471) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) 
	 31 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) 
	 31 d(2110) r(958,926) d(468) a(678,707) r(1096,1095) a(1287,1038) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(1027) 
	 31 d(2110) r(1842,1812) d(954) d(888) d(425) d(1995) 
	 31 d(1450) d(779) d(1636) a(2096,2050) r(1692,1690) r(494,414) r(1279,1280) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) 
	 30 d(1450) d(779) d(1636) d(2125) r(1054,1053) r(1583,1523) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) d(1445) d(1506) d(1014) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) d(626) d(885) 
	 30 d(1450) d(1011) a(679,865) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) 
search: generation 6 (sizeof one variant = 0.405131 MB)
	 31 d(1682) r(1842,1812) d(2017) d(413) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(458,1463) d(954) d(888) d(425) r(2006,1974) d(590) 
	 31 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) d(487) 
	 29 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(458,1463) d(2017) d(1579) 
	  0 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) r(1669,1682) 
	  0 r(1077,1078) a(2157,2115) a(533,1481) a(533,1481) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) a(1838,1898) r(2068,1977) 
	 31 a(2039,2055) r(391,438) a(1913,1971) r(724,1224) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(1755) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) d(977) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) d(1944) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(2133,845) r(788,807) a(406,911) d(675) 
	 31 r(997,1002) d(662) d(1055) r(940,944) a(1939,1132) a(1572,1571) 
	 30 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) d(817) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(405,1288) 
	 31 r(997,1002) d(662) d(1636) d(2125) r(1054,1053) r(887,889) r(1697,1686) 
	 31 d(1450) d(779) d(1055) a(1654,1521) r(1012,957) a(1329,2112) d(562) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) r(1012,957) a(1329,2112) d(2026) 
	 30 d(1450) d(779) d(1636) d(2125) r(1054,1053) r(887,889) r(464,459) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1681,1693) a(458,1463) d(2017) r(1028,1027) 
	 30 r(997,1002) d(662) d(1055) r(803,778) r(2057,2031) r(1473,1471) d(2057) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(2125) r(1054,1053) a(1049,1403) a(1070,1484) 
	 31 d(654) d(534) r(1848,1887) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) 
	 31 d(2110) r(958,926) d(468) a(678,707) r(1096,1095) a(1287,1038) r(1628,1589) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) a(496,2105) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(1027) a(1284,1069) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(1809,1902) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) 
	 29 d(2110) r(1293,1322) d(1706) d(1693) r(1339,1357) r(2028,2034) d(2162) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(719,1281) 
	 31 d(2110) r(2058,2007) r(1724,1755) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) 
	 31 d(1682) d(954) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) 
	 31 r(997,1002) r(1527,1562) d(1412) r(743,771) 
	 31 d(1682) d(954) d(888) r(1527,1562) d(1412) r(590,587) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) a(413,467) 
	 30 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) a(1080,417) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1695,1681) d(403) a(603,1001) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) r(1540,1524) 
	 30 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) d(742) 
	 31 d(654) r(1003,948) r(1686,1688) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) a(1724,926) 
	 30 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) r(931,1266) 
	 31 d(1682) r(1787,910) a(1930,2049) 
	 30 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) d(511) 
	 31 d(1682) r(1787,910) a(556,518) 
	 31 d(1682) r(1787,910) d(611) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) 
	 31 r(997,1002) r(1383,1360) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) r(1834,1786) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) r(2110,2107) 
	 31 d(1682) r(1787,910) r(1049,1048) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(636,627) 
search: generation 7 (sizeof one variant = 0.405685 MB)
	 31 d(1682) r(1842,1812) d(954) d(888) d(425) r(1049,1048) d(1992) 
	 31 d(1682) r(1787,910) r(2006,1974) d(487) d(647) 
	 31 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) d(487) d(1701) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) 
	 31 r(997,1002) r(1527,1562) d(1631) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1319) 
	 31 r(997,1002) r(1527,1562) d(1412) r(743,771) d(1824) 
	 31 d(654) d(534) r(1848,1887) d(2021) 
	 30 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) 
	 31 a(2039,2055) a(2133,845) r(788,807) a(406,911) a(1809,1902) d(526) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) 
	 31 a(2039,2055) r(391,438) a(1913,1971) r(724,1224) r(427,1334) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(1809,1902) d(458) 
	  0 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) r(1525,533) r(1003,948) r(636,627) d(2172) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) a(405,1288) a(462,869) 
	  0 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(405,1288) r(892,841) 
	  0 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(636,627) r(2057,1985) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) a(2029,1964) 
	  0 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) d(1690) 
	 30 r(997,1002) d(662) d(1055) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) d(896) 
	 31 d(1682) d(954) a(1654,1521) r(1012,957) a(1329,2112) d(2026) r(769,768) 
	 31 r(997,1002) d(662) d(1055) a(1654,1521) r(1012,957) a(1329,2112) d(2026) r(536,806) 
	 31 d(1682) d(954) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) r(552,539) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) 
	 30 d(1450) d(779) d(1055) a(1654,1521) r(1012,957) a(1329,2112) d(562) r(1532,1516) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(834,895) 
	 31 d(1450) d(779) d(1055) a(1654,1521) r(1012,957) a(1329,2112) d(562) r(1070,1723) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) 
	 31 d(2110) r(1096,1095) d(1027) a(1284,1069) d(1497) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1381,1382) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(1027) a(1284,1069) d(550) 
	 31 d(1682) d(534) r(1848,1887) d(1091) 
	 31 d(654) r(1787,910) a(556,518) r(489,395) 
	 31 d(1682) r(1787,910) a(556,518) d(1330) 
	 31 d(654) d(534) r(1848,1887) d(740) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) 
	 31 d(1682) r(1787,910) a(556,518) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) r(1474,1466) 
	 31 d(1682) d(954) d(1358) 
	 31 d(1682) r(1787,910) a(556,518) a(813,626) 
	 31 d(1682) d(954) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) a(380,1913) 
	 30 d(1682) r(1787,910) r(1049,1048) d(409) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) d(742) d(1760) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) d(977) r(1695,1681) d(403) a(603,1001) r(515,539) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) 
	 31 r(1077,1078) a(2157,2115) a(533,1481) r(1685,1667) d(381) a(1895,1895) d(977) d(1913) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1695,1681) d(403) a(603,1001) a(1976,2051) 
	 31 d(2110) r(1782,1711) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) r(2110,2107) r(2058,2007) r(1724,1755) r(541,564) 
	 31 d(2110) r(2058,2007) r(1724,1755) d(898) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) r(2110,2107) r(868,668) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1695,1681) d(403) a(603,1001) a(774,1395) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) 
	 31 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) d(1944) r(2031,2078) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(491,416) 
	 31 d(1682) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) 
	 30 d(1682) r(958,926) d(468) d(413) d(740) 
	 31 d(1682) r(1842,1812) d(2017) d(413) d(2133) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(1027) a(1284,1069) r(1380,1365) 
search: generation 8 (sizeof one variant = 0.40659 MB)
	 31 d(1682) r(958,926) d(468) a(678,707) r(1096,1095) d(1027) a(1284,1069) r(1380,1365) a(1055,888) 
	 30 d(1682) r(1787,910) r(1049,1048) r(804,809) r(1093,1094) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) a(405,1288) a(462,869) d(364) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) r(1987,2032) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(1913,1971) r(724,1224) r(2115,1769) a(1009,1132) 
	 30 r(997,1002) d(662) d(1055) r(391,438) a(515,928) r(1377,1339) a(1447,1886) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) d(1628) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1747,1736) 
	 31 d(1682) d(954) d(1358) d(680) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) d(520) 
	 31 d(1682) r(958,926) d(468) a(678,707) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1381,1382) a(2006,2014) 
	 30 d(1682) r(1787,910) r(1049,1048) r(804,809) a(1351,1338) 
	 30 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) r(2110,2107) r(2058,2007) r(1724,1755) r(541,564) r(1787,910) r(1049,1048) r(804,809) d(1602) 
	 31 d(1682) d(1367) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) r(2110,2107) r(2058,2007) r(1724,1755) r(541,564) a(587,427) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) 
	 31 a(2039,2055) a(2133,845) r(788,807) r(2019,1953) a(727,868) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) a(406,911) a(1809,1902) d(526) r(629,637) 
	 31 a(2039,2055) a(2133,845) r(788,807) a(406,911) a(1809,1902) d(526) a(364,1137) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) a(2138,2145) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) d(1039) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) r(1448,1458) 
	 31 d(1682) r(1842,1812) d(2017) d(413) d(2133) r(598,597) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) d(1623) 
	 30 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) d(487) d(1701) d(780) 
	 31 a(2039,2055) a(2133,845) r(788,807) a(406,911) a(1809,1902) d(526) a(1075,2050) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) d(1497) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(2039,2017) 
	 31 d(1682) d(954) d(888) d(662) a(2096,2050) r(1762,1744) r(1724,1778) d(1564) r(2072,2003) a(380,1913) d(940) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(817,1572) a(1911,1805) a(2029,1964) a(1699,2150) 
	 31 d(2110) r(2058,2007) a(1967,926) r(2128,2118) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) d(761) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) a(2029,1964) r(1996,1916) 
	 30 d(654) d(534) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) r(2147,2145) 
	 30 d(1682) r(1848,1887) d(2021) r(1581,1541) 
	 31 d(654) d(534) r(1848,1887) d(2021) r(727,729) 
	 31 d(1682) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) a(1286,1403) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) d(1335) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) r(637,630) a(1967,926) r(851,859) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) r(1483,1505) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) 
	 31 d(2110) r(1842,1812) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) r(1551,1532) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) d(1974) 
	 30 d(654) a(2096,2050) r(1692,1690) r(494,414) r(1282,1284) d(1944) r(2031,2078) r(789,806) 
	 31 a(2039,2055) r(391,438) a(1913,1971) r(724,1224) r(427,1334) d(789) 
	 30 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) r(1758,1779) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) a(1935,2072) 
	 31 d(1682) r(1787,910) a(1930,2049) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) r(1951,2022) 
	 31 r(997,1002) d(1412) r(743,771) a(385,1573) d(1668) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(1667,396) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) r(1023,1024) 
search: generation 9 (sizeof one variant = 0.407763 MB)
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) a(1491,1510) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(661) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) r(565,541) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) r(1448,1458) d(570) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(2039,2017) a(1512,1786) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) d(1628) d(768) 
	 31 r(1528,1552) d(364) r(509,531) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) a(405,1288) a(462,869) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(760) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(704) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) a(405,1288) a(462,869) d(364) r(1025,1026) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) a(932,950) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) a(1935,2072) r(2128,2127) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) d(1623) d(607) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) r(1487,1488) r(845,1848) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) a(1481,926) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) d(1623) a(2065,2081) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) r(1692,1696) 
	 31 d(1682) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) a(1286,1403) r(1425,1648) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) d(1018) 
	 31 d(1682) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) a(1286,1403) d(1319) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) r(637,630) a(1967,926) r(851,859) r(2019,1953) a(727,868) r(1617,1618) 
	 31 a(2039,2055) a(2133,845) r(788,807) a(387,810) 
	 29 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) r(637,630) a(1967,926) r(851,859) r(299,298) 
	 31 a(2039,2055) a(2133,845) r(788,807) r(2019,1953) a(727,868) r(726,733) 
	 31 d(2110) r(1842,1812) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) r(1551,1532) d(1943) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(2039,2017) a(665,1805) 
	 31 d(1682) r(1842,1812) d(954) d(888) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) r(561,549) 
	 30 r(997,1002) d(662) d(425) r(2006,1974) d(487) d(1701) d(780) r(1318,1312) 
	 31 d(1682) r(1842,1812) d(954) d(888) d(425) r(2006,1974) d(487) d(1701) d(780) d(1509) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(1616) 
	 30 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(1068) 
	 31 r(997,1002) d(662) d(1055) r(1667,396) r(1597,1589) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(1667,396) d(1036) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(763) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(817,1572) a(1911,1805) a(2029,1964) a(1699,2150) d(940) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(762) 
	 31 r(1533,1541) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) r(1551,1532) d(1476) 
	 31 d(2110) r(1842,1812) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) a(2138,2145) a(1829,1911) 
	 31 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) a(2138,2145) r(1991,2026) 
	 31 d(2110) r(1842,1812) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) r(1551,1532) d(1395) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) d(1623) a(1858,647) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) d(1497) d(421) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) a(2029,1964) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) r(1627,1634) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) r(1996,1916) d(1503) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) a(2029,1964) r(1996,1916) r(1493,1496) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) d(498) 
	 31 r(997,1002) d(662) r(2051,1952) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) d(1497) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) r(1963,2047) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) d(1907) 
	 31 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) d(1497) d(580) 
	  0 r(1533,1541) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) a(406,911) a(1809,1902) d(526) r(629,637) r(2169,2173) 
	 30 r(997,1002) d(1412) r(743,771) a(385,1573) d(1668) d(502) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) a(837,451) d(1335) d(1079) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) r(743,771) a(385,1573) r(1667,396) d(688) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(1667,396) a(1049,438) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) d(1335) r(1747,1761) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) r(1951,2022) d(480) 
	 30 d(1682) r(1787,910) a(1930,2049) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) d(498) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) d(1032) 
	 30 d(1682) r(1787,910) a(1930,2049) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) r(1951,2022) r(653,652) 
	 30 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) d(1039) a(1911,1805) a(2029,1964) a(1699,2150) d(2168) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(817,1572) r(838,871) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) d(1039) d(775) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(817,1572) a(1911,1805) a(2029,1964) a(1699,2150) r(557,539) 
search: generation 10 (sizeof one variant = 0.408188 MB)
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) d(688) r(768,760) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) r(743,771) a(385,1573) r(1667,396) a(385,1573) r(1667,396) d(1036) d(774) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(1667,396) d(1036) d(395) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) r(743,771) a(385,1573) r(1667,396) d(688) a(1465,1792) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) a(1935,2072) r(2128,2127) a(1627,1667) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) r(1448,1458) d(570) a(1505,1496) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(763) d(896) 
	 31 r(997,1002) d(662) d(1055) r(1667,396) r(1597,1589) d(2087) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) d(534) d(1528) r(1068,1067) d(1623) d(607) a(1555,531) 
	 31 d(654) d(954) d(888) a(822,744) r(2030,1923) a(1686,1418) d(498) d(1692) 
	 31 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) d(498) d(1665) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) d(1623) d(607) d(1374) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) a(1083,848) d(762) d(1355) 
	 30 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) r(565,541) r(1680,1689) 
	 31 r(997,1002) d(662) a(2096,2050) r(1762,1744) a(515,928) r(1377,1339) d(1628) d(768) r(1638,1988) 
	 30 d(2110) r(1842,1812) d(954) d(888) a(822,744) d(534) d(1528) r(1715,1779) d(1497) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) r(1963,2047) d(1349) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) d(1018) d(1572) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) a(1481,926) d(1289) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) a(1481,926) r(1325,1330) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) d(1018) d(1409) 
	 31 d(2110) r(2058,2007) a(817,1572) a(1911,1805) a(2029,1964) a(406,911) d(662) a(2096,2050) r(1762,1744) r(940,944) a(1939,1132) a(1421,1678) r(2030,1923) a(1686,1418) r(1627,1634) r(2016,2038) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) a(405,1288) a(462,869) d(364) r(1025,1026) a(1581,427) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) r(1951,2022) d(480) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) r(1951,2022) d(480) r(1757,1785) 
	  0 d(654) d(2125) r(1054,1053) d(749) 
	 30 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) r(1951,2022) d(480) a(816,1635) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) r(1951,2022) d(480) r(1097,1098) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1684,1689) r(494,405) d(767) r(743,771) a(385,1573) r(1667,396) d(688) r(572,569) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1970,1934) r(1079,1083) d(1314) d(1032) d(1886) 
	 31 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) d(1032) r(1383,1375) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) r(743,771) a(385,1573) r(1667,396) d(688) r(1396,1016) 
	 31 d(2110) r(1842,1812) d(662) d(1055) a(2133,845) r(788,807) d(370) r(1352,1382) r(2019,1953) a(2138,2145) a(1829,1911) a(1995,2051) 
	 29 r(997,1002) d(662) d(1055) a(2133,845) r(788,807) r(637,630) a(1967,926) r(851,859) r(2019,1953) a(727,868) r(1617,1618) r(1626,1618) 
	 31 r(997,1002) d(662) d(1055) r(391,438) a(1913,1971) r(724,1224) r(2115,1769) r(1375,1379) d(1907) r(1619,1626) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(817,1572) r(838,871) d(671) 
	 31 d(1682) r(1787,910) a(1930,2049) d(1412) r(743,771) a(385,1573) r(1667,396) d(1036) a(1980,1886) 
	 31 r(997,1002) d(662) d(1055) r(1573,376) a(817,1572) r(707,697) d(797) d(1039) a(1911,1805) a(2029,1964) a(1699,2150) d(2168) d(1626) 
	 31 d(654) r(1003,948) r(1686,1688) d(534) d(1528) r(1068,1067) d(1623) d(607) a(1812,443) 
	 31 d(654) d(954) d(888) a(822,744) r(1358,1359) d(1623) a(1858,647) d(1777) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) d(1623) a(1858,647) r(540,561) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) d(1623) d(607) d(665) 
	 30 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) d(1018) r(1003,948) r(1686,1688) r(1358,1359) d(1623) a(2065,2081) a(1645,1463) 
	 31 d(654) d(957) 
	 31 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) d(1018) r(1329,1291) 
	 31 d(654) r(1003,948) r(1686,1688) r(1358,1359) d(1623) a(2065,2081) r(1820,1804) 
	 30 d(1682) r(1787,910) r(1049,1048) r(804,809) d(1915) d(1018) d(438) 
	 30 d(654) d(2125) r(1054,1053) a(1049,1403) r(1970,1934) r(1079,1083) d(1314) d(1032) r(537,553) 
	 31 d(1682) r(1787,910) a(1930,2049) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) d(498) r(570,583) 
	 31 d(1682) r(1787,910) a(1930,2049) d(662) d(1055) a(2133,845) r(788,807) a(406,911) a(511,564) d(1988) d(498) d(876) 
	 30 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(704) a(2171,1518) 
	 31 d(654) d(954) d(888) a(822,744) d(534) d(1528) r(1068,1067) r(1487,1488) a(1481,926) a(1775,906) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) a(1286,1403) d(1319) r(2017,1935) 
	 31 d(1682) r(1842,1812) d(2017) d(767) a(837,451) d(1335) r(1747,1761) r(801,778) 
	 31 r(1077,1078) a(2157,2115) r(1681,1693) a(2067,1224) r(661,685) r(1684,1689) r(494,405) d(767) a(837,451) d(1335) r(1747,1761) r(652,651) 
	 31 d(1682) r(1842,1812) d(2017) a(678,707) r(1096,1095) d(1027) a(1284,1069) a(1570,424) a(1286,1403) d(1319) d(732) 
	 31 r(997,1002) d(662) d(1055) r(1667,396) r(1597,1589) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(704) r(1598,1352) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(447,390) 
	 31 r(997,1002) d(662) d(1055) r(1667,396) r(1597,1589) d(1976) 
	 31 r(1528,1552) a(2157,2115) a(533,1481) d(1445) r(1525,533) r(1003,948) r(637,630) a(1967,926) r(2166,2163) d(704) a(469,888) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20655
"Test Suite Evaluations": 65.5714

Compile Failures: 0
Wall-Clock Seconds Elapsed: 41615.6
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             646 1150.559 = 2.88709%
  test                              20965 38700.970 = 97.1121%
  TOTAL                                   39851.839 = 95.7618% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 05:38:00 EDT 2013
shutting down
