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 4
--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-32-169-242 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp60dc3e.c /tmp/tmp67eb68.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 = 2.83137)
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.0111322 MB)
	  1 r(856,871) 
	  1 d(1708) 
	  1 d(1298) 
	  1 a(1176,1699) 
	  1 a(1718,774) 
	  1 d(794) 
	  1 r(1338,537) 
	  1 d(797) 
	  1 r(455,1164) 
	  1 r(1147,1287) 
	  1 d(1737) 
	  1 d(421) 
	  1 d(689) 
	  1 d(1698) 
	  1 d(757) 
	  1 r(1702,1700) 
	  1 d(1152) 
	  1 d(1279) 
	  1 d(1299) 
	  1 d(1338) 
	  1 d(1115) 
	  1 d(572) 
	  1 a(445,1377) 
	  1 a(1297,502) 
	  1 r(1720,1709) 
	  1 r(1108,455) 
	  1 a(338,444) 
	  1 d(892) 
	  1 r(386,421) 
	  1 a(1290,1152) 
	  1 a(1153,1290) 
	  1 r(444,703) 
	  1 d(979) 
	  1 d(873) 
	  1 d(1140) 
	  1 d(887) 
	  1 d(1108) 
	  1 r(405,856) 
	  1 d(1722) 
	  1 original
search: generation 1 (sizeof one variant = 0.198056 MB)
	  1 r(455,1164) a(1052,1277) 
	  1 a(338,444) a(1222,898) 
	  1 r(455,1164) r(763,611) 
	  1 a(338,444) r(466,454) 
	  1 d(421) d(886) 
	  1 d(1279) r(1114,1374) 
	  1 d(421) d(886) 
	  1 d(1279) r(580,540) 
	  1 d(1152) d(1722) 
	  1 r(405,856) a(886,831) 
	  1 r(444,703) d(859) 
	  1 d(1299) a(795,546) 
	  1 r(444,703) r(1082,1080) 
	  1 d(1299) a(1118,1742) 
	  1 r(455,1164) r(1697,679) 
	  1 d(1338) d(1140) 
	  1 r(455,1164) r(703,795) 
	  1 d(1338) d(439) 
	  1 a(1297,502) d(1703) 
	  1 a(1297,502) r(1195,338) 
	  1 a(1297,502) r(1717,1711) 
	  1 d(1279) r(661,1103) 
	  1 r(1702,1700) r(1119,1374) 
	  1 d(1279) d(1113) 
	  1 a(1176,1699) d(753) 
	  1 a(445,1377) r(645,593) 
	  1 d(1338) d(655) 
	  1 r(1720,1709) r(424,401) 
	  1 d(873) a(755,667) 
	  1 a(1176,1699) d(1296) 
	  1 d(1338) d(420) 
	  1 d(1298) d(697) 
	  1 d(421) r(796,797) 
	  1 d(1108) d(446) 
	  1 r(1338,537) a(1375,337) 
	  1 d(1279) d(1128) 
	  1 r(1338,537) r(465,1743) 
	  1 d(1279) r(418,806) 
	  1 d(892) r(1170,1128) 
	  1 d(689) r(851,865) 
	  1 d(892) a(1149,409) 
	  1 d(689) r(423,851) 
	  1 d(689) d(1162) 
	  1 d(1298) r(874,873) 
	  1 r(1338,537) r(1377,1017) 
	  1 d(887) r(1291,1225) 
	  1 d(1338) d(1113) 
	  1 d(1115) d(898) 
	  1 a(1176,1699) a(1262,442) 
	  1 d(1279) a(701,661) 
	  1 r(405,856) r(441,370) 
	  1 d(892) d(1717) 
	  1 r(405,856) r(1172,1272) 
	  1 d(892) d(759) 
