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 5
--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 2
--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-212-206-159 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Thu Sep 26 14:39:30 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/tmpf35735.c /tmp/tmp290caf.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 5.03941)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1750
cilRep: stmts in weighted_path = 306
cilRep: total weight = 172.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1750])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.199044 MB)
search: initial population (sizeof one variant = 0.011116 MB)
	  1 d(1733) 
	  1 d(1282) 
	  1 d(1377) 
	  1 r(442,434) 
	  1 d(867) 
	  1 r(1152,1281) 
	  1 d(769) 
	  1 r(1279,1128) 
	  1 d(696) 
	  1 d(700) 
	  1 d(1740) 
	  1 r(1116,1163) 
	  1 a(1125,1380) 
	  1 r(1373,1284) 
	  1 a(1715,454) 
	  1 d(1373) 
	  1 d(580) 
	  1 a(1154,1224) 
	  1 d(753) 
	  1 r(337,1333) 
	  1 a(688,1140) 
	  1 d(871) 
	  1 d(448) 
	  1 d(796) 
	  1 r(1108,1375) 
	  1 d(1148) 
	  1 r(1712,1707) 
	  1 a(1708,898) 
	  1 d(691) 
	  1 d(1380) 
	  1 r(432,338) 
	  1 a(417,1273) 
	  1 d(394) 
	  1 r(972,977) 
	  1 d(1377) 
	  1 d(666) 
	  1 a(1279,739) 
	  1 d(1296) 
	  1 d(806) 
	  1 original
search: generation 1 (sizeof one variant = 0.199376 MB)
	  1 d(806) d(1730) 
	  1 a(688,1140) a(1297,1103) 
	  1 d(806) d(424) 
	  1 a(688,1140) d(1157) 
	  1 d(448) r(1108,549) 
	  1 d(1377) r(641,543) 
	  1 d(448) r(700,580) 
	  1 d(1377) d(876) 
	  1 d(871) d(1704) 
	  1 d(1740) a(765,487) 
	  1 d(871) r(1714,1722) 
	  1 d(1740) r(1277,760) 
	  1 r(432,338) a(1725,773) 
	  1 r(1116,1163) d(756) 
	  1 r(432,338) r(441,679) 
	  1 r(1116,1163) r(1707,1717) 
	  1 r(1712,1707) r(1297,1106) 
	  1 r(337,1333) r(973,976) 
	  1 r(1712,1707) r(754,655) 
	  1 r(337,1333) d(1298) 
	  1 a(688,1140) d(1713) 
	  1 r(1152,1281) r(337,867) 
	  1 d(580) d(1277) 
	  1 a(1125,1380) d(1717) 
	  1 d(1282) r(37,36) 
	  1 r(337,1333) a(667,641) 
	  1 d(1282) r(1125,552) 
	  1 r(337,1333) d(757) 
	  1 a(1125,1380) d(753) 
	  1 r(1373,1284) a(421,507) 
	  1 a(1279,739) a(1710,515) 
	  1 d(871) a(439,1083) 
	  1 a(1279,739) d(1148) 
	  1 d(871) r(1730,794) 
	  1 d(1148) a(661,1125) 
	  1 d(700) a(980,806) 
	  1 d(1148) r(1102,1312) 
	  1 d(700) a(1280,767) 
	  1 r(972,977) r(666,1712) 
	  1 r(1279,1128) r(1703,1700) 
	  1 r(972,977) d(1719) 
	  1 r(1279,1128) r(1284,1107) 
	  1 r(442,434) a(1697,555) 
	  1 r(1152,1281) a(888,465) 
	  1 r(442,434) a(1170,1224) 
	  1 r(1152,1281) d(1733) 
	  1 d(394) d(1290) 
	  1 a(1125,1380) d(1125) 
	  1 d(1377) r(420,370) 
	  1 d(1148) r(1707,1715) 
	  1 d(666) r(1172,1277) 
	  1 d(871) d(387) 
	  1 d(666) r(1159,1092) 
	  1 d(871) d(435) 
	  1 d(1733) d(980) 
	  1 d(1740) a(335,553) 
	  1 d(1733) r(1163,1313) 
	  1 d(1740) d(1052) 
	  1 r(972,977) a(1284,389) 
	  1 d(1296) a(438,593) 
	  1 r(972,977) d(1278) 
	  1 d(1296) a(1169,1287) 
	  1 a(1279,739) d(449) 
	  1 d(1740) d(1109) 
	  1 d(666) r(977,975) 
	  1 r(1152,1281) d(385) 
