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 6
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-112-197-135 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:03:31 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/tmpe66b47.c /tmp/tmpb056f0.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 = 373.265)
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.0252428 MB)
	 31 r(502,501) 
	 31 d(843) 
	 31 r(875,870) 
	 31 a(1473,1397) 
	 31 d(1701) 
	 31 a(871,1573) 
	 31 d(483) 
	 31 r(545,522) 
	  1 a(893,845) 
	 31 d(1512) 
	 31 d(879) 
	 31 a(582,2074) 
	 31 r(441,464) 
	 31 r(460,434) 
	 31 a(665,729) 
	 31 r(2063,2048) 
	 31 a(1592,812) 
	 31 r(367,366) 
	 31 a(465,843) 
	 31 r(844,818) 
	 31 d(1451) 
	 31 r(2022,2014) 
	 31 a(1291,427) 
	 31 r(1648,1652) 
	 31 r(2105,1612) 
	 31 r(1338,1347) 
	 31 r(770,744) 
	 31 r(1407,1450) 
	 31 d(1513) 
	 31 a(614,1438) 
	 31 d(1450) 
	 31 r(2022,1970) 
	 31 d(700) 
	 31 r(1774,1719) 
	  0 d(921) 
	 31 a(1582,417) 
	 31 d(926) 
	 31 r(1961,2003) 
	  0 r(901,886) 
	  3 original
search: generation 1 (sizeof one variant = 0.401012 MB)
	 31 r(1648,1652) d(958) 
	 31 d(483) d(2145) 
	 31 r(1648,1652) r(871,899) 
	 31 d(483) r(534,524) 
	 31 r(441,464) r(1022,1014) 
	  0 r(502,501) r(1669,1666) 
	 31 r(441,464) d(732) 
	 31 r(502,501) a(1759,2153) 
	 31 d(843) r(894,833) 
	 31 a(582,2074) d(1094) 
	 31 d(843) d(552) 
	 31 a(582,2074) r(1329,1305) 
	 31 r(2105,1612) r(1773,1764) 
	 31 a(1592,812) d(367) 
	 31 a(1592,812) a(1354,782) 
	 30 a(1592,812) a(1055,1297) 
	 31 r(875,870) a(2072,1128) 
	 31 r(367,366) r(417,1687) 
	 31 r(875,870) d(2131) 
	 31 r(367,366) d(1350) 
	 31 r(844,818) d(797) 
	 31 r(2063,2048) a(1425,926) 
	 31 r(844,818) d(1688) 
	 31 r(2063,2048) a(1758,1912) 
	 31 r(2105,1612) r(2085,1922) 
	 31 r(1407,1450) a(1963,2105) 
	 31 r(502,501) d(1887) 
	 31 d(1450) a(1833,1141) 
	 31 r(502,501) r(1597,1601) 
	 31 d(1450) d(1714) 
	  0 a(893,845) a(1805,1815) 
	 31 r(545,522) d(444) 
	  0 a(893,845) d(1693) 
	 31 r(545,522) a(1609,1127) 
	 31 d(1701) r(1814,1839) 
	 31 r(367,366) r(1312,1306) 
	 31 d(1701) a(425,394) 
	 31 r(367,366) d(720) 
	 31 r(2105,1612) a(378,926) 
	 31 d(483) d(1373) 
	 31 a(665,729) r(1802,1832) 
	 31 d(1450) a(1046,1419) 
	 31 d(1701) r(584,575) 
	  0 r(2063,2048) a(1663,1069) 
	 31 d(1701) d(371) 
	 31 r(2063,2048) d(2031) 
	 31 r(2063,2048) d(1572) 
	 31 a(1582,417) d(1039) 
	 31 r(2063,2048) d(1033) 
	 31 a(1582,417) d(1763) 
	 31 d(1701) d(696) 
	 31 r(1407,1450) d(488) 
	 31 d(1701) a(1319,2153) 
	  0 r(1407,1450) d(921) 
	 31 d(1451) d(1010) 
	 31 r(1961,2003) d(1098) 
	 31 d(1451) d(727) 
	 31 r(1961,2003) r(1509,1503) 
	 31 a(665,729) r(584,580) 
	 31 r(2105,1612) r(1063,1064) 
	 31 a(665,729) a(533,2050) 
	 31 r(2105,1612) a(1754,1918) 
	 31 r(1407,1450) a(2085,1942) 
	 31 a(665,729) r(1813,1887) 
	 31 a(665,729) d(2078) 
	 31 r(545,522) a(1096,1515) 