search: generation 2 (sizeof one variant = 0.200433 MB)
	  1 a(1176,1699) d(1296) a(1277,812) 
	  1 a(1297,502) r(1195,338) r(1083,1313) 
	  1 d(1115) r(763,611) d(1293) 
	  1 r(455,1164) d(898) a(456,546) 
	  1 d(1115) d(898) d(757) 
	  1 r(455,1164) r(763,611) r(1698,1697) 
	  1 r(1338,537) a(1375,337) r(433,409) 
	  1 d(1279) d(1113) d(438) 
	  1 r(444,703) d(436) 
	  1 d(1338) d(439) d(859) r(1711,1699) 
	  1 r(444,703) d(859) d(441) 
	  1 d(1338) d(439) r(1162,1377) 
	  1 a(1176,1699) r(972,977) 
	  1 d(892) d(759) a(1262,442) r(762,769) 
	  1 a(1176,1699) a(1262,442) r(439,807) 
	  1 d(892) d(759) d(978) 
	  1 d(892) r(1170,1128) d(978) 
	  1 r(455,1164) r(703,795) a(1106,1704) 
	  1 d(892) d(1717) r(1127,457) 
	  1 d(887) r(1291,1225) a(445,831) 
	  1 d(1338) d(1113) a(419,1699) 
	  1 d(1279) d(1113) r(854,859) 
	  1 d(1338) d(420) d(696) 
	  1 d(1338) d(420) d(762) 
	  1 d(887) r(1291,1225) r(1697,679) d(389) 
	  1 r(455,1164) r(1698,1709) 
	  1 d(887) r(1291,1225) a(898,548) 
	  1 r(455,1164) r(1697,679) a(756,677) 
	  1 r(444,703) r(1082,1080) a(1059,1127) 
	  1 r(455,1164) r(1697,679) d(871) 
	  1 d(421) d(886) d(859) a(1714,577) 
	  1 r(444,703) a(645,757) 
	  1 d(421) d(886) r(1374,768) 
	  1 r(444,703) d(859) r(1127,893) 
	  1 r(444,703) a(1114,1159) 
	  1 a(1297,502) d(1703) d(859) d(700) 
	  1 r(444,703) d(859) r(761,679) 
	  1 a(1297,502) d(1703) r(337,1051) 
	  1 d(892) d(759) a(701,757) 
	  1 d(421) r(796,797) d(699) 
	  1 d(1279) d(1113) d(1722) d(761) 
	  1 d(1152) d(849) 
	  1 d(1279) d(1113) a(1272,455) 
	  1 d(1152) d(1722) r(1714,1720) 
	  1 d(1338) d(1140) r(1292,1333) 
	  1 d(1279) r(418,806) a(611,688) 
	  1 r(1338,537) r(465,1743) a(766,414) 
	  1 r(1702,1700) r(1119,1374) a(897,445) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) 
	  1 d(689) d(401) 
	  1 r(455,1164) r(1697,679) r(421,620) 
	  1 d(689) r(423,851) d(1698) 
	  1 a(1176,1699) d(753) a(1292,1099) 
	  1 d(1279) d(1128) a(1741,1723) 
	  1 d(887) r(1291,1225) d(338) 
	  1 d(1338) d(1140) a(1172,442) 
