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 2
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-194-117-107 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:31 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/tmpf6ecd0.c /tmp/tmp46f975.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.2914)
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(455) 
	  1 d(1104) 
	  1 d(2074) 
	  1 r(2219,2217) 
	  1 d(550) 
	  1 r(1390,597) 
	  1 d(2047) 
	  1 r(2094,2110) 
	  1 d(528) 
	  1 d(528) 
	  1 d(1740) 
	  1 r(2100,2098) 
	  1 a(2093,1720) 
	  1 r(1106,1099) 
	  1 a(342,540) 
	  1 d(1106) 
	  1 d(543) 
	  1 a(1391,691) 
	  1 d(1733) 
	  1 r(437,411) 
	  1 a(2133,2055) 
	  1 d(510) 
	  1 d(389) 
	  1 d(2105) 
	  1 r(2078,2079) 
	  1 d(1387) 
	  1 r(451,1301) 
	  1 a(1728,689) 
	  1 d(2043) 
	  1 d(527) 
	  1 r(436,415) 
	  1 a(1711,1387) 
	  1 d(2174) 
	  1 r(1736,1720) 
	  1 d(2074) 
	  1 d(2050) 
	  1 a(2094,1737) 
	  1 d(515) 
	  1 d(2106) 
	  1 original
search: generation 1 (sizeof one variant = 0.315245 MB)
	  1 d(543) d(1741) 
	  1 r(1106,1099) a(1096,1327) 
	  1 d(543) r(2050,2049) 
	  1 r(1106,1099) r(448,1739) 
	  1 d(510) d(449) 
	  1 a(2094,1737) r(1105,1302) 
	  1 d(510) a(446,446) 
	  1 a(2094,1737) a(453,438) 
	  1 r(1390,597) a(1341,1095) 
	  1 d(510) d(435) 
	  1 r(1390,597) d(1348) 
	  1 d(510) d(2090) 
	  1 r(436,415) r(1716,1729) 
	  1 d(510) r(411,897) 
	  1 r(436,415) r(1331,755) 
	  1 d(510) d(2218) 
	  1 d(455) r(1347,1308) 
	  1 r(437,411) d(2153) 
	  1 d(1387) d(490) 
	  1 r(2219,2217) a(2151,755) 
	  1 d(2050) r(1346,1340) 
	  1 r(437,411) d(554) 
	  1 d(2050) a(1099,767) 
	  1 r(437,411) a(438,1720) 
	  1 d(2074) d(2094) 
	  1 d(2174) a(1340,771) 
	  1 d(2043) d(1714) 
	  1 d(1740) d(2099) 
	  1 d(2043) r(1726,1733) 
	  1 d(1740) d(339) 
	  1 r(1736,1720) a(499,743) 
	  1 d(2074) r(530,472) 
	  1 r(1736,1720) d(1727) 
	  1 d(2074) d(436) 
	  1 r(437,411) d(525) 
	  1 a(2133,2055) d(2094) 
	  1 r(437,411) d(1734) 
	  1 a(2133,2055) d(501) 
	  1 d(515) a(2072,1723) 
	  1 r(1390,597) a(449,1208) 
	  1 a(2093,1720) a(557,2084) 
	  1 d(1740) a(1346,1308) 
	  1 a(2093,1720) d(2091) 
	  1 d(1740) d(525) 
	  1 r(451,1301) d(454) 
	  1 d(389) r(2093,2086) 
	  1 r(451,1301) r(2152,2151) 
	  1 d(389) r(2072,2109) 
	  1 a(2093,1720) a(2151,2135) 
	  1 r(1390,597) d(1340) 
	  1 a(2093,1720) a(1717,1739) 
	  1 d(1104) r(1746,1745) 
	  1 d(2106) r(439,451) 
	  1 d(1740) d(2154) 
	  1 d(2106) d(2070) 
	  1 d(1740) r(36,37) 
	  1 a(2094,1737) d(552) 
	  1 a(2133,2055) r(543,1242) 
	  1 a(2094,1737) d(548) 
	  1 a(2133,2055) d(545) 
	  1 r(2100,2098) r(1711,1114) 
	  1 d(2050) r(1102,1162) 
	  1 r(2094,2110) d(1344) 
	  1 d(528) a(2101,728) 
	  1 r(2094,2110) r(1727,1718) 
	  1 d(528) a(555,1713) 
