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 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-184-48-91 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:01:54 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp6ebd73.c /tmp/tmpb3c06a.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 = 385.592)
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.0252562 MB)
	 31 r(957,969) 
	  0 r(921,922) 
	 31 r(1028,1027) 
	 31 r(465,457) 
	 31 d(1051) 
	 31 r(468,452) 
	 31 d(1414) 
	 30 r(1658,1638) 
	 31 r(1074,1083) 
	 31 a(1625,1912) 
	 31 a(1506,1484) 
	 31 d(964) 
	 31 r(2025,2053) 
	 31 d(562) 
	 31 d(556) 
	 31 d(759) 
	 31 a(1021,569) 
	 31 r(742,760) 
	 31 d(1938) 
	 31 r(1397,769) 
	 31 d(568) 
	 31 r(1800,1844) 
	 31 d(1073) 
	 31 a(2148,885) 
	 31 r(1040,1051) 
	 31 r(521,561) 
	 31 d(2002) 
	 31 a(1918,2153) 
	 31 d(1812) 
	 31 r(1919,2079) 
	 30 d(2161) 
	 31 a(438,446) 
	 31 d(910) 
	 31 r(1636,2016) 
	 31 d(1843) 
	 31 r(1855,1903) 
	 31 r(1089,1090) 
	 31 a(629,1647) 
	 31 d(1515) 
	 31 original
search: generation 1 (sizeof one variant = 0.400791 MB)
	 31 d(1051) r(568,527) 
	 31 r(1636,2016) a(892,1274) 
	 31 d(1051) r(867,864) 
	 31 r(1636,2016) d(2145) 
	 31 a(2148,885) a(895,842) 
	 31 d(1843) r(1348,1354) 
	 31 a(2148,885) r(1449,1452) 
	 31 d(1843) r(423,441) 
	 31 a(2148,885) r(1031,1032) 
	  0 d(1843) r(2174,2170) 
	 31 r(2025,2053) d(1563) 
	 31 r(1397,769) d(1501) 
	 31 d(562) r(1974,1944) 
	 31 d(568) r(650,658) 
	 31 a(1625,1912) d(846) 
	 31 a(629,1647) r(474,427) 
	 31 a(1506,1484) r(528,558) 
	 31 r(2025,2053) a(2035,424) 
	 31 a(1506,1484) a(1813,2134) 
	 31 r(2025,2053) d(2170) 
	 31 d(2002) a(653,653) 
	 30 r(2025,2053) d(2147) 
	 31 r(1040,1051) d(1505) 
	  0 d(964) d(1688) 
	 30 r(1040,1051) d(894) 
	 31 d(964) a(2033,1422) 
	 31 d(1843) d(2066) 
	 31 r(2025,2053) a(1445,1223) 
	 31 d(1843) r(720,697) 
	 31 r(2025,2053) d(1631) 
	 31 d(2161) d(2146) 
	 31 r(957,969) r(1033,1034) 
	 31 d(2161) r(1842,1839) 
	 31 r(957,969) d(555) 
	 31 r(2025,2053) a(819,844) 
	 31 d(1843) r(1888,1833) 
	 31 r(2025,2053) a(1681,1132) 
	 31 d(1843) a(1800,1804) 
	 31 r(465,457) r(756,759) 
	 31 d(1414) d(619) 
	 31 d(1414) d(2112) 
	 31 r(465,457) d(2062) 
	 31 d(1414) a(530,1437) 
	 30 r(465,457) d(2142) 
	 31 d(1073) r(885,578) 
	 31 r(1074,1083) r(2070,2026) 
	 31 d(1073) a(1665,1663) 
	 31 r(1074,1083) d(1014) 
	 31 r(465,457) d(1670) 
	 29 d(1073) a(1574,1430) 
	 31 r(465,457) d(767) 
	 30 d(1073) d(1692) 
	 31 d(964) d(1511) 
	 31 d(562) d(1657) 
	 31 a(629,1647) a(864,928) 
	 31 d(1414) d(1802) 
	  0 a(629,1647) d(901) 
	 31 d(1414) r(1364,1386) 
	 31 d(910) d(1011) 
	 31 r(1800,1844) a(1916,1469) 
	 30 r(1397,769) d(637) 
	 31 r(1855,1903) d(1616) 