search: generation 2 (sizeof one variant = 0.200225 MB)
	  1 d(1296) a(438,593) d(405) 
	  1 d(1740) r(1277,760) a(1743,1728) 
	  1 d(1296) a(438,593) r(752,765) 
	  1 d(1740) r(1277,760) r(1107,1332) 
	  1 d(806) d(1730) d(420) 
	  1 d(1740) a(335,553) d(602) 
	  1 d(1296) d(1743) 
	  1 d(448) r(1108,549) a(438,593) d(1272) 
	  1 d(1296) a(438,593) d(687) 
	  1 d(448) r(1108,549) d(1195) 
	  1 d(700) r(1159,1092) d(890) 
	  1 d(666) a(980,806) a(642,758) 
	  1 d(700) a(980,806) r(761,650) 
	  1 d(666) r(1159,1092) d(1127) 
	  1 a(1279,739) d(449) a(752,434) 
	  1 d(1733) d(980) a(1376,1159) 
	  1 d(871) d(387) r(1059,1081) 
	  1 a(1125,1380) d(1125) a(1113,1101) 
	  1 d(871) a(439,1083) d(887) 
	  1 d(1296) a(438,593) d(767) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) 
	  1 d(580) r(1289,1162) 
	  1 r(1712,1707) r(754,655) d(668) 
	  1 d(580) d(1277) d(1293) 
	  1 r(337,1333) d(1277) a(642,1725) 
	  1 d(580) d(757) r(1277,1296) 
	  1 r(337,1333) d(757) d(1277) 
	  1 d(580) d(1277) d(1716) 
	  1 d(871) a(439,1083) r(654,850) 
	  1 a(1125,1380) d(1125) a(423,501) 
	  1 d(871) a(439,1083) d(758) 
	  1 a(1125,1380) d(1125) r(1729,495) 
	  1 r(1279,1128) r(1284,1107) a(1110,1725) 
	  1 r(1712,1707) r(1297,1106) d(1292) 
	  1 r(1116,1163) r(1712,1702) 
	  1 a(688,1140) a(1297,1103) d(756) d(36) 
	  1 r(1116,1163) d(756) d(1162) 
	  1 a(688,1140) a(1297,1103) r(1296,1103) 
	  1 d(1740) r(1277,760) r(1108,549) a(1169,405) 
	  1 d(448) r(432,439) 
	  1 d(1740) r(1277,760) d(1720) 
	  1 d(448) r(1108,549) a(1287,451) 
	  1 d(871) d(387) d(791) 
	  1 d(871) d(1704) r(898,447) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) 
	  1 r(432,338) r(1338,450) 
	  1 r(1152,1281) a(888,465) d(793) 
	  1 r(432,338) r(441,679) a(662,507) 
	  1 d(1282) r(37,36) d(466) 
	  1 d(1296) a(438,593) r(868,860) 
	  1 d(1733) d(980) d(1034) 
	  1 d(806) d(1730) r(417,654) 
	  1 d(1740) a(765,487) r(806,1714) 
	  1 r(337,1333) r(973,976) r(867,870) 
	  1 d(1740) d(1109) d(753) 
	  1 d(1296) a(1169,1287) d(1277) 
	  1 d(1740) d(1109) d(1276) 
	  1 d(1296) a(1169,1287) r(1153,1735) 
	  1 d(1740) a(765,487) d(891) 
	  1 r(972,977) a(1284,389) a(1083,1080) 