search: generation 2 (sizeof one variant = 0.401931 MB)
	 31 r(545,522) d(444) r(1597,1601) r(1760,1732) 
	 31 r(502,501) a(274,536) 
	 29 r(545,522) d(444) d(1021) 
	 31 r(502,501) r(1597,1601) r(373,377) 
	 31 d(1701) r(584,575) d(1074) 
	 31 a(665,729) r(1813,1887) d(859) 
	 31 d(483) d(2145) r(2062,1917) 
	 31 r(367,366) r(1312,1306) a(1363,1223) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) 
	 31 a(1592,812) d(838) 
	 31 a(665,729) a(533,2050) r(1678,390) 
	 31 a(1592,812) a(1354,782) r(1056,1055) 
	 31 d(1451) d(727) d(1393) 
	 31 a(582,2074) r(1329,1305) d(800) 
	 31 r(1648,1652) r(871,899) r(1566,1570) 
	 29 r(2105,1612) r(2085,1922) d(2125) 
	 31 d(483) r(534,524) r(2088,2021) 
	  0 r(2063,2048) d(1033) d(2174) 
	 31 r(875,870) d(2131) r(650,640) 
	 31 d(1451) d(727) r(1845,1817) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) 
	 31 r(441,464) a(2153,866) 
	 31 a(665,729) r(1813,1887) d(2015) 
	 28 r(441,464) r(1022,1014) r(1467,1478) 
	 31 d(483) r(534,524) d(1824) 
	 31 r(1407,1450) d(488) d(1681) 
	 31 a(665,729) d(2078) a(923,709) 
	 31 r(2105,1612) r(2085,1922) d(1094) 
	 31 a(665,729) d(2078) d(958) 
	 31 r(2105,1612) r(2085,1922) d(649) 
	 31 d(483) d(2145) r(924,923) 
	 31 r(844,818) d(1688) d(1041) 
	 31 r(502,501) a(2085,1942) r(410,465) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) 
	 31 r(502,501) r(1597,1601) r(1014,940) 
	 31 r(1407,1450) a(2085,1942) r(1088,1087) 
	 31 a(1582,417) d(1039) d(1772) 
	 31 a(1582,417) d(1039) d(552) 
	 31 a(665,729) d(2078) a(1425,926) d(1318) 
	  0 r(2063,2048) d(889) 
	 31 a(665,729) d(2078) a(452,1419) 
	 31 r(2063,2048) a(1425,926) r(863,891) 
	 31 a(665,729) d(2078) r(1825,1821) 
	 31 a(665,729) d(2078) r(581,582) 
	 31 r(502,501) d(1887) r(534,524) d(935) 
	 31 d(483) d(466) 
	 31 r(502,501) d(1887) d(1081) 
	 31 d(483) r(534,524) a(1054,536) 
	 30 r(1648,1652) d(958) r(2065,1926) 
	 31 r(844,818) d(797) d(894) 
	 31 r(2063,2048) a(1758,1912) d(805) 
	 31 a(665,729) a(533,2050) a(897,826) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) 
	 31 d(843) r(1652,1647) 
	 31 r(2105,1612) r(1773,1764) r(981,1017) 
	 31 d(843) d(552) r(1719,1740) 