search: generation 2 (sizeof one variant = 0.315929 MB)
	  1 a(2094,1737) a(2073,2122) 
	  1 d(510) d(435) r(1105,1302) r(446,454) 
	  1 a(2094,1737) r(1105,1302) a(450,501) 
	  1 d(510) d(435) r(439,451) 
	  1 r(1390,597) d(1340) a(2098,2076) 
	  1 d(510) r(411,897) r(2217,2220) 
	  1 r(437,411) a(438,1720) a(339,435) 
	  1 d(455) r(1347,1308) r(1724,1727) 
	  1 d(510) r(411,897) d(1741) r(2103,2243) 
	  1 d(543) a(560,689) 
	  1 d(510) r(411,897) r(451,1711) 
	  1 d(543) d(1741) d(446) 
	  1 r(2219,2217) a(2151,755) r(1723,2103) 
	  1 a(2093,1720) a(2151,2135) a(1346,429) 
	  1 d(455) r(530,472) a(2074,540) 
	  1 d(2074) r(1347,1308) d(2174) 
	  1 d(455) r(1347,1308) d(389) 
	  1 d(2074) r(530,472) a(2106,1285) 
	  1 a(2133,2055) r(543,1242) d(560) 
	  1 d(1740) r(36,37) r(1741,1753) 
	  1 r(1390,597) a(1341,1095) a(1732,1238) 
	  1 r(437,411) d(554) r(2076,483) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) 
	  1 d(510) r(1386,1109) 
	  1 r(451,1301) r(2152,2151) r(555,441) 
	  1 d(510) r(411,897) d(513) 
	  1 d(2050) r(1102,1162) r(1725,1716) 
	  1 d(510) d(435) r(2099,2101) 
	  1 r(2219,2217) a(2151,755) a(2152,728) 
	  1 r(437,411) d(525) a(2092,597) 
	  1 r(2219,2217) a(2151,755) r(2220,2218) 
	  1 r(437,411) d(525) d(2127) 
	  1 r(1736,1720) d(1727) a(1390,1182) 
	  1 a(2093,1720) a(1717,1739) r(1732,1735) 
	  1 r(1736,1720) d(1727) d(528) 
	  1 a(2093,1720) a(1717,1739) d(2153) 
	  1 r(1736,1720) a(499,743) a(1724,557) 
	  1 a(2133,2055) d(545) d(455) 
	  1 d(2106) d(2070) r(2134,448) 
	  1 d(2074) d(2094) d(1727) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) 
	  1 r(1106,1099) r(1711,1114) d(1718) 
	  1 r(2100,2098) r(1711,1114) d(411) 
	  1 r(1106,1099) r(448,1739) a(393,457) 
	  1 r(437,411) a(2134,413) 
	  1 r(437,411) d(525) a(438,1720) r(469,624) 
	  1 r(437,411) a(438,1720) a(1338,1235) 
	  1 r(437,411) d(525) r(1732,1712) 
	  1 d(510) d(435) a(513,555) 
	  1 r(2094,2110) d(1344) r(2079,2082) 
	  1 r(437,411) d(1734) r(1732,1715) 
	  1 r(437,411) d(525) d(2074) 
	  1 d(2106) r(439,451) a(2101,728) a(2094,1636) 
	  1 d(528) r(547,510) 
	  1 d(2106) r(439,451) r(1386,1113) 
	  1 d(528) a(2101,728) d(449) 
	  1 d(1740) a(1346,1308) r(450,486) 
	  1 r(437,411) d(554) r(2039,1176) 
