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 9
--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-245-97-151 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Sep 23 18:04:43 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/tmp5ed8ba.c /tmp/tmp337047.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 = 378.682)
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 a(403,2074) 
	 31 r(1052,1041) 
	 31 a(1803,1804) 
	 31 a(675,744) 
	 31 r(374,384) 
	 31 r(384,380) 
	 31 d(1015) 
	 31 d(693) 
	 31 d(1034) 
	 31 d(440) 
	 31 a(1478,844) 
	 31 a(506,536) 
	 31 r(1849,1894) 
	 31 a(1040,438) 
	 31 r(904,912) 
	 31 r(1918,1475) 
	 31 d(628) 
	 30 r(740,763) 
	 31 d(1904) 
	 31 r(1365,1355) 
	 31 a(717,733) 
	 31 r(932,977) 
	 31 a(901,1817) 
	 31 r(2134,1444) 
	 31 a(487,431) 
	 31 a(1568,1300) 
	 31 d(557) 
	 31 a(774,823) 
	 31 a(2129,2124) 
	 31 d(1648) 
	 31 r(847,846) 
	 31 r(1374,1367) 
	 31 d(484) 
	 31 a(1041,1424) 
	 31 d(499) 
	 31 a(733,703) 
	 31 r(1002,1016) 
	 31 r(844,1081) 
	 31 r(1070,730) 
	 31 original
search: generation 1 (sizeof one variant = 0.401 MB)
	 31 a(901,1817) d(1660) 
	 31 a(2129,2124) d(809) 
	 31 a(1041,1424) r(1476,1478) 
	 31 r(1365,1355) d(848) 
	 31 a(1568,1300) a(2166,1335) 
	 31 d(1904) d(1488) 
	 31 a(1568,1300) a(721,1638) 
	 31 d(1904) d(856) 
	 31 a(717,733) d(820) 
	 31 a(2129,2124) a(1900,866) 
	 31 a(717,733) r(1646,1652) 
	 31 a(2129,2124) a(1714,1589) 
	 31 a(1803,1804) d(717) 
	 31 r(1374,1367) r(563,551) 
	 31 r(1365,1355) d(930) 
	 31 r(1374,1367) a(752,1332) 
	 29 a(2129,2124) d(1041) 
	 31 r(1849,1894) r(2048,1930) 
	 31 a(2129,2124) a(886,1301) 
	 31 r(1849,1894) r(645,654) 
	 31 r(932,977) r(2128,2113) 
	 31 a(774,823) r(1041,1038) 
	 31 d(1034) d(1625) 
	 31 a(1478,844) r(865,1125) 
	 31 r(1374,1367) d(1682) 
	 31 a(901,1817) r(930,958) 
	 31 d(693) d(1533) 
	 31 a(487,431) r(1448,1414) 
	 31 a(901,1817) r(376,371) 
	 31 r(1002,1016) a(1020,826) 
	 30 r(1374,1367) d(1580) 
	 31 a(901,1817) d(722) 
	 31 r(1374,1367) a(765,1001) 
	 31 a(901,1817) r(624,631) 
	 31 d(1034) r(407,447) 
	 31 d(1648) d(812) 
	  1 a(1040,438) r(1687,1693) 
	 31 d(1904) a(537,588) 
	 31 a(1040,438) r(863,822) 
	 31 d(1904) d(2134) 
	 31 d(693) a(1448,1420) 
	  0 d(1648) d(2171) 
	 31 r(1052,1041) a(1666,533) 
	 31 r(932,977) r(1783,1746) 
	 31 a(1040,438) d(1418) 
	 31 a(506,536) d(898) 
	 31 a(1040,438) r(1416,1451) 
	 31 r(1365,1355) d(2153) 
	 31 a(1040,438) r(1558,1578) 
	 31 r(1365,1355) r(1096,1095) 
	 31 r(374,384) a(1404,1124) 
	 31 r(1918,1475) d(2171) 
	 31 r(374,384) r(723,702) 
	 31 r(1918,1475) d(1087) 