search: generation 3 (sizeof one variant = 0.402477 MB)
	 31 r(502,501) d(1887) r(534,524) d(935) d(2032) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) a(1576,1918) 
	 30 r(2063,2048) a(1425,926) a(1354,782) r(798,806) r(1652,1655) 
	 30 a(665,729) a(533,2050) r(863,891) r(1507,1482) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1339,1375) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) r(917,920) 
	 31 d(843) r(1652,1647) a(588,1424) 
	 31 r(2063,2048) a(1425,926) r(1031,1032) 
	 30 a(665,729) r(1813,1887) r(1022,1014) d(382) r(863,891) a(2095,1912) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) 
	 29 a(665,729) r(1813,1887) r(1022,1014) d(382) a(1508,822) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) r(1636,1607) 
	 31 r(545,522) d(444) r(1597,1601) r(1760,1732) a(1850,704) 
	 31 r(441,464) a(2153,866) r(506,560) 
	 30 a(665,729) a(533,2050) r(1678,390) r(1598,2161) 
	 31 r(441,464) a(2153,866) d(2073) 
	 31 r(2063,2048) a(1758,1912) d(805) a(925,396) 
	 31 d(483) r(534,524) d(1824) d(1901) 
	 31 a(665,729) a(533,2050) a(897,826) a(1647,866) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) 
	 31 a(665,729) d(1887) r(534,524) d(935) d(1440) 
	  0 r(502,501) d(1887) r(534,524) d(935) r(900,875) 
	 31 a(665,729) r(1813,1887) d(2015) r(838,848) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) 
	 31 a(665,729) a(533,2050) a(897,826) d(2170) 
	 31 d(483) d(2145) r(924,923) d(2107) 
	 31 a(665,729) a(533,2050) a(897,826) r(366,361) 
	 31 a(665,729) d(2078) a(1425,926) d(1318) a(1346,396) 
	 31 r(844,818) d(1688) d(1041) d(387) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) r(1515,464) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) r(1088,1087) r(2049,1971) 
	 31 r(1407,1450) a(2085,1942) d(1479) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) r(1058,1057) 
	 31 r(1407,1450) a(2085,1942) r(1088,1087) r(589,595) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) r(604,605) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) 
	 31 r(1648,1652) r(871,899) d(2078) r(1825,1821) d(1948) 
	 31 a(665,729) r(1566,1570) a(1736,2153) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) 
	 31 a(665,729) d(2078) r(1825,1821) d(678) 
	 31 a(665,729) a(533,2050) r(1678,390) d(2157) 
	 31 a(665,729) r(1813,1887) d(859) r(1964,1922) 
	 31 a(665,729) a(533,2050) a(897,826) d(1508) 
	 31 a(665,729) d(2078) r(581,582) d(704) 
	 31 a(665,729) d(2078) r(581,582) a(450,1288) 
	 31 a(665,729) a(533,2050) a(897,826) d(1662) 
	 31 r(2063,2048) a(1758,1912) d(805) r(1605,1619) 
	 30 d(483) d(2145) r(2062,1917) d(1082) 
	 31 a(665,729) r(1813,1887) d(2015) d(1311) 
	 31 d(1451) d(727) d(1393) d(740) 
	 31 a(665,729) d(2078) a(923,709) d(427) 
	 31 d(483) d(466) r(1352,1342) 
search: generation 4 (sizeof one variant = 0.403135 MB)
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1598,506) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(920) 
	 31 r(441,464) a(2153,866) d(2073) r(2147,2131) 
	 31 a(665,729) r(1813,1887) d(2015) r(838,848) r(1670,896) 
	 31 a(665,729) d(2078) r(581,582) a(450,1288) d(906) 
	 31 r(2063,2048) a(1758,1912) d(805) a(925,396) d(2074) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) r(1515,464) a(1045,925) 
	 31 r(441,464) a(2153,866) d(2073) r(500,411) 
	 31 d(1451) d(727) d(1393) d(740) d(1564) 
	 31 r(441,464) a(2153,866) d(2073) d(1294) 
	 31 d(1451) d(727) d(1393) d(740) d(2119) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(1695) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) r(1515,464) d(771) 
	 31 r(2063,2048) d(1638) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) r(1636,1607) a(1758,1912) d(805) a(925,396) r(656,658) 
	 31 r(2063,2048) a(1758,1912) d(805) a(925,396) d(1656) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) r(1636,1607) a(1426,1457) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) r(1636,1607) d(787) 
	 31 a(665,729) r(1813,1887) d(2015) r(838,848) r(1374,1373) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1339,1375) a(1501,812) 
	 31 r(844,818) d(1688) d(1041) d(387) a(2003,1952) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) r(1088,1087) r(2049,1971) r(785,803) 
	 31 r(441,464) a(2153,866) d(2073) a(483,907) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) 
	 30 d(483) d(2145) r(924,923) r(1666,1505) d(1474) 
	 30 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(867,826) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(469) 
	 31 a(665,729) d(2078) r(581,582) d(704) d(880) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) 
	 31 a(665,729) a(533,2050) a(897,826) r(366,361) r(1737,1757) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) r(863,891) a(2095,1912) r(1505,1512) 
	 30 a(665,729) d(2078) r(581,582) r(604,605) d(819) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) a(450,1288) d(415) 
	 30 a(665,729) d(2078) r(581,582) a(450,1288) d(774) 
	 31 r(2105,1612) r(1773,1764) d(552) d(1888) r(604,605) d(1050) 
	 31 a(665,729) d(2078) d(1887) r(534,524) d(935) d(1440) a(594,451) 
	 31 a(665,729) r(581,582) d(704) d(1488) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) 
	 31 a(665,729) d(1887) r(534,524) d(935) d(1440) r(2082,1970) 
	 31 a(665,729) r(1813,1887) d(859) r(1964,1922) r(1842,1786) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) a(2029,2050) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) d(2143) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1506,1484) 
	 31 d(1451) d(727) d(1393) d(740) d(2131) r(650,640) r(818,814) a(778,1335) 
	 31 r(875,870) d(668) 
	 30 d(1451) d(727) d(1393) d(740) r(1583,1570) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) 
	 31 a(665,729) a(923,709) d(427) d(1515) 
	 31 a(665,729) d(2078) d(2078) a(923,709) d(427) r(2073,1997) 
	 31 a(665,729) d(2078) a(923,709) d(427) d(899) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(915,913) 