search: generation 3 (sizeof one variant = 0.20002 MB)
	  1 d(448) r(1108,549) d(1726) 
	  1 d(1733) d(980) a(1376,1159) a(1287,451) r(1701,1702) 
	  1 d(448) r(1108,549) a(1287,451) d(679) 
	  1 d(1733) d(980) a(1376,1159) r(860,869) 
	  1 a(1125,1380) d(1125) a(423,501) a(779,676) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(755,523) 
	  1 r(1116,1163) a(1294,451) 
	  1 d(448) r(1108,549) a(1287,451) r(1712,1702) d(421) 
	  1 r(1116,1163) r(1712,1702) a(897,580) 
	  1 d(448) r(1108,549) a(1287,451) d(779) 
	  1 d(1296) a(438,593) d(687) a(1712,1720) 
	  1 d(1740) d(1109) d(753) a(872,1017) 
	  1 d(806) d(1730) d(1743) d(335) 
	  1 d(1296) d(420) r(422,423) 
	  1 d(806) d(1730) d(420) d(1118) 
	  1 d(1296) d(1743) d(420) 
	  1 d(1740) r(1277,760) d(1720) a(438,593) d(1272) d(436) 
	  1 d(448) r(1108,549) r(1112,1377) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) 
	  1 d(448) r(1108,549) a(438,593) d(1272) d(433) 
	  1 d(1296) d(1704) r(898,447) d(1195) 
	  1 d(871) a(1169,1287) d(1277) d(754) 
	  1 d(1296) a(1169,1287) d(1277) d(703) 
	  1 d(871) d(1704) r(898,447) r(1153,832) 
	  1 d(1296) a(438,593) d(756) d(36) r(976,980) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) 
	  1 a(688,1140) a(1297,1103) d(756) d(36) r(1125,552) 
	  1 d(580) d(757) r(1277,1296) r(797,401) a(436,793) 
	  1 r(1152,1281) a(888,465) r(441,679) r(423,690) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) 
	  1 r(337,1333) d(757) d(1277) r(1727,1742) 
	  1 d(871) a(439,1083) d(887) d(573) 
	  1 r(972,977) d(1277) d(1716) d(1272) 
	  1 d(580) a(1284,389) a(1083,1080) d(1725) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) 
	  1 d(580) d(1277) d(1716) d(1118) 
	  1 r(337,1333) d(757) d(578) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) 
	  1 r(337,1333) d(757) d(1277) r(691,506) 
	  1 r(1116,1163) d(756) d(1162) r(1082,1052) 
	  1 d(1296) d(1743) r(1105,1294) 
	  1 d(1733) d(980) a(1376,1159) a(850,553) 
	  1 r(1712,1707) r(754,655) d(668) a(1375,1152) 
	  1 d(1296) a(438,593) r(752,765) d(703) 
	  1 d(1740) d(1109) d(753) r(424,412) 
	  1 r(972,977) a(1284,389) a(1083,1080) r(755,1286) 
	  1 d(666) r(1159,1092) r(898,897) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(1127) r(405,455) 
	  1 d(666) r(1159,1092) d(1127) d(1172) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) 
	  1 a(1279,739) d(449) d(1109) d(1276) r(1285,1224) 
	  1 d(1740) a(752,434) d(1733) 
	  1 a(1279,739) d(449) a(752,434) a(1134,1153) 
	  1 d(1740) d(1109) d(1276) d(1080) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) 
	  1 r(1152,1281) a(888,465) r(441,679) d(890) a(899,417) 
	  1 d(700) r(1159,1092) d(890) d(447) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(440,436) 
	  1 a(1125,1380) d(1125) d(1118) 
	  1 r(337,1333) d(757) d(1277) r(1729,495) d(1728) 
	  1 a(1125,1380) d(1125) r(1729,495) d(1698) 
	  1 r(337,1333) d(757) d(1277) r(1158,1718) 
	  1 d(1296) a(438,593) r(1338,450) d(796) 
	  1 r(432,338) d(767) a(1105,1017) 
	  1 d(1296) a(438,593) d(767) d(1715) 
	  1 r(432,338) r(1338,450) d(611) 
search: generation 4 (sizeof one variant = 0.201488 MB)
	  1 r(1152,1281) a(888,465) r(441,679) r(423,690) d(668) 
	  1 r(972,977) a(1284,389) a(1083,1080) r(755,1286) a(654,688) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) a(1742,541) 
	  1 r(432,338) d(767) a(1105,1017) d(1279) 
	  1 r(1152,1281) a(888,465) r(441,679) d(890) a(899,417) d(335) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) a(975,335) 
	  1 r(972,977) a(1284,389) d(753) r(424,412) d(1110) 
	  1 d(1740) d(1109) a(1083,1080) r(755,1286) d(337) 
	  1 r(972,977) a(1284,389) a(1083,1080) r(755,1286) a(436,1278) 
	  1 d(1740) d(1109) d(753) r(424,412) a(699,663) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(1127) r(405,455) r(1703,1723) 
	  1 d(1296) d(1743) d(420) r(1700,1717) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(869,870) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(432,385) d(1146) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) r(851,873) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(755,523) d(974) 
	  1 a(1279,739) d(449) d(1109) d(1276) r(1285,1224) r(1713,1721) 
	  1 r(337,1333) d(757) d(1277) r(1729,495) d(1728) d(1149) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) 
	  1 d(1733) d(980) a(1376,1159) a(1287,451) r(1701,1702) r(580,338) 
	  1 d(1296) d(757) r(1277,1296) r(394,1105) r(338,755) 
	  1 d(580) a(438,593) r(752,765) d(703) a(980,510) 
	  1 d(1296) a(438,593) r(752,765) d(703) a(1296,442) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) d(37) 
	  1 d(1296) d(433) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) a(438,593) r(868,860) r(1290,1119) d(971) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1118,768) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) 
	  1 d(1296) d(1743) r(1282,1376) d(1742) 
	  1 a(688,1140) a(1297,1103) r(868,860) d(420) d(666) 
	  1 d(1296) d(1743) d(420) r(620,1711) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) r(580,406) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1051,1033) 
	  1 d(871) d(1704) r(436,441) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) r(898,447) r(1153,832) d(979) 
	  1 d(871) d(1704) r(898,447) r(1153,832) r(1059,1083) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) 
	  1 d(448) r(1108,549) a(1287,451) r(1712,1702) d(421) d(887) 
	  1 d(1296) a(438,593) r(752,765) d(703) d(757) 
	  1 d(1740) r(1277,760) d(1720) d(1277) d(1279) a(1113,1176) 
	  1 r(1116,1163) d(756) d(1162) r(689,699) d(1106) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) a(755,536) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) a(752,434) d(1733) d(886) 
	  1 d(1740) r(1294,1338) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) d(1740) 
	  1 d(1740) a(752,434) d(1733) a(1118,642) 
	  1 r(337,1333) d(757) d(1277) r(1729,495) d(1698) a(1116,1149) 
	  1 a(1125,1380) d(1125) r(1158,1718) a(1729,1313) 
	  1 r(337,1333) d(757) d(1277) r(1158,1718) d(654) 
	  1 a(1125,1380) d(1125) r(1729,495) d(1698) r(870,872) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) a(1712,1720) r(447,658) 
	  1 d(1296) a(438,593) r(1710,1714) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) r(897,978) 
	  1 d(1296) a(438,593) d(687) a(1712,1720) r(1282,1224) 
	  1 r(972,977) a(1284,389) a(1083,1080) r(755,1286) r(338,440) 
	  1 d(448) r(1108,549) a(1287,451) d(779) a(1175,1158) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) 
	  1 a(1279,739) d(449) a(752,434) a(1134,1153) r(1717,1723) 
