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 8
--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-175-128 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:36 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/tmpe0e1c3.c /tmp/tmpb29ea4.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 = 6.97992)
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.0116434 MB)
	  1 d(2134) 
	  1 r(1095,1104) 
	  1 r(447,404) 
	  1 r(342,2144) 
	  1 r(2091,2218) 
	  1 r(553,666) 
	  1 d(1721) 
	  1 d(409) 
	  1 r(405,1338) 
	  1 r(2092,2077) 
	  1 r(2152,2151) 
	  1 a(1336,1105) 
	  1 d(2074) 
	  1 r(505,984) 
	  1 r(2219,2218) 
	  1 a(1744,584) 
	  1 r(1732,1711) 
	  1 d(1349) 
	  1 r(2071,2218) 
	  1 d(540) 
	  1 r(1711,2134) 
	  1 a(405,1312) 
	  1 d(2082) 
	  1 r(1342,1112) 
	  1 d(2129) 
	  1 d(2079) 
	  1 a(445,1085) 
	  1 d(2093) 
	  1 a(1741,681) 
	  1 d(1106) 
	  1 d(2074) 
	  1 a(342,659) 
	  1 r(1095,1341) 
	  1 r(546,514) 
	  1 a(1739,1336) 
	  1 a(341,1242) 
	  1 d(519) 
	  1 d(1338) 
	  1 d(1393) 
	  1 original
search: generation 1 (sizeof one variant = 0.315256 MB)
	  1 r(2152,2151) d(1716) 
	  1 d(2134) d(2129) 
	  1 r(2152,2151) r(2100,2098) 
	  1 d(2134) a(1729,1743) 
	  1 d(2082) d(528) 
	  1 a(1336,1105) d(544) 
	  1 d(2082) r(411,529) 
	  1 a(1336,1105) r(435,1747) 
	  1 d(2079) d(2074) 
	  1 r(1342,1112) r(2078,2096) 
	  1 d(2079) a(37,513) 
	  1 r(1342,1112) d(1740) 
	  1 d(1338) r(2071,2086) 
	  1 d(1338) a(1386,763) 
	  1 d(1338) d(1733) 
	  1 d(1338) d(1104) 
	  1 r(342,2144) d(444) 
	  1 r(440,436) 
	  1 r(1732,1711) d(2039) 
	  1 d(2074) d(2129) 
	  1 d(2074) d(1104) 
	  1 d(409) d(2154) 
	  1 d(2074) a(547,658) 
	  1 d(409) a(2071,1022) 
	  1 r(2152,2151) d(1343) 
	  1 d(2134) d(2051) 
	  1 d(2074) a(1721,645) 
	  1 r(1732,1711) r(491,543) 
	  1 d(2074) d(2074) 
	  1 r(1732,1711) r(552,458) 
	  1 d(1349) a(429,422) 
	  1 d(1393) r(2127,2133) 
	  1 r(2152,2151) d(1722) 
	  1 d(1338) r(542,878) 
	  1 r(2152,2151) r(1723,870) 
	  1 d(1338) a(2044,658) 
	  1 d(409) r(1104,1340) 
	  1 d(2079) d(514) 
	  1 a(341,1242) a(1746,342) 
	  1 r(2071,2218) r(1720,1147) 
	  1 a(341,1242) r(390,422) 
	  1 r(2071,2218) d(1719) 
	  1 r(2071,2218) r(1745,457) 
	  1 r(405,1338) d(1391) 
	  1 r(2071,2218) r(530,549) 
	  1 r(405,1338) a(454,2174) 
	  1 a(341,1242) a(1711,435) 
	  1 d(2074) a(1097,902) 
	  1 a(1741,681) r(1736,1713) 
	  1 d(2079) d(542) 
	  1 d(1338) a(1095,1756) 
	  1 d(2079) r(1388,584) 
	  1 d(2129) r(499,1719) 
	  1 d(1349) r(559,690) 
	  1 d(2129) r(2068,2057) 
	  1 d(1349) d(1345) 
	  1 a(405,1312) r(1730,1725) 
	  1 a(1741,681) d(542) 
	  1 a(445,1085) d(1725) 
	  1 d(519) a(1736,1717) 