search: generation 3 (sizeof one variant = 0.199863 MB)
	  1 r(455,1164) r(1697,679) a(756,677) r(1052,1056) 
	  1 a(1176,1699) r(972,977) r(760,1102) 
	  1 d(421) r(796,797) d(699) d(668) 
	  1 d(1338) d(1140) r(1292,1333) a(891,764) 
	  1 d(421) r(796,797) d(699) r(1286,1108) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) 
	  1 a(1176,1699) a(1262,442) r(439,807) a(1128,550) 
	  1 r(444,703) a(1114,1159) r(1172,1091) 
	  1 d(1279) r(418,806) a(611,688) d(898) d(757) a(1284,759) 
	  1 d(1115) r(1262,1731) 
	  1 d(1279) r(418,806) a(611,688) r(1164,1090) 
	  1 d(1115) d(898) d(757) r(1291,1375) 
	  1 d(1338) d(420) d(696) d(422) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(1033,1034) 
	  1 d(1338) d(420) d(696) d(580) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) 
	  1 r(455,1164) r(763,611) d(1698) r(1106,1285) 
	  1 d(689) r(423,851) r(1698,1697) r(1728,465) 
	  1 r(455,1164) r(763,611) r(1698,1697) a(1162,511) 
	  1 d(689) r(423,851) d(1698) a(420,442) 
	  1 r(444,703) d(759) a(701,757) d(1735) 
	  1 d(892) a(645,757) d(1163) 
	  1 r(444,703) a(645,757) r(1195,1721) 
	  1 d(892) d(759) a(701,757) r(1278,1017) 
	  1 d(1279) r(1116,1313) 
	  1 a(1176,1699) d(1296) a(1277,812) d(1128) a(1741,1723) d(700) 
	  1 d(1279) d(1128) a(1741,1723) r(978,971) 
	  1 a(1176,1699) d(1296) a(1277,812) a(1719,465) 
	  1 r(444,703) d(859) d(441) r(1117,1126) 
	  1 d(892) d(759) a(701,757) r(977,898) 
	  1 d(1279) r(418,806) a(611,688) r(689,756) 
	  1 d(892) d(1717) r(1127,457) r(899,971) 
	  1 a(1297,502) d(1703) r(337,1051) a(796,734) 
	  1 d(887) r(1291,1225) a(445,831) d(439) 
	  1 r(455,1164) r(1697,679) a(756,677) r(1701,1723) 
	  1 r(444,703) d(859) r(1127,893) a(1702,446) 
	  1 a(1176,1699) d(753) d(763) 
	  1 a(1297,502) d(1703) r(337,1051) a(1292,1099) r(578,807) 
	  1 a(1176,1699) d(753) a(1292,1099) r(387,1288) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) 
	  1 d(1279) d(1113) d(438) r(1742,806) 
	  1 r(1702,1700) r(1119,1374) a(897,445) d(578) 
	  1 d(892) d(759) a(701,757) r(860,854) 
	  1 a(1176,1699) d(753) a(1292,1099) d(688) 
	  1 d(892) d(759) a(701,757) a(868,455) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) 
	  1 d(1338) d(1140) r(1292,1333) a(443,1273) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) 
	  1 r(444,703) a(645,757) d(887) 
	  1 r(455,1164) d(898) a(456,546) d(1146) 
	  1 r(444,703) a(645,757) r(893,879) 
	  1 r(455,1164) d(898) a(456,546) d(602) 
	  1 d(1338) d(420) r(421,620) d(758) 
	  1 r(455,1164) r(1697,679) d(762) a(700,456) 
	  1 d(1338) d(420) d(762) a(1379,387) 
	  1 r(455,1164) r(1697,679) r(421,620) a(700,656) 
	  1 d(1279) d(1113) r(854,859) d(860) 
	  1 r(444,703) r(1082,1080) a(1059,1127) a(1055,454) 
	  1 d(1152) d(849) r(1714,1705) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) 
search: generation 4 (sizeof one variant = 0.201565 MB)
	  1 r(455,1164) d(898) a(456,546) d(602) r(1701,1708) 
	  1 a(1176,1699) d(1296) a(1277,812) a(1719,465) a(690,688) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) a(762,400) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) 
	  1 d(892) d(759) a(701,757) r(977,898) a(1082,1173) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) 
	  1 a(1176,1699) d(753) a(400,553) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) 
	  1 d(892) d(759) a(701,757) r(1278,1017) a(1704,1118) 
	  1 d(892) d(759) a(1719,465) r(1709,462) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) 
	  1 d(892) d(759) a(701,757) r(860,854) a(1195,421) 
	  1 a(1176,1699) d(1296) a(1277,812) a(1719,465) r(856,828) 
	  1 a(1176,1699) d(753) d(763) r(700,654) 
	  1 a(1297,502) d(1703) r(337,1051) a(796,734) d(1153) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) a(435,1278) 
	  1 a(1176,1699) d(1296) a(1277,812) d(1128) a(1741,1723) d(700) a(1294,1113) 
	  1 d(892) a(400,538) 
	  1 a(1176,1699) d(753) a(1292,1099) r(387,1288) d(759) a(701,757) a(868,455) r(666,517) 
	  1 d(892) d(759) a(701,757) a(868,455) a(1717,1176) 
	  1 a(1176,1699) d(753) a(1292,1099) r(387,1288) a(888,494) 
	  1 r(444,703) a(1114,1159) r(1172,1091) r(1717,1708) 
	  1 a(1176,1699) r(972,977) r(760,1102) d(1738) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) 
	  1 d(1338) a(1127,654) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(975) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) 
	  1 a(1297,502) d(1703) r(337,1051) a(1292,1099) r(578,807) a(1717,1725) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) r(1721,1716) 
	  1 a(1297,502) d(1703) r(337,1051) a(1292,1099) r(578,807) a(1285,645) 
	  1 r(455,1164) d(898) d(1722) d(1290) 
	  1 r(1338,537) r(465,1743) a(766,414) a(456,546) d(602) a(1291,495) 
	  1 r(455,1164) d(898) a(456,546) d(602) a(1282,1290) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) 
	  1 r(455,1164) a(1292,1099) r(578,807) d(424) 
	  1 a(1297,502) d(1703) r(337,1051) a(1292,1099) r(578,807) a(654,666) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(1033,1034) r(973,979) 
	  1 d(1279) r(418,806) a(611,688) d(898) d(757) a(1284,759) a(650,573) 
	  1 a(1176,1699) d(753) d(763) r(1708,1720) 
	  1 r(455,1164) d(898) a(456,546) d(1146) r(1273,808) 
	  1 a(1176,1699) a(1262,442) r(439,807) a(1128,550) r(765,593) 
	  1 d(892) d(1717) r(1127,457) r(899,971) r(1699,1312) 
	  1 d(1279) d(1113) r(854,859) d(860) d(1054) 
	  1 a(1176,1699) d(753) a(1292,1099) a(1262,442) r(439,807) a(1128,550) r(1706,1273) 
	  1 a(1176,1699) r(387,1288) a(418,454) 
	  1 a(1176,1699) d(753) a(1292,1099) r(387,1288) d(448) 
	  1 a(1176,1699) a(1262,442) r(439,807) a(1128,550) d(420) 
	  1 r(444,703) r(1082,1080) a(1059,1127) a(456,546) d(1146) d(897) 
	  1 r(455,1164) d(898) a(1055,454) r(1158,871) 
	  1 r(444,703) r(1082,1080) a(1059,1127) a(1055,454) r(1708,1705) 
	  1 r(455,1164) d(898) a(456,546) d(1146) r(666,865) 