search: generation 5 (sizeof one variant = 0.202241 MB)
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) d(779) d(441) d(1154) 
	  1 d(448) r(1108,549) a(1287,451) a(888,647) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(1153,1374) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) r(973,899) a(400,734) d(580) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) a(1712,1720) r(447,658) d(1704) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) r(1706,829) 
	  1 d(580) a(438,593) d(1720) r(689,699) a(755,536) r(1732,1730) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) 
	  1 d(580) a(438,593) r(752,765) d(703) a(980,510) r(768,542) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) a(755,536) r(768,1105) 
	  1 d(1740) r(869,870) d(1702) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) a(755,536) d(810) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(869,870) d(860) 
	  1 r(337,1333) d(757) d(1277) r(1158,1718) d(654) a(1162,401) 
	  1 d(580) a(438,593) r(752,765) d(703) a(980,510) r(421,432) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(1721,1108) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(869,870) a(1080,602) 
	  1 r(1152,1281) a(888,465) r(441,679) r(423,690) d(668) r(754,655) d(1277) r(434,809) r(432,385) d(1146) d(1152) 
	  1 r(1712,1707) a(1060,1262) 
	  1 r(1152,1281) a(888,465) r(441,679) r(423,690) d(668) r(972,973) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(432,385) d(1146) r(335,1733) 
	  1 r(337,1333) d(757) d(1277) r(1729,495) d(1728) d(1149) r(1710,1715) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) 
	  1 d(1296) a(438,593) r(1710,1714) a(700,405) 
	  1 r(1152,1281) a(888,465) d(1279) a(448,1728) 
	  1 r(432,338) d(767) a(1105,1017) r(441,679) r(423,690) d(668) r(763,1102) 
	  1 r(1152,1281) a(888,465) r(441,679) r(423,690) d(668) r(1738,1735) 
	  1 r(432,338) d(767) a(1105,1017) d(1279) d(1377) 
	  1 d(1740) r(1277,760) d(1720) d(1277) a(1729,1313) a(1140,1715) 
	  1 a(1125,1380) d(1125) r(1158,1718) d(1279) a(1113,1176) a(389,886) 
	  1 d(1740) r(1277,760) d(1720) d(1277) d(1279) a(1113,1176) a(973,751) 
	  1 a(1125,1380) d(1125) r(1158,1718) a(1729,1313) d(1273) 
	  1 r(972,977) a(1284,389) a(1083,1080) r(755,1286) r(338,440) a(868,1697) 
	  1 d(871) d(1704) r(436,441) d(1296) 
	  1 d(580) d(757) d(1701) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) d(37) r(1717,1716) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1051,1033) d(1290) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1118,768) r(593,1732) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) a(1712,1720) r(447,658) r(668,1279) 
	  1 d(1296) a(438,593) d(757) r(1277,1296) r(394,1105) r(338,755) a(1117,1175) 
	  1 d(1296) r(1710,1714) r(443,405) 
	  1 d(1296) a(438,593) r(1710,1714) r(1716,1723) 
	  1 d(1296) d(757) r(1277,1296) r(394,1105) r(338,755) d(756) 
	  1 d(871) d(1704) r(898,447) r(1153,832) r(1059,1083) d(456) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) 
	  1 d(1296) d(433) r(444,1715) 
	  1 d(1740) r(1294,1338) d(829) 
	  1 a(688,1140) a(1297,1103) d(1125) r(1158,1718) a(1729,1313) r(405,455) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) 
	  1 a(1125,1380) d(1125) r(1158,1718) a(1729,1313) r(768,1741) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) d(1277) d(1279) a(1113,1176) r(1276,1108) 
	  1 d(1740) r(1277,760) d(1720) r(424,432) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(812,547) 
	  1 d(1740) r(1277,760) d(1720) d(1277) d(1279) a(1113,1176) d(1157) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) 
	  1 a(1125,1380) d(756) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(886) 
	  1 a(1125,1380) d(1125) r(1158,1718) a(1729,1313) d(1717) 