search: generation 2 (sizeof one variant = 0.315771 MB)
	  1 d(2079) r(549,577) 
	  1 d(1338) a(1095,1756) d(2074) d(448) 
	  1 d(2079) d(2074) r(548,544) 
	  1 d(1338) a(1095,1756) d(550) 
	  1 r(2152,2151) r(1097,1182) 
	  1 a(445,1085) d(1725) d(1716) d(2134) 
	  1 r(2152,2151) d(1716) a(555,1327) 
	  1 a(445,1085) d(1725) r(559,582) 
	  1 a(341,1242) d(2074) a(1104,1311) 
	  1 d(2079) a(1746,342) d(529) 
	  1 a(341,1242) a(1746,342) a(1386,510) 
	  1 d(2079) d(2074) d(544) 
	  1 d(1338) a(2080,670) 
	  1 d(1338) r(542,878) r(2071,2086) r(1730,1711) 
	  1 d(1338) r(2071,2086) r(404,2134) 
	  1 d(1338) r(542,878) d(1340) 
	  1 r(1342,1112) d(1740) d(513) 
	  1 d(2074) d(2074) a(1728,777) 
	  1 r(342,2144) d(1716) r(2094,2078) 
	  1 r(2152,2151) d(444) d(511) 
	  1 r(342,2144) d(444) r(1104,1098) 
	  1 r(2152,2151) d(1716) r(2039,405) 
	  1 d(409) r(1104,1340) a(1333,584) 
	  1 d(2079) d(2074) r(2101,2098) 
	  1 d(2074) d(2129) d(1104) r(542,683) 
	  1 d(1338) d(526) 
	  1 d(2074) d(2129) d(2096) 
	  1 d(1338) d(1104) d(455) 
	  1 a(445,1085) d(1725) d(390) 
	  1 d(2074) a(547,658) r(455,977) 
	  1 d(2074) r(1736,1713) d(1099) 
	  1 a(1741,681) d(1104) a(341,768) 
	  1 d(2074) d(1104) r(391,1629) 
	  1 a(1741,681) r(1736,1713) a(490,2113) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) 
	  1 a(405,1312) r(547,557) 
	  1 r(405,1338) d(1391) r(1735,1718) 
	  1 a(405,1312) r(1730,1725) r(1737,658) 
	  1 d(1349) d(1345) r(496,2094) 
	  1 d(409) r(1104,1340) r(2072,2099) 
	  1 d(1338) a(2044,658) r(2069,2056) 
	  1 r(1732,1711) r(491,543) r(1743,438) 
	  1 d(1338) a(2044,658) r(437,374) 
	  1 r(1732,1711) r(491,543) r(2104,2105) 
	  1 r(2152,2151) a(547,658) d(1351) 
	  1 d(2074) r(2100,2098) d(1718) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) 
	  1 d(2074) a(547,658) a(2091,2108) 
	  1 d(2074) d(1391) a(2071,606) 
	  1 r(405,1338) d(2129) d(2219) 
	  1 d(2074) d(2129) a(390,1138) 
	  1 r(405,1338) d(1391) a(546,743) 
	  1 d(1393) r(2127,2133) r(491,543) d(409) 
	  1 r(1732,1711) r(2073,556) 
	  1 d(1393) r(2127,2133) r(550,1305) 
	  1 r(1732,1711) r(491,543) d(453) 
	  1 d(1338) r(2071,2086) d(1345) 
	  1 d(1338) d(1104) d(1728) 
	  1 d(2079) a(1736,1717) a(1740,1749) 
	  1 d(519) d(514) a(2174,835) 
	  1 d(2079) d(514) d(2039) 
	  1 d(519) a(1736,1717) r(1386,1117) 
	  1 d(2079) d(2074) d(1732) 
	  1 d(2134) d(2051) d(2072) 
	  1 d(519) a(1736,1717) r(2100,2098) r(1741,1754) 
	  1 r(2152,2151) d(519) 
	  1 d(519) a(1736,1717) d(1742) 
	  1 r(2152,2151) r(2100,2098) d(2052) 