search: generation 5 (sizeof one variant = 0.20199 MB)
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) r(893,890) d(1059) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) d(1159) r(1033,1034) a(1711,668) r(699,702) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) 
	  1 a(1176,1699) a(1262,442) r(439,807) a(1128,550) d(420) d(464) 
	  1 r(444,703) a(1114,1159) r(1172,1091) r(1717,1708) r(1728,792) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) 
	  1 a(1176,1699) d(1296) a(1277,812) d(1128) a(1741,1723) d(700) a(1294,1113) r(972,975) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1172,1154) 
	  1 a(1176,1699) d(1296) a(1277,812) a(1719,465) r(856,828) d(1169) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) r(856,850) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(1377) 
	  1 r(455,1164) a(1292,1099) r(578,807) r(337,1051) r(699,769) a(435,1278) r(643,656) 
	  1 a(1297,502) d(1703) d(424) r(407,1336) 
	  1 r(455,1164) a(1292,1099) r(578,807) d(424) d(444) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) a(435,1278) a(387,1163) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(762,1083) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) r(980,973) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) r(449,448) 
	  1 a(1176,1699) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) 
	  1 r(1338,537) r(465,1743) a(766,414) a(456,546) r(1170,1336) 
	  1 a(1176,1699) r(387,1288) a(418,454) d(1718) 
	  1 r(1338,537) r(465,1743) a(766,414) a(456,546) d(602) a(1291,495) d(676) 
	  1 a(1297,502) r(1297,1147) r(442,480) 
	  1 d(1338) d(420) r(421,620) d(758) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,1740) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) a(1106,541) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(338) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) d(1126) 
	  1 r(455,1164) d(898) a(456,546) d(602) a(1282,1290) r(663,687) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) 
	  1 a(1176,1699) d(753) d(763) r(1708,1720) d(1107) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) 
	  1 r(455,1164) d(898) a(456,546) d(1146) r(1273,808) d(1083) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(1033,1034) r(973,979) r(779,791) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(641,762) 
	  1 a(1176,1699) d(763) r(700,654) r(1127,794) 
	  1 a(1176,1699) d(753) r(972,977) r(760,1102) d(1738) a(795,773) 
	  1 a(1176,1699) r(972,977) r(760,1102) d(1738) a(797,394) 
	  1 a(1176,1699) d(753) d(763) r(700,654) d(1081) 
	  1 a(1176,1699) d(753) a(400,553) d(1375) 
	  1 a(1297,502) d(1703) r(337,1051) a(1292,1099) r(578,807) a(1717,1725) d(756) 
	  1 a(1297,502) d(1703) r(337,1051) d(753) a(1292,1099) d(1175) r(758,663) r(767,1173) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) a(435,1278) a(419,406) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) a(687,389) 
	  1 r(444,703) r(1082,1080) a(1059,1127) a(456,546) d(1146) d(897) d(1277) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(1708,1712) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) d(439) 