search: generation 6 (sizeof one variant = 0.202641 MB)
	  1 d(1740) r(1277,760) d(1720) d(1277) d(1279) a(1113,1176) d(1157) r(1128,1283) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) d(1731) 
	  1 d(580) a(438,593) r(752,765) d(703) a(980,510) r(421,432) d(1153) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) r(1081,1054) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) r(973,899) a(400,734) d(580) r(980,975) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) d(423) 
	  1 r(1712,1707) a(1060,1262) r(973,899) a(400,734) a(1153,1374) r(791,795) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(760) 
	  1 r(1712,1707) a(1060,1262) a(1291,438) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(1153,1374) d(761) 
	  1 d(1296) a(337,707) r(1296,1277) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) d(696) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) d(446) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) 
	  1 d(871) d(1704) r(436,441) d(1296) d(1731) 
	  1 r(1712,1707) a(1060,1262) d(765) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(812,547) r(1057,1017) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) r(973,899) a(400,734) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) r(1157,1298) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) d(580) d(769) 
	  1 d(700) r(1159,1092) r(797,401) r(432,385) d(687) r(973,899) a(400,734) d(580) d(679) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) r(1286,1298) 
	  1 d(700) r(1159,1092) r(335,1733) a(447,450) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(432,385) d(1146) r(797,401) r(755,523) r(869,870) a(1080,602) r(974,973) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(869,870) a(1080,602) d(666) 
	  1 r(1712,1707) r(754,655) d(1277) r(434,809) r(432,385) d(1146) r(335,1733) d(1118) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(760,536) d(1698) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) r(1707,1720) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) 
	  1 a(1125,1380) d(756) d(441) 
	  1 a(1125,1380) d(756) r(1377,864) 
	  1 a(1125,1380) d(756) r(1126,1338) 
	  1 a(1125,1380) d(756) a(1697,1704) 
	  1 d(1296) a(438,593) r(1710,1714) r(755,523) r(869,870) d(860) d(700) 
	  1 d(700) r(1159,1092) r(797,401) a(700,405) r(763,893) 
	  1 d(1296) a(438,593) r(1710,1714) a(700,405) d(667) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(869,870) d(860) r(1707,1711) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) a(755,536) r(1282,1376) r(1713,1709) d(1716) d(1272) 
	  1 a(1125,1380) r(868,860) d(810) d(1374) 
	  1 d(1740) r(1277,760) d(1720) r(689,699) a(755,536) d(810) a(1296,1226) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) d(405) 
	  1 r(432,338) d(767) a(1105,1017) d(1279) d(1377) d(1128) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(974) 
	  1 d(1296) a(438,593) d(757) r(1277,1296) r(394,1105) r(338,755) a(1117,1175) d(654) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1108,549) a(1287,451) d(779) d(441) d(400) a(1289,1283) 
	  1 d(448) r(1713,1709) d(1716) d(573) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) a(1704,487) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) 
	  1 d(580) r(1158,1718) d(654) a(1162,401) a(1146,886) 
	  1 r(337,1333) d(757) d(1277) d(757) r(1277,1296) r(394,1105) d(37) r(1717,1716) r(764,1720) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) d(37) r(1717,1716) d(888) 
	  1 r(337,1333) d(757) d(1277) r(1158,1718) d(654) a(1162,401) d(761) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) a(791,629) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) d(433) r(444,1715) d(1704) 
	  1 d(1296) d(433) r(444,1715) r(703,526) 
	  1 d(1296) a(438,593) r(868,860) r(1290,1119) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) a(1292,444) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) a(1106,1280) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1284,1283) 
