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 7
--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 10
--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-242-165-59 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:29 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/tmp889826.c /tmp/tmp9be3a8.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 4.22944)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2303
cilRep: stmts in weighted_path = 208
cilRep: total weight = 127.7
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1764])
cilRep: util.c (code bank/base file; atoms [1765,2303])
cilRep: 2 file(s) total in representation
search: genetic algorithm begins (|original| = 0.314989 MB)
search: initial population (sizeof one variant = 0.0116301 MB)
	  1 d(1735) 
	  1 a(529,1312) 
	  1 d(453) 
	  1 d(527) 
	  1 r(445,545) 
	  1 r(505,2064) 
	  1 r(513,671) 
	  1 r(2104,2103) 
	  1 d(530) 
	  1 a(453,1275) 
	  1 d(2105) 
	  1 r(391,1175) 
	  1 r(451,1119) 
	  1 a(542,890) 
	  1 d(511) 
	  1 d(1744) 
	  1 r(1726,1714) 
	  1 r(1730,1725) 
	  1 d(1730) 
	  1 d(546) 
	  1 d(2099) 
	  1 r(390,418) 
	  1 r(530,472) 
	  1 d(342) 
	  1 r(1333,446) 
	  1 d(2043) 
	  1 d(556) 
	  1 d(1725) 
	  1 d(405) 
	  1 r(2073,1327) 
	  1 d(1728) 
	  1 d(438) 
	  1 r(2043,2051) 
	  1 r(1099,1301) 
	  1 r(2104,2103) 
	  1 r(1096,1106) 
	  1 r(1719,666) 
	  1 a(2042,468) 
	  1 r(1716,1713) 
	  1 original
search: generation 1 (sizeof one variant = 0.315244 MB)
	  1 d(405) r(546,551) 
	  1 r(391,1175) a(542,1756) 
	  1 d(405) a(448,1108) 
	  1 r(391,1175) r(2093,2088) 
	  1 r(2104,2103) d(2076) 
	  1 d(2043) a(499,2151) 
	  1 d(2105) r(1343,1309) 
	  1 d(453) r(2128,2133) 
	  1 d(2043) r(429,389) 
	  1 d(453) d(553) 
	  1 d(2043) d(341) 
	  1 d(453) d(496) 
	  1 r(530,472) a(558,409) 
	  1 d(527) a(37,519) 
	  1 r(391,1175) d(1745) 
	  1 r(513,671) d(1732) 
	  1 d(1744) a(1098,689) 
	  1 d(1725) a(1095,1307) 
	  1 r(2104,2103) d(2154) 
	  1 d(442) 
	  1 d(530) d(498) 
	  1 r(2104,2103) a(447,680) 
	  1 d(530) a(2072,1147) 
	  1 r(2104,2103) d(1741) 
	  1 r(1096,1106) d(1735) 
	  1 d(556) r(1730,1736) 
	  1 r(1096,1106) d(405) 
	  1 d(556) r(452,1739) 
	  1 d(527) a(2217,2151) 
	  1 d(2099) d(2091) 
	  1 d(527) a(1730,1736) 
	  1 d(2099) d(1106) 
	  1 d(453) d(515) 
	  1 d(530) a(453,557) 
	  1 r(505,2064) d(455) 
	  1 r(2104,2103) d(445) 
	  1 r(1096,1106) d(1728) 
	  1 r(505,2064) d(513) 
	  1 d(527) d(1715) 
	  1 d(1106) 
	  1 d(527) d(1096) 
	  1 d(2079) 
	  1 r(2043,2051) a(554,525) 
	  1 r(390,418) d(411) 
	  1 r(2043,2051) a(1104,461) 
	  1 r(390,418) d(398) 
	  1 d(511) d(1347) 
	  1 d(527) r(1745,1390) 
	  1 r(1099,1301) d(506) 
	  1 r(391,1175) a(1726,421) 
	  1 r(390,418) a(2045,584) 
	  1 r(513,671) r(491,2103) 
	  1 r(390,418) a(2079,2073) 
	  1 r(513,671) r(2095,2244) 
	  1 d(1725) a(541,764) 
	  1 d(1730) d(2073) 