search: generation 2 (sizeof one variant = 0.401806 MB)
	 31 a(2148,885) r(1449,1452) r(932,1022) 
	 31 r(465,457) d(2062) d(1041) 
	 29 a(2148,885) r(1449,1452) r(1425,586) 
	 31 r(465,457) d(2062) r(741,760) 
	 29 r(1040,1051) d(894) r(1616,1634) 
	 31 d(1414) r(1364,1386) a(1478,866) 
	 31 d(1843) a(1800,1804) a(1624,1123) 
	 31 d(964) a(2033,1422) a(1403,1419) 
	 31 d(964) d(1511) a(855,1334) 
	 31 r(2025,2053) d(2170) d(532) 
	 31 a(1506,1484) r(528,558) a(1622,1299) 
	 31 r(1074,1083) r(2070,2026) d(756) 
	  0 r(2025,2053) d(1563) r(880,845) 
	 29 r(1074,1083) r(2070,2026) a(588,866) 
	 31 r(2025,2053) d(1563) r(2114,2129) 
	 31 r(1074,1083) r(2070,2026) r(736,742) 
	 31 r(2025,2053) d(1563) r(1338,1342) 
	 31 a(1506,1484) r(528,558) r(653,657) 
	 31 d(1843) r(1348,1354) d(841) 
	 30 r(1074,1083) r(2070,2026) r(588,614) 
	 31 d(1843) r(1348,1354) d(550) 
	 31 r(1074,1083) r(2070,2026) d(527) 
	 31 d(1414) d(1802) r(1060,1059) 
	 31 r(1074,1083) d(1014) r(1698,1699) 
	 31 r(465,457) d(767) r(2145,2141) 
	 31 a(629,1647) a(864,928) d(589) 
	 31 a(1625,1912) d(846) d(1397) 
	 31 r(1397,769) d(1501) d(1274) 
	 31 d(568) r(650,658) a(1067,782) 
	 31 r(1800,1844) a(1916,1469) a(584,2168) 
	 31 d(1843) r(1348,1354) d(1563) d(851) 
	 31 r(2025,2053) d(817) 
	 31 d(1843) r(1348,1354) d(978) 
	 31 r(2025,2053) d(1563) d(1279) 
	 31 r(465,457) r(756,759) a(635,1468) 
	 31 a(629,1647) a(864,928) r(1681,1685) 
	 31 d(2161) r(1842,1839) d(703) 
	 31 d(1051) r(568,527) r(785,808) 
	 31 d(1414) d(2112) a(1097,1572) 
	 31 a(2148,885) a(895,842) d(2032) 
	 31 d(1414) d(2112) r(597,591) 
	 31 a(2148,885) a(895,842) r(1668,1684) 
	 31 d(1414) a(530,1437) a(2163,865) 
	 31 a(1506,1484) r(528,558) r(1350,1346) 
	 31 d(1843) r(1888,1833) d(1908) 
	 31 d(1843) r(423,441) a(620,1132) 
	 31 d(1051) r(867,864) a(888,511) 
	 31 r(2025,2053) d(1563) d(2028) 
	 31 d(1051) r(867,864) a(1440,1398) 
	 31 r(1074,1083) d(1014) r(1650,1659) 