search: generation 3 (sizeof one variant = 0.316541 MB)
	  1 r(437,411) d(525) d(2074) a(491,665) 
	  1 a(2094,1737) r(1105,1302) a(450,501) r(1348,1183) 
	  1 r(451,1301) r(2152,2151) a(438,1720) a(1338,1235) a(1740,1235) 
	  1 r(437,411) r(555,441) d(491) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) 
	  1 r(437,411) a(438,1720) a(1338,1235) r(1724,1729) 
	  1 r(437,411) a(438,1720) a(339,435) r(1386,1176) 
	  1 r(1736,1720) d(1727) d(528) d(1104) 
	  1 d(510) r(411,897) d(1741) r(2103,2243) a(1712,391) 
	  1 r(437,411) d(1734) r(1732,1715) a(1347,458) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) d(2071) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) 
	  1 r(437,411) d(554) r(2039,1176) d(435) 
	  1 r(437,411) d(554) a(2218,2070) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) 
	  1 r(437,411) d(554) r(2076,483) d(1103) 
	  1 a(2094,1737) a(2073,2122) r(411,975) 
	  1 d(510) r(411,897) d(513) d(1726) 
	  1 r(1390,597) d(1340) a(2098,2076) r(2080,2088) 
	  1 d(510) r(411,897) d(513) d(2079) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) 
	  1 r(2100,2098) r(1711,1114) d(411) r(342,760) 
	  1 d(2106) d(1727) d(528) d(521) 
	  1 r(1736,1720) r(439,451) r(1386,1113) a(519,713) 
	  1 d(2106) r(439,451) r(1386,1113) d(519) 
	  1 r(1736,1720) d(1727) d(528) a(1712,1719) 
	  1 d(1740) a(1346,1308) r(450,486) a(443,405) 
	  1 d(510) d(435) a(513,555) r(1336,734) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) a(1343,1351) 
	  1 d(510) d(435) a(513,555) a(2104,755) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) 
	  1 d(510) d(389) d(446) 
	  1 d(455) r(1347,1308) d(389) r(2082,2090) 
	  1 d(510) d(435) a(513,555) d(2105) 
	  1 r(451,1301) r(2152,2151) r(555,441) d(455) 
	  1 d(2074) d(2094) d(1727) r(1739,1392) 
	  1 r(1390,597) d(1340) a(2098,2076) r(411,1285) 
	  1 r(1106,1099) r(448,1739) a(393,457) a(499,490) 
	  1 r(2100,2098) r(1711,1114) d(411) r(391,485) 
	  1 d(2106) r(439,451) r(1386,1113) r(1098,890) 
	  1 d(510) d(435) a(513,555) a(496,656) 
	  1 r(437,411) d(1734) r(1732,1715) r(2080,2078) 
	  1 d(2074) a(1344,1147) d(1102) 
	  1 r(2100,2098) r(448,1739) r(1347,1308) d(2174) r(2047,2078) 
	  1 d(2074) r(1347,1308) d(2174) r(1743,667) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(530,557) 
	  1 d(1740) r(36,37) r(1741,1753) a(2220,582) 
	  1 r(437,411) a(438,1720) a(339,435) r(2045,2041) 
	  1 d(543) d(1340) a(2098,2076) a(455,2053) 
	  1 r(1390,597) a(560,689) r(558,556) 
	  1 d(543) a(560,689) d(1391) 
	  1 r(1390,597) d(1340) a(2098,2076) r(543,902) 
search: generation 4 (sizeof one variant = 0.316894 MB)
	  1 d(455) a(1343,1351) r(1721,1712) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) a(1343,1351) a(1730,738) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) 
	  1 r(2100,2098) r(448,1739) r(513,2144) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) d(1103) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(530,557) a(1720,1088) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(2103) 
	  1 r(437,411) a(438,1720) a(339,435) r(1386,1176) d(1744) 
	  1 d(510) d(435) r(558,556) r(411,1732) 
	  1 r(1390,597) a(560,689) a(513,555) r(1336,734) d(2128) 
	  1 d(510) d(435) a(513,555) r(1336,734) a(444,2134) 
	  1 r(1390,597) a(560,689) r(558,556) r(438,527) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(389,446) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(498,545) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1393,1340) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(1391,1208) 
	  1 d(510) r(411,897) d(513) d(2079) r(405,1733) 
	  1 a(2094,1737) a(2073,2122) r(411,975) a(1345,1208) 
	  1 r(437,411) r(558,556) d(1736) 
	  1 r(1390,597) a(560,689) d(554) a(2218,2070) d(1340) 
	  1 r(437,411) d(554) a(2218,2070) r(510,427) 
	  1 r(1390,597) a(560,689) r(558,556) a(1349,413) 
	  1 r(437,411) a(438,1720) d(542) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) a(1338,1235) r(1724,1729) r(2129,2133) 
	  1 r(437,411) a(438,1720) a(1338,1235) r(1724,1729) r(526,498) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) a(1104,445) 
	  1 d(1740) r(36,37) r(1741,1753) a(2220,582) r(445,1720) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) 
	  1 r(437,411) d(1734) r(1732,1715) a(1347,458) a(2103,468) 
	  1 d(2106) r(439,451) r(1386,1113) r(1098,890) d(2219) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) 
	  1 d(2074) d(2094) a(438,1720) a(339,435) r(2045,2041) r(1332,461) 
	  1 r(437,411) a(438,1720) a(339,435) r(2045,2041) r(546,552) 
	  1 d(2074) d(2094) d(1727) r(1739,1392) d(446) 
	  1 d(2106) d(1727) r(2045,2041) d(1096) 
	  1 r(437,411) a(438,1720) a(339,435) d(528) d(521) r(2073,651) 
	  1 d(2106) d(1727) d(528) d(521) d(2133) 
	  1 r(437,411) a(438,1720) a(339,435) r(2045,2041) d(1746) 
	  1 r(2100,2098) r(448,1739) d(2071) d(501) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) a(1344,1147) d(2071) a(542,485) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) d(2071) d(546) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) d(2071) d(451) 
	  1 r(437,411) a(438,1720) a(339,435) r(1386,1176) d(445) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) 
	  1 d(510) d(435) a(513,555) d(554) a(2218,2070) r(1098,1340) 
	  1 r(437,411) a(2104,755) a(1344,1303) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) 
	  1 r(1390,597) a(560,689) r(558,556) r(441,438) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) 
	  1 r(2219,2217) d(554) r(2039,1176) r(449,461) d(460) 
	  1 r(437,411) a(2151,755) a(2152,728) r(449,836) d(2076) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(1730) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(555,835) 
	  1 r(2100,2098) r(448,1739) r(1347,1308) d(2174) r(2047,2078) a(1722,690) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(2154) 
	  1 d(1740) r(36,37) r(1741,1753) a(2220,582) r(451,1720) 
	  1 d(2074) r(1347,1308) d(2174) r(1743,667) d(2079) 
	  1 d(455) r(1347,1308) d(435) r(2039,1176) r(449,461) d(1720) 
	  1 r(437,411) d(554) a(513,555) a(549,691) r(398,2098) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(2044,645) 