search: generation 2 (sizeof one variant = 0.401651 MB)
	 31 r(1918,1475) d(2171) a(454,531) 
	 31 r(1365,1355) d(2153) r(1602,1605) 
	 31 d(1904) d(1488) r(1010,977) 
	 31 a(2129,2124) a(886,1301) r(812,1050) 
	 31 d(1034) d(1625) a(718,696) 
	 31 a(901,1817) r(930,958) d(1887) 
	 31 r(1918,1475) d(1087) d(1800) 
	  0 a(506,536) d(898) r(1690,1669) 
	 31 d(1648) d(812) a(886,1301) d(1301) 
	 31 a(2129,2124) r(2086,1943) 
	 31 d(1648) d(812) r(676,701) 
	 31 a(2129,2124) a(886,1301) a(1054,1765) 
	 31 a(1478,844) r(865,1125) d(1991) 
	 30 a(2129,2124) d(809) a(830,542) 
	 31 r(1002,1016) r(863,822) a(564,559) 
	 31 a(1040,438) a(1020,826) r(1685,1695) 
	 31 r(1002,1016) a(1020,826) r(1013,928) 
	 31 a(1040,438) r(863,822) r(1099,1100) 
	 31 a(1040,438) r(1416,1451) a(1540,822) 
	 31 a(1040,438) r(1416,1451) d(1293) 
	 31 a(1040,438) r(1416,1451) d(568) 
	 31 a(1040,438) r(1416,1451) r(2043,2080) 
	 31 r(932,977) r(1783,1746) d(468) 
	 31 d(1904) d(1488) d(1084) 
	 31 a(901,1817) d(1411) 
	 31 a(1478,844) r(865,1125) r(930,958) d(1593) 
	 31 a(901,1817) r(930,958) d(688) 
	 31 a(1478,844) r(865,1125) r(2163,2164) 
	 31 r(1374,1367) d(1682) r(2128,2127) 
	 31 r(1918,1475) d(1087) r(415,454) 
	 31 a(1568,1300) d(820) 
	 31 a(1803,1804) d(717) a(721,1638) d(1009) 
	 31 a(1568,1300) a(721,1638) d(1356) 
	 30 a(1803,1804) d(717) r(1540,1562) 
	 31 a(506,536) d(898) d(375) 
	 31 r(932,977) r(1783,1746) a(1685,1428) 
	 31 d(1904) d(2134) d(1030) 
	 31 r(1849,1894) r(645,654) d(2031) 
	 31 a(487,431) a(1404,1124) d(1278) 
	 31 r(374,384) r(1448,1414) d(1942) 
	 31 a(487,431) r(1448,1414) d(583) 
	 31 r(374,384) a(1404,1124) a(515,1274) 
	 31 r(932,977) r(1783,1746) r(1556,1581) 
	 31 a(487,431) r(1448,1414) r(651,657) 
	 31 r(932,977) r(1783,1746) d(1088) 
	 31 a(487,431) r(1448,1414) d(1564) 
	 31 a(2129,2124) r(1507,1514) 
	 31 r(1918,1475) d(2171) a(1900,866) r(587,1646) 
	 31 a(2129,2124) a(1900,866) r(2146,2147) 
	 31 r(1918,1475) d(2171) r(374,372) 
	 31 a(1041,1424) r(1476,1478) d(1601) 
	 31 r(374,384) r(723,702) d(417) 
	 31 a(1041,1424) r(1476,1478) d(1715) 
	 31 r(374,384) r(723,702) a(899,837) 
	 31 r(1374,1367) r(1657,1658) 
	 31 r(1374,1367) d(1682) a(752,1332) d(1438) 
	 31 r(1374,1367) a(752,1332) r(1399,1411) 
	 31 r(1374,1367) d(1682) d(1070) 
	 31 r(1918,1475) r(1083,1074) 
	  0 d(1034) r(407,447) d(2171) a(1596,1425) 
	  1 r(1918,1475) d(2171) a(412,455) 
	  0 d(1034) r(407,447) r(1075,425) 