search: generation 5 (sizeof one variant = 0.405348 MB)
	 30 a(665,729) a(923,709) d(427) d(1515) a(1510,1504) 
	 31 a(665,729) d(2078) r(581,582) d(704) d(880) r(2022,2019) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) 
	 31 r(441,464) a(923,709) r(811,814) a(973,2095) a(585,581) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) d(1926) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) 
	 31 a(665,729) d(2078) d(1887) r(534,524) d(935) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(1399) 
	 31 a(665,729) d(1440) a(594,451) r(1397,901) 
	 31 a(665,729) d(2078) d(1887) r(534,524) d(935) d(1440) a(594,451) d(1301) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(920) r(484,410) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) r(775,785) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) r(1532,1555) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(920) r(1725,1755) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(2078) a(923,709) d(427) r(1598,506) d(769) 
	 31 a(665,729) d(469) r(557,549) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(469) r(919,918) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1598,506) a(1050,1424) 
	 31 a(665,729) d(2078) a(923,709) d(427) d(899) r(798,806) d(453) r(441,424) r(635,623) 
	 31 a(665,729) a(533,2050) a(1354,782) a(1094,1515) 
	 31 a(665,729) d(2078) a(923,709) d(427) d(899) a(650,1335) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(1457) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(469) d(1886) 
	 31 r(441,464) a(2153,866) d(2073) a(483,907) d(1718) 
	 31 a(665,729) d(2078) a(923,709) r(1964,1922) r(1842,1786) d(1033) 
	 31 a(665,729) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1506,1484) r(385,375) 
	 31 a(665,729) r(1813,1887) d(859) r(1964,1922) r(1842,1786) r(1001,1199) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) r(863,891) r(540,536) d(614) r(846,876) 
	 31 r(2063,2048) a(1425,926) d(1097) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) r(487,1977) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) d(609) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(1695) r(1421,1437) 
	 31 a(665,729) r(1813,1887) r(1022,1014) d(382) r(1515,464) d(771) d(1662) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(863,891) r(540,536) d(614) a(1041,2112) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) 
	 30 a(665,729) d(2078) a(923,709) r(811,814) d(2143) r(822,2151) 
	 31 r(1407,1450) r(1597,1601) r(1514,1512) r(1636,1607) a(1758,1912) d(805) a(925,396) r(656,658) a(974,1918) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) 
	 31 d(1451) d(727) d(1393) d(740) r(1583,1570) a(1747,844) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) d(2078) a(923,709) r(811,814) a(973,2095) d(981) 
	 30 a(665,729) d(923) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) a(977,587) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) r(1043,1894) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(1487,1514) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) 
	 31 a(665,729) d(2078) d(2078) a(923,709) d(427) r(2073,1997) r(1744,1751) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) r(1598,506) r(1275,1280) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) a(756,1257) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1598,506) d(537) 
	 31 d(1451) d(727) d(1393) d(740) d(1564) r(483,466) 
	 31 d(1451) d(727) d(1393) d(740) d(2119) d(1902) 
	 31 d(1451) d(727) d(1393) d(740) d(2119) d(1418) 
	 29 d(1451) d(727) d(1393) d(740) d(1564) d(407) 
	 31 a(665,729) d(2078) d(2078) a(923,709) a(2153,866) d(2073) r(540,536) r(1300,436) d(1973) 
	 31 r(441,464) d(427) r(2073,1997) d(552) 
	 30 a(665,729) d(2078) d(2078) a(923,709) d(427) r(2073,1997) r(1074,1077) 
	 30 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(811,814) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) a(2029,2050) a(1842,1576) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(1609) 