search: generation 7 (sizeof one variant = 0.202067 MB)
	  1 d(580) d(757) r(1277,1296) r(797,401) a(700,405) r(763,893) d(655) 
	  1 d(700) r(1159,1092) r(394,1105) d(37) r(1717,1716) d(888) a(891,645) 
	  1 d(580) d(757) r(1277,1296) r(394,1105) d(37) r(1717,1716) d(888) d(1163) 
	  1 d(700) r(1159,1092) r(797,401) a(700,405) r(763,893) d(401) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(1715) 
	  1 d(580) r(1158,1718) d(654) a(1162,401) a(1146,886) d(886) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1295) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) d(1731) d(1176) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(974) d(1722) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) a(1704,487) d(1280) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) 
	  1 a(1125,1380) d(756) d(441) a(793,687) 
	  1 d(448) r(1713,1709) d(1716) d(573) r(758,1094) 
	  1 d(700) r(1159,1092) r(797,401) r(447,658) a(760,536) r(1707,1720) a(1296,1173) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(643) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(440) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) r(1707,1720) r(1712,1719) 
	  1 d(1296) d(433) r(444,1715) r(703,526) d(978) 
	  1 r(1712,1707) a(1060,1262) a(1291,438) r(1737,1738) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) r(1700,1717) r(829,870) r(1708,1714) r(647,411) 
	  1 d(1296) d(1743) d(420) a(755,536) a(1298,1101) d(971) a(887,409) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) 
	  1 a(1125,1380) d(756) a(1697,1704) r(611,1733) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) d(764) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) a(1374,1175) r(1279,1277) a(769,1709) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1284,1283) a(873,455) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1284,1283) d(444) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(1717,1707) a(1374,1175) r(1279,1277) a(1172,438) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(394,1105) d(37) d(873) a(791,629) d(700) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) a(791,629) d(691) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) r(338,1222) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) 
	  1 d(700) r(1159,1092) r(335,1733) a(447,450) d(697) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) d(756) 
	  1 a(1125,1380) r(868,860) d(810) d(1374) r(700,650) 
	  1 a(1125,1380) d(756) r(1126,1338) a(1106,467) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) r(1699,338) 
	  1 a(1125,1380) d(756) r(1377,864) d(1704) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(760) a(756,611) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) a(1704,487) a(449,434) 
	  1 d(700) r(1159,1092) r(797,401) a(700,405) r(763,893) r(1128,1146) 
	  1 d(871) d(1704) r(436,441) d(1296) d(1731) r(439,1741) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(438) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) r(973,899) a(400,734) a(812,547) r(1057,1017) a(1715,451) 
search: generation 8 (sizeof one variant = 0.201802 MB)
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) d(438) r(418,897) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(464) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) a(762,751) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(438) d(572) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(1738) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) d(646) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(755) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(1127,974) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(394,1105) d(37) d(873) a(791,629) d(700) r(1723,971) 
	  1 d(448) r(1713,1709) d(1716) d(573) r(758,1094) d(860) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(394,1105) d(419) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(37) d(873) a(791,629) d(691) a(1703,1705) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(394,1105) d(37) d(873) a(791,629) d(691) a(1716,1083) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(976) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) 
	  1 a(1125,1380) d(756) d(1715) d(1159) d(1280) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) d(1743) 
	  1 a(1125,1380) d(756) a(1697,1704) r(611,1733) d(1298) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(1377,547) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) a(1704,487) d(1280) a(888,401) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(1717,1707) a(1374,1175) r(1279,1277) a(1172,438) d(849) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) r(338,1222) d(1105) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) d(756) r(1726,1732) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) a(1729,1313) a(337,707) a(1284,1283) d(444) d(1712) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1284,1283) d(444) d(573) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) d(756) r(1738,1737) 
	  1 d(700) r(1159,1092) r(797,401) r(447,658) a(760,536) r(1707,1720) a(1296,1173) d(420) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(1715) r(1700,1722) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) r(1116,1285) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(679,1102) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(766,1725) r(1159,1126) a(1296,1313) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) d(645) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) 
	  1 d(580) r(1158,1718) d(654) a(1162,401) a(1146,886) d(886) d(873) a(791,629) d(700) r(662,751) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(394,1105) d(37) d(1164) 
	  1 d(580) r(1158,1718) d(654) a(1162,401) a(1146,886) d(886) r(1149,1172) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(394,1105) d(37) d(873) a(791,629) d(700) r(1034,1056) 
	  1 d(1740) a(1115,1312) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) r(766,662) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) d(449) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) 
	  1 r(1152,1281) a(888,465) r(441,679) d(811) r(689,758) 
	  1 a(1125,1380) d(756) r(1377,864) r(797,401) d(760) a(756,611) d(420) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(760) a(756,611) a(1715,1722) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) a(754,540) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(643) r(679,525) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(760,536) r(1707,1720) r(1712,1719) d(892) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) d(1700) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) a(1298,1101) d(971) d(643) d(1083) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(643) a(1158,1705) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) r(1376,409) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) r(699,755) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(1715) d(1159) d(1739) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) a(1711,510) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) r(703,526) d(978) d(971) 
	  1 d(1296) d(433) r(444,1715) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) r(1699,338) d(1708) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) r(1699,338) r(888,892) 
	  1 d(1296) d(433) r(444,1715) r(703,526) d(978) d(663) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(438) r(697,556) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) d(756) a(1149,431) 
	  1 d(448) r(1108,549) r(1713,1709) d(1716) a(1704,487) d(1280) d(1082) 
	  1 a(1125,1380) r(868,860) r(1282,1376) a(1287,451) d(779) d(441) d(400) d(1102) d(764) a(897,697) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) d(764) r(1017,468) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(1716) a(1704,487) d(1280) r(1147,1224) 