search: generation 3 (sizeof one variant = 0.402621 MB)
	 31 a(629,1647) d(1622) 
	 31 a(2148,885) r(1449,1452) r(932,1022) a(864,928) d(589) d(480) 
	 31 a(629,1647) a(864,928) d(589) r(1097,1098) 
	 31 a(2148,885) r(1449,1452) r(932,1022) r(2089,1926) 
	 31 d(1843) r(1348,1354) d(1563) d(851) d(1657) 
	 31 d(2161) r(1842,1839) d(703) a(2144,2132) 
	 31 r(1074,1083) a(1624,1123) d(1859) 
	  0 d(1843) a(1800,1804) d(1014) r(1698,1699) r(1687,1689) 
	 31 r(1074,1083) d(1014) r(1698,1699) a(1801,1787) 
	 31 d(1843) a(1800,1804) a(1624,1123) d(1066) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) 
	 31 d(1414) r(2070,2026) r(736,742) r(630,634) 
	 31 r(1074,1083) r(2070,2026) r(736,742) r(709,1905) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) 
	 31 a(2148,885) a(895,842) d(2032) r(1927,1988) 
	 31 r(465,457) d(2062) d(1041) a(667,925) 
	 31 d(1051) r(867,864) a(1440,1398) d(411) 
	  0 a(1506,1484) r(528,558) r(1350,1346) d(2175) 
	 31 r(2025,2053) d(1563) d(2028) r(879,842) 
	 31 d(1843) a(1800,1804) d(450) 
	 31 a(2148,885) a(895,842) d(2032) a(1624,1123) a(2133,422) 
	 31 d(1843) a(1800,1804) a(1624,1123) d(932) 
	 31 a(2148,885) a(895,842) d(2032) r(1647,869) 
	 31 a(2148,885) r(1449,1452) d(2028) d(1558) 
	 31 r(2025,2053) d(1563) r(932,1022) r(781,794) 
	 31 a(2148,885) r(1449,1452) r(932,1022) d(1584) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) 
	 31 d(1843) d(527) r(376,374) 
	 30 r(1074,1083) r(2070,2026) r(423,441) a(620,1132) a(1980,1981) 
	  1 d(1843) r(423,441) a(620,1132) r(900,860) 
	 31 r(1074,1083) r(2070,2026) d(527) a(1077,872) 
	 31 r(2025,2053) d(407) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) 
	 31 r(2025,2053) d(1563) r(2114,2129) a(970,1016) 
	 31 d(568) r(650,658) a(1067,782) d(1043) 
	 31 r(1074,1083) r(801,805) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) 
	 31 r(1074,1083) d(1014) r(1698,1699) d(672) 
	 31 d(964) d(1511) a(855,1334) r(1478,1467) 
	 31 r(1074,1083) r(2070,2026) d(527) d(1321) 
	 31 r(2025,2053) d(1563) d(1279) r(2015,1987) 
	 31 r(465,457) d(575) 
	 31 a(1625,1912) d(846) d(1397) r(756,759) a(635,1468) d(898) 
	 31 r(465,457) r(756,759) a(635,1468) d(1070) 
	 31 a(1625,1912) d(846) d(1397) d(848) 
	 29 r(1074,1083) d(1014) r(1650,1659) d(2049) 
	 31 d(1051) r(867,864) a(1440,1398) r(720,698) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) 
	 31 r(1074,1083) r(2070,2026) d(527) d(1838) 
	 30 r(1074,1083) d(1014) r(1650,1659) r(1747,1706) 
	 31 d(964) d(1501) d(1274) d(1096) 
	 31 r(1397,769) d(1511) a(855,1334) d(1624) 
	 31 d(964) d(1511) a(855,1334) a(1091,417) 
	 31 r(1397,769) d(1501) d(1274) d(879) 
	 31 r(465,457) r(756,759) a(635,1468) a(1974,2031) 
	 29 r(465,457) d(2062) d(1041) d(681) 
	 30 r(465,457) r(756,759) a(635,1468) r(679,1995) 
	 31 r(465,457) d(2062) d(1041) d(2164) 
	 31 a(1506,1484) r(528,558) a(1622,1299) d(730) 
	 30 d(2161) r(1842,1839) d(703) d(1473) 
search: generation 4 (sizeof one variant = 0.403487 MB)
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) 
	  0 r(1074,1083) d(1014) r(1698,1699) a(1801,1787) r(1690,1688) 
	  0 a(2148,885) r(1449,1452) r(932,1022) a(864,928) d(589) d(480) a(1551,1075) 
	  1 a(1625,1912) d(846) d(1397) r(756,759) a(635,1468) d(898) r(1501,1496) 
	 31 d(964) d(1511) a(855,1334) a(1091,417) a(944,1764) 
	 30 d(2161) r(1842,1839) d(703) a(2144,2132) d(671) 
	 31 d(964) d(1511) r(756,759) a(635,1468) a(1393,1787) a(1664,1646) 
	 30 r(465,457) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1351,1349) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1747,1732) 
	 30 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) 
	 30 r(1074,1083) r(2070,2026) a(569,427) r(787,803) 
	 31 d(1414) a(530,1437) a(2163,865) d(527) d(1838) d(813) 
	 31 r(1074,1083) r(2070,2026) d(527) d(1838) a(571,1346) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) a(1508,865) 
	 31 r(465,457) r(756,759) a(635,1468) a(1974,2031) d(1659) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) 
	 31 d(1051) r(867,864) a(1440,1398) r(725,702) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(720,698) a(1510,888) 
	 31 d(1051) r(867,864) a(1440,1398) r(720,698) r(1732,1778) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(1645,1648) 
	  0 a(629,1647) d(1397) d(848) r(922,921) 
	 31 a(1625,1912) d(846) a(864,928) d(589) r(1761,1706) d(549) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) a(411,449) 
	 31 a(1625,1912) d(846) d(1397) d(848) r(806,775) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) a(855,1334) d(1624) r(742,763) 
	 31 r(1397,769) d(1511) r(935,958) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) 
	 31 r(1397,769) d(1511) a(855,1334) d(1624) a(1419,2153) 
	 31 d(1051) r(867,864) a(1440,1398) r(720,698) r(368,366) 
	 31 a(2148,885) r(1449,1452) r(932,1022) d(1584) d(1729) 
	 31 d(964) d(1511) a(855,1334) d(1964) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) a(1091,417) d(536) 
	 31 d(964) d(1511) a(855,1334) a(1091,417) d(935) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) 
	 31 d(1414) a(530,1437) a(2167,529) 
	 30 a(1625,1912) d(846) d(1397) d(848) a(2163,865) a(569,427) a(696,1700) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) d(1330) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) 
	 29 d(2161) r(1842,1839) d(703) a(2144,2132) a(1021,1013) 
	 30 a(1625,1912) d(846) d(1397) r(756,759) a(635,1468) d(898) r(590,598) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) a(626,569) 
	 31 a(2148,885) a(895,842) d(2032) r(1927,1988) a(1563,587) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) d(846) d(1397) a(1478,647) r(841,825) 
	 31 a(1625,1912) a(567,586) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) 
	 31 a(1506,1484) r(528,558) a(1622,1299) d(730) d(1648) 
	 31 d(964) d(1501) d(1274) d(1096) d(904) 
	 30 r(1074,1083) a(1624,1123) d(1859) r(591,616) 
	 31 r(2025,2053) d(1563) d(2028) r(879,842) d(1912) 
	 31 r(2025,2053) d(407) a(1034,1034) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1618,1597) 
	  0 d(2161) r(1842,1839) d(703) d(1043) r(1687,1697) 
	 31 d(568) r(650,658) a(1067,782) a(2144,2132) a(1654,907) 
	 30 d(2161) r(1842,1839) d(703) a(2144,2132) a(484,1678) 
	 31 d(568) r(650,658) a(1067,782) d(1043) a(1089,872) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) 