search: generation 5 (sizeof one variant = 0.317288 MB)
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) d(552) 
	  1 r(2100,2098) r(448,1739) r(513,2144) d(515) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) r(2092,2081) 
	  1 d(455) r(1347,1308) d(435) r(2039,1176) r(449,461) d(1720) r(1721,1712) a(1393,1307) 
	  1 d(455) a(1343,1351) r(1391,1176) 
	  1 d(455) r(1347,1308) d(435) r(2039,1176) r(449,461) d(1720) r(1345,1147) 
	  1 d(455) a(1343,1351) r(1721,1712) d(449) 
	  1 d(1740) r(36,37) a(1345,1208) d(545) 
	  1 a(2094,1737) a(2073,2122) r(411,975) r(1741,1753) a(2220,582) r(451,1720) r(1095,1342) 
	  1 d(1740) r(36,37) r(1741,1753) a(2220,582) r(451,1720) r(2081,2078) 
	  1 a(2094,1737) a(2073,2122) r(411,975) a(1345,1208) d(1714) 
	  1 r(451,1301) r(2152,2151) r(555,441) a(2044,645) a(1388,459) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) r(1722,1728) a(2074,1720) r(1743,1098) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1740,1739) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(2044,645) d(1729) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(1730) d(1723) 
	  1 d(455) r(1347,1308) d(435) r(2039,1176) r(449,461) d(1720) a(1741,1325) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(1388) 
	  1 d(510) d(435) a(513,555) r(1336,734) a(444,2134) r(2052,2070) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) a(1104,445) d(2099) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) d(557) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) d(515) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) 
	  1 r(437,411) d(545) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) d(554) a(2218,2070) d(1391) r(1389,1022) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) d(552) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(1745,398) 
	  1 d(2074) d(2094) a(438,1720) a(339,435) r(2045,2041) r(1332,461) a(1105,755) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(440,448) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) d(436) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(2044,645) a(2048,2050) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) 
	  1 d(1740) r(36,37) r(1741,1753) a(2220,582) r(445,1720) a(547,1332) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) 
	  1 r(2100,2098) r(448,1739) r(513,2144) d(2072) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(555,835) r(448,1739) r(513,2144) d(393) 
	  1 r(2100,2098) r(390,427) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(555,835) r(2174,582) 
	  1 r(2100,2098) r(448,1739) r(513,2144) r(440,415) 
	  1 d(2106) d(1727) r(2045,2041) d(1096) d(339) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(1730) r(437,339) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) d(1103) r(513,1076) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(2094,2045) 
	  1 d(455) a(1343,1351) r(1393,1340) r(1102,1162) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1721,1712) d(543) 
	  1 d(455) a(1343,1351) r(1721,1712) a(37,738) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1393,1340) d(409) 