search: generation 3 (sizeof one variant = 0.316493 MB)
	  1 d(2134) d(2051) d(2072) r(558,485) 
	  1 d(2079) d(2074) r(2101,2098) a(1393,738) 
	  1 a(341,1242) a(1746,342) a(1386,510) d(544) 
	  1 d(1338) a(1095,1756) d(550) r(1345,1296) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) 
	  1 d(1338) a(2044,658) r(437,374) a(405,763) 
	  1 d(2079) r(549,577) r(553,1717) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) 
	  1 d(2079) d(2074) d(1732) a(543,1290) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) 
	  1 d(2079) d(2074) d(1732) d(1344) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) a(544,1138) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1721,1290) 
	  1 d(1338) r(542,878) d(1340) r(2101,2098) 
	  1 d(2074) d(2129) d(2096) r(404,689) 
	  1 d(519) d(514) a(2174,835) d(2101) 
	  1 d(2074) d(2129) d(2096) a(460,455) 
	  1 d(519) d(514) a(2174,835) r(2104,2105) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(1332,624) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) 
	  1 d(1338) a(2044,658) r(2069,2056) d(441) 
	  1 d(519) a(1736,1717) d(1742) d(2041) 
	  1 d(1338) d(1104) d(455) d(545) 
	  1 r(2152,2151) d(1716) r(2039,405) a(2073,2069) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) 
	  1 r(2152,2151) a(1346,1747) 
	  1 r(1342,1112) d(1740) d(513) d(450) 
	  1 r(2152,2151) d(1716) a(555,1327) d(2153) 
	  1 d(1338) d(1104) r(542,683) a(1105,519) 
	  1 d(2074) d(2129) a(2080,670) d(1351) 
	  1 d(1338) a(2080,670) r(2076,449) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) 
	  1 d(2074) a(547,658) a(2091,2108) d(555) 
	  1 d(2134) d(2051) d(2072) a(436,654) 
	  1 d(1338) d(1104) d(1349) 
	  1 a(341,1242) d(2074) a(1104,1311) d(455) r(1387,529) 
	  1 d(1338) d(1104) d(455) r(2092,2089) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) 
	  1 r(405,1338) d(1391) r(1735,1718) d(1099) 
	  1 d(2074) d(2129) a(390,1138) d(2095) 
	  1 d(2079) d(2051) d(2072) d(511) 
	  1 d(2134) d(2074) r(548,544) r(2090,1736) 
	  1 d(2079) d(2074) r(548,544) d(37) 
	  1 d(2134) d(2051) d(2072) r(2044,2052) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) 
	  1 d(519) a(1736,1717) d(1742) a(1739,2053) 
	  1 d(2074) d(2129) d(1104) r(542,683) d(490) 
	  1 d(1338) a(2044,658) r(437,374) r(2098,449) 
	  1 a(445,1085) d(1725) d(390) d(1098) 
	  1 d(2074) r(2100,2098) d(1718) d(453) 
	  1 a(1741,681) r(1736,1713) a(490,2113) r(542,878) d(1340) d(2152) 
	  1 d(1338) d(2078) 
	  1 a(1741,681) r(1736,1713) a(490,2113) d(1733) 
	  1 d(1338) r(542,878) d(1340) a(436,424) 