search: generation 5 (sizeof one variant = 0.403728 MB)
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) r(1761,1706) r(1645,1648) d(1855) 
	 31 a(629,1647) a(864,928) d(589) d(578) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) r(1696,1681) 
	 30 a(629,1647) a(864,928) d(589) r(1761,1706) r(1645,1648) a(2038,2014) 
	 30 d(1414) a(530,1437) a(2163,865) d(527) d(1838) d(813) d(789) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) d(607) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) 
	 31 a(1625,1912) r(1722,1773) 
	 31 a(1625,1912) a(567,586) a(722,1915) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) r(1636,1606) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) 
	 31 d(1051) r(712,701) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) d(899) 
	 31 d(1051) r(867,864) a(1440,1398) r(720,698) r(1732,1778) r(1619,1618) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) d(1014) r(1698,1699) r(364,366) r(1618,1597) d(2046) 
	  0 d(964) d(1511) a(855,1334) d(2171) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) r(879,892) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1618,1597) d(636) 
	 29 r(1074,1083) a(530,1437) a(2163,865) d(1043) a(1089,872) d(866) 
	 31 d(568) r(650,658) a(1067,782) d(1441) r(1724,1751) r(1759,1740) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) 
	 31 d(568) r(650,658) a(1067,782) d(1043) a(1089,872) d(2123) 
	 31 d(568) r(650,658) a(1067,782) d(1043) a(1089,872) r(379,377) 
	 31 a(1625,1912) a(567,586) r(762,759) 
	 31 a(1625,1912) d(846) a(567,586) a(1482,1662) 
	 31 a(1625,1912) d(1397) a(1478,647) d(1758) r(876,870) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) d(1809) 
	 31 a(1625,1912) a(567,586) r(1645,1648) 
	 31 a(2148,885) r(1449,1452) r(932,1022) d(1584) d(1729) a(721,926) 
	 30 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) a(1091,417) d(536) a(844,1334) 
	 31 r(2025,2053) d(1563) d(2028) d(1511) a(855,1334) d(1964) d(1633) 
	 31 d(964) d(1958) r(574,569) r(1596,1624) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) 
	 31 d(964) d(1511) a(855,1334) d(1964) d(449) 
	 30 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(864,928) d(589) r(1761,1706) r(2129,2113) d(2074) 
	 31 a(629,1647) d(601) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) r(918,904) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) 
	 31 d(1414) a(530,1437) a(2163,865) r(2114,2129) d(1805) d(846) d(1397) a(1478,647) r(841,825) r(1049,1045) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) d(846) d(1397) a(1478,647) r(841,825) r(454,466) 
	 31 d(1414) a(530,1437) a(2163,865) d(527) d(1838) d(813) r(1081,1070) 
	 31 d(964) d(1511) a(855,1334) d(730) d(1648) r(1414,1389) 
	 30 a(1506,1484) r(528,558) a(1622,1299) d(1014) r(1698,1699) r(364,366) a(1091,417) d(536) a(1344,451) 
	 30 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) a(1091,417) d(536) a(1697,424) 
	 31 a(1506,1484) r(528,558) a(1622,1299) d(730) d(1648) r(407,450) 
	 29 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) r(2146,2142) 
	 31 d(964) d(1511) a(855,1334) a(1091,417) d(935) r(897,855) 
	 31 a(1625,1912) d(846) a(864,928) d(589) r(1761,1706) d(549) d(1812) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) r(367,368) 
	 31 r(2025,2053) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(439) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) d(712) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) r(814,812) 
	 31 d(1051) r(867,864) a(1440,1398) r(725,702) d(2047) 
	 29 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(2167,2165) 
	 30 d(1051) r(867,864) a(1440,1398) r(720,698) r(368,366) d(780) 
	 31 d(964) d(1501) d(1441) r(1724,1751) d(1758) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1274) d(1096) d(904) a(964,1438) 
	 30 d(964) d(1501) d(1274) d(1096) d(904) r(725,701) 
	 30 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) d(2026) 
	 31 a(1506,1484) r(528,558) a(1622,1299) d(730) d(2003) 
	 31 a(1625,1912) a(567,586) d(1648) d(1888) 
	 30 a(1506,1484) r(528,558) a(1622,1299) d(730) d(1648) a(1693,1688) 
	 31 a(1625,1912) a(567,586) r(811,819) 