search: generation 2 (sizeof one variant = 0.315893 MB)
	  1 r(2104,2103) a(2052,728) 
	  1 r(2104,2103) d(2076) d(1741) a(1733,1138) 
	  1 r(2104,2103) d(1741) r(527,547) 
	  1 r(2104,2103) d(2076) r(545,472) 
	  1 r(505,2064) d(513) d(405) 
	  1 d(1730) d(2073) r(558,544) 
	  1 r(391,1175) r(2093,2088) r(2106,2105) 
	  1 d(1730) d(2073) a(506,1327) 
	  1 d(2079) d(2129) 
	  1 d(1744) a(1098,689) r(2090,2098) 
	  1 d(511) d(1347) a(1388,1743) 
	  1 d(453) d(515) r(1344,1117) 
	  1 d(2105) r(1343,1309) a(548,540) 
	  1 d(2043) a(499,2151) a(2174,1713) 
	  1 d(2105) r(1343,1309) a(1728,1312) 
	  1 d(2043) a(499,2151) d(446) 
	  1 d(453) d(515) d(1097) 
	  1 d(1106) d(455) 
	  1 d(453) d(515) d(2154) 
	  1 d(1106) d(2053) 
	  1 d(556) r(1730,1736) r(1346,1296) 
	  1 d(527) a(37,519) d(398) 
	  1 d(1725) a(541,764) d(496) a(2070,2052) 
	  1 d(453) d(2078) 
	  1 d(1725) a(541,764) d(1742) 
	  1 d(453) d(496) a(527,683) 
	  1 r(1096,1106) d(1728) d(515) d(527) 
	  1 d(453) d(2105) 
	  1 r(1096,1106) d(1728) r(1099,1298) 
	  1 d(453) d(515) r(529,543) 
	  1 d(2043) d(1732) d(498) 
	  1 r(513,671) r(429,389) d(448) 
	  1 d(2043) r(429,389) a(411,707) 
	  1 r(513,671) d(1732) d(1344) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) 
	  1 d(527) r(546,499) 
	  1 d(556) r(452,1739) a(1721,560) 
	  1 d(527) a(2217,2151) r(441,429) 
	  1 r(391,1175) d(1745) r(2072,2067) 
	  1 d(405) a(448,1108) d(1349) 
	  1 r(391,1175) d(1745) r(1727,1716) 
	  1 d(405) a(448,1108) d(1744) 
	  1 d(2079) d(1386) 
	  1 r(1099,1301) d(506) a(2090,633) 
	  1 d(1725) a(1095,1307) a(2219,2114) 
	  1 d(2043) a(499,2151) d(444) 
	  1 d(1725) a(1095,1307) r(1726,1724) 
	  1 d(2043) a(499,2151) d(1099) 
	  1 d(527) d(1096) r(1106,1332) 
	  1 d(527) a(1730,1736) r(1727,1729) 
	  1 d(527) a(1730,1736) d(453) 
	  1 d(527) d(1096) r(2101,2099) 
	  1 d(556) r(452,1739) a(1096,1183) 
	  1 r(391,1175) a(1726,421) d(2101) 
	  1 d(527) d(1715) d(446) 
	  1 r(513,671) r(2095,2244) d(1331) 
	  1 d(2043) r(429,389) d(506) 
	  1 d(2105) r(1343,1309) r(545,1632) 
	  1 d(2043) r(429,389) a(501,772) 
	  1 d(2105) r(1343,1309) r(2105,2103) 
	  1 d(453) r(2128,2133) d(1386) 
	  1 d(453) d(496) d(2096) 