search: generation 6 (sizeof one variant = 0.406131 MB)
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(920) r(484,410) d(1997) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) d(2078) a(923,709) r(811,814) a(973,2095) d(981) d(1358) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) 
	 30 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) d(1609) d(1659) 
	 30 d(483) d(2145) r(924,923) r(1666,1505) d(469) d(1886) a(2090,866) 
	 30 d(1451) d(727) d(1393) d(740) d(2119) d(1418) d(592) 
	 30 a(665,729) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) r(814,819) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) 
	 31 a(665,729) d(469) r(557,549) a(1691,1334) 
	 31 a(665,729) d(2078) a(923,709) d(427) d(899) a(650,1335) d(726) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) r(1335,1768) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1506,1484) r(385,375) d(1053) 
	 31 a(665,729) a(533,2050) a(1354,782) a(1094,1515) d(1097) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(469) r(919,918) d(610) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) r(703,706) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) d(1926) r(731,727) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) 
	 31 d(1451) d(727) d(1393) d(740) d(1564) r(483,466) r(460,435) 
	 31 r(441,464) a(2153,866) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) d(1328) 
	 31 a(665,729) d(2073) r(540,536) r(1300,436) a(1487,1514) d(970) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(1487,1514) r(926,1335) 
	 31 a(665,729) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) r(1944,1159) 
	 31 a(665,729) d(2078) a(923,709) r(811,814) a(973,2095) d(1926) a(1506,511) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) r(1824,1851) 
	 31 a(665,729) d(2078) d(1887) r(534,524) d(935) d(1440) a(594,451) d(1301) r(1484,612) 
	  0 a(665,729) d(2078) d(1887) r(534,524) d(935) d(1440) a(594,451) d(1301) r(889,842) 
	  0 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) r(2113,2125) 
	 31 r(2063,2048) a(1425,926) r(581,582) d(704) r(802,798) d(917) d(1729) 
	 31 a(665,729) d(2078) r(863,891) r(540,536) d(614) a(726,844) r(1304,1324) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) d(866) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) 
	 31 r(2063,2048) d(1515) d(462) a(779,790) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(565) 
	  0 a(665,729) a(923,709) d(427) d(1515) d(462) r(1063,1064) 
	 31 a(665,729) d(427) a(970,928) d(1758) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) 
	 31 a(665,729) d(1440) a(594,451) r(1397,901) d(1772) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) 
	 31 a(665,729) d(469) r(557,549) d(1476) 
	 31 a(665,729) d(2078) d(2078) a(923,709) a(2153,866) d(2073) r(540,536) r(1300,436) d(1973) d(2051) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(590) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(2019) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(1634,1623) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1843) r(1598,506) r(1275,1280) r(453,465) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(441,424) a(810,820) a(1623,1589) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) r(540,551) 
	 30 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) r(1598,506) r(1275,1280) a(1759,865) 
search: generation 7 (sizeof one variant = 0.406948 MB)
	 30 a(665,729) d(2078) d(2078) a(923,709) r(811,814) a(973,2095) d(981) d(1358) r(1525,649) 
	 30 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) d(2078) a(923,709) a(2153,866) d(2073) r(540,536) r(1300,436) d(1973) d(2051) r(1032,1031) 
	 30 a(665,729) d(2078) d(2078) a(923,709) a(2153,866) d(2073) r(540,536) r(1300,436) d(1973) d(2051) d(1477) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) d(2078) a(923,709) r(811,814) a(973,2095) d(981) d(1358) r(2066,1967) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) r(1598,506) r(1275,1280) a(1759,865) r(441,424) a(810,820) a(1623,1589) r(1630,1618) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(1580,1564) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) d(1843) r(1598,506) r(1275,1280) a(1759,865) a(1483,1647) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1074,1075) 
	 31 a(665,729) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) r(1944,1159) d(821) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1474) r(1800,1909) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1843) r(1598,506) r(1275,1280) r(453,465) r(696,723) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1843) r(1598,506) r(1275,1280) r(453,465) r(582,579) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) r(1366,1374) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) r(802,798) r(430,435) r(641,658) r(1514,1512) 
	 30 r(2063,2048) a(1425,926) a(2065,2072) d(450) r(1651,1654) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) a(458,1638) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) a(811,443) 
	 31 a(665,729) r(1813,1887) d(859) d(427) r(1506,1484) r(2030,2022) r(1944,1159) d(2077) 
	  0 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(1690,1669) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) 
	 31 r(875,870) d(2131) r(650,640) r(818,814) a(625,1038) d(2078) a(923,709) r(811,814) a(973,2095) d(981) d(1358) d(594) 
	 31 r(2063,2048) a(1425,926) r(581,582) d(704) r(802,798) d(917) d(1729) d(841) 
	 31 d(483) d(2145) r(924,923) r(1666,1505) d(469) r(919,918) d(610) r(890,848) 
	 31 a(665,729) d(2078) a(923,709) d(427) r(1506,1484) r(385,375) d(1053) r(1504,1503) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) a(2160,487) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) d(1073) 
	 30 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) r(1335,1768) d(2148) 
	 31 r(502,501) r(1813,1887) r(1824,1851) r(696,684) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) 
	 31 r(502,501) r(1813,1887) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) a(624,487) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) r(1824,1851) r(383,376) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) d(727) 
	 30 d(1451) d(727) d(1393) d(740) d(1564) r(483,466) r(460,435) a(1961,1288) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(923,911) 
	 31 d(1451) d(727) d(1393) d(740) d(1564) r(483,466) r(460,435) a(912,2168) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) d(462) d(1785) r(653,649) 
	 31 a(665,729) a(923,709) d(427) r(430,435) r(1634,1623) a(1055,1038) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(1634,1623) r(1428,1557) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) r(1772,1718) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(2015,2083) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) 
	 31 a(665,729) d(2078) r(581,582) r(641,658) r(2053,1981) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(704) r(802,798) d(917) r(1083,1069) r(2131,1079) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) d(1023) 
	 31 r(441,464) r(1075,1336) a(630,2150) d(1531) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(1755,1718) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(1421,1424) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(2173,2172) 
	 30 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(441,424) a(810,820) a(1623,1589) d(1699) 