search: generation 6 (sizeof one variant = 0.201269 MB)
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(1377) d(873) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) d(439) r(1714,1717) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) r(407,1097) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) 
	  1 a(1176,1699) r(421,620) d(758) a(1291,387) r(667,418) a(866,1375) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(699,769) a(435,1278) r(1126,1226) a(573,1163) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(1708,1712) r(768,1740) r(645,1057) 
	  1 d(1338) d(420) r(421,620) d(758) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) d(1720) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(1708,1712) d(1148) 
	  1 d(1338) d(420) r(421,620) d(758) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,1740) d(978) 
	  1 r(455,1164) d(898) a(456,546) r(758,663) r(1283,1224) r(974,972) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) d(602) a(1282,1290) r(663,687) r(1125,424) 
	  1 r(455,1164) d(898) a(456,546) d(602) a(1282,1290) r(663,687) r(444,1704) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) d(1273) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) 
	  1 a(1176,1699) r(860,854) a(446,412) d(655) r(629,439) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(386,431) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) d(860) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) r(1033,1034) a(1711,668) r(768,620) d(1105) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) a(1154,541) d(1738) r(764,542) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(752) 
	  1 a(1176,1699) d(753) d(1146) r(1273,808) d(1083) d(1377) 
	  1 r(455,1164) d(898) a(456,546) a(400,553) d(1375) r(455,1373) 
	  1 a(1176,1699) d(753) a(400,553) d(1375) d(422) 
	  1 r(455,1164) d(898) a(456,546) d(1146) r(1273,808) d(1083) r(422,400) 
	  1 a(1176,1699) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) d(758) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) 
	  1 a(1176,1699) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1740) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) d(764) 
	  1 a(1176,1699) d(753) r(972,977) r(760,1102) d(1738) a(795,773) d(1125) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) r(856,850) d(876) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(766,414) d(1722) a(1017,457) d(335) a(661,416) 
	  1 r(1338,537) r(465,1743) a(1170,1731) r(1172,1154) r(1721,1708) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1172,1154) d(1103) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) d(1298) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(424,338) 
	  1 a(1297,502) d(1703) r(337,1051) r(699,769) a(435,1278) a(419,406) r(666,1720) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) 
	  1 r(1338,537) d(897) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) a(1732,1728) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) 
	  1 d(1279) r(696,1091) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) r(767,1162) 
	  1 a(1176,1699) a(1262,442) r(439,807) a(1128,550) d(420) d(464) a(860,1262) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) r(435,406) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(655,1730) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) r(897,977) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) d(1700) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) d(437) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1283,1378) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1083,1697) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(1377) d(420) 
	  1 a(1297,502) d(1703) a(1292,1099) d(1175) r(1103,1332) d(439) r(754,697) 
	  1 a(1176,1699) d(753) d(424) r(407,1336) a(407,417) 
	  1 a(1297,502) d(1703) d(424) r(407,1336) r(1277,1195) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) d(439) a(702,580) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(666) 