search: generation 3 (sizeof one variant = 0.316294 MB)
	  1 d(556) r(1730,1736) r(1346,1296) a(1746,2115) 
	  1 d(2043) d(1732) d(498) d(2069) 
	  1 r(391,1175) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) 
	  1 d(1744) d(2101) d(1737) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) 
	  1 d(1744) a(1098,689) r(2090,2098) r(450,460) 
	  1 r(2104,2103) a(2052,728) d(552) 
	  1 d(527) a(37,519) d(398) r(391,1625) 
	  1 d(527) r(546,499) a(1746,1743) 
	  1 d(527) d(1715) d(446) a(1713,1208) 
	  1 d(527) r(546,499) r(2096,2154) 
	  1 d(527) d(1715) d(446) d(1737) 
	  1 r(513,671) r(429,389) r(2078,2079) 
	  1 d(405) a(448,1108) d(1349) d(448) d(1102) 
	  1 r(513,671) r(429,389) d(448) d(530) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) 
	  1 d(1730) d(2073) a(506,1327) r(441,418) 
	  1 d(527) r(546,499) r(391,1107) 
	  1 d(2105) r(1343,1309) a(548,540) d(405) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) 
	  1 d(2105) r(1343,1309) a(548,540) d(506) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) a(389,1636) 
	  1 r(391,1175) d(1745) r(1343,1309) a(548,540) a(437,374) 
	  1 d(2105) r(1727,1716) a(404,1022) 
	  1 r(391,1175) d(1745) r(1727,1716) a(2040,683) 
	  1 d(2105) r(1343,1309) a(548,540) d(2048) 
	  1 d(527) a(37,519) d(398) a(1393,2053) 
	  1 r(1099,1301) d(506) a(2090,633) d(2218) 
	  1 d(2043) a(499,2151) d(1099) r(2090,2098) d(2053) 
	  1 d(1744) a(1098,689) a(1721,429) 
	  1 d(2043) a(499,2151) d(1099) d(2071) 
	  1 d(1744) a(1098,689) r(2090,2098) r(1723,1285) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) 
	  1 d(2043) a(499,2151) a(2174,1713) r(442,713) 
	  1 d(405) a(448,1108) d(1732) d(1344) a(546,552) 
	  1 r(513,671) d(1744) d(2069) 
	  1 d(405) a(448,1108) d(1744) d(2105) 
	  1 r(513,671) d(1732) d(1344) r(548,551) 
	  1 d(1725) d(1732) d(1344) r(557,1243) 
	  1 r(513,671) a(541,764) d(1742) d(339) 
	  1 d(1725) a(541,764) d(1742) r(2051,2068) 
	  1 r(513,671) d(1732) d(1344) d(454) 
	  1 d(1106) d(1099) r(1346,1390) 
	  1 d(2043) a(499,2151) d(2053) r(2052,2050) 
	  1 d(1106) d(2053) a(553,550) 
	  1 d(2043) a(499,2151) d(1099) a(510,551) 
	  1 d(556) r(452,1739) a(1721,560) r(545,1632) r(1735,1720) 
	  1 d(2105) r(1343,1309) d(1333) 
	  1 d(556) r(452,1739) a(1721,560) a(1104,1075) 
	  1 d(2105) r(1343,1309) r(545,1632) a(444,448) 
	  1 d(1730) d(2073) r(558,544) a(411,662) 
	  1 d(453) d(496) a(527,683) a(2134,2108) 
	  1 d(527) d(1715) d(446) r(452,1739) a(1721,560) d(1103) 
	  1 d(556) d(2043) 
	  1 d(527) d(1715) d(446) d(2103) 
	  1 d(556) r(452,1739) a(1721,560) a(2094,2110) 
	  1 d(1725) a(1095,1307) d(2070) 
	  1 d(2105) r(1343,1309) a(548,540) r(1726,1724) d(540) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) 
	  1 d(2105) r(1343,1309) a(548,540) r(1386,1189) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) 
	  1 d(2043) r(429,389) a(501,772) d(1718) 
	  1 r(2104,2103) d(2076) d(1741) a(1733,1138) d(398) 
	  1 r(2104,2103) d(2076) r(545,472) r(1732,1716) 
search: generation 4 (sizeof one variant = 0.316462 MB)
	  1 d(1725) a(1095,1307) r(1389,705) d(1719) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) r(1724,1712) r(1347,1312) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) a(2079,582) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) r(525,529) 
	  1 r(2104,2103) a(2052,728) r(1727,1716) a(2040,683) d(528) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) 
	  1 r(2104,2103) a(2052,728) d(552) r(1724,1733) 
	  1 r(391,1175) d(1745) r(1727,1716) a(2040,683) d(2051) 
	  1 d(556) r(452,1739) d(1742) d(339) a(519,1737) 
	  1 r(513,671) a(541,764) a(2217,2151) r(1344,1341) r(556,1302) d(2105) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) 
	  1 d(1730) d(2073) a(506,1327) d(552) d(469) 
	  1 r(2104,2103) a(2052,728) r(441,418) d(341) 
	  1 d(1730) d(2073) a(506,1327) r(441,418) a(1734,660) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) 
	  1 d(527) r(450,460) r(546,528) 
	  1 d(1744) a(1098,689) r(2090,2098) r(546,499) r(2096,2154) a(450,755) 
	  1 d(527) r(546,499) r(2096,2154) d(1349) 
	  1 d(1744) a(1098,689) r(2090,2098) r(450,460) r(1717,1728) 
	  1 d(2043) d(1344) d(454) d(496) 
	  1 r(513,671) d(1732) r(429,389) a(501,772) d(1718) a(342,766) 
	  1 d(2043) r(429,389) a(501,772) d(1718) a(2151,816) 
	  1 r(513,671) d(1732) d(1344) d(454) a(498,472) 
	  1 r(391,1175) a(1726,421) a(1098,689) d(505) d(511) 
	  1 r(2104,2103) d(2076) r(545,472) r(2090,2098) r(445,1725) a(2052,902) 
	  1 r(391,1175) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) 
	  1 d(527) d(1715) d(446) a(1713,1208) a(436,559) 
	  1 d(1725) a(541,764) d(1742) r(2051,2068) a(1719,2123) 
	  1 d(453) d(496) a(527,683) r(1386,1189) r(2096,2072) 
	  1 d(2105) r(1343,1309) a(548,540) a(2134,2108) a(2078,645) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(1711,661) 
	  1 d(2105) r(1343,1309) a(548,540) r(1386,1189) r(555,420) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) a(1724,672) 
	  1 d(405) a(448,1108) d(1744) d(2105) r(2153,2154) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) r(2044,2045) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) a(389,1636) r(2099,2100) 
	  1 d(1744) a(1098,689) r(1730,1732) r(438,1295) 
	  1 d(1725) a(541,764) d(1742) r(2090,2098) r(450,460) r(1733,1734) 
	  1 d(1744) a(1098,689) r(2090,2098) r(450,460) d(451) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) 
	  1 d(405) a(448,1108) d(1099) r(1346,1390) r(438,1752) 
	  1 d(1106) d(1349) r(1389,705) r(498,491) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) 
	  1 d(1106) d(1099) r(1346,1390) d(2078) 
	  1 r(513,671) r(429,389) r(2078,2079) r(452,1739) a(1721,560) a(1104,1075) a(1097,1085) 
	  1 d(556) r(2128,2133) 
	  1 r(513,671) r(429,389) r(2078,2079) d(2080) 
	  1 d(556) r(452,1739) a(1721,560) a(1104,1075) d(530) 
	  1 d(453) d(496) a(527,683) r(1726,1724) r(1724,1712) a(2105,691) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) a(490,398) 
	  1 d(1744) a(1098,689) r(2090,2098) r(450,460) d(1390) 
	  1 d(556) r(1730,1736) r(1346,1296) a(1746,2115) a(505,413) 
	  1 d(527) r(546,499) r(391,1107) d(2072) 
	  1 d(556) r(452,1739) a(1721,560) r(545,1632) r(1735,1720) a(1095,1636) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) r(1735,1723) 
	  1 d(527) a(37,519) d(398) a(1393,2053) d(1386) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) 
	  1 d(2043) a(1721,560) d(1103) d(1729) 
	  1 d(527) d(1715) d(446) r(452,1739) a(1721,560) d(1103) d(1386) 
	  1 d(2043) a(499,2151) d(1099) r(2090,2098) d(2053) d(2073) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) r(1739,660) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) a(1714,1713) 
	  1 r(513,671) r(429,389) d(448) d(530) r(1103,1097) 