search: generation 6 (sizeof one variant = 0.404418 MB)
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) r(367,368) r(1967,2054) 
	 31 r(2025,2053) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(439) d(2148) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) 
	 31 d(1051) r(867,864) a(1440,1398) r(720,698) r(1732,1778) r(1619,1618) a(410,843) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) 
	 31 d(964) d(1511) a(855,1334) r(1644,1801) r(1912,724) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) d(1964) d(449) a(582,575) 
	 31 d(964) d(1511) a(855,1334) d(1964) d(449) d(657) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) d(607) a(1687,1345) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) 
	 31 d(568) r(650,658) a(1067,782) d(1563) a(1311,724) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) d(1805) r(1520,1518) d(917) a(685,1423) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) r(1350,1353) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) d(1796) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) d(712) d(870) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) r(814,812) d(467) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) a(1556,1468) 
	 31 d(964) d(1501) d(1441) r(1724,1751) d(1758) d(2042) 
	 31 r(2025,2053) d(1563) d(2028) d(1511) a(855,1334) d(1964) a(1527,1579) 
	 30 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) r(879,892) d(1633) a(841,782) 
	 31 r(2025,2053) d(1563) d(2028) d(1511) a(855,1334) d(1964) d(1633) a(775,647) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) r(879,892) d(1574) 
	 31 d(1414) a(530,1437) a(2163,865) r(2114,2129) d(1805) d(846) d(1397) a(1478,647) r(841,825) r(1049,1045) d(1041) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(1824,1845) d(712) r(867,860) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(1514) 
	 31 d(1051) r(712,701) r(1531,1562) 
	 31 d(964) d(1511) a(855,1334) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) a(1736,869) 
	 31 d(568) d(730) d(1648) r(1414,1389) r(1012,1013) 
	 31 d(964) d(1511) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(943) 
	 31 r(1074,1083) a(530,1437) d(1397) d(848) a(1487,1496) d(1466) d(1684) 
	 30 a(1625,1912) a(567,586) d(846) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1930,2028) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) d(1001) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) r(1094,1093) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) r(1636,1606) d(501) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) 
	 31 d(1051) r(712,701) a(1295,417) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) d(1014) r(1698,1699) r(364,366) r(1618,1597) d(2046) a(651,1589) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) 
	 31 a(1625,1912) d(1425) 
	 30 a(1625,1912) a(567,586) r(1645,1648) r(2162,2161) 
	 31 a(1625,1912) d(846) a(567,586) a(1482,1662) d(826) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) r(918,904) r(1428,919) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(564) 
	 31 a(1625,1912) a(567,586) r(811,819) d(1626) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) 
	 30 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(466,460) 
	 31 d(964) d(1511) a(855,1334) d(730) d(1648) r(1414,1389) r(606,594) 
	 30 r(1074,1083) a(530,1437) a(2163,865) d(1274) d(1096) d(904) a(964,1438) d(813) 