search: generation 7 (sizeof one variant = 0.200488 MB)
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) r(897,977) a(1718,1703) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) a(1284,1735) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) d(1298) r(1375,794) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1059) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) r(763,1159) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) d(580) 
	  1 r(455,1164) r(1697,679) d(871) a(1195,1152) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) d(1297) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) d(1157) 
	  1 a(1176,1699) d(655) d(437) r(1374,1704) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) r(420,407) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) d(437) d(1116) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1083,1697) d(888) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) d(387) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) 
	  1 r(444,703) a(645,757) r(1195,1721) a(655,1730) r(1146,553) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(655,1730) d(979) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(1708,1712) d(1148) a(703,536) 
	  1 a(1176,1699) a(456,655) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) r(699,769) a(435,1278) r(1126,1226) r(465,1057) d(1377) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) r(701,703) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) 
	  1 a(1176,1699) d(753) a(400,553) r(1292,1333) a(435,1158) d(420) r(699,769) a(435,1278) r(1126,1226) a(573,1163) r(791,808) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) 
	  1 a(1176,1699) d(753) a(400,553) d(1375) d(422) d(1725) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(699,769) a(435,1278) r(1126,1226) a(573,1163) a(467,552) 
	  1 r(455,1164) d(898) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) a(1272,1330) 
	  1 r(444,703) d(759) a(456,546) d(602) a(1282,1290) r(663,687) r(444,1704) a(1287,1226) 
	  1 r(455,1164) d(898) a(456,546) d(602) a(1282,1290) r(663,687) r(444,1704) d(1173) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) r(407,1097) r(421,620) d(758) r(1297,1147) d(1377) d(420) r(572,689) 
	  1 d(1338) d(420) a(851,642) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) r(407,1097) a(444,646) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(1377) d(420) d(861) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) r(758,446) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(666) d(1153) 
	  1 a(1176,1699) r(421,620) d(758) a(1291,387) r(667,418) a(866,1375) a(1291,1173) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(758,663) r(1283,1224) r(435,406) d(1720) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) r(856,850) a(335,578) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) d(876) d(456) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) r(856,850) d(876) r(1719,1704) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) d(1283) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) 
	  1 d(1338) d(420) r(421,620) d(758) r(1297,1147) d(1377) d(873) a(389,690) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) d(763) 
	  1 a(1176,1699) d(439) r(1714,1717) r(1743,424) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) r(1103,1332) d(439) r(1714,1717) d(850) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) d(1114) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) a(1154,541) d(1738) r(764,542) d(36) 
	  1 a(1176,1699) r(421,620) d(758) a(1291,387) r(667,418) a(866,1375) d(465) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(891,451) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) a(1711,668) r(768,620) d(1743) d(752) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) r(432,400) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) r(1114,1290) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(699,769) a(435,1278) r(1126,1226) a(573,1163) a(1147,1283) 
search: generation 8 (sizeof one variant = 0.202716 MB)
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) a(1284,1735) d(1106) 
	  1 r(444,703) d(759) a(701,757) a(891,451) d(1158) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) d(974) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(891,451) a(974,1735) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(422) d(1117) d(1113) 
	  1 d(1338) d(1140) d(1375) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) d(1114) r(1052,1034) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) d(1114) d(753) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) a(445,550) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) d(387) d(1116) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) r(420,407) d(870) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) r(828,860) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) a(400,1273) d(1735) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1376,480) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) r(758,446) d(978) 
	  1 r(444,703) a(645,757) r(1195,1721) a(655,1730) r(1146,553) d(1104) 
	  1 a(1176,1699) d(753) a(400,553) r(1292,1333) a(435,1158) d(420) r(699,769) a(435,1278) r(1126,1226) a(573,1163) r(791,808) d(756) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) d(1283) r(432,417) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) a(1140,1113) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) 
	  1 a(1176,1699) r(421,620) d(758) a(1291,387) r(667,418) a(866,1375) r(1708,1712) d(1148) d(757) r(892,891) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) a(1291,1173) d(646) 
	  1 a(1176,1699) r(421,620) d(758) a(1291,387) r(667,418) a(866,1375) a(1291,1173) d(1713) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1134,779) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) r(1708,1712) d(1148) d(757) a(701,645) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) d(1059) d(1727) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1059) d(1082) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) d(1734) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(701,703) a(755,1314) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) r(701,703) r(1298,1296) 
	  1 a(1176,1699) r(972,977) r(760,1102) r(593,1288) r(856,850) a(335,578) d(850) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) d(1733) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1288,1134) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) d(387) r(1272,1699) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) a(1195,550) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) d(387) d(1711) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) d(1114) a(435,1278) r(1126,1226) r(465,1057) d(1297) r(421,677) 
	  1 a(1176,1699) r(699,769) a(1282,666) 
	  1 a(1176,1699) d(753) a(1292,1099) d(1175) a(1292,1099) d(1175) r(691,406) r(1272,487) d(1113) d(438) r(1742,806) r(1375,898) d(980) r(1112,1170) d(1114) d(386) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) d(1297) r(1080,447) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) d(1738) 
	  1 r(444,703) a(645,757) r(1195,1721) a(980,646) r(1708,1712) d(1148) a(703,536) r(757,650) 
	  1 a(1176,1699) d(1296) a(1277,812) d(422) d(1117) d(1711) 
	  1 d(1338) d(1140) d(1375) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(699) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) r(1113,1338) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) r(455,1706) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) r(758,446) a(386,1380) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) d(36) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(1730) 