search: generation 5 (sizeof one variant = 0.317298 MB)
	  1 d(453) d(496) a(527,683) a(2134,2108) r(1711,661) d(1725) 
	  1 r(513,671) a(541,764) a(2217,2151) r(1344,1341) r(556,1302) d(2105) r(1105,1108) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) r(553,391) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) d(501) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) r(513,1725) 
	  1 r(391,1175) a(1106,766) a(2174,1159) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) a(548,1743) 
	  1 r(391,1175) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) r(2081,2080) 
	  1 d(2043) a(1721,560) d(1103) d(1729) a(1095,1307) a(2134,2108) r(460,771) d(545) 
	  1 d(1725) r(341,815) 
	  1 d(2043) a(1721,560) d(1103) d(1729) d(1726) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) r(1727,1716) 
	  1 d(527) r(450,460) r(546,528) a(1723,879) 
	  1 d(2043) a(499,2151) d(1099) r(2090,2098) d(2053) d(2073) r(1728,1735) 
	  1 d(1725) r(1389,705) a(1351,689) a(1098,1107) 
	  1 d(405) a(448,1108) d(1349) a(1095,1307) r(1726,1724) r(1724,1712) a(2079,582) r(449,553) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) a(2079,582) d(1096) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) d(529) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) d(527) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) r(1724,1712) r(1347,1312) d(1742) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) d(1099) r(2090,2098) d(2053) d(2073) r(2099,2098) 
	  1 d(2043) a(499,2151) r(525,546) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) 
	  1 d(2043) a(499,2151) d(1099) r(2090,2098) d(2053) d(2073) d(438) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) r(1389,705) r(525,529) d(405) 
	  1 d(405) a(448,1108) d(1349) d(1099) r(2090,2098) d(2053) r(458,1722) r(391,389) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) r(525,529) r(501,894) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(1102,393) 
	  1 d(1725) a(1095,1307) r(1726,1724) r(1724,1712) a(1714,1713) r(2080,2077) 
	  1 d(2043) r(429,389) a(501,772) d(1718) a(2151,816) d(1731) 
	  1 d(1725) a(541,764) d(1742) r(2051,2068) a(1719,2123) a(445,597) 
	  1 d(405) a(448,1108) d(1099) r(1346,1390) r(438,1752) d(453) 
	  1 d(1106) d(1099) r(1346,1390) d(2078) d(556) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) r(2096,2072) r(391,778) 
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) d(1724) 
	  1 d(453) d(496) a(527,683) r(1386,1189) r(2096,2072) d(2134) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) r(1716,1715) 
	  1 d(1725) a(541,764) d(1742) r(2090,2098) r(450,460) r(1733,1734) d(1714) 
	  1 r(513,671) r(429,389) d(448) d(530) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(2094) 
	  1 d(527) d(1715) a(1106,766) d(1727) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) d(2098) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) r(2073,391) 
	  1 d(453) d(496) a(527,683) r(1726,1724) r(1724,1712) a(2105,691) a(1096,455) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(1103) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) a(1724,672) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) r(439,389) 
	  1 d(556) r(452,1739) d(2104) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) a(1724,672) r(2103,1099) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) 
	  1 d(453) d(496) a(527,683) r(1386,1189) r(2096,2072) r(2068,2044) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) a(389,1636) r(2099,2100) r(1718,36) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) r(1735,1723) r(2044,2047) 
	  1 d(1106) d(1349) r(1389,705) r(498,491) r(1741,1753) 
	  1 d(556) r(452,1739) a(1721,560) a(1104,1075) d(530) a(404,549) 