search: generation 3 (sizeof one variant = 0.402679 MB)
	  0 r(1918,1475) d(2171) a(1900,866) a(564,559) r(713,727) 
	  0 r(1002,1016) r(863,822) r(587,1646) d(1287) 
	  0 r(1918,1475) d(2171) a(1900,866) r(587,1646) d(470) 
	 31 r(1002,1016) r(863,822) a(564,559) d(1845) 
	 31 d(1648) d(812) a(886,1301) d(1301) a(420,418) 
	  0 a(2129,2124) a(1900,866) r(2146,2147) r(2171,2170) 
	 31 a(1041,1424) r(1476,1478) d(1087) r(415,454) a(1671,370) 
	 31 r(1918,1475) d(1715) d(1512) 
	 30 a(1041,1424) r(1476,1478) d(1715) d(1010) 
	 31 r(1918,1475) d(1087) r(415,454) d(365) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) 
	 31 r(932,977) d(1488) r(1010,977) r(1015,981) 
	 31 d(1904) d(1488) r(1010,977) d(973) 
	 31 r(932,977) r(1783,1746) d(1088) d(888) 
	 29 d(1648) d(812) a(564,559) r(460,479) 
	 31 r(1002,1016) r(863,822) r(676,701) r(1046,1045) 
	 31 d(1648) d(812) r(676,701) r(684,675) 
	 30 r(1002,1016) r(863,822) a(564,559) r(1577,1520) 
	 31 a(901,1817) d(898) d(375) r(599,613) 
	 31 a(506,536) d(1411) d(1359) 
	 31 a(901,1817) d(1411) r(1557,1581) 
	 31 a(506,536) d(898) d(375) r(1580,1579) 
	 31 a(1568,1300) a(721,1638) d(1356) d(1589) 
	 31 a(1478,844) r(865,1125) d(1991) d(779) 
	 31 a(1040,438) r(1416,1451) d(1293) d(2119) 
	 31 a(1478,844) r(865,1125) d(1991) r(2161,2167) 
	 31 a(1478,844) r(479,421) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(865,1125) r(2163,2164) r(977,929) 
	 31 a(1478,844) r(865,1125) r(2163,2164) d(1681) 
	 31 r(1374,1367) d(1682) r(2128,2127) d(779) 
	 31 a(487,431) r(1448,1414) d(717) a(721,1638) d(1009) a(1050,1333) 
	 31 a(1803,1804) d(1564) d(2100) 
	 31 a(487,431) r(1448,1414) d(1564) a(1980,370) 
	 30 a(1803,1804) d(717) a(721,1638) d(1009) r(1090,1089) 
	 31 r(1374,1367) d(1682) a(752,1332) d(688) r(455,466) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) 
	 31 r(1374,1367) d(1682) a(752,1332) d(1438) a(2051,1481) 
	 29 a(901,1817) r(930,958) d(688) d(2142) 
	 31 a(1040,438) d(1887) r(1354,1366) 
	 31 a(901,1817) r(930,958) r(1416,1451) a(1540,822) r(1631,1616) 
	 31 a(1040,438) r(1416,1451) a(1540,822) d(701) 
	 31 a(901,1817) r(930,958) d(1887) r(1407,1405) 
	  0 a(1478,844) r(865,1125) r(1783,1746) r(1556,1581) d(1095) 
	  0 r(932,977) r(2163,2164) a(1628,1593) 
	 30 a(1478,844) r(865,1125) r(2163,2164) d(1508) 
	 29 r(932,977) r(1783,1746) r(1556,1581) r(1041,1043) 
	 30 r(932,977) r(1783,1746) a(1685,1428) r(1608,1625) 
	 31 d(1034) d(1625) a(718,696) r(963,964) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) 
	 31 a(2129,2124) a(1404,1124) d(1278) r(770,760) 
	 31 a(487,431) a(1404,1124) d(1278) d(1571) 
	 31 a(2129,2124) a(886,1301) r(812,1050) d(1792) 
	 31 a(1040,438) r(1416,1451) d(2153) r(1602,1605) r(2123,2125) 
	 31 r(1365,1355) r(2043,2080) d(494) 
	 31 a(1040,438) r(1416,1451) r(2043,2080) r(1001,602) 
	 31 r(1365,1355) d(2153) r(1602,1605) r(1733,1724) 
	 30 a(1478,844) r(865,1125) r(2163,2164) r(1996,1951) 
	 31 r(374,384) a(1404,1124) a(515,1274) r(997,1003) 
	 31 a(1568,1300) r(1503,1502) 
	 31 a(1040,438) r(1416,1451) d(568) d(820) r(423,412) 
	 31 a(1568,1300) d(820) d(750) 
	 31 a(1040,438) r(1416,1451) d(568) d(1074) 
	 31 d(1034) d(1625) a(718,696) r(1085,1086) 
	 31 a(901,1817) d(1411) d(2082) 
	 31 r(1374,1367) r(1657,1658) r(1476,1477) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(1017,926) 
search: generation 4 (sizeof one variant = 0.404455 MB)
	 31 a(1041,1424) r(1476,1478) d(1087) r(415,454) a(1671,370) a(2027,1515) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(865,1125) r(2163,2164) r(977,929) r(1476,1467) 
	 31 r(932,977) r(1783,1746) d(1088) d(888) a(729,1637) 
	 31 a(487,431) r(1448,1414) d(1564) a(1980,370) d(1075) 
	 31 a(901,1817) r(930,958) d(1887) r(1407,1405) d(1341) 
	  0 a(901,1817) d(898) d(375) r(599,613) r(1663,1636) 
	 31 d(1648) d(812) a(886,1301) d(1301) d(1359) r(1684,1671) 
	 31 a(506,536) d(1411) a(420,418) a(1904,1817) 
	 31 d(1648) d(812) a(886,1301) d(1301) a(420,418) r(1497,1513) 
	 31 a(506,536) d(1411) d(1359) r(1996,1922) 
	 31 a(1040,438) d(1887) r(1354,1366) a(1039,1423) 
	 31 a(1040,438) r(1416,1451) d(1293) d(2119) a(2172,1438) 
	 31 a(1478,844) d(898) d(375) r(599,613) r(2128,2126) 
	 31 a(901,1817) r(479,421) r(1559,1582) 
	 31 a(1478,844) r(479,421) r(1289,1320) 
	 31 a(901,1817) d(898) d(375) r(599,613) d(1894) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) 
	 29 a(1040,438) r(1416,1451) d(568) d(820) r(423,412) r(1577,1520) 
	 31 a(1041,1424) r(1476,1478) d(1087) r(415,454) a(1671,370) d(1028) 
	 31 a(1040,438) r(1416,1451) r(2043,2080) r(1001,602) a(1318,1944) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(1017,926) d(1306) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) d(965) 
	 31 a(506,536) d(898) d(375) r(1580,1579) r(841,847) 
	 31 a(1040,438) r(1416,1451) d(568) d(1074) r(1938,2087) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) 
	 31 r(932,977) a(515,1274) r(997,1003) d(438) 
	 31 r(374,384) a(1404,1124) a(515,1274) r(997,1003) a(1622,1525) 
	 31 r(932,977) r(1783,1746) d(1088) d(888) r(1741,1744) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) 
	 31 d(1648) d(812) a(886,1301) d(1301) a(420,418) d(1698) 
	 31 a(1478,844) r(865,1125) r(2163,2164) r(1503,1502) r(613,615) 
	 31 a(1568,1300) r(1996,1951) a(644,704) 
	 31 a(1478,844) r(865,1125) r(2163,2164) r(1996,1951) a(1349,866) 
	 30 a(1568,1300) r(1503,1502) r(1425,697) 
	 31 a(2129,2124) r(1503,1502) d(555) 
	 31 a(1568,1300) a(1404,1124) d(1278) r(770,760) d(2123) 
	 31 a(2129,2124) a(1404,1124) d(1278) r(770,760) r(1902,1909) 
	 31 a(1568,1300) r(1503,1502) d(2153) 
	 31 r(1374,1367) d(1682) r(2128,2127) d(365) r(1575,1527) 
	 31 r(1918,1475) d(1087) r(415,454) r(865,1125) r(2163,2164) r(977,929) r(2068,1954) 
	 30 r(1374,1367) d(1682) r(2128,2127) r(865,1125) r(2163,2164) r(977,929) a(2027,1598) 
	 31 r(1918,1475) d(1087) r(415,454) d(365) r(586,1746) 
	 31 a(506,536) d(1411) d(1359) a(423,1792) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) 
	 31 r(1918,1475) d(1087) r(415,454) d(365) a(709,1638) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) 
	  0 r(1374,1367) r(1657,1658) r(1416,1451) a(1540,822) r(1631,1616) r(2171,2172) 
	 31 a(901,1817) r(930,958) r(1476,1477) d(1954) 
	 30 r(1374,1367) r(1657,1658) r(1476,1477) d(1312) 
	 31 a(901,1817) r(930,958) r(1416,1451) a(1540,822) r(1631,1616) r(662,665) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) 
	 31 d(1904) d(1488) r(1010,977) d(973) a(1087,1281) 
	 31 a(1568,1300) r(1503,1502) d(615) 
	 31 a(487,431) a(1404,1124) d(1278) d(1845) r(424,1963) 
	  0 r(1002,1016) r(863,822) a(564,559) d(1571) r(2169,2173) 
	 31 a(487,431) a(1404,1124) d(1278) d(1571) d(954) 
	 31 r(1002,1016) r(863,822) a(564,559) d(1845) d(1764) 