search: generation 9 (sizeof one variant = 0.203196 MB)
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) a(1722,447) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) r(870,828) 
	  1 r(455,1164) r(1697,679) d(871) r(1741,1702) a(1154,541) a(1154,541) d(1738) r(1702,1716) r(758,446) a(386,1380) d(620) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) d(337) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) d(757) r(1729,1290) r(407,370) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) r(455,1706) r(1299,423) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) r(455,1706) a(1733,694) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) d(876) 
	  1 a(1176,1699) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) a(1272,1725) 
	  1 r(455,1164) r(1697,679) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(1730) d(1378) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(1730) r(407,696) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) r(1115,1224) 
	  1 d(1279) d(1103) d(1281) r(1112,1114) r(1154,1380) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) d(1283) r(432,417) d(872) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) d(1283) r(432,417) r(701,766) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) a(764,1313) 
	  1 r(1338,537) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) r(1709,1299) 
	  1 d(1338) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(1713) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(1108) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) a(860,774) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) a(400,1273) r(1376,480) r(1107,1296) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1376,480) r(1052,1083) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1376,480) d(1728) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1376,480) r(1118,1083) 
	  1 a(1176,1699) d(1296) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) d(1729) 
	  1 a(1297,502) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(440) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1112) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) a(449,401) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(1163,756) d(387) d(1116) d(691) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) a(1195,550) a(1742,467) 
	  1 a(1297,502) d(1703) r(337,1051) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) d(690) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) a(433,432) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) r(1711,1719) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) d(1719) 
	  1 d(1338) d(1140) r(1292,1333) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1288,1134) r(1742,849) 
	  1 a(1176,1699) d(1296) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) d(1734) d(1109) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(1163,756) a(1294,620) d(1734) r(1281,1107) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1288,1134) r(663,756) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) a(400,1273) r(812,668) r(1158,759) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) r(1729,1290) d(421) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) a(860,538) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) r(887,888) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) d(662) 
	  1 r(444,703) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) a(400,1273) d(1735) d(810) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) a(400,1273) d(1735) a(602,629) 
	  1 r(444,703) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) d(870) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) a(868,439) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(667,418) r(1083,1697) d(445) r(853,828) r(760,767) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(646) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) r(448,1222) 
	  1 r(455,1164) r(1697,679) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) a(696,701) 
	  1 a(1176,1699) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) a(1698,751) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) r(443,439) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) d(811) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) d(1140) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) d(668) 
	  1 d(1279) d(1113) d(438) r(1742,806) r(1375,898) d(980) a(580,666) a(1284,1735) d(1106) d(971) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) d(650) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1276) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) r(389,593) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) d(1158) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) r(1112,1229) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) d(611) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) a(1152,1314) 