search: generation 9 (sizeof one variant = 0.201881 MB)
	  1 d(448) r(1108,549) a(1287,451) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(679,1102) d(1276) 
	  1 r(1152,1281) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) d(1378) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1118,1101) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(679,1102) d(386) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(868,860) r(1282,1376) r(1713,1709) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(1377,547) a(1726,1273) 
	  1 a(1125,1380) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(643) r(679,525) a(1117,1094) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) d(643) r(679,525) d(437) 
	  1 a(1125,1380) r(868,860) r(1282,1376) r(1713,1709) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(1377,547) d(1033) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(769,620) d(438) r(418,897) d(1112) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(1740,1739) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(440,417) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) d(438) r(418,897) r(1163,338) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) a(1298,1101) d(971) d(643) d(1083) a(338,515) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) a(1711,510) r(1173,1159) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) d(407) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) d(897) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) a(654,497) 
	  1 d(1296) r(1051,1033) r(1277,1296) r(394,1105) d(419) r(1280,1225) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(421,417) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) r(699,755) r(769,701) 
	  1 d(1296) a(755,536) a(1298,1101) d(971) a(759,654) a(1298,1101) d(971) d(643) d(1083) a(1106,509) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) a(762,751) r(676,444) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(769,620) a(762,751) d(385) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) a(1298,1101) d(971) d(643) d(1083) r(972,980) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) d(764) r(1017,468) a(1706,1708) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) a(1717,1225) 
	  1 a(1125,1380) d(756) r(1377,864) r(797,401) d(760) a(756,611) d(756) r(1377,864) d(811) d(401) d(433) 
	  1 a(1125,1380) d(420) a(811,507) 
	  1 a(1125,1380) d(756) r(1377,864) r(797,401) d(760) a(756,611) d(420) d(1285) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) d(1290) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) a(754,540) r(1711,1708) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) d(756) a(1149,431) a(1283,694) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(811) d(401) a(1704,451) 
	  1 a(1125,1380) d(756) r(1377,864) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(1738) r(1721,1702) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) d(1738) a(1709,546) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) r(762,832) 
	  1 d(448) r(1713,1709) d(1716) d(573) r(758,1094) d(860) d(580) 
	  1 d(1740) a(1115,1312) r(865,851) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) d(449) r(807,779) 
	  1 a(1125,1380) d(756) a(1697,1704) r(611,1733) d(1298) d(419) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(668,542) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1739,1740) r(853,869) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) a(1170,1730) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(859,868) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(1172) a(1169,1298) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(438) r(697,556) d(861) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(438) r(697,556) r(1060,1052) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) a(767,1380) 
	  1 a(1125,1380) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(1285) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) d(756) d(1715) d(1159) d(1280) d(1740) 
	  1 a(1125,1380) d(756) d(1715) d(1159) d(1280) d(865) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(891) 
	  1 r(1116,1163) d(1716) a(1704,487) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1291,1222) 
	  1 d(448) d(1280) r(1739,1740) d(1709) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) r(1051,1058) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1298,1314) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(697,1230) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) d(764) r(1017,468) r(891,888) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) r(766,662) a(793,577) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) d(417) 