search: generation 5 (sizeof one variant = 0.404402 MB)
	 31 a(1568,1300) r(1996,1951) a(644,704) r(2126,2128) 
	 31 r(932,977) a(515,1274) r(997,1003) d(438) r(1899,1796) 
	 31 a(1568,1300) r(1996,1951) a(644,704) r(1651,1645) 
	 31 r(932,977) a(515,1274) r(997,1003) d(438) d(2042) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) r(1476,1467) r(1904,1848) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(865,1125) r(2163,2164) r(977,929) r(1094,1093) 
	 29 a(1568,1300) r(1010,977) d(973) a(2056,1589) r(2073,1944) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(865,1125) r(2163,2164) r(977,929) r(1476,1467) d(1071) 
	 31 a(901,1817) r(930,958) r(1416,1451) a(1540,822) r(1631,1616) r(662,665) r(2163,2152) 
	 30 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(1014) 
	 31 r(374,384) r(479,421) r(1289,1320) d(2100) 
	 31 a(1478,844) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) r(506,566) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) a(661,733) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(940,948) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) 
	 31 r(1374,1367) d(973) a(2056,1589) a(1406,2134) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) a(364,542) 
	 31 r(1374,1367) d(1682) r(2128,2127) d(365) r(1575,1527) r(1602,1625) 
	 31 d(1904) d(1488) r(1010,977) d(973) a(1087,1281) d(647) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) d(965) r(1541,1571) 
	 30 a(901,1817) r(479,421) r(1559,1582) d(1998) 
	 31 d(1648) d(812) a(886,1301) d(1301) a(420,418) r(1497,1513) r(458,394) 
	 31 a(901,1817) d(1411) d(2082) r(599,613) d(1894) r(1916,2026) 
	  0 a(901,1817) d(898) d(375) r(2107,2109) d(889) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) r(416,485) 
	 31 a(901,1817) d(898) d(375) r(599,613) d(1894) r(443,1321) 
	 31 a(506,536) d(1411) d(1359) a(423,1792) d(1374) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) 
	 31 a(506,536) d(1411) a(420,418) a(1904,1817) r(1562,1569) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(1017,926) d(1306) r(1769,1785) 
	 31 a(2129,2124) a(1404,1124) d(1278) r(770,760) r(1902,1909) r(1359,1351) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(2142) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) r(2128,2127) r(1017,926) d(1306) d(1782) 
	 31 r(1374,1367) d(1682) a(1407,1413) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) 
	 29 r(1374,1367) d(1682) r(2128,2127) r(1017,926) d(1306) d(1059) 
	 31 a(901,1817) r(930,958) d(1088) d(888) d(1278) r(681,730) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) r(2080,2026) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) r(1334,1147) 
	 31 d(1904) d(1278) d(1404) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1488) r(1503,1502) d(2096) r(1013,930) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) a(1754,647) 
	 31 r(1918,1475) d(1087) r(415,454) d(365) r(586,1746) r(425,479) 
	 31 a(2129,2124) r(1503,1502) d(555) r(943,964) 
	 31 d(1648) d(812) a(886,1301) d(1301) d(1359) r(1684,1671) r(1087,1088) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) 
	 31 a(901,1817) d(465) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) a(888,856) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) 
	 31 a(1040,438) d(1887) r(1046,1043) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) r(1354,1366) a(1039,1423) d(1996) 
	 29 a(1040,438) d(1887) r(1354,1366) a(1039,1423) d(1541) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) d(457) 
	 31 a(1478,844) r(865,1125) r(2163,2164) r(1503,1502) r(613,615) d(2107) 
	 31 a(506,536) d(898) d(375) r(1580,1579) r(841,847) r(1487,1484) 
	 31 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) 
	 30 a(901,1817) r(930,958) r(1416,1451) a(1540,822) r(1631,1616) r(662,665) d(779) 