search: generation 6 (sizeof one variant = 0.317452 MB)
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) a(1728,1388) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(444,443) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) d(545) r(445,903) 
	  1 d(1740) r(36,37) a(1345,1208) r(440,448) r(548,542) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(440,448) r(2152,2154) 
	  1 d(1740) r(36,37) a(1345,1208) d(545) r(443,1717) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1721,1712) d(543) a(553,2047) 
	  1 r(451,1301) r(2152,2151) a(513,555) a(549,691) a(429,559) r(440,448) d(393) 
	  1 d(455) r(1347,1308) d(435) r(555,441) a(2044,645) a(1388,459) a(529,427) 
	  1 r(451,1301) r(2152,2151) r(555,441) a(2044,645) a(1388,459) d(2042) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(440,448) r(1347,1188) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) r(2092,2081) r(530,559) 
	  1 r(451,1301) r(2152,2151) r(555,441) a(2044,645) a(1388,459) r(514,862) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(1388) a(2092,2114) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) a(491,665) r(443,875) d(2153) d(498) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(1745,398) d(1390) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) r(1106,1140) 
	  1 d(455) a(1343,1351) r(1721,1712) d(449) r(543,816) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) r(1722,1728) a(2074,1720) r(1743,1098) r(558,472) 
	  1 r(2219,2217) a(2151,755) a(2152,728) r(449,836) d(1730) r(437,339) r(2043,2069) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(555,835) r(448,1739) r(513,2144) d(393) d(2217) 
	  1 d(455) a(1343,1351) r(1721,1712) d(449) d(342) 
	  1 d(2074) d(2094) a(438,1720) a(339,435) r(2045,2041) r(1332,461) a(1105,755) a(1099,506) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) d(436) r(2218,2217) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) a(2044,645) a(2048,2050) a(1104,1127) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) d(436) r(1388,883) 
	  1 d(455) a(1343,1351) r(1393,1340) r(1102,1162) r(452,761) 
	  1 d(455) a(1343,1351) r(1721,1712) a(37,738) a(342,1186) 
	  1 r(2100,2098) r(448,1739) r(513,2144) r(440,415) a(544,1275) 
	  1 r(437,411) d(1714) r(436,426) 
	  1 a(2094,1737) a(2073,2122) r(411,975) a(1345,1208) d(525) d(2074) a(491,665) r(443,875) d(2153) r(1717,1711) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) 
	  1 a(2094,1737) a(2073,2122) r(411,975) a(1345,1208) d(1714) d(1713) 
	  1 a(2094,1737) r(555,441) r(1722,1728) a(2074,1720) d(1739) a(547,816) 
	  1 r(451,1301) r(2152,2151) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) d(554) a(2218,2070) d(1391) r(1389,1022) a(552,416) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) d(554) a(2218,2070) d(1391) r(1389,1022) d(556) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) a(342,453) 
	  1 a(2094,1737) a(2073,2122) r(411,975) r(1741,1753) a(2220,582) r(451,1720) r(1095,1342) d(1739) a(1722,646) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) 
	  1 a(2094,1737) a(2073,2122) r(411,975) r(1741,1753) a(2220,582) r(451,1720) r(1095,1342) r(1716,1728) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(1099) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1740,1739) r(1739,429) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(1727) r(1739,1392) r(1740,1743) d(552) a(2098,701) 
	  1 r(437,411) r(438,856) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(553) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) d(552) d(2217) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) r(2092,2081) d(2105) 