search: generation 6 (sizeof one variant = 0.316929 MB)
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(1106,766) d(2098) d(1345) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(1102,393) a(404,1098) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) d(2098) r(1347,1105) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(1347,1312) r(393,1331) r(550,705) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) r(1733,1718) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) r(1727,1716) r(2053,858) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) 
	  1 r(2104,2103) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) a(2078,1242) 
	  1 d(527) d(1715) d(446) r(452,1739) a(2052,728) d(552) r(1731,1730) a(1102,393) d(1720) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(1102,393) d(454) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) d(436) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) 
	  1 r(513,671) r(429,389) a(2134,2108) a(2105,2134) a(446,661) a(2073,581) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) d(2098) d(547) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) d(1724) d(1104) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) d(1724) r(553,1757) 
	  1 d(527) d(1715) d(1731) a(447,890) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) d(1727) r(1392,1103) 
	  1 d(527) d(1715) a(1106,766) d(1727) a(435,1756) 
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) d(528) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) d(2068) 
	  1 d(527) r(450,460) r(546,528) a(1723,879) r(1735,1723) r(2044,2047) a(1736,615) 
	  1 r(391,1175) a(1726,421) d(2101) r(2044,2040) r(1735,1723) r(2044,2047) r(1333,1238) 
	  1 d(527) r(450,460) r(546,528) a(1723,879) r(554,1742) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) d(1724) r(548,560) 
	  1 r(513,671) r(429,389) d(448) d(530) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(513) 
	  1 d(453) d(496) a(1106,766) a(548,1743) d(1735) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) a(548,1743) r(2218,2174) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(1340) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) r(2096,2072) r(391,778) d(339) r(2098,1712) d(501) r(1095,1307) 
	  1 r(513,671) a(541,764) d(1742) d(429) 
	  1 d(405) a(448,1108) d(1349) r(1389,705) a(1351,689) r(2096,2072) r(391,778) r(438,498) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) d(501) r(525,550) 
	  1 d(556) r(452,1739) d(1731) r(1726,1733) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) r(1095,1129) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) r(1343,1344) 
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) d(1095) 
	  1 r(513,671) r(450,460) r(546,528) a(1723,879) r(1331,1099) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) r(1103,1108) 
	  1 d(527) r(450,460) r(546,528) a(1723,879) d(439) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(2096,1208) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) a(548,1743) a(1739,443) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) r(513,1725) d(1336) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) a(1349,1341) 
	  1 r(513,671) d(549) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) a(1392,1075) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) d(527) a(1735,665) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) d(438) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) r(505,1104) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) 
	  1 d(556) r(452,1739) a(1721,560) a(1104,1075) d(530) a(404,549) r(2104,2105) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(1711,661) d(1725) d(2080) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) a(389,1636) r(2099,2100) r(1718,36) a(1351,1104) 
	  1 d(1725) r(1389,705) a(1351,689) a(1098,1107) a(1734,1285) 
	  1 d(527) r(1716,1715) r(435,2100) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) d(1715) a(1106,766) d(1727) d(1343) 
	  1 d(527) d(1715) a(1106,766) d(1727) r(2104,2103) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) r(1716,1715) d(1743) 