search: generation 6 (sizeof one variant = 0.405175 MB)
	 30 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) r(2128,2127) r(1017,926) d(1306) d(1782) d(1476) 
	 30 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) r(2080,2026) d(1536) 
	 30 a(506,536) d(1411) a(420,418) a(1904,1817) r(1562,1569) a(1051,1589) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) r(1090,1089) 
	 31 a(901,1817) d(1411) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(1097,553) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) d(457) d(1907) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) 
	 31 d(1904) d(1488) r(1010,977) d(973) a(1087,1281) d(647) d(1985) 
	 31 a(901,1817) d(1411) d(2082) r(599,613) d(1894) r(1916,2026) a(1796,679) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) r(1289,1320) r(450,403) d(1003) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) a(787,679) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) r(2128,2127) r(1017,926) d(1306) d(1782) r(921,922) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) d(2038) 
	 31 r(1374,1367) d(1682) r(2128,2127) d(365) r(1575,1527) r(1602,1625) a(870,1638) 
	 31 d(1904) d(1488) r(450,403) r(800,786) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) r(596,600) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1009) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) a(364,542) r(555,524) 
	 31 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) r(1362,1357) 
	 31 a(2129,2124) a(1404,1124) d(1278) r(770,760) d(2096) a(731,1336) r(845,1426) 
	 31 d(1904) d(1488) r(1503,1502) r(1902,1909) r(1359,1351) a(763,764) 
	 30 a(2129,2124) a(1404,1124) d(1278) r(770,760) r(1902,1909) r(1359,1351) d(2147) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) a(1563,1563) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(2142) d(1296) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) 
	 31 a(1568,1300) r(1996,1951) a(644,704) r(2126,2128) a(1589,1601) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(1014) d(438) 
	 29 a(506,536) d(1411) a(420,418) a(1904,1817) r(1562,1569) a(1695,2074) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) 
	 31 a(1568,1300) r(1996,1951) a(644,704) d(375) r(1580,1579) r(841,847) r(1487,1484) d(450) 
	 30 a(506,536) d(898) d(375) r(1580,1579) r(841,847) r(1487,1484) r(1067,1068) 
	 31 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) a(1333,1070) 
	 31 r(1374,1367) d(1682) r(2128,2127) r(1017,926) d(1306) r(1769,1785) a(1084,709) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) a(895,1403) 
	 31 a(901,1817) d(1411) r(2107,2109) d(457) r(377,632) 
	 31 a(901,1817) d(1411) d(2082) d(2082) r(2107,2109) r(1354,1366) a(1039,1423) d(1996) r(2163,2164) 
	 30 a(901,1817) d(1411) d(2082) r(2107,2109) r(1354,1366) a(1039,1423) d(1996) d(1479) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) d(457) d(1024) 
	 31 a(901,1817) d(1411) d(2082) r(2107,2109) d(457) a(1692,529) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) r(1334,1147) d(1572) 
	  0 r(374,384) r(479,421) r(1289,1320) d(2100) a(893,887) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(1020,982) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) a(888,856) d(449) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) r(1476,1467) r(1904,1848) a(1567,1133) 
	 31 a(2129,2124) r(1503,1502) d(555) r(943,964) r(865,1125) r(2163,2164) r(1503,1502) r(613,615) d(2107) r(1472,1478) 
	 31 a(1478,844) r(1693,1684) 
	 31 a(2129,2124) r(1503,1502) d(555) r(943,964) r(1976,1917) 
	 31 a(1478,844) r(865,1125) r(2163,2164) r(1503,1502) r(613,615) d(2107) r(518,550) 