search: generation 10 (sizeof one variant = 0.204327 MB)
	  1 a(1176,1699) r(667,418) r(1083,1697) d(445) r(853,828) r(760,767) a(893,423) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1276) r(655,656) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1276) d(700) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(667,418) r(1083,1697) d(445) r(853,828) r(760,767) r(1140,540) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) a(400,1273) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) a(764,1313) d(891) 
	  1 a(1297,502) d(1703) r(337,1051) r(1376,480) r(1107,1296) d(661) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) a(400,1273) r(1376,480) r(1107,1296) a(1731,550) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) a(764,1313) r(1731,888) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) d(1140) d(1375) d(422) d(1117) r(455,1706) a(1733,694) d(446) 
	  1 d(1338) r(455,1706) a(1733,694) r(829,868) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) r(455,1706) a(1733,694) d(1728) 
	  1 d(1338) d(1140) d(1375) d(422) d(1117) r(455,1706) a(1733,694) r(1299,1117) 
	  1 d(1338) d(1140) r(1292,1333) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1288,1134) r(1742,849) d(1110) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(1376,480) r(1052,1083) r(449,417) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) a(860,538) r(1159,1292) 
	  1 d(1338) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(1713) r(1712,1719) 
	  1 a(1176,1699) r(699,769) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) a(1152,1314) a(1280,1149) 
	  1 a(1176,1699) d(753) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) d(811) d(1719) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) d(811) d(642) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) a(1152,1314) a(898,763) 
	  1 d(1338) r(387,1288) a(1169,577) d(811) a(792,768) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) a(860,774) r(1059,1052) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) a(860,774) d(1081) 
	  1 a(1176,1699) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) d(811) a(1373,1083) 
	  1 a(1176,1699) d(1296) a(1277,812) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) r(448,1222) r(667,1289) 
	  1 d(1338) d(1140) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) a(1722,447) r(699,593) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(456,696) a(1722,447) r(1723,1296) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) r(448,1222) d(1379) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) d(690) a(602,541) 
	  1 a(1297,502) d(1703) r(337,1051) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) a(757,1176) r(1108,677) a(1116,441) a(1152,1314) r(1702,1703) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) a(1152,1314) d(1295) 
	  1 a(1297,502) d(1703) r(337,1051) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) d(690) r(752,654) 
	  1 a(1176,1699) d(1296) d(668) d(1107) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1112) d(1294) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1112) r(338,699) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) a(1116,441) d(668) d(1709) 
	  1 r(455,1164) r(1697,679) r(699,769) a(435,1278) r(1126,1226) r(465,1057) a(1169,577) a(696,701) d(1054) 
	  1 r(1338,537) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) r(1709,1299) r(434,1729) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) a(449,401) r(394,1373) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(1108) r(1725,485) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(655) r(1727,1731) d(1293) d(1730) r(407,696) r(1103,658) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(757) r(1291,1159) d(1719) a(888,755) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) d(1719) d(870) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(1730) r(407,696) a(760,442) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(1703) r(337,1051) r(1697,679) r(423,851) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) d(662) a(465,467) 
	  1 a(1297,502) d(335) r(667,418) r(1083,1697) d(445) r(853,828) r(1112,1229) r(1175,1225) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) r(1112,1229) d(1056) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(759) a(701,757) d(1735) a(1170,1731) r(1109,1106) a(1733,1729) d(810) r(829,869) d(662) d(1296) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(980,646) r(1708,1712) d(1148) d(757) r(1291,1159) r(443,439) r(769,759) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) a(433,432) r(1718,1706) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(1296) a(1277,812) a(701,757) r(860,854) a(446,412) d(655) r(1727,1731) d(1293) d(1730) r(407,696) d(796) 
	  1 r(1338,537) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) r(667,418) r(1083,1697) d(445) r(853,828) d(646) r(851,868) 
	  1 a(1176,1699) d(1296) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) a(764,1313) d(1109) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1112) a(1703,546) 
	  1 a(1176,1699) d(1296) a(1277,812) a(701,757) d(753) a(400,553) d(1176) r(1289,1294) a(400,1273) r(812,668) d(1112) r(445,1017) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) d(1735) a(1170,1731) r(1172,1154) d(1103) d(1281) r(1112,1114) a(764,1313) a(867,859) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) d(1109) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) a(860,538) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) d(1140) d(1149) 
	  1 r(455,1164) r(1697,679) r(423,851) d(1159) r(701,760) r(893,890) a(443,449) r(465,1743) a(766,414) d(1722) a(1017,457) d(335) a(757,1176) r(1108,677) d(437) d(1140) a(437,1377) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) r(1729,1290) a(860,538) a(1373,517) 
	  1 a(1176,1699) d(753) a(400,553) d(1176) a(980,646) r(1708,1712) d(1148) d(757) a(400,1273) r(812,668) r(1158,759) a(1140,418) 
	  1 a(1297,502) d(1703) r(337,1051) r(1697,679) r(423,851) d(1159) r(1033,1034) a(1711,668) r(768,620) d(1743) r(828,832) r(435,414) a(449,401) a(1733,886) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) r(978,972) d(1728) d(422) r(687,1229) a(860,774) r(1278,1290) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) r(448,1222) r(766,691) 
	  1 d(1338) d(1140) r(1292,1333) a(435,1158) d(420) r(421,620) d(758) a(1291,387) r(667,418) r(1106,1102) d(386) r(797,552) r(448,1222) d(1057) 
	  1 d(1338) r(387,1288) a(418,454) d(602) a(1291,495) r(978,972) d(1728) d(422) r(687,1229) a(860,774) r(978,897) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1253
"Test Suite Evaluations": 208.833

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1019.18
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.157 = 0.0249742%
  compile                             633 174.235 = 27.7172%
  test                               1258 454.225 = 72.2578%
  TOTAL                                   628.617 = 61.6781% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:56:30 EDT 2013
shutting down