search: generation 7 (sizeof one variant = 0.317255 MB)
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) d(528) a(469,883) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) a(1096,1102) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) r(513,1725) d(1336) r(1386,1189) d(1731) d(528) a(2100,490) 
	  1 d(453) d(496) a(527,683) r(2094,2087) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1726,421) a(1098,689) r(2090,2098) r(445,1725) r(2106,2104) r(513,1725) d(1336) r(1744,1632) 
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) d(528) a(496,695) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) d(501) r(525,550) r(405,542) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(458) 
	  1 r(513,671) r(429,389) a(1106,766) d(1727) r(2104,2103) d(556) 
	  1 d(527) d(1715) d(448) d(530) a(1102,393) r(2220,2219) r(448,454) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) r(1715,1730) 
	  1 d(527) d(1715) a(1106,766) d(1727) r(2104,2103) a(1386,1393) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(1736) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) d(1727) r(1392,1103) a(441,1242) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) d(1727) r(1392,1103) a(1728,374) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) r(452,980) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(2096,1208) a(404,883) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) 
	  1 r(2104,2103) a(2052,728) d(552) r(1731,1730) a(1102,393) a(404,1098) r(451,897) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(2096,1208) r(1719,443) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) 
	  1 d(527) r(1716,1715) r(435,2100) a(553,1153) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) r(442,894) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) r(530,554) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) 
	  1 d(453) d(496) a(527,683) r(1386,1189) d(1731) d(1095) d(551) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1720) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) d(527) a(1735,665) d(526) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) a(1721,743) 
	  1 r(2104,2103) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) a(2078,1242) r(2080,2092) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) d(1727) r(1392,1103) d(1719) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) d(530) a(1106,766) a(548,1743) a(1739,443) d(544) 
	  1 r(513,671) r(429,389) d(448) r(393,1331) r(458,420) r(555,1208) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) r(2080,2092) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) a(548,1743) a(1739,443) a(515,498) 
	  1 r(513,671) r(429,389) d(448) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) r(1343,1344) d(441) 
	  1 d(556) r(452,1739) d(530) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(513) a(546,2090) 
	  1 r(513,671) r(429,389) d(448) d(530) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(513) r(548,505) 
	  1 d(556) r(452,1739) a(2217,2151) r(1344,1341) r(556,1302) r(2039,584) d(525) r(1343,1344) r(1388,759) 
	  1 r(513,671) r(429,389) d(448) d(530) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(513) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(2096,1208) a(2069,1720) 
	  1 d(453) d(2104) 
	  1 r(513,671) r(429,389) d(448) d(530) a(527,683) a(2134,2108) a(2105,2134) r(553,391) d(513) r(1734,1726) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(2096,1208) a(2218,471) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) r(1733,1718) d(1739) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) d(436) d(1729) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) d(436) r(491,854) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) r(1733,1718) r(521,2145) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) d(1715) a(1106,766) d(1727) d(1343) r(2078,2080) 
	  1 r(513,671) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) a(1392,1075) d(501) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(2134,2108) r(1711,661) d(1725) d(2080) a(451,2123) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(1711,661) d(1725) d(2080) a(2078,680) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(2071) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) r(1716,1715) d(1743) a(1106,766) d(2098) d(547) r(514,1103) 
	  1 r(513,671) r(429,389) d(448) d(530) d(451) 
	  1 r(2104,2103) d(2076) r(545,472) d(505) d(1095) r(1716,1715) d(1743) d(2045) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) d(2098) d(547) d(448) 
search: generation 8 (sizeof one variant = 0.315825 MB)
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(1733,1735) 
	  1 r(513,671) r(429,389) a(1106,766) d(1727) r(2104,2103) d(556) r(393,1331) r(458,420) r(2080,2092) d(559) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) r(2080,2092) r(2101,2099) 
	  1 r(513,671) r(429,389) a(1106,766) d(1727) r(2104,2103) d(556) r(1105,1388) 
	  1 r(2104,2103) a(499,2151) d(1099) r(2090,2098) d(2053) d(469) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) 
	  1 r(2104,2103) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(550,404) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(1095,1343) 
	  1 d(1725) a(469,2113) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(2071) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) d(1746) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) d(544) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(2071) d(2095) 
	  1 d(1725) a(1095,1307) a(2134,2108) r(460,771) d(527) a(1735,665) d(526) r(436,451) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) r(452,980) r(438,442) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) d(429) a(542,1238) r(37,36) d(1391) d(1102) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) r(1345,1338) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) d(391) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) d(2101) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) r(1733,1718) r(521,2145) a(2068,2262) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) a(1096,1102) r(438,891) 
	  1 d(1725) a(436,471) a(515,695) r(519,743) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) r(2080,2092) d(2129) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) r(458,420) r(2080,2092) d(1348) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) a(2069,1138) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) 
	  1 d(453) d(496) a(527,683) r(2094,2087) a(491,2053) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) r(505,777) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) d(1719) r(2079,2094) 
	  1 d(453) d(496) a(527,683) r(1386,1189) a(1106,766) d(1727) r(1392,1103) d(1719) r(551,1118) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) r(436,410) 
	  1 d(453) d(496) d(1731) a(447,890) d(2048) d(2151) 
	  1 d(527) d(1715) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) r(452,980) d(2068) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) r(452,980) a(451,2053) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) 
	  1 r(513,671) d(521) r(1733,1718) d(1739) d(1346) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) r(429,389) d(448) d(530) d(451) r(460,515) 
	  1 r(513,671) r(429,389) d(448) d(530) d(451) a(2082,2078) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) r(1733,1718) d(1739) a(439,1085) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) r(442,894) r(1724,1718) a(2072,2039) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) d(2096) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) r(442,894) r(2128,2133) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) r(2151,2072) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1106,766) d(2098) d(547) d(448) d(1741) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) d(1347) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(2096,1208) r(1719,443) d(440) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) a(1096,1102) r(2134,2259) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) d(2128) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) r(1341,1107) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) r(1733,1718) r(521,2145) a(1716,650) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) r(1715,1730) a(1391,1349) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(1106,1107) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) a(1332,498) 
	  1 r(513,671) r(429,389) d(448) r(393,1331) r(458,420) r(555,1208) a(1722,1730) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(2070,2074) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(1717,1713) 
	  1 r(513,671) r(429,389) d(448) r(393,1331) r(458,420) r(555,1208) a(2128,581) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) d(530) a(1106,766) a(548,1743) a(1739,443) d(544) r(548,527) 