search: generation 7 (sizeof one variant = 0.318466 MB)
	  1 r(437,411) d(554) r(2105,2104) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) a(2218,2070) d(1391) r(2092,2081) r(530,559) r(2127,2134) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) r(2092,2081) r(530,559) r(1344,1176) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) d(2099) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1099,1757) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) a(491,665) r(443,875) a(513,555) a(549,691) a(429,559) r(440,448) d(393) d(439) 
	  1 r(451,1301) r(2152,2151) d(2153) d(498) d(436) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) a(491,665) r(443,875) d(2153) d(498) d(551) 
	  1 r(451,1301) r(2152,2151) a(513,555) a(549,691) a(429,559) r(440,448) d(393) a(1712,656) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(1388) a(2092,2114) r(2076,1301) 
	  1 r(451,1301) r(2152,2151) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) d(554) a(2218,2070) d(1391) r(1389,1022) a(552,416) d(542) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) d(545) r(445,903) r(540,764) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1098,767) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) d(2082) 
	  1 r(451,1301) d(436) d(557) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(554,633) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(553,1285) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) a(1389,1292) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) d(436) r(2218,2217) a(1386,1285) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) a(2074,1720) r(1740,1739) r(1739,429) r(2128,2129) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1740,1739) r(1739,429) d(2052) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) d(436) r(2218,2217) a(1349,1098) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1721,1712) d(543) a(553,2047) r(2095,2058) 
	  1 r(437,411) d(554) r(2039,1176) r(449,461) r(1722,1728) a(2074,1720) r(1743,1098) r(558,472) d(544) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(444,443) r(2074,1166) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) a(1728,1388) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) a(2079,342) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(2081,2093) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) a(1728,1388) d(469) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) r(525,499) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(1099) d(1715) 
	  1 r(451,1301) r(2152,2151) r(411,897) d(439) d(554) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) d(1347) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1389,543) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) r(2101,2099) 
	  1 a(2094,1737) a(2073,2122) a(491,665) r(443,875) d(2153) r(1106,1140) r(1719,1188) 
	  1 r(437,411) d(525) d(2074) r(411,975) a(1345,1208) d(1714) d(1713) d(2069) 
	  1 a(2094,1737) a(2073,2122) r(411,975) a(1345,1208) d(1714) d(1713) a(405,656) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) r(1106,1140) r(528,515) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) a(498,2174) 
	  1 d(455) a(1343,1351) r(1721,1712) d(449) r(543,816) a(393,584) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) a(1728,1388) r(491,470) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(440,448) r(2152,2154) d(552) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) d(2072) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2071) 
	  1 r(2100,2098) r(448,1739) r(513,2144) r(440,415) a(544,1275) r(543,1275) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) d(2094) 
	  1 r(437,411) d(1714) r(436,426) a(440,1085) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) 
	  1 r(437,411) r(2152,2151) r(555,441) a(2044,645) a(1388,459) d(2042) r(1333,864) 
	  1 r(451,1301) r(2152,2151) r(555,441) a(2044,645) a(1388,459) d(2042) r(549,580) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2073) 
search: generation 8 (sizeof one variant = 0.317808 MB)
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) r(525,499) d(2152) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1099,1757) d(2151) 
	  1 r(2100,2098) d(2153) d(339) a(1389,1292) a(393,374) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) r(448,1739) a(1344,1147) r(2081,2093) a(545,549) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(2081,2093) r(1744,416) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) a(1389,1292) r(1715,1713) 
	  1 r(451,1301) r(2152,2151) d(2153) d(498) d(436) r(1734,1726) 
	  1 r(437,411) d(554) a(2218,2070) d(1391) r(2092,2081) r(530,559) r(1344,1176) a(2072,683) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) r(556,1088) r(1346,1237) r(501,732) d(436) d(2082) a(442,1275) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) d(2082) d(2151) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1098,767) a(445,1636) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(440,448) r(2152,2154) d(552) a(547,471) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1389,543) d(2105) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) a(1742,654) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(544) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) d(2094) a(452,1312) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) d(557) r(528,487) 
	  1 r(451,1301) d(436) a(513,555) a(549,691) r(1098,446) d(1388) a(2092,2114) r(2076,1301) r(549,525) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(1388) a(2092,2114) r(2076,1301) r(547,499) 
	  1 r(451,1301) d(436) d(557) d(341) 
	  1 r(437,411) d(1714) r(1722,1728) a(2074,1720) r(1338,1294) d(342) d(1098) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(436,426) r(1350,1289) a(443,416) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) d(2072) r(541,483) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(547,510) a(544,1711) d(2094) d(540) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(1346,1237) r(501,732) d(436) a(553,1285) a(2092,2068) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(553,1285) r(390,389) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) d(2094) d(404) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(2078,2121) a(439,443) a(1728,1388) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) a(2079,342) r(2076,673) 
	  1 r(1390,597) d(1340) a(2098,2076) r(506,883) r(1721,1712) d(543) a(553,2047) r(2095,2058) d(2082) 
	  1 d(510) d(435) a(513,555) d(2072) r(559,1749) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) d(2072) a(527,457) 
	  1 d(455) r(1347,1308) d(435) a(513,555) r(1744,440) r(549,459) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) a(455,490) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) d(1718) 
	  1 r(437,411) d(554) r(2105,2104) r(1392,1292) a(2151,513) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(445,1740) 
	  1 r(437,411) d(554) r(2105,2104) r(1106,1391) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(36) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) a(2074,1720) d(1739) d(1099) d(1715) d(2070) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) d(514) 
	  1 d(455) r(1347,1308) d(435) a(513,555) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) r(2174,2096) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(1099) d(1715) d(2133) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) d(2099) d(2093) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) a(491,665) r(443,875) d(2153) d(498) d(551) a(498,398) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) d(2094) r(1389,800) 
	  1 r(451,1301) d(525) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) r(2101,2099) a(552,1161) 
	  1 r(451,1301) r(2152,2151) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(560) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(2042) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) r(2101,2099) d(1723) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) r(443,875) d(2153) r(1106,1140) r(528,515) a(2095,2108) 
	  1 r(437,411) d(525) d(2074) a(491,665) a(2053,700) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(2153) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) r(1106,1140) r(528,515) d(1351) 