search: generation 4 (sizeof one variant = 0.316587 MB)
	  1 d(1338) d(514) a(2174,835) r(2104,2105) r(2040,2070) 
	  1 d(519) a(2080,670) r(2076,449) r(1724,1717) 
	  1 d(1338) a(2080,670) r(2076,449) d(436) 
	  1 d(519) d(514) a(2174,835) r(2104,2105) a(448,521) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(1346,1275) 
	  1 d(2074) a(1743,762) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) a(547,658) a(2091,2108) d(555) r(527,513) 
	  1 d(2074) a(547,658) a(2091,2108) d(555) a(499,1242) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) r(2041,2157) 
	  1 a(341,1242) a(1746,342) r(1736,1713) a(490,2113) r(542,878) d(1340) d(2152) d(528) 
	  1 a(1741,681) a(1386,510) d(544) r(2095,2261) 
	  1 a(341,1242) a(1746,342) a(1386,510) d(544) d(491) 
	  1 a(1741,681) r(1736,1713) a(490,2113) r(542,878) d(1340) d(2152) d(439) 
	  1 r(2152,2151) a(1346,1747) d(554) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(2103) 
	  1 d(1338) d(1719) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) 
	  1 d(1338) d(2078) a(450,1131) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(2082,2048) 
	  1 d(519) d(514) a(2174,835) d(2074) a(1104,1311) d(455) r(1387,529) a(526,659) 
	  1 a(341,1242) d(2101) r(1349,1129) 
	  1 d(519) d(514) a(2174,835) d(2101) d(1105) 
	  1 a(341,1242) d(2074) a(1104,1311) d(455) r(1387,529) d(549) 
	  1 a(341,1242) a(1746,342) a(1386,510) d(544) r(2127,2133) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(549,1742) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(552,1628) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) r(2052,2066) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) 
	  1 d(2079) d(2051) d(2072) d(511) r(1729,1085) 
	  1 d(2079) d(2074) d(1732) a(543,1290) a(553,2115) 
	  1 r(405,1338) d(1391) r(1735,1718) r(2104,2105) a(1349,404) 
	  1 d(519) d(514) a(2174,835) d(1099) d(496) 
	  1 r(405,1338) d(1391) r(1735,1718) d(1099) r(445,555) 
	  1 d(519) d(514) a(2174,835) r(2104,2105) d(2129) 
	  1 a(341,1242) d(2074) a(1104,1311) d(455) r(1387,529) a(1720,545) 
	  1 d(2074) d(2129) d(1104) r(542,683) d(490) d(1745) 
	  1 d(2134) d(2074) r(548,544) r(2090,1736) d(514) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) r(1345,1296) d(2070) 
	  1 d(1338) a(1095,1756) d(549) d(2078) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) 
	  1 d(1338) a(1095,1756) d(550) r(1345,1296) r(526,547) 
	  1 d(2074) d(2129) d(2096) r(404,689) r(1742,436) 
	  1 d(1338) d(1104) d(1349) r(542,743) 
	  1 d(1338) d(1391) r(1730,1725) d(2151) a(443,2103) r(543,714) 
	  1 r(405,1338) d(1104) d(455) d(545) a(1717,1325) 
	  1 d(1338) d(1104) d(455) d(545) a(404,424) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) a(1740,1340) 
	  1 d(2074) d(2129) a(390,1138) r(2076,449) r(2154,2151) 
	  1 d(1338) a(2080,670) d(2095) d(37) 
	  1 d(2074) d(2129) a(390,1138) d(2095) a(1106,2135) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(2134,615) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(469,453) d(460) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(411) 
	  1 d(2134) d(2051) d(2072) d(2129) d(1104) r(542,683) d(490) a(398,1334) 
	  1 d(2074) r(558,485) a(1737,767) 
	  1 d(2134) d(2051) d(2072) r(558,485) d(499) 
	  1 d(2074) d(2129) d(1104) r(542,683) d(490) a(2096,1235) 
search: generation 5 (sizeof one variant = 0.31686 MB)
	  1 d(2079) d(2074) d(1732) a(543,1290) a(553,2115) d(1096) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) 
	  1 d(1338) a(1095,1756) d(549) d(2078) a(1104,1311) r(559,800) r(1718,728) d(2152) 
	  1 a(341,1242) d(2074) r(2072,2261) 
	  1 d(1338) a(1095,1756) d(549) d(2078) r(490,411) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) 
	  1 a(341,1242) d(2074) a(1104,1311) d(455) r(1387,529) d(549) a(2092,1720) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) a(544,597) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(1346,1275) d(2219) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(527,515) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) a(547,658) a(2091,2108) d(555) r(527,513) a(2047,2095) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) 
	  1 r(2152,2151) a(1346,1747) d(554) d(1737) 
	  1 d(1338) d(2078) a(450,1131) d(548) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) 
	  1 d(1338) d(1104) d(1349) r(542,743) r(1390,1186) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) r(2098,2220) 
	  1 d(1338) d(1104) d(455) d(545) a(404,424) d(2073) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) a(342,733) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(439) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) 
	  1 d(1338) d(1391) r(1730,1725) d(2151) r(1345,1296) d(2070) d(1725) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) r(1345,1296) d(2070) d(558) 
	  1 d(1338) d(1391) r(1730,1725) d(2151) a(443,2103) r(543,714) r(2043,2048) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(549,1742) r(521,1188) 
	  1 d(2079) d(2074) d(1732) a(543,1290) a(553,2115) r(1348,1307) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(469,453) d(460) r(411,391) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) r(530,560) 
	  1 d(1338) d(1719) d(450) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) r(2096,2146) 
	  1 d(1338) d(2078) a(450,1131) d(2076) 
	  1 r(405,1338) d(1391) r(1735,1718) d(1099) r(1742,436) d(1389) 
	  1 d(2074) d(2129) d(2096) r(404,689) r(445,555) d(2091) 
	  1 r(405,1338) d(1391) r(1735,1718) d(1099) r(445,555) r(1714,1731) 
	  1 d(2074) d(2129) d(2096) r(404,689) r(1742,436) r(391,1076) 
	  1 d(519) a(2080,670) r(2076,449) r(1724,1717) d(342) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) 
	  1 d(2134) d(2051) d(2072) r(549,1742) a(519,1208) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(549,1742) r(1746,1741) 
	  1 d(2134) d(2051) d(2072) r(558,485) d(499) r(2043,2098) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(1719,1340) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(1341,1183) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) r(2052,2066) a(1345,499) 
	  1 d(2074) a(547,658) a(2091,2108) d(555) a(499,1242) d(2095) 
	  1 d(2074) d(2129) a(390,1138) r(2076,449) r(2154,2151) a(2093,902) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) d(389) 