search: generation 10 (sizeof one variant = 0.201569 MB)
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) a(1717,1225) d(629) 
	  1 r(1116,1163) d(1716) a(1704,487) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1291,1222) d(417) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) r(1117,1125) 
	  1 d(1740) a(1115,1312) r(865,851) d(891) r(1298,1127) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(891) r(421,1119) 
	  1 d(1740) a(1115,1312) r(865,851) d(1706) 
	  1 r(1152,1281) a(1374,1175) r(1279,1277) d(1700) r(1377,547) a(1726,1273) r(1279,1159) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(868,860) r(1282,1376) r(1713,1709) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) d(897) d(573) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) d(897) r(335,1338) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(755,523) r(868,860) r(1282,1376) r(1713,1709) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(1377,547) a(1726,1273) d(338) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1739,1740) r(853,869) d(438) 
	  1 d(448) r(1108,549) a(1287,451) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(679,1102) d(1276) d(702) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) a(754,540) r(1711,1708) d(1701) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(891) d(867) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) a(1711,510) r(1173,1159) d(424) 
	  1 r(1152,1281) a(888,465) d(1195) r(1118,1101) d(440) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1118,1101) d(764) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) a(1711,510) r(1173,1159) a(1054,412) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) d(1290) a(1034,442) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) a(754,540) r(1711,1708) d(979) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(697,1230) d(871) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) a(767,1380) r(440,444) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(811,507) r(703,850) 
	  1 a(1125,1380) d(420) a(337,707) a(1279,1298) d(756) a(1149,431) a(1283,694) d(435) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) a(337,707) a(1279,1298) d(756) a(1149,431) a(1283,694) a(456,646) 
	  1 a(1125,1380) d(420) a(811,507) r(1714,1715) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(1172) a(1169,1298) a(578,758) 
	  1 a(688,1140) a(1297,1103) d(1195) r(1298,1314) r(439,662) 
	  1 d(448) r(1108,549) a(1287,451) d(779) d(441) d(400) d(1102) r(1154,1294) d(1195) r(1298,1314) d(1715) 
	  1 a(688,1140) a(1297,1103) r(868,860) r(1282,1376) r(1713,1709) d(1296) r(1128,1277) d(1172) a(1169,1298) d(420) 
	  1 d(1740) r(1277,760) r(752,765) d(703) d(420) r(1739,1740) r(853,869) r(867,870) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) a(980,510) d(699) a(1125,1336) d(1112) d(449) r(807,779) d(1291) 
	  1 d(1740) r(1277,760) r(752,765) d(703) a(980,510) d(699) a(1125,1336) d(1112) d(449) r(807,779) a(978,539) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1739,1740) r(853,869) a(448,442) 
	  1 d(700) r(1159,1092) r(797,401) r(755,523) r(1277,760) d(1720) r(689,699) a(755,536) a(1298,1101) d(971) a(759,654) a(1298,1101) d(971) d(643) d(1083) r(972,980) r(794,812) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) d(1290) d(1712) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(697,1230) d(756) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(1740,1739) r(666,1333) 
	  1 d(1296) d(1743) d(420) r(1700,1717) r(829,870) r(1708,1714) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(1740,1739) a(421,641) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(697,1230) d(873) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(668,542) a(753,539) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(891) d(1176) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) d(1715) d(1159) a(1711,510) r(1173,1159) a(1279,1374) 
	  1 r(1116,1163) d(756) d(1162) d(1277) d(1279) r(1717,1707) a(1374,1175) r(1279,1277) d(1700) r(886,1738) d(891) r(1163,775) 
	  1 a(1125,1380) d(1172) r(668,542) r(697,667) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(756) r(1377,864) r(797,401) d(760) a(756,611) d(420) d(1285) d(756) 
	  1 a(1125,1380) d(756) r(1377,864) r(797,401) d(760) a(756,611) d(420) d(1285) r(1711,1698) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1700,1717) r(829,870) a(766,1725) r(1159,1126) d(1172) r(668,542) r(866,869) 
	  1 a(1125,1380) d(756) r(679,1102) d(386) r(580,442) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(1377,864) d(811) d(401) r(762,832) d(1293) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) r(762,832) r(1373,1294) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) a(1712,1720) r(447,658) a(1374,1175) r(440,409) r(1277,1102) r(679,1102) d(386) d(1711) 
	  1 r(972,977) a(1284,389) a(1280,448) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) r(762,832) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1739,1740) r(853,869) d(1296) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1739,1740) r(853,869) d(1296) 
	  1 a(1125,1380) d(756) r(1377,864) d(811) d(401) r(762,832) d(1714) 
	  1 r(1152,1281) a(888,465) r(441,679) r(797,401) d(701) d(1119) a(389,1176) a(1697,1704) r(611,1733) a(1105,580) a(1717,1225) d(702) 
	  1 r(1116,1163) d(1716) a(1704,487) d(1280) r(1739,1740) r(1051,1058) r(1157,1104) 
	  1 a(1125,1380) d(756) a(1697,1704) r(611,1733) d(1298) d(419) r(421,417) r(1298,1116) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(1743,874) 
	  1 a(1125,1380) d(756) a(1697,1704) r(611,1733) d(1298) d(419) d(759) 
	  1 r(972,977) a(1284,389) a(1083,1080) d(1293) r(437,444) d(1125) r(1158,1718) a(1729,1313) d(1743) d(420) r(1700,1717) r(829,870) a(1125,1336) d(1112) d(1294) r(421,417) d(1701) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1300
"Test Suite Evaluations": 216.667

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1034.87
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             658 179.208 = 27.3656%
  test                               1305 475.607 = 72.6265%
  TOTAL                                   654.866 = 63.2797% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:56:45 EDT 2013
shutting down