search: generation 7 (sizeof one variant = 0.405377 MB)
	 30 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) d(607) a(1687,1345) d(943) d(1754) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) 
	 31 d(964) d(1511) a(855,1334) d(1014) r(1698,1699) r(364,366) r(1745,1779) d(607) a(1687,1345) d(1972) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(943) r(768,759) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) d(1466) r(1094,1093) d(534) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(876) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) d(1476) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) r(1094,1093) d(1564) 
	 31 d(964) d(1511) a(855,1334) d(730) d(1425) d(1650) 
	 31 a(1625,1912) d(1648) r(1414,1389) r(606,594) r(1300,1575) 
	 30 d(964) d(1511) a(855,1334) d(730) d(1648) r(1414,1389) r(606,594) d(541) 
	 31 a(1625,1912) d(1425) r(1605,1612) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) r(367,368) r(1967,2054) d(1784) 
	 30 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(845,1424) 
	 31 d(964) d(1511) a(855,1334) d(1805) r(1520,1518) d(917) a(685,1423) d(1503) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(1644,1801) r(1912,724) d(846) 
	 30 d(964) d(1511) a(855,1334) r(1644,1801) r(1912,724) d(1509) 
	 30 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) d(1805) r(1520,1518) d(917) a(685,1423) r(424,818) 
	 31 a(629,1647) a(864,928) d(589) r(1094,1093) d(558) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(2056,2081) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(1513,1483) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) r(1094,1093) d(770) 
	 30 a(1625,1912) d(846) r(1636,1606) d(501) a(1511,1281) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) 
	 30 a(1625,1912) d(846) a(567,586) a(1482,1662) d(826) r(1073,1069) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) r(1636,1606) d(501) d(1638) 
	 31 d(964) d(1511) a(750,1137) a(1522,1729) d(658) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) 
	 31 d(964) d(1511) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(837,892) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) 
	 31 d(568) r(1824,1845) d(1060) d(838) a(1090,1333) 
	 31 d(568) d(1563) d(2028) d(1958) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) d(528) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) r(1468,1083) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) r(1842,1804) 
	 31 d(568) r(650,658) a(1067,782) d(917) d(887) a(415,531) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(564) r(2145,2143) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) 
	 31 d(1414) a(530,1437) a(2163,865) a(569,427) r(497,479) d(1014) r(1698,1699) r(364,366) r(1618,1597) d(2046) a(651,1589) d(2054) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) r(814,812) d(467) a(970,1395) 
	 31 d(568) d(730) d(1648) r(1414,1389) r(1012,1013) r(1532,1557) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(1514) r(970,1017) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) d(1964) d(449) a(582,575) d(2080) 
	 29 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) r(1636,1606) d(501) a(1629,451) 
	 31 d(964) d(1511) a(855,1334) r(1644,1801) r(1578,1568) 
	 30 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) r(1912,724) d(609) 
	 30 d(964) d(1511) a(855,1334) r(1644,1801) r(1912,724) r(1573,1273) 
	 29 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) r(760,736) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1624) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) a(1339,1378) 
	 31 r(2025,2053) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(439) d(2148) d(1056) 
	 29 r(1074,1083) a(530,1437) d(1397) d(848) a(1487,1496) d(1466) d(1684) r(2161,2163) 
	 30 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) r(918,904) r(1428,919) r(640,652) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) a(750,1137) a(1522,1729) r(1605,1593) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(903,473) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) r(2142,2131) 
search: generation 8 (sizeof one variant = 0.406093 MB)
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) d(813) a(2166,724) d(1022) a(1910,1525) r(485,489) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) a(1487,1496) d(1466) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(2056,2081) d(545) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(2056,2081) d(585) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) r(2142,2131) r(1053,1054) 
	 29 a(1625,1912) d(1648) r(1414,1389) r(606,594) r(1300,1575) r(818,820) 
	 31 r(2025,2053) r(650,658) a(800,1700) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(1513,1483) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(439) d(2148) d(1056) a(729,728) 
	 31 r(2025,2053) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(439) d(2148) d(1056) d(2051) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(1513,1483) a(1842,1898) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(1514) r(970,1017) r(1389,1458) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) a(1288,1428) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(1514) r(970,1017) d(1624) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2106,1297) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) a(1630,1792) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) r(974,998) 
	 30 a(1625,1912) d(1648) r(1414,1389) r(606,594) r(1300,1575) d(1025) 
	 30 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) r(1636,1606) d(501) d(1638) d(1003) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) r(1670,1196) 
	 31 d(568) r(1824,1845) d(1060) d(838) a(1090,1333) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(817,1335) 
	 31 r(2025,2053) d(1563) r(2071,2068) 
	 29 d(568) r(1824,1845) d(1060) d(838) a(1090,1333) r(2161,2164) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) d(491) 
	 31 d(568) r(650,658) a(1067,782) d(1563) a(771,1644) d(1346) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) r(423,409) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) d(427) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) d(1908) 
	 30 d(568) d(1563) d(2028) d(1958) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) d(528) r(1646,1636) 
	 31 a(1625,1912) d(846) d(1397) a(1478,647) d(1758) r(814,812) d(467) a(970,1395) r(1981,1917) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) d(1010) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) a(750,1137) a(1522,1729) r(1605,1593) r(1635,1970) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) a(750,1137) a(1522,1729) r(1605,1593) r(1321,1305) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(943) r(768,759) r(1091,1092) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2170,2169) 
	 31 a(1625,1912) a(567,586) a(1522,1729) r(2142,2131) d(542) 
	 30 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) r(2142,2131) d(1592) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) 
	 30 d(568) d(1563) d(2028) d(1958) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) d(528) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) r(657,649) 
	 31 d(568) r(650,658) a(2118,679) 
	 31 d(568) d(1563) d(2028) d(1958) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) d(528) d(591) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) d(1855) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) d(895) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) d(405) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) d(1423) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) a(2043,1954) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(969) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) d(1476) r(1644,1801) r(1912,724) d(846) r(2100,2098) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(2055,2048) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) d(1476) a(1701,2050) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(1644,1801) r(1912,724) d(846) d(1560) 
	 31 d(964) d(1511) a(1300,586) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(1513,1483) a(855,1334) r(1644,1801) r(1578,1568) d(1052) 
	 31 d(964) d(1511) a(855,1334) r(1644,1801) r(1578,1568) d(378) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(1513,1483) r(1652,1654) 
	 31 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) 
	 31 d(568) d(1563) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) a(509,1404) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) d(1083) 
	 30 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) a(533,709) 