search: generation 8 (sizeof one variant = 0.407324 MB)
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) r(1662,1616) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) d(2024) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) a(1398,1128) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(1580,1564) a(689,723) 
	  0 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) d(1073) r(900,892) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(430,435) a(817,1521) a(662,586) d(1472) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(1003,947) a(756,553) r(2066,1951) r(2129,2128) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(1033) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) a(1448,1765) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(1779) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) a(811,443) d(756) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) d(820) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) d(2083) 
	 31 a(665,729) d(2078) r(581,582) r(641,658) r(2053,1981) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(1784,586) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) a(524,1137) 
	 31 a(665,729) d(2078) r(581,582) r(641,658) r(2053,1981) a(820,1246) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(2169,427) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(2015,2083) r(1477,1468) 
	 31 r(441,464) a(2153,866) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) r(1904,1905) 
	 31 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) d(1045) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(2015,2083) r(1061,1062) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(921,1573) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(2060,1484) 
	 31 a(665,729) a(923,709) d(427) r(430,435) r(1634,1623) a(1055,1038) d(459) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) d(727) a(644,1132) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) d(727) a(802,806) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(2148) d(2147) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) r(1335,1768) r(565,526) 
	 30 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) r(725,730) 
	 30 r(2063,2048) a(1425,926) r(863,891) r(540,536) d(614) a(726,844) r(1335,1768) d(2148) r(879,889) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(1064,1063) 
	 30 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) r(641,658) r(1772,1718) r(1958,1938) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) r(1772,1718) a(2082,1334) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(676,699) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) d(462) r(1616,1597) a(2065,2072) d(450) d(2081) d(1292) 
	 31 r(2063,2048) a(1425,926) r(863,891) d(1785) r(653,649) d(573) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) d(462) d(1785) r(653,649) d(1488) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) r(1755,1718) d(1906) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(1755,1718) a(1696,1038) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1571,1341) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) d(665) 
	  0 a(665,729) d(2078) d(1688) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) d(1697) 
	 30 a(665,729) d(2078) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) a(1292,1437) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1474) r(1800,1909) a(2160,487) d(801) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) a(2160,487) a(361,1001) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1474) r(1800,1909) d(431) 
	 31 r(502,501) r(1813,1887) r(1824,1851) r(696,684) r(1288,1290) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) d(2173) 
	 31 a(665,729) d(1785) a(1430,1463) r(2141,2143) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) d(1510) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) d(394) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) d(1527) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) 
	 30 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) r(430,435) r(1634,1623) a(1055,1038) d(781) 
	 31 a(665,729) a(923,709) d(427) r(430,435) r(1634,1623) a(1055,1038) d(779) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) a(458,1638) r(957,1019) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) d(1449) 