search: generation 7 (sizeof one variant = 0.405112 MB)
	 31 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) a(1333,1070) a(731,1678) 
	 31 d(1904) d(1488) r(450,403) r(800,786) d(1681) 
	 30 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) d(1663) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) 
	 31 a(487,431) a(886,1301) r(479,421) r(1289,1320) r(450,403) d(1450) a(2112,1038) 
	 31 a(1478,844) r(812,1050) d(706) r(837,872) d(465) d(2038) a(1998,569) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) d(2038) r(1412,1427) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) r(1416,1390) 
	 31 a(1478,844) r(479,421) d(1482) r(492,495) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) r(728,693) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) a(1793,1902) a(812,2050) d(1042) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(2124) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) d(2071) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) 
	 31 a(1568,1300) r(1996,1951) a(644,704) d(375) r(1580,1579) r(841,847) r(1487,1484) d(450) r(681,676) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(404,468) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1009) r(1668,1684) 
	 31 d(1904) d(1488) r(1503,1502) r(1902,1909) r(1359,1351) a(763,764) r(1633,1598) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(2142) d(1296) d(1445) 
	 30 a(1478,844) r(1693,1684) r(553,438) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) r(1507,1497) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1770) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(1977) 
	 30 a(1478,844) r(479,421) d(1482) d(1627) d(856) a(1034,1481) r(676,689) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) 
	 31 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) r(1362,1357) a(737,1299) 
	 27 a(1568,1300) r(1996,1951) a(644,704) d(375) r(1580,1579) r(841,847) r(1487,1484) d(450) r(740,767) 
	 30 a(506,536) d(1411) a(420,418) a(1904,1817) r(1693,1684) d(626) 
	 31 a(1478,844) r(1562,1569) a(1051,1589) d(851) 
	 30 a(506,536) d(1411) a(420,418) a(1904,1817) r(1562,1569) a(1051,1589) r(1475,1473) 
	 30 a(1478,844) r(1693,1684) r(1573,396) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) 
	 31 a(487,431) a(886,1301) r(812,1050) r(1693,1684) d(1451) 
	 31 a(1478,844) r(1693,1684) d(539) 
	 30 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) d(2038) r(605,592) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1088) d(888) d(1278) r(1334,1147) d(1572) d(1625) 
	 31 d(1904) d(1627) r(1098,1097) 
	 31 a(1478,844) r(479,421) d(1482) d(1488) r(1503,1502) d(2096) a(731,1336) r(596,600) d(601) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) r(596,600) d(2045) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(1333,623) 
	 31 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) r(1090,1089) d(1052) 
	 31 a(1568,1300) r(1010,977) d(973) a(2056,1589) a(364,542) r(555,524) d(1699) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) r(1694,1690) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(1020,982) d(1083) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(731,1336) d(1287) r(298,299) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(1020,982) a(1627,1521) 
	  0 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(1020,982) d(2171) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) 
	 31 d(1904) d(1488) d(2038) d(486) 
	 31 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) r(1503,1502) d(2096) a(731,1336) a(1563,1563) r(1561,1536) 
	 31 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) a(1563,1563) a(1582,1069) 
	 30 a(487,431) a(886,1301) r(812,1050) d(706) r(837,872) d(465) d(2038) r(1507,1512) 
	 31 d(1904) a(1655,1670) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) r(450,403) r(800,786) d(1029) 
	 31 d(1904) d(1488) r(450,403) r(800,786) d(492) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) a(721,703) 
search: generation 8 (sizeof one variant = 0.406746 MB)
	 31 d(1904) d(1488) d(2096) a(1020,982) a(1627,1521) a(1629,2112) 
	 30 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) r(450,403) r(800,786) a(1751,1784) d(1049) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(1020,982) a(1627,1521) a(2087,1516) 
	 31 a(1478,844) r(1693,1684) r(553,438) r(800,786) d(1681) d(1623) 
	 31 d(1904) d(1488) r(450,403) d(1091) 
	 30 a(1478,844) r(1693,1684) r(553,438) a(1849,1647) 
	 31 d(1904) d(1488) r(450,403) r(800,786) d(1681) d(627) 
	 31 a(1478,844) r(1693,1684) r(374,380) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(2124) d(539) d(1311) 
	 31 a(1478,844) r(1693,1684) d(539) d(1775) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(2124) d(600) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) r(1507,1497) r(665,702) 
	 31 a(1478,844) r(479,421) d(1482) d(1488) r(1503,1502) d(2096) a(731,1336) r(596,600) d(601) a(2138,1438) 
	 31 a(1478,844) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) r(2069,2039) 
	 31 a(506,536) r(479,421) r(1289,1320) r(450,403) d(1450) a(1793,1902) a(812,2050) d(1042) d(1514) 
	 30 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) a(1793,1902) a(812,2050) d(1042) r(698,665) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) d(1833) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) r(619,636) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) 
	 31 a(901,1817) a(2143,1559) r(2118,2112) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) r(1090,1089) d(1052) r(1774,1755) 
	 30 a(901,1817) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(1482) r(1090,1089) d(1052) r(490,409) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) d(469) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) r(450,403) r(800,786) d(1029) d(1074) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) d(2071) a(833,925) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) r(450,403) r(800,786) d(1029) d(456) 
	 30 d(1904) d(1488) r(1503,1502) d(2096) a(731,1336) a(1563,1563) a(1582,1069) a(1844,1911) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) r(460,418) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) r(1416,1390) r(2030,2010) 
	 31 a(1568,1300) r(1996,1951) a(644,704) d(375) r(1580,1579) r(841,847) r(1487,1484) d(450) r(681,676) r(1468,1022) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) d(495) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) a(2088,1923) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(1333,623) d(1843) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) r(391,450) 
	 30 a(1478,844) r(479,421) d(1482) d(1627) r(1333,623) r(369,368) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(896) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) a(923,1288) 
	 31 a(1478,844) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) d(1773) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) r(656,641) 
	 30 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) a(1418,1428) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) r(644,650) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(1020,982) d(1083) d(1472) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) 
	 31 d(1904) d(1488) d(2038) d(486) d(2168) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) r(1694,1690) d(1427) 
	 31 a(1568,1300) r(949,940) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(731,1336) d(1287) r(298,299) r(1718,1750) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(731,1336) d(1287) r(298,299) d(805) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) 
	 31 a(1478,844) r(479,421) d(1482) r(1362,1357) a(737,1299) r(1374,1347) 
	 30 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) d(1627) r(904,915) r(2143,2147) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) 
	 30 a(1568,1300) r(1996,1951) a(644,704) a(919,1404) r(1362,1357) a(737,1299) d(1557) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) d(1479) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(1977) a(1562,626) d(1333) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(515) 
	 30 a(1478,844) r(479,421) r(1289,1320) d(1977) r(2141,2131) 