search: generation 9 (sizeof one variant = 0.407545 MB)
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) d(1060) d(838) a(1090,1333) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(817,1335) d(1903) 
	 31 d(568) r(1824,1845) d(1423) d(845) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) d(1423) a(1419,1430) 
	 31 d(568) r(1824,1845) d(1060) d(838) a(1090,1333) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(817,1335) r(373,385) 
	 31 d(568) r(650,658) a(1067,782) d(490) d(1622) a(1288,1428) a(368,1913) 
	 30 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) d(1010) a(904,1438) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) d(1010) d(1843) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) a(1288,1428) r(440,441) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) a(949,511) 
	 30 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) a(750,1137) a(1522,1729) r(1605,1593) r(1635,1970) d(462) 
	 31 r(2025,2053) d(1563) r(2071,2068) d(1557) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) d(1083) d(1383) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) a(604,1764) 
	 30 a(629,1647) a(864,928) d(589) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) d(1403) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) d(1849) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) a(886,1786) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) d(1010) d(1745) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) d(1908) d(416) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(1828) 
	 31 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) r(1768,1764) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) a(1693,1419) 
	 31 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) r(720,706) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) d(555) 
	 31 d(568) r(650,658) a(2118,679) r(1938,2090) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) r(974,998) r(774,806) 
	 30 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) d(491) d(1963) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) d(1908) d(2100) 
	 31 d(568) d(1563) d(1662) d(1376) r(1886,1085) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) r(526,531) 
	 31 d(568) d(1563) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) d(1908) d(1741) 
	  0 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) d(1563) r(2071,2068) r(922,921) 
	 31 r(2025,2053) a(1482,1662) d(490) r(1718,1765) a(1630,1792) r(1962,2020) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) a(1630,1792) d(1511) 
	 31 r(2025,2053) d(1563) r(2071,2068) d(1980) 
	 30 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) d(1514) r(970,1017) d(1624) r(1473,1475) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(904,915) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(896,1425) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(1644,1801) r(1912,724) d(846) d(1560) d(1693) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) a(722,693) 
	 30 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) d(1376) r(406,499) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) r(920,915) 
	 31 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) d(1598) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) a(876,1301) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(917) d(887) r(1428,1045) d(1083) r(564,532) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) d(1083) a(1763,588) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) r(1551,1558) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) a(2118,679) a(1560,1297) 
	 31 d(568) r(650,658) a(430,1075) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) d(1291) 
	 30 d(568) r(650,658) a(2118,679) d(1581) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(501,416) a(2043,1954) a(1519,1573) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(1910,1525) a(2106,1297) d(1443) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2106,1297) a(550,1038) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) a(2043,1954) a(924,1300) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(917) d(887) r(1428,1045) a(509,1404) r(701,685) 
	 31 d(568) d(1563) d(1563) r(2114,2129) d(1805) r(1520,1518) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) d(2085) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) r(1973,2066) 
	 30 d(568) d(1563) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) a(509,1404) a(833,1484) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(1476) r(1644,1801) r(1912,724) d(846) r(2100,2098) r(727,677) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) r(1850,1845) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) d(939) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) d(1476) r(1644,1801) r(1912,724) d(846) r(2100,2098) d(1514) 
	 31 d(568) d(1563) d(2028) d(1958) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1031) d(528) d(591) a(830,487) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) a(1518,1670) 