search: generation 9 (sizeof one variant = 0.317966 MB)
	  1 r(513,671) d(521) r(1733,1718) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(2071) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) d(1746) d(442) 
	  1 d(453) d(496) d(1739) d(1346) r(527,499) 
	  1 r(513,671) d(521) r(1733,1718) d(1739) d(1346) a(2044,1611) 
	  1 d(453) d(496) a(527,683) d(448) d(530) a(1106,766) d(2098) a(436,471) d(2071) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) d(1746) d(389) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) d(1347) a(528,2151) 
	  1 d(527) a(541,764) r(514,1753) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(2051,658) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) d(1347) r(339,734) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) r(449,1300) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) r(442,894) r(2128,2133) d(519) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) r(442,894) r(2128,2133) d(1737) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) d(1719) r(2079,2094) r(541,547) 
	  1 d(453) d(496) d(1731) a(447,890) d(2048) d(2151) d(1719) r(2079,2094) r(2094,2090) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) r(1096,1289) 
	  1 d(453) d(496) d(1731) a(447,890) d(2048) d(2151) a(1392,1103) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) d(1719) r(2079,2094) d(1097) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) d(2101) d(2219) 
	  1 r(513,671) r(429,389) a(1106,766) d(1727) r(2104,2103) d(556) r(1105,1388) r(1096,1107) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) d(2101) a(2100,862) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) r(2151,2072) r(1736,1725) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) r(1715,1730) a(1391,1349) r(501,892) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) d(2101) d(1740) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) d(496) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) r(429,389) d(448) d(530) d(451) r(460,515) r(546,484) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(1733,1735) r(555,548) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) r(1733,1718) d(1739) a(439,1085) r(2048,2045) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(460,771) r(1727,1716) r(1733,1718) r(521,2145) a(1716,650) d(2073) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) r(1345,1338) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) r(1341,1107) d(490) 
	  1 d(527) d(2051) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) r(1345,1338) d(506) 
	  1 d(527) a(541,764) d(1742) d(339) r(2098,1712) r(1714,1718) d(2073) a(527,597) r(1341,1107) d(1098) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) a(2048,683) 
	  1 r(513,671) d(521) r(1733,1718) d(1739) d(1346) a(1724,2039) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) r(1715,1730) a(1391,1349) r(2071,2055) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) d(1106) d(546) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) d(2043) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) r(1715,1730) a(1391,1349) r(1333,975) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(1106,1107) d(2095) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) a(1096,1102) r(2134,2259) d(1737) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) a(1332,498) r(2092,2096) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) 
	  1 d(1725) a(525,461) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) a(1332,498) a(541,764) d(1742) r(1730,1732) r(1345,1338) d(515) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) r(1345,1338) a(1096,835) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) a(1332,498) d(1744) 
	  1 d(1725) a(469,2113) d(391) r(436,425) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(552,1022) 
	  1 d(1725) a(469,2113) r(2052,2056) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) d(391) d(1743) 
	  1 d(453) d(496) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) d(1105) 
	  1 d(405) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) r(2151,982) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) a(460,513) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) r(436,410) r(2040,2041) 
	  1 d(1725) a(1095,1307) r(1724,1712) r(1347,1312) r(393,1331) a(2105,2134) a(446,661) d(1739) r(560,756) d(544) a(429,446) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) a(2069,1138) a(1393,455) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) d(2096) d(441) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) d(2096) d(2043) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) a(2069,1138) d(2081) 