search: generation 6 (sizeof one variant = 0.31744 MB)
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1104,1311) r(559,800) r(1718,728) d(519) d(1095) 
	  1 a(341,1242) d(2074) a(1393,1757) d(2134) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) d(2049) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) d(1727) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) d(548) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) d(389) d(1345) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(1346,1275) d(2219) r(1721,1718) 
	  1 d(1338) a(2080,670) d(2074) r(2072,2261) d(2133) 
	  1 a(341,1242) d(2095) d(37) r(409,890) d(2103) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(1725) 
	  1 a(341,1242) d(2074) r(2072,2261) a(1102,653) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) r(556,1388) 
	  1 a(341,1242) d(2074) r(2072,2261) r(2071,2101) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) r(1717,1712) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) a(547,658) a(2091,2108) d(555) r(527,513) a(2047,2095) a(1722,856) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(496) 
	  1 r(405,1338) d(1391) r(1730,1725) d(2151) a(443,2103) a(547,658) a(2091,2108) d(555) r(527,513) a(2047,2095) d(2070) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) r(1344,1109) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) a(544,597) d(469) 
	  1 d(1338) a(1393,1757) d(1719) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) d(1104) d(1349) r(542,743) r(1390,1186) a(1735,416) 
	  1 d(1338) d(1104) d(1349) r(542,743) r(1390,1186) r(1714,1736) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1390,1636) 
	  1 r(2152,2151) a(1346,1747) d(554) d(1737) a(540,445) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(1716,1085) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) r(2098,2220) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1347) 
	  1 a(341,1242) d(555) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) r(2098,2220) r(2098,2054) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(1346,1275) d(2219) a(519,671) 
	  1 d(519) a(2080,670) r(2076,449) r(1724,1717) d(342) a(1735,1182) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) a(1716,1393) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) d(389) a(2220,779) 
	  1 d(1338) a(2080,670) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(540) 
	  1 r(2152,2151) r(2076,449) r(455,658) d(555) r(404,483) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) 
	  1 d(1338) d(449) d(2078) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) r(339,448) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1718) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) r(1345,1296) d(2070) d(558) r(2052,2121) 
	  1 d(1338) a(1095,1756) d(2074) d(448) r(2069,2084) r(1346,1275) d(2219) d(429) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(393,436) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) r(1718,728) d(519) r(2218,2219) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2152) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) d(1711) 
	  1 r(2152,2151) r(1351,1294) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(2127,2129) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) r(2078,2081) 
	  1 r(2152,2151) a(1346,1747) r(2052,2066) a(1345,499) r(540,864) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) r(1388,1291) d(449) d(1717) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1393) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) r(2052,2066) a(1345,499) r(2154,2152) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) r(530,560) r(2091,2133) 
	  1 a(341,1242) d(2074) d(2095) d(37) r(409,890) d(2151) 
	  1 d(1338) a(2080,670) r(2072,2261) d(2105) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) r(550,1096) 