search: generation 10 (sizeof one variant = 0.407259 MB)
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) a(1630,1792) d(490) r(1718,1765) a(1630,1792) d(1511) d(1922) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(1511) d(1511) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) a(1630,1792) d(1511) r(870,834) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) r(1718,1765) a(1630,1792) d(1511) d(1446) 
	 31 r(2025,2053) a(1482,1662) d(490) r(1718,1765) a(1630,1792) r(1962,2020) d(1521) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) r(1850,1845) a(1803,1908) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(1476) r(1644,1801) r(1912,724) d(846) r(2100,2098) r(727,677) r(953,981) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) d(1376) a(2118,679) a(1560,1297) a(2083,1701) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(490) r(1718,1765) a(1630,1792) r(1962,2020) d(2058) 
	 31 r(2025,2053) a(1482,1662) a(771,1644) d(1908) d(2100) a(589,592) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(2028) d(1958) r(1824,1845) d(1060) d(838) a(771,1644) d(1908) d(2100) r(823,1015) 
	 31 r(2025,2053) a(1482,1662) d(490) r(1718,1765) a(1630,1792) r(1962,2020) r(838,833) 
	 31 r(2025,2053) a(1482,1662) d(490) r(1718,1765) a(1630,1792) r(1962,2020) r(1350,1380) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) a(1518,1670) a(373,1886) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) a(1693,1419) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) a(949,511) d(808) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) d(1441) 
	 30 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) a(1693,1419) d(740) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) a(949,511) a(2122,679) 
	  0 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(904,915) a(1663,1418) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(750,1137) a(1522,1729) a(501,416) a(2043,1954) a(924,1300) a(1707,1425) 
	 30 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) r(974,998) r(774,806) d(846) d(1560) d(1693) r(558,566) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(1644,1801) r(1912,724) r(829,847) 
	 30 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) r(974,998) r(774,806) d(1476) 
	 31 r(465,457) r(756,759) a(635,1468) a(1393,1787) a(797,1300) r(867,864) a(1440,1398) r(720,698) r(1732,1778) d(892) r(2114,2129) r(1644,1801) r(1912,724) d(846) d(1560) d(1693) d(1655) 
	 31 d(568) r(650,658) a(1067,782) d(2028) d(1958) r(1824,1845) d(1060) d(838) d(1697) r(1382,1345) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) r(1768,1764) d(577) 
	 31 d(568) r(650,658) a(1067,782) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(1031) d(1010) d(1843) d(826) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) r(1551,1558) r(895,885) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(896,1425) r(1663,1651) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(650,658) a(430,1075) d(2039) 
	 31 d(568) r(1898,1832) a(886,1786) d(275) 
	 31 a(629,1647) a(864,928) d(589) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) a(886,1786) r(1316,1319) 
	 31 d(568) r(650,658) a(430,1075) d(372) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(896,1425) r(1633,1632) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(490) d(1622) a(1288,1428) r(440,441) d(2128) 
	 31 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) a(1288,1428) r(440,441) r(448,427) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) a(896,1425) d(905) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) d(1849) r(2113,2119) d(555) d(2084) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) d(1781) 
	 30 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) d(1849) a(586,810) 
	 31 a(1625,1912) a(567,586) d(846) d(1397) d(848) a(1487,1496) d(1466) d(1483) r(627,628) r(2113,2119) d(555) d(1632) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(1828) r(582,572) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) a(604,1764) d(918) 
	 31 d(568) r(1824,1845) d(1423) d(845) a(1896,1667) 
	 30 a(1625,1912) a(567,586) r(1645,1648) d(846) a(567,586) a(1482,1662) d(490) d(1622) a(1288,1428) r(440,441) r(1064,1063) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) d(1662) a(722,693) r(875,869) 
	 29 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(1910,1525) a(2022,1297) r(1551,1558) d(825) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) r(1761,1706) r(2129,2113) a(708,906) r(1019,1003) r(574,569) d(943) r(768,759) r(1898,1832) a(604,1764) d(1500) 
	 31 r(1074,1083) a(530,1437) a(2163,865) d(1441) r(1724,1751) r(1644,1801) r(1077,1070) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) r(1850,1845) a(2082,1463) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(1476) r(1644,1801) r(1912,724) d(846) r(2100,2098) r(727,677) r(700,733) 
	 31 d(568) r(650,658) a(1067,782) d(1563) d(527) d(1838) d(813) a(2166,724) d(1022) a(501,416) a(2043,1954) a(1519,1573) r(1010,957) 
	 30 d(568) d(1563) d(1563) r(2114,2129) d(1805) r(1520,1518) d(917) d(887) r(1428,1045) a(509,1404) a(833,1484) a(2051,1992) 
	 31 r(2025,2053) d(1563) d(2028) d(1958) r(574,569) a(855,1334) d(730) d(1648) r(1414,1389) r(1750,1769) r(1900,1908) a(1087,1043) r(1973,2066) r(1668,1697) 
	 31 a(1625,1912) d(846) d(1397) d(848) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) d(939) d(1453) 
	 31 a(1625,1912) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) a(1693,1419) d(970) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) a(1693,1419) r(1899,1858) 
	 31 a(1625,1912) d(846) d(1397) d(848) a(1487,1496) a(567,586) a(1482,1662) d(826) d(1337) d(1633) d(939) d(565) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20238
"Test Suite Evaluations": 64.2476

Compile Failures: 0
Wall-Clock Seconds Elapsed: 27171
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             634 787.216 = 3.03109%
  test                              20549 25183.983 = 96.9682%
  TOTAL                                   25971.373 = 95.5849% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 01:34:46 EDT 2013
shutting down