search: generation 9 (sizeof one variant = 0.40764 MB)
	 30 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) r(1516,1500) a(1609,1257) 
	 30 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) d(1311) r(1516,1500) r(1500,1497) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) d(1558) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) a(864,830) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(846) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) r(1755,1718) d(1906) d(1518) 
	 31 a(665,729) a(923,709) d(427) r(430,435) r(1634,1623) a(1055,1038) d(779) d(2127) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(2050) 
	 30 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) a(1684,1670) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) a(1030,427) a(2060,1484) a(1835,424) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(2060,1484) r(982,944) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) r(1510,1484) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) a(1448,1765) r(1075,1336) a(630,2150) a(530,926) a(2169,427) r(560,567) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) d(1917) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) a(1448,1765) d(1418) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(2169,427) a(1757,1918) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1474) r(1800,1909) a(2160,487) d(801) r(804,801) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) a(1570,1557) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) r(723,688) 
	 31 a(665,729) a(662,586) d(2083) r(587,1347) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(662,586) d(2083) a(2006,2066) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) r(740,769) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) d(665) a(1093,1764) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) r(813,811) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) d(2173) d(1624) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) 
	 31 a(665,729) a(923,709) d(427) d(1515) d(462) d(1785) a(1430,1463) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) r(1662,1616) d(378) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) a(811,443) d(756) r(409,468) 
	 31 a(665,729) d(2078) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) r(485,447) 
	 31 a(665,729) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(2060,1484) d(1938) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(2060,1484) r(2133,2148) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) a(435,1043) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) d(380) 
	 30 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) d(665) r(1562,1555) 
	 30 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(2153,866) d(2073) r(540,536) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) a(1002,970) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) a(1362,1355) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(2153,866) d(2073) r(540,536) r(1300,436) d(1628) d(2015) r(764,762) a(2029,2050) a(1842,1576) a(1606,911) r(1052,1046) d(665) a(1285,1299) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) r(1632,1598) 
	 30 a(665,729) d(2078) r(581,582) r(641,658) r(2053,1981) a(820,1246) r(1011,1013) 
	 30 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) d(727) a(802,806) r(2122,2126) 
	 31 a(665,729) d(2078) r(581,582) r(641,658) r(2053,1981) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(1784,586) a(1469,872) 
	 31 r(502,501) r(1813,1887) r(1824,1851) r(696,684) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) r(1094,1093) 
	 31 a(665,729) d(2078) a(923,709) d(1440) r(1288,1290) r(798,790) 
	 31 r(502,501) r(1813,1887) r(1824,1851) r(696,684) r(1288,1290) a(2126,1141) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) a(651,417) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(1574,1559) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(2148) d(2147) r(798,806) d(453) r(1580,1564) a(689,723) a(1536,1555) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(798,806) d(453) r(1580,1564) a(689,723) d(1598) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(2148) d(2147) r(1569,1519) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) a(458,1638) r(957,1019) r(430,435) r(641,658) r(1772,1718) a(2082,1334) r(1420,1414) 
	 31 r(2063,2048) a(1425,926) r(802,798) a(1348,626) 
	  0 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) a(458,1638) r(957,1019) r(833,866) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) r(641,658) r(1772,1718) a(2082,1334) d(909) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(676,699) r(652,649) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) r(1622,1606) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) a(1633,1635) 
	 31 r(2063,2048) d(462) r(1616,1597) a(2065,2072) d(450) d(2081) d(1292) r(1304,1324) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) d(462) r(1616,1597) a(2065,2072) d(450) d(2081) d(1292) r(1583,1558) 
	 30 r(2063,2048) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) d(1080) 