search: generation 7 (sizeof one variant = 0.317471 MB)
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(393,436) a(490,738) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(542,1729) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) d(389) a(2220,779) a(342,446) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) r(1718,728) d(519) r(2218,2219) a(540,673) 
	  1 r(2152,2151) r(2100,2098) r(455,658) d(555) d(391) r(1095,1131) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) d(496) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) d(1102) 
	  1 d(2074) d(2129) d(1104) r(542,683) d(1719) r(542,1060) 
	  1 d(1338) a(1393,1757) r(469,453) r(1745,1625) d(2074) d(1727) a(2047,490) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) d(1727) d(1096) 
	  1 d(1338) a(1393,1757) d(1719) r(2174,1238) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) r(455,658) d(555) r(404,483) r(1732,1721) 
	  1 r(2152,2151) r(2076,449) d(499) a(1393,1757) r(1390,1636) d(1717) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1390,1636) r(1734,1720) 
	  1 r(2152,2151) r(2076,449) r(455,658) d(555) r(404,483) a(1342,1301) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) r(1734,1719) 
	  1 a(341,1242) d(2074) d(2095) d(37) r(409,890) d(2151) r(1737,1734) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(1725) r(515,420) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2152) r(1741,1755) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2072) r(1744,1732) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(1099) d(1333) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) a(559,1597) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(2071,2134) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2152) a(1743,438) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) a(1726,2113) d(389) a(2220,779) r(1733,1734) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) r(444,389) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) d(2049) d(1718) d(446) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1718) d(2092) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) d(2049) r(510,871) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) d(549) a(436,510) r(525,472) d(1711) d(1741) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) r(447,389) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) d(1711) a(443,1131) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1718) r(1733,1734) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) d(1104) d(1349) r(542,743) r(1390,1186) a(1735,416) a(1717,2098) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) r(339,448) a(2103,540) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) d(2072) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(393,436) r(2127,2129) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) d(1727) r(554,649) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) d(1711) a(546,409) 
	  1 d(2074) d(2129) d(1104) r(542,683) r(469,453) r(1745,1625) d(2074) d(1727) d(550) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) r(339,468) 
	  1 r(2152,2151) a(1346,1747) d(554) d(1737) a(540,445) d(2093) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) d(496) d(1724) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(496) r(1720,1714) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) 
	  1 r(2152,2151) d(1716) a(555,1327) d(1711) r(1388,1291) d(449) d(1717) d(391) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1390,1636) d(1721) 
	  1 a(341,1242) d(2074) a(1104,1311) r(1343,1128) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) r(501,1635) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) a(2104,1711) 
search: generation 8 (sizeof one variant = 0.318064 MB)
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) r(1095,1237) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) r(501,1635) r(2099,2098) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) d(2074) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1718) d(2092) d(2051) 
	  1 d(1338) r(2047,2077) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) r(2079,2077) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(1349) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) a(525,653) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) r(438,472) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(1725) r(515,420) d(559) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2072) r(1744,1732) a(454,1719) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) a(559,1597) a(551,661) 
	  1 r(2152,2151) r(2080,2081) d(1714) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) d(496) d(2099) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) d(496) r(2076,738) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) d(2217) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(2092,2096) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) a(559,1597) a(1106,2123) 
	  1 a(341,1242) d(2074) r(559,800) r(1718,728) d(519) d(2072) r(1744,1732) d(2154) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) d(2218) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) r(552,1341) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(2072) r(1744,1732) r(1724,1731) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) d(1347) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) a(2072,2244) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) d(2049) d(1718) d(446) d(1103) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) d(496) r(1720,1714) r(452,651) 
	  1 d(1338) a(1393,1757) d(1719) r(2174,1238) r(442,680) 
	  1 r(2152,2151) r(2100,2098) r(455,658) d(555) d(391) r(1095,1131) r(2100,2098) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(1391) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(393,436) r(2127,2129) d(453) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) d(555) a(439,2135) d(409) d(1392) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) r(339,468) a(2105,816) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(515) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) d(1102) r(1389,416) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) d(1741) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) 
	  1 a(341,1242) d(2074) d(409) d(339) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(1387) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(458,1302) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(549) a(436,510) r(525,472) d(1711) a(546,409) r(2220,2218) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(449) d(1718) r(1733,1734) d(530) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(2091) d(2174) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) d(540) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) d(449) d(1718) r(1733,1734) d(448) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) r(1732,1721) d(390) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) r(455,658) d(555) r(404,483) d(391) r(339,468) r(2101,2099) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) r(339,468) a(469,496) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) r(455,658) d(555) r(404,483) r(1732,1721) d(1737) 