search: generation 9 (sizeof one variant = 0.407121 MB)
	 31 a(1478,844) d(706) r(837,872) d(465) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(1522) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) d(2038) d(1332) d(2133) a(511,536) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2164) 
	 30 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) r(742,740) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) r(1741,1732) 
	 30 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) r(1694,1690) d(1427) d(1972) 
	 31 a(1568,1300) r(949,940) d(1058) 
	 30 a(1478,844) r(1693,1684) d(539) d(1775) r(567,514) 
	 31 d(1904) d(539) d(1775) r(766,765) 
	 31 a(1478,844) r(1693,1684) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) d(917) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) r(1306,1323) 
	 31 a(1478,844) r(1693,1684) d(539) d(1775) d(1488) 
	 30 a(1478,844) r(1693,1684) r(374,380) a(2174,1223) a(2143,1559) d(469) d(705) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) r(731,697) 
	 31 a(1478,844) r(1693,1684) r(374,380) r(661,668) 
	 31 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) d(469) r(2105,788) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(1450) d(2071) a(833,925) r(2018,1957) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(515) d(1089) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(515) d(2167) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) d(2071) a(833,925) d(644) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) r(1032,1031) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) d(1833) d(2096) a(1020,982) a(1627,1521) a(2087,1516) r(633,636) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(1020,982) a(1627,1521) a(2087,1516) a(693,1281) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) d(1833) d(658) 
	 31 a(1478,844) r(479,421) d(1482) r(1362,1357) a(737,1299) r(1374,1347) d(521) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) d(2071) a(833,925) d(439) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) r(460,418) d(1718) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(2122) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) a(824,370) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) a(573,587) 
	 31 a(1478,844) d(706) r(1507,1497) r(665,702) a(1506,1297) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) r(837,872) d(465) d(2038) d(1332) d(2133) d(437) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2153) 
	 30 a(506,536) d(898) a(919,1404) r(819,816) r(1507,1497) r(665,702) r(1474,1473) 
	 31 a(901,1817) a(2143,1559) r(2118,2112) a(2088,1923) d(1501) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) r(1597,1612) 
	 30 a(901,1817) a(2143,1559) r(2118,2112) d(1625) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) a(2088,1923) r(463,425) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(856) a(1034,1481) r(608,593) r(644,650) d(1991) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(1667) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) r(1805,1551) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) r(644,650) d(624) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(825) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) r(1322,1292) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) r(2045,2016) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) a(819,724) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) r(1032,1031) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) r(1694,1690) d(1427) d(1483) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) d(521) 
	 30 a(506,536) r(479,421) r(1289,1320) r(450,403) d(1450) a(1793,1902) a(812,2050) d(1042) d(1514) d(1088) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) d(560) 
	 30 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) r(460,418) d(1894) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) r(460,418) d(1740) 
	 30 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) d(732) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) r(1638,2056) 
	 30 a(1478,844) a(1445,1670) d(2124) d(539) d(1311) d(1283) 
	 30 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(2124) d(539) d(1311) a(425,424) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) d(727) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) d(1627) r(1305,1307) d(495) a(1055,1729) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) d(2124) d(600) a(1528,1246) 
	 31 a(1478,844) d(1042) d(1972) 
	 30 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) d(741) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) r(1923,2052) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) r(1335,1801) 