search: generation 10 (sizeof one variant = 0.408953 MB)
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) a(1633,1635) r(737,762) 
	 31 r(2063,2048) a(1425,926) r(802,798) a(1348,626) a(1556,1301) 
	 31 a(665,729) a(923,709) d(427) d(450) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) d(1478) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(458,1638) r(1335,1606) r(1632,1598) r(2088,2044) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) r(1632,1598) r(982,965) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) r(1352,1347) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(2169,427) a(1757,1918) a(1976,1333) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(2148) d(2147) r(1569,1519) r(563,561) 
	 31 r(2063,2048) a(1425,926) r(863,891) r(540,536) a(2128,1764) r(1003,947) a(756,553) r(2066,1951) d(2148) d(2147) r(1569,1519) d(1078) 
	 30 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) a(530,926) a(2169,427) a(1757,1918) d(1953) 
	 29 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) a(1570,1557) r(1508,1514) 
	 31 a(665,729) a(923,709) d(427) a(1425,926) r(863,891) a(1030,427) a(2060,1484) a(1835,424) r(1651,1649) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) r(1632,1598) r(1099,1100) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(2050) d(1417) 
	 31 a(665,729) a(533,2050) a(1354,782) d(1474) r(1800,1909) a(2160,487) d(801) r(804,801) d(1785) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) a(1362,1355) r(431,465) 
	 31 a(665,729) a(923,709) d(2050) a(1957,1069) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(427) d(450) a(458,1638) r(1335,1606) r(813,811) r(1323,1318) 
	 31 a(665,729) a(923,709) d(427) d(450) a(458,1638) r(1335,1606) r(813,811) d(526) 
	 30 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(2050) d(923) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) a(750,911) a(1030,427) d(1020) a(1570,1557) d(947) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) d(2050) a(2160,1001) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(2050) a(1373,1912) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) a(1570,1557) r(1975,1974) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) a(770,756) 
	 30 a(665,729) d(453) r(441,424) a(810,820) d(872) d(778) a(676,699) r(652,649) a(921,1332) 
	 30 r(2063,2048) a(1425,926) r(802,798) r(430,435) d(453) r(441,424) a(810,820) d(872) d(778) a(676,699) r(652,649) r(1637,860) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) a(957,1419) 
	 31 a(665,729) d(2078) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(864,830) d(1513) 
	 30 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) r(485,447) d(1601) 
	 31 a(665,729) d(2078) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) r(485,447) d(1579) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) a(864,830) d(1647) 
	 31 r(441,464) a(2153,866) d(2073) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) a(1502,586) 
	 31 a(665,729) d(2078) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) d(1917) d(1598) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) d(1917) d(869) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) d(467) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) a(2153,866) d(2073) r(540,536) r(1300,436) d(1917) a(2129,822) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) a(1521,542) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) r(723,688) d(2134) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) r(1557,1584) 
	 31 r(2063,2048) a(1425,926) r(802,798) r(430,435) a(817,1521) a(923,709) d(427) a(1425,926) r(863,891) r(540,536) d(614) d(609) d(1474) a(838,1300) d(2118) r(723,688) r(1568,1518) 
	 31 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) a(981,977) 
	 31 r(2063,2048) a(1425,926) r(802,798) a(1348,626) d(741) 
	 31 r(2063,2048) d(462) r(1616,1597) a(2065,2072) d(450) d(2081) d(1292) r(1304,1324) a(726,667) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(1633,1635) a(743,925) 
	 31 r(2063,2048) a(1425,926) r(802,798) d(1515) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) d(787) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) d(1985) d(888) 
	 30 r(2063,2048) a(1425,926) r(802,798) d(1515) a(1425,926) r(863,891) r(1616,1597) a(2065,2072) d(450) d(2081) d(818) a(1633,1635) d(2148) 
	 31 a(665,729) d(2078) r(581,582) d(704) a(810,820) a(1623,1589) d(1282) a(1326,1281) a(1362,1355) a(898,1419) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) d(1558) a(889,841) 
	 31 a(665,729) d(2078) r(581,582) d(704) r(802,798) d(917) r(1083,1069) d(1311) r(1516,1500) d(1558) r(812,373) 
	 31 r(441,464) a(2153,866) d(2073) r(540,536) r(1300,436) r(1075,1336) a(630,2150) d(453) r(441,424) a(810,820) a(1623,1589) d(1282) a(1326,1281) a(1362,1355) d(922) 
	 30 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(2050) d(1592) 
	 30 a(665,729) d(2078) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) a(970,928) a(2029,868) r(1346,597) d(1617) r(485,447) d(1904) 
	 31 a(665,729) d(2078) a(923,709) d(1440) a(594,451) r(1397,901) a(750,911) a(1030,427) d(1020) a(1570,1557) a(1725,1744) 
	 30 a(665,729) d(2078) a(923,709) d(427) a(970,928) a(2029,868) r(1346,597) a(808,1333) r(709,786) d(2131) 
	 31 r(502,501) r(1813,1887) r(1824,1851) r(696,684) r(1288,1290) a(2126,1141) d(819) 
	 31 r(1648,1652) r(871,899) r(1566,1570) r(1379,1375) r(1574,1559) r(1026,1025) 
	 31 a(665,729) a(533,2050) a(1354,782) r(798,806) d(453) r(441,424) a(810,820) d(422) r(737,744) d(846) r(1027,1028) 
	 31 r(2063,2048) a(1425,926) r(802,798) a(1348,626) r(528,510) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20248
"Test Suite Evaluations": 64.2794

Compile Failures: 0
Wall-Clock Seconds Elapsed: 35319
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             634 838.578 = 2.50902%
  test                              20559 32583.772 = 97.4904%
  TOTAL                                   33422.556 = 94.6305% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 03:52:11 EDT 2013
shutting down