search: generation 9 (sizeof one variant = 0.317857 MB)
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) a(525,653) a(1345,1238) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) a(1713,2074) 
	  1 r(2152,2151) r(2100,2098) r(2217,2220) r(1736,1737) d(1734) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) d(496) r(2076,738) r(1724,1729) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) d(496) r(2076,738) r(2103,2056) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) r(2093,2078) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) d(540) r(438,460) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) a(2052,2120) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) r(1732,1721) d(390) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(1724) 
	  1 d(1338) a(2080,670) a(496,651) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) r(1732,1721) d(390) r(525,551) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(452) 
	  1 d(1338) d(2091) d(540) r(1334,1746) 
	  1 d(2074) d(2129) r(525,472) d(1711) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) a(1712,1176) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(2070) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) d(540) a(438,728) 
	  1 a(341,1242) d(2074) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) r(2103,692) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) r(1728,1722) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) a(454,442) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) r(1096,1128) 
	  1 r(2152,2151) a(1346,1747) r(2080,2081) d(2217) a(529,581) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) r(339,468) a(469,496) a(1736,1716) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) d(391) r(339,468) a(469,496) d(342) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) d(2217) a(510,606) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) r(2094,2069) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) d(1347) d(1334) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) d(2218) r(541,560) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) r(498,1300) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(2074) d(409) d(339) d(2096) 
	  1 a(341,1242) d(555) a(439,2135) d(409) d(515) r(37,36) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(515) r(557,1304) 
	  1 a(341,1242) d(2074) d(409) d(339) a(1095,1275) 
	  1 a(341,1242) d(2074) r(2072,2261) d(1714) d(1717) 
	  1 r(2152,2151) r(2080,2081) a(2050,1182) r(2080,2081) r(560,1162) d(529) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) r(446,483) 
	  1 r(2152,2151) r(2080,2081) d(1714) d(556) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(1393,2174) 
	  1 r(2152,2151) r(2100,2098) d(2072) r(1342,1235) r(2134,698) d(436) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(2104,2113) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) d(1332) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(1391) r(1741,1740) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) d(1099) a(559,1597) a(1106,2123) d(454) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) d(2074) r(1344,1301) 
	  1 a(341,1242) d(2074) r(2080,2081) r(560,1162) r(1389,1106) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) r(525,556) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) d(2074) a(515,584) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(1391) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) r(438,472) r(393,541) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(449) d(1718) r(1733,1734) d(530) d(439) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(393,436) r(2127,2129) d(453) a(1340,654) 
	  1 r(1342,1112) d(1740) d(513) d(1716) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) r(1386,1291) 
	  1 a(341,1242) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) d(505) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) a(2070,496) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) a(390,1755) 
	  1 r(2152,2151) d(1716) r(2039,405) d(445) r(558,485) r(455,658) d(555) r(404,483) d(391) r(339,468) r(2101,2099) a(1348,551) 
	  1 r(2152,2151) r(2080,2081) d(1714) d(398) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) r(2104,2103) 
	  1 d(1338) r(1732,1721) d(390) r(389,452) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(455,658) d(555) r(1732,1721) d(390) r(2133,2127) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) r(2051,2085) 
	  1 d(1338) a(2080,670) d(2095) d(1106) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) r(438,472) a(557,698) 
	  1 d(1338) a(2080,670) d(2095) d(37) r(409,890) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) r(1727,1730) r(438,472) a(437,542) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(2128) 