search: generation 9 (sizeof one variant = 0.318636 MB)
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) d(1718) d(2134) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) d(1718) r(556,1735) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(1388) a(2092,2114) r(2076,1301) r(547,499) r(549,1734) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) a(543,691) 
	  1 r(451,1301) d(436) d(557) a(2151,513) r(1393,661) 
	  1 r(437,411) d(554) r(2105,2104) r(1392,1292) d(341) d(2092) 
	  1 r(451,1301) d(436) d(557) d(341) r(490,2049) 
	  1 r(437,411) d(554) r(2105,2104) r(1392,1292) a(2151,513) r(558,484) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) a(491,665) a(2053,700) r(2039,2074) 
	  1 r(437,411) d(525) d(2074) r(547,510) a(544,1711) d(2094) d(404) d(541) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(547,510) a(544,1711) d(2094) d(404) r(545,1326) 
	  1 r(437,411) d(525) d(2074) a(491,665) a(2053,700) a(2068,521) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1725,443) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) d(1336) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(1389,543) d(2105) a(1719,1338) 
	  1 r(437,411) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(411) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) d(442) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) r(1722,1725) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(1744) 
	  1 r(451,1301) d(436) d(557) d(341) r(1712,1718) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(2042) r(2040,2151) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) r(556,1088) a(2074,1720) r(1338,1294) d(342) r(2099,2100) a(544,1718) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) r(1346,1237) r(501,732) d(436) d(2082) a(442,1275) r(2100,2098) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) r(556,1088) r(1346,1237) r(501,732) d(436) d(2082) a(442,1275) d(2080) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(543) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) d(1737) 
	  1 d(455) r(1347,1308) d(435) a(513,555) r(1744,440) r(549,459) a(341,1750) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(491) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(445,1740) d(506) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) r(390,443) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(2044,2047) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) r(437,421) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) d(496) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) d(1103) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) a(1389,1292) r(1715,1713) r(549,982) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) a(1389,1292) r(1715,1713) d(438) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) r(542,661) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) d(557) r(528,487) d(525) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) r(2101,2099) a(552,1161) d(1392) 
	  1 r(451,1301) a(1717,711) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) d(557) r(528,487) d(1718) 
	  1 r(451,1301) d(525) r(555,441) r(1722,1728) a(2074,1720) d(1739) d(439) r(2101,2099) a(552,1161) d(490) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(1740,1743) r(1346,1237) r(501,732) d(436) a(553,1285) a(2092,2068) a(526,443) 
	  1 r(437,411) d(1727) r(1739,1392) r(2099,2100) a(527,2098) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(1390) 
	  1 r(437,411) d(1727) r(1739,1392) r(1740,1743) r(1346,1237) r(501,732) d(436) a(553,1285) a(2092,2068) d(1729) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) d(2174) d(2153) r(2047,762) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1098,767) a(1727,579) r(1347,1389) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) r(1727,1732) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) a(1733,499) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) a(2106,2262) 
	  1 d(455) r(1347,1308) d(435) a(513,555) r(1744,440) d(436) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) r(549,459) r(460,894) 
	  1 d(455) r(1347,1308) d(435) a(513,555) r(1744,440) r(549,459) a(2128,2095) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) a(1728,460) 
	  1 r(2100,2098) r(448,1739) a(1344,1147) r(1347,1308) d(435) a(513,555) a(549,691) r(1098,446) d(341) d(2090) r(525,499) d(2152) a(515,413) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) r(1714,1721) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) d(1714) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) d(2072) r(541,483) r(1730,1732) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(36) d(445) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) a(454,501) 