search: generation 10 (sizeof one variant = 0.319114 MB)
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) a(2048,683) d(2133) 
	  1 d(405) a(448,1108) d(1349) d(1739) d(2079) d(391) d(1743) d(490) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) d(391) d(1743) a(1098,342) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) a(2048,683) d(1389) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) d(2096) d(2043) a(390,413) 
	  1 d(527) a(541,764) r(514,1753) d(2042) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) a(389,615) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(552,1022) r(2082,2077) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) r(393,1285) 
	  1 d(527) d(1715) d(446) r(452,1739) a(499,2151) d(1099) r(2090,2098) d(2053) r(458,1722) d(521) r(1733,1718) d(1739) a(439,1085) r(2048,2045) d(458) 
	  1 d(527) r(1103,1111) 
	  1 d(453) d(496) d(1731) a(447,890) d(2048) d(2151) a(1392,1103) d(2051) a(1745,1022) 
	  1 d(527) d(2051) r(559,1098) 
	  1 d(453) d(496) d(1731) a(447,890) d(2048) d(2151) a(1392,1103) d(439) 
	  1 d(1725) a(469,2113) r(2052,2056) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) r(547,490) 
	  1 d(453) d(496) r(1392,1298) 
	  1 d(1725) a(469,2113) r(2052,2056) r(1727,1716) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) d(2076) 
	  1 d(453) d(496) a(527,683) r(2220,2219) r(1715,1730) a(1391,1349) r(501,892) r(390,413) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) r(449,1300) d(2100) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) r(449,1300) r(1331,814) 
	  1 r(513,671) r(429,389) d(448) d(530) a(1102,393) r(2220,2219) r(1715,1730) a(1391,1349) r(501,892) d(525) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) d(2096) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) d(2090) 
	  1 r(391,1175) d(1745) d(552) d(441) r(393,1611) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) d(2096) d(441) a(469,514) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) r(2094,2145) 
	  1 d(453) r(2070,2066) r(390,423) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(1106,1107) d(2095) d(436) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1739) d(2079) r(1106,1107) d(2095) r(2218,2174) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) d(2047) 
	  1 d(405) a(469,2113) d(391) r(436,425) r(1345,1177) 
	  1 d(1725) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) d(496) r(2133,2127) 
	  1 d(405) a(448,1108) d(1349) r(1726,1724) a(2134,2108) r(460,771) d(446) d(511) a(1711,1138) a(1729,1734) d(496) d(530) 
	  1 d(1725) a(469,2113) d(391) r(436,425) a(2092,1755) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) d(1719) r(2079,2094) d(1097) r(510,2095) 
	  1 d(527) d(1715) d(411) d(2217) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) a(2074,755) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(1727) r(1392,1103) d(1719) r(2079,2094) d(1097) a(2154,779) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) r(1737,798) d(411) d(37) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) a(2069,1138) d(2081) r(398,890) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) a(2069,1138) d(2081) a(398,459) 
	  1 d(453) d(496) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) d(411) d(1096) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) r(449,1300) r(1722,1737) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) a(541,810) a(1726,624) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) d(2220) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) r(449,1300) a(440,1718) 
	  1 d(453) d(496) a(527,683) a(2134,2108) r(458,420) d(1727) r(1392,1103) d(1719) r(2079,2094) r(449,1300) d(448) 
	  1 d(405) a(527,683) r(2094,2087) r(458,1722) d(521) a(2078,1242) r(2080,2092) r(1737,798) r(2151,982) a(510,1723) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) d(1742) r(1730,1732) r(1345,1338) d(506) r(435,2096) 
	  1 d(1725) a(541,764) a(446,661) a(1102,393) a(404,1098) r(1724,1718) r(2151,2072) r(1736,1725) d(1713) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) r(1724,1718) r(2151,2072) r(1736,1725) d(541) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) r(1345,1338) d(506) d(1718) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) r(436,410) r(2040,2041) r(1104,1389) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) d(551) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) a(519,1182) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) r(436,410) r(2040,2041) r(2174,552) 
	  1 d(1725) a(469,2113) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) a(1102,768) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(2052,2056) d(1388) 
	  1 d(1725) a(469,2113) r(2052,2056) a(2174,2072) 
	  1 r(391,1175) d(1745) d(552) r(1733,1721) r(550,1208) r(501,872) d(2095) d(1106) a(541,810) d(339) 
	  1 d(1725) a(541,764) d(1742) r(1730,1732) d(429) a(542,1238) r(37,36) d(1391) d(2101) a(2100,862) d(2094) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) d(1350) a(1096,1102) r(2134,2259) d(1737) d(1720) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(2098) a(436,471) a(515,695) a(2069,1138) d(2081) r(1345,1293) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(551) r(2070,2066) r(1742,692) 
	  1 d(527) d(1715) d(1731) a(447,890) d(2048) d(551) r(2070,2066) d(1744) 
	  1 d(453) d(496) a(527,683) a(1106,766) d(2098) a(436,471) a(515,695) a(2069,1138) d(2081) d(1716) 
	  1 d(1725) a(469,2113) r(2052,2056) a(2105,2134) a(446,661) a(1102,393) a(404,1098) a(2069,1138) a(1393,455) d(1347) 
	  1 d(453) d(496) a(527,683) a(2134,2108) d(454) 
	  1 d(1725) a(469,2113) r(2052,2056) a(1740,459) 
	  1 d(453) d(496) a(527,683) a(2134,2108) a(2105,2134) a(446,661) a(1102,393) a(404,1098) a(2069,1138) a(1393,455) a(1096,2090) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1306
"Test Suite Evaluations": 163.25

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1150.18
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.121 = 0.01602%
  compile                             662 208.189 = 27.5927%
  test                               1313 546.198 = 72.3913%
  TOTAL                                   754.509 = 65.5986% (avg CPU usage)
gzip-bug-2010-01-30-fc00329e3d-1204630c96.tar.gz
Thu Sep 26 14:58:41 EDT 2013
shutting down