search: generation 10 (sizeof one variant = 0.319025 MB)
	  1 a(341,1242) d(2074) r(2072,2261) d(1714) d(1717) r(2076,449) r(455,658) d(2074) d(409) d(339) d(2096) r(2153,2151) 
	  1 d(1338) a(2080,670) a(1105,1105) 
	  1 a(341,1242) d(2074) r(2072,2261) d(1714) d(1717) a(454,1325) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(2074) d(409) d(339) d(2096) r(2127,2128) 
	  1 a(341,1242) r(455,658) r(339,468) r(2219,2174) d(2070) a(2080,1022) 
	  1 d(1338) a(2080,670) r(2076,449) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) d(505) a(441,515) 
	  1 a(341,1242) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) d(505) d(496) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(2070) d(1745) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) r(560,1162) a(390,1755) r(559,1302) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) d(2217) a(510,606) r(542,891) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(2100,2098) r(2217,2220) r(1736,1737) d(1734) a(521,451) 
	  1 r(2152,2151) r(1346,1132) r(1743,800) a(1713,2074) r(393,1715) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) a(1713,2074) r(505,483) 
	  1 r(2152,2151) r(2100,2098) r(2217,2220) r(1736,1737) d(1734) d(1347) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(1391) a(1106,660) 
	  1 d(2074) d(2129) r(525,472) d(1711) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) a(1712,1176) r(1390,1745) 
	  1 a(341,1242) d(2074) r(2080,2081) r(560,1162) d(1099) d(1719) d(2218) r(541,560) r(515,444) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) r(1389,1106) r(1733,1715) 
	  1 a(341,1242) d(2074) r(2080,2081) r(560,1162) r(1389,1106) d(454) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) d(2218) r(541,560) r(438,461) 
	  1 r(2152,2151) r(2080,2081) d(1714) d(556) r(1740,1746) 
	  1 a(341,1242) d(2074) d(409) d(339) a(1095,1275) a(435,545) 
	  1 r(2152,2151) r(2080,2081) d(1714) d(556) a(1731,496) 
	  1 a(341,1242) d(2074) d(409) d(339) a(1095,1275) r(525,552) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(1393,2174) r(1726,1715) 
	  1 a(341,1242) d(2074) r(2072,2261) a(2050,1182) r(2080,2081) d(2217) a(510,606) a(560,469) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) d(1332) d(1732) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(1393,2174) r(2071,2074) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) r(2050,2045) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(2070) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) r(2094,2069) d(2051) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) r(2094,2069) a(1733,2108) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(2070) r(409,1743) 
	  1 r(2152,2151) r(2100,2098) r(2100,2098) r(2217,2220) r(1736,1737) d(1734) d(2104) 
	  1 r(2152,2151) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(2104,2113) d(445) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) r(2134,698) a(2104,2113) a(549,856) 
	  1 r(2152,2151) r(2100,2098) r(2217,2220) r(1736,1737) d(1734) d(2068) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) r(1736,1737) r(1096,1128) d(551) 
	  1 a(341,1242) d(2074) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) a(454,442) a(2133,645) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) a(2070,496) a(2219,2070) 
	  1 d(1338) d(2091) d(540) r(1334,1746) r(526,491) 
	  1 d(2074) d(2129) r(525,472) d(1711) d(2091) d(540) a(438,728) r(557,541) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(1391) a(521,442) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) a(525,653) a(1345,1238) r(405,672) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) a(1713,2074) d(2100) 
	  1 d(1338) a(2080,670) d(2095) d(1106) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) r(1728,1722) r(1349,1119) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) r(1387,1730) 
	  1 d(1338) a(2080,670) d(2095) d(1106) d(1389) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(1104,1311) r(559,800) r(1718,728) d(519) r(435,1726) r(2217,2220) a(1746,1312) r(1728,1722) d(1389) 
	  1 r(1342,1112) d(1740) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(452) r(2099,2098) 
	  1 d(1338) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) r(2094,2069) d(1346) 
	  1 r(1342,1112) d(1740) d(513) d(1716) a(555,1327) d(550) a(443,2103) r(543,714) a(2152,1088) d(1716) r(2039,405) d(445) r(558,485) d(499) a(1393,1757) r(1712,1713) a(1333,2074) r(1345,1299) r(2094,2069) r(446,582) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) r(339,468) r(2219,2174) d(452) d(1719) 
	  1 r(2152,2151) r(2100,2098) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1342,1235) a(525,653) a(1345,1238) a(435,658) 
	  1 r(2152,2151) r(2080,2081) d(1714) d(398) d(1741) 
	  1 r(2152,2151) a(1346,1747) r(1388,1291) a(2080,670) r(2076,449) r(2098,1109) r(2128,2134) d(496) r(398,1065) d(2072) r(1346,1132) r(1743,800) d(2128) d(390) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(2074) d(409) d(339) d(2096) a(549,1235) 
	  1 d(1338) a(2080,670) r(2076,449) r(455,658) d(555) a(439,2135) d(409) d(515) r(557,1304) r(437,436) 
	  1 a(341,1242) d(2074) a(1104,1311) a(1104,1311) r(559,800) d(2078) a(2133,689) r(1348,1129) a(404,1737) r(559,800) r(1718,728) d(519) d(1099) d(1719) d(2218) r(541,560) r(1714,1716) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1236
"Test Suite Evaluations": 154.5

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1120.7
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.163 = 0.0224547%
  compile                             627 204.567 = 28.259%
  test                               1243 519.169 = 71.7185%
  TOTAL                                   723.899 = 64.5931% (avg CPU usage)
gzip-bug-2010-01-30-fc00329e3d-1204630c96.tar.gz
Thu Sep 26 14:58:17 EDT 2013
shutting down