search: generation 10 (sizeof one variant = 0.404456 MB)
	 31 d(1904) d(1488) r(450,403) r(800,786) d(898) a(919,1404) r(819,816) r(837,872) d(465) d(2038) d(1332) d(2133) d(437) a(1729,843) 
	 30 a(506,536) a(1751,1784) d(1042) r(1335,1801) r(491,496) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) r(1335,1801) r(1624,1623) 
	 31 a(506,536) d(898) a(919,1404) r(819,816) r(837,872) d(465) d(2038) d(1332) d(2133) d(437) a(1073,928) 
	 30 a(1478,844) r(479,421) r(1289,1320) d(1088) r(940,944) r(1380,1375) d(856) a(1034,1481) r(608,593) r(644,650) d(1991) d(637) 
	 31 d(1904) r(1783,1746) r(450,403) d(1450) d(2071) a(833,925) d(439) a(770,1886) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(450,403) d(1450) d(2071) a(833,925) d(439) r(1054,1053) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(856) a(1034,1481) r(608,593) r(644,650) d(1991) d(1073) 
	 31 a(1568,1300) d(2082) d(2038) d(1332) d(2133) a(511,536) r(684,667) 
	 29 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(949,940) d(1058) r(1561,1516) 
	 31 a(1568,1300) r(949,940) d(1058) a(1410,1448) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) d(2038) d(1332) d(2133) a(511,536) d(1957) 
	 31 a(1478,844) d(706) r(1507,1497) r(665,702) a(1506,1297) d(1039) 
	 30 a(1568,1300) r(1010,977) d(1682) r(2128,2127) d(365) r(1575,1527) r(400,413) a(2174,1223) a(2143,1559) d(469) r(2105,788) d(821) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2153) d(1367) 
	 30 a(1478,844) d(737) r(1322,1292) a(740,762) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) r(1322,1292) d(538) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2153) r(693,705) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(515) d(383) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2153) d(2167) r(1098,1097) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) d(515) d(2167) r(373,371) 
	 31 a(1478,844) d(706) r(837,872) d(465) d(2038) d(1332) d(2133) d(2153) d(1655) 
	 31 a(1478,844) d(706) r(837,872) d(465) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(1522) d(1055) 
	 30 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) r(1638,2056) a(2052,1927) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(856) a(1034,1481) r(608,593) r(644,650) d(1991) r(1059,1060) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) r(1638,2056) d(1351) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) a(819,724) d(1087) 
	 31 a(1478,844) r(1693,1684) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) d(917) r(1659,1637) 
	 31 d(1904) d(1287) d(1519) d(560) r(2047,2014) 
	 30 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(539) d(1775) r(766,765) r(1693,1690) 
	 31 d(1904) d(539) d(1775) r(766,765) r(1711,1736) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) d(560) r(365,369) 
	 31 d(1904) r(1783,1746) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(825) a(2071,1981) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(825) a(1991,1425) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(825) r(706,700) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) d(825) r(1522,1558) 
	 31 a(901,1817) a(2143,1559) r(2118,2112) a(2088,1923) d(1501) d(1482) d(1627) r(904,915) a(1737,1573) d(521) d(1059) 
	 30 a(1478,844) r(479,421) r(692,665) 
	 30 a(901,1817) a(2143,1559) r(2118,2112) a(2088,1923) d(1501) d(483) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) d(521) d(1629) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(800,786) a(1751,1784) d(1042) r(1306,1323) d(2162) 
	 31 d(1904) d(1488) r(450,403) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(2122) d(583) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(2122) r(1970,1969) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) d(1042) r(1306,1323) a(2088,1274) 
	 30 a(1478,844) r(1693,1684) r(374,380) r(661,668) d(1083) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) r(904,915) a(1737,1573) d(727) a(2167,1598) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) d(2038) d(1332) d(2133) a(511,536) d(2002) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) a(2088,1923) r(463,425) d(650) 
	 31 d(1904) d(1488) r(450,403) r(800,786) a(1751,1784) r(1597,1612) a(567,1598) 
	 30 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) r(1032,1031) r(856,899) 
	 31 a(1478,844) r(479,421) r(1289,1320) d(856) a(1034,1481) r(608,593) d(737) r(1032,1031) d(474) 
	 31 r(374,384) a(1404,1124) r(1783,1746) d(1438) a(1375,1357) a(1445,1670) r(823,536) r(2145,2134) r(1694,1690) d(1427) d(1483) a(1849,1224) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) r(930,958) d(1438) a(1375,1357) a(1445,1670) a(1793,1902) a(812,2050) a(1581,704) d(1506) r(1805,1551) r(1314,1316) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) d(2096) a(731,1336) d(1287) d(1519) r(460,418) d(1718) r(1296,1328) 
	 31 a(1478,844) r(1289,1320) r(1503,1502) r(1032,1031) d(2126) 
	 31 a(1478,844) r(479,421) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) r(1923,2052) r(1064,1063) 
	 31 a(1478,844) r(479,421) d(1482) d(1627) a(1562,626) r(1344,1379) r(1923,2052) a(1097,2115) 
	 31 a(1478,844) r(479,421) r(1289,1320) r(1503,1502) r(1032,1031) r(1695,1694) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) d(2133) a(511,536) a(1598,2112) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) d(2038) d(1332) a(1293,1127) d(1488) d(2071) r(1828,1887) d(2122) a(1613,907) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) r(2107,2109) d(457) a(1293,1127) d(1488) d(2071) r(1828,1887) d(2122) a(361,1281) 
	 31 d(1904) r(1783,1746) d(1088) r(940,944) r(1380,1375) d(2082) d(2038) d(1332) d(2133) a(511,536) d(1028) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 20457
"Test Suite Evaluations": 64.9429

Compile Failures: 0
Wall-Clock Seconds Elapsed: 31599.6
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             640 858.341 = 2.84763%
  test                              20766 29283.669 = 97.1515%
  TOTAL                                   30142.273 = 95.388% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 02:51:24 EDT 2013
shutting down