search: generation 10 (sizeof one variant = 0.317124 MB)
	  1 r(451,1301) d(436) d(557) a(1717,711) a(549,2077) 
	  1 r(451,1301) d(341) r(490,2049) d(2079) 
	  1 r(451,1301) d(436) d(557) d(341) r(490,2049) d(1721) 
	  1 r(451,1301) a(1717,711) r(2082,2129) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) d(1744) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) r(1722,1725) a(2039,2134) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) r(1727,1732) a(1731,1166) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(1744) d(2096) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(1744) r(501,1177) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) r(1727,1732) a(2045,1275) 
	  1 r(451,1301) d(436) d(557) d(341) r(490,2049) d(542) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) r(1727,1732) a(2094,2260) 
	  1 a(2094,1737) a(2073,2122) r(2076,483) d(1387) a(1344,1147) r(530,557) r(540,983) a(2128,1711) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) d(1737) r(1097,1393) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) d(1103) d(1347) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) r(556,1735) r(521,486) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) d(1718) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) r(2174,266) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) d(2051) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) r(1744,440) d(1718) r(556,1735) d(2071) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) r(437,421) r(1714,1726) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) r(2152,2151) r(411,897) a(1742,542) a(1745,398) d(398) r(1098,767) a(1727,579) d(1714) d(2072) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) d(442) r(496,1289) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(1392,1292) d(36) d(445) d(1730) 
	  1 r(437,411) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(543) a(2106,2055) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) a(2106,2262) r(2151,1166) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) a(2106,2262) a(2093,339) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(543) d(1739) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(491) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) d(2134) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) r(453,339) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(491) d(542) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) r(2049,2045) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(540,983) a(1745,398) d(398) d(2174) d(389) r(1722,1725) r(1388,1109) 
	  1 r(437,411) d(525) d(2074) r(530,557) a(1344,729) r(542,661) d(1720) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) r(542,661) d(1733) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) r(1722,1725) d(1340) 
	  1 d(455) r(1347,1308) d(435) a(513,555) r(1744,440) r(549,459) a(341,1750) r(1717,1732) 
	  1 r(451,1301) a(1717,711) a(341,579) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) d(442) d(1342) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) a(1344,729) r(542,661) d(1095) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(543) d(2048) 
	  1 r(451,1301) r(2152,2151) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(1390) a(443,729) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(1390) a(1393,701) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(2099,2100) d(543) d(1345) 
	  1 r(437,411) d(525) d(2074) a(491,665) r(443,875) d(2153) d(339) a(1389,1292) r(1715,1713) d(438) d(559) 
	  1 r(437,411) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(2153) r(2104,2103) d(555) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) a(1733,499) a(2151,513) r(1393,661) d(541) 
	  1 r(451,1301) d(436) d(557) r(1736,1733) 
	  1 r(437,411) d(525) d(2074) r(530,557) d(545) r(445,903) r(1389,714) d(549) a(1733,499) r(411,1740) 
	  1 r(451,1301) d(436) d(557) a(2151,513) r(1393,661) d(460) 
	  1 d(510) d(435) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(1740,1743) r(1346,1237) r(501,732) d(436) a(553,1285) a(2092,2068) a(526,443) r(460,553) 
	  1 r(451,1301) r(2152,2151) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) r(390,443) a(511,489) 
	  1 d(510) d(435) a(513,555) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) r(1347,1311) r(409,1141) a(2104,755) d(1723) a(2154,779) r(2128,2133) d(555) d(404) r(390,443) d(1344) 
	  1 r(451,1301) r(2152,2151) r(555,441) r(1722,1728) a(2074,1720) r(1338,1294) d(342) r(1740,1743) r(1346,1237) r(501,732) d(436) a(553,1285) a(2092,2068) a(526,443) d(437) 
	  1 r(451,1301) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) r(445,1740) d(506) r(559,1334) 
	  1 r(451,1301) d(436) d(557) d(341) r(1712,1718) d(1733) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) d(2073) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) a(1106,460) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) a(1342,559) 
	  1 r(437,411) d(1714) r(436,426) r(1350,1289) r(1726,1734) a(1389,543) d(2105) a(1105,1388) d(1388) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) r(2152,2151) r(411,897) a(1742,542) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) d(442) d(1714) 
	  1 r(451,1301) d(398) a(1346,651) d(1717) d(491) a(460,458) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) r(556,1088) r(1346,1237) r(501,732) d(436) a(549,691) a(429,559) r(540,983) a(1745,398) d(398) a(1346,651) d(1717) d(491) r(1732,1728) 
	  1 r(451,1301) r(2152,2151) r(411,897) a(1742,542) d(525) d(2074) r(530,557) r(540,983) a(1745,398) d(398) d(2174) d(389) d(442) d(1724) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1234
"Test Suite Evaluations": 154.25

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1106.92
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.731 = 0.102523%
  compile                             626 197.000 = 27.6317%
  test                               1241 515.217 = 72.2657%
  TOTAL                                   712.948 = 64.4076% (avg CPU usage)
gzip-bug-2010-01-30-fc00329e3d-1204630c96.tar.gz
Thu Sep 26 14:57:59 EDT 2013
shutting down
