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 4
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-194-218-94 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:16 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/tmp3a99d9.c /tmp/tmp1c4829.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 = 3.66702)
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.0116596 MB)
	  1 r(2069,2070) 
	  1 d(1728) 
	  1 d(519) 
	  1 a(1393,2039) 
	  1 a(398,1161) 
	  1 d(2103) 
	  1 r(527,545) 
	  1 d(2106) 
	  1 r(469,398) 
	  1 r(1105,1336) 
	  1 d(454) 
	  1 d(1712) 
	  1 d(2128) 
	  1 d(447) 
	  1 d(499) 
	  1 r(393,1721) 
	  1 d(1390) 
	  1 d(2094) 
	  1 d(525) 
	  1 d(527) 
	  1 d(2098) 
	  1 d(1713) 
	  1 a(441,729) 
	  1 a(557,767) 
	  1 r(405,418) 
	  1 r(2078,2086) 
	  1 a(2217,711) 
	  1 d(1723) 
	  1 r(440,453) 
	  1 a(1345,510) 
	  1 a(1390,1387) 
	  1 r(2174,1239) 
	  1 d(1719) 
	  1 d(552) 
	  1 d(1097) 
	  1 d(1737) 
	  1 d(2078) 
	  1 r(443,1105) 
	  1 d(450) 
	  1 original
search: generation 1 (sizeof one variant = 0.315285 MB)
	  1 d(519) r(1743,872) 
	  1 d(2078) r(1737,832) 
	  1 d(519) d(2151) 
	  1 d(2078) r(1730,1723) 
	  1 d(527) d(2043) 
	  1 d(527) a(501,489) 
	  1 d(527) r(2098,449) 
	  1 d(527) d(1725) 
	  1 a(441,729) r(2174,466) 
	  1 a(557,767) d(1095) 
	  1 r(443,1105) d(1731) 
	  1 a(557,767) r(439,411) 
	  1 r(443,1105) d(1347) 
	  1 a(557,767) d(1727) 
	  1 d(2128) d(2220) 
	  1 d(1390) d(556) 
	  1 d(2128) d(2039) 
	  1 d(1390) a(1728,579) 
	  1 d(552) d(2217) 
	  1 r(405,418) r(2128,2127) 
	  1 d(552) d(2052) 
	  1 r(405,418) d(527) 
	  1 d(2094) d(1712) 
	  1 r(443,1105) r(1716,1718) 
	  1 d(2094) r(452,770) 
	  1 r(443,1105) a(525,558) 
	  1 a(1393,2039) a(2093,2077) 
	  1 a(1393,2039) r(1712,1735) 
	  1 d(1737) r(444,446) 
	  1 r(469,398) a(469,446) 
	  1 d(1737) r(498,1096) 
	  1 r(469,398) r(1393,1727) 
	  1 d(2094) a(1345,542) 
	  1 d(1723) d(1734) 
	  1 d(1723) a(341,1745) 
	  1 d(2094) a(2217,2095) 
	  1 d(1723) a(2134,1285) 
	  1 d(2094) r(546,501) 
	  1 d(525) r(549,1333) 
	  1 r(405,418) r(440,391) 
	  1 r(527,545) d(2082) 
	  1 d(2098) d(2219) 
	  1 r(527,545) a(1730,1336) 
	  1 d(2098) a(2079,2087) 
	  1 a(557,767) d(1727) 
	  1 d(1712) d(498) 
	  1 d(519) r(2048,2039) 
	  1 r(527,545) r(552,1387) 
	  1 d(519) a(443,651) 
	  1 r(527,545) r(2050,2043) 
	  1 a(2217,711) a(409,680) 
	  1 a(1393,2039) r(528,511) 
	  1 d(2094) r(1719,506) 
	  1 r(393,1721) d(1389) 
	  1 r(469,398) d(1393) 
	  1 d(527) r(443,666) 
	  1 d(1712) d(1347) 
	  1 r(2174,1239) r(559,1344) 
	  1 d(1712) a(514,499) 
	  1 r(2174,1239) r(1389,511) 
	  1 r(393,1721) r(458,755) 
	  1 d(2128) r(447,411) 
	  1 r(393,1721) d(1350) 
	  1 d(2128) d(1390) 
search: generation 2 (sizeof one variant = 0.315858 MB)
	  1 r(527,545) d(2082) r(458,796) 
	  1 a(441,729) r(2174,466) r(2091,2087) 
	  1 r(393,1721) d(1350) d(2082) 
	  1 a(441,729) r(2174,466) r(2042,2045) 
	  1 r(393,1721) d(1389) r(2105,2104) 
	  1 r(2174,1239) r(559,1344) r(405,1295) 
	  1 r(2174,1239) r(559,1344) a(448,645) 
	  1 d(1712) a(514,499) a(437,665) 
	  1 d(527) r(2098,449) r(2073,441) 
	  1 d(1712) d(1347) d(555) 
	  1 d(1390) d(556) r(1716,1718) d(515) 
	  1 r(443,1105) d(2082) 
	  1 d(1390) d(556) r(409,505) 
	  1 r(443,1105) r(1716,1718) r(2099,2101) 
	  1 r(393,1721) a(1742,1291) 
	  1 d(2094) d(1712) d(1389) r(1338,713) 
	  1 r(393,1721) d(1389) r(1711,486) 
	  1 d(2094) d(1712) d(2082) 
	  1 d(527) d(1725) d(527) 
	  1 r(393,1721) d(1350) r(2094,2058) 
	  1 r(443,1105) d(1731) a(540,505) 
	  1 a(557,767) r(439,411) r(1095,1159) 
	  1 r(405,418) r(2128,2127) d(460) 
	  1 d(1390) a(1728,579) d(1716) 
	  1 d(1390) a(2134,1285) d(339) 
	  1 d(1723) a(1728,579) r(515,764) 
	  1 d(1390) a(1728,579) d(2134) 
	  1 d(1723) a(2134,1285) r(540,490) 
	  1 a(1393,2039) r(525,483) 
	  1 r(527,545) r(2050,2043) a(2093,2077) a(435,405) 
	  1 a(1393,2039) a(2093,2077) d(2129) 
	  1 r(527,545) r(2050,2043) r(405,1186) 
	  1 a(1393,2039) r(1712,1735) r(2106,2103) 
	  1 r(405,418) r(440,391) r(529,511) 
	  1 a(1393,2039) r(1712,1735) d(439) 
	  1 r(405,418) r(440,391) r(2076,405) 
	  1 d(2094) r(546,501) d(1390) r(2127,2128) 
	  1 d(2128) d(1724) 
	  1 d(2094) r(546,501) r(1715,1731) 
	  1 d(2128) d(1390) a(2218,1242) 
	  1 d(2094) a(443,651) a(2127,2084) 
	  1 d(519) r(1719,506) d(560) 
	  1 d(2094) r(1719,506) d(1732) 
	  1 d(519) a(443,651) r(543,1275) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) 
	  1 a(2217,711) d(404) 
	  1 d(1723) a(341,1745) d(390) 
	  1 a(2217,711) a(409,680) d(2220) 
	  1 d(2094) a(1345,542) d(2052) d(448) 
	  1 d(552) r(1331,877) 
	  1 d(2094) a(1345,542) d(2042) 
	  1 d(552) d(2052) r(2093,2074) 
	  1 d(527) d(1725) d(1347) 
	  1 r(527,545) a(1730,1336) a(2080,1235) 
	  1 d(2094) r(1719,506) r(2220,2218) 
	  1 d(1723) a(2134,1285) r(506,425) 
	  1 d(2094) r(1719,506) a(2076,653) 
	  1 d(1723) a(2134,1285) a(1338,689) 
	  1 d(2128) d(491) 
	  1 r(393,1721) d(1350) r(447,411) d(1720) 
	  1 d(2128) r(447,411) d(460) 
	  1 r(393,1721) d(1350) r(1348,1128) 
search: generation 3 (sizeof one variant = 0.316514 MB)
	  1 d(1390) a(2134,1285) d(491) r(1104,1332) 
	  1 d(2128) d(339) d(411) 
	  1 d(1390) a(2134,1285) d(339) d(1348) 
	  1 d(2128) d(491) d(556) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) a(435,1757) 
	  1 d(2094) d(1712) d(1389) r(1338,713) a(1341,469) 
	  1 r(2174,1239) r(559,1344) r(405,1295) a(2152,856) 
	  1 d(1390) a(1728,579) d(2134) a(1333,342) 
	  1 d(2128) d(1724) r(448,1390) 
	  1 d(2094) d(1712) d(1389) r(1338,713) r(1347,1095) 
	  1 a(557,767) r(439,411) r(1095,1159) d(1350) 
	  1 a(1393,2039) r(1712,1735) d(439) r(1727,1735) 
	  1 d(2094) a(1345,542) d(2052) d(551) 
	  1 d(2128) d(1724) d(448) d(1731) 
	  1 d(2094) a(1345,542) d(2052) d(448) d(1344) 
	  1 d(2128) d(1724) r(2106,2105) 
	  1 d(2094) a(443,651) a(2127,2084) d(2048) 
	  1 r(393,1721) d(1350) r(2094,2058) a(429,551) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) 
	  1 r(527,545) d(2082) r(458,796) r(455,661) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2095,2039) 
	  1 r(527,545) d(2082) r(458,796) d(555) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) 
	  1 r(393,1721) r(409,505) d(1392) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) 
	  1 r(393,1721) a(1742,1291) a(1725,691) 
	  1 d(1390) d(556) r(409,505) a(529,468) 
	  1 d(2094) d(1712) d(2082) a(1725,1075) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) 
	  1 r(2174,1239) r(559,1344) a(448,645) d(438) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) 
	  1 r(2174,1239) r(559,1344) a(448,645) d(2101) 
	  1 d(2094) a(1345,542) d(2042) d(409) 
	  1 d(527) d(1725) d(527) a(440,1285) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(447,342) 
	  1 d(2094) r(1719,506) a(2076,653) d(2218) 
	  1 d(2094) d(1712) d(2082) d(1388) 
	  1 a(1393,2039) r(1712,1735) r(2106,2103) d(540) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) r(2153,2152) 
	  1 d(2094) d(1712) d(2082) a(429,458) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) a(1099,1298) 
	  1 d(1712) d(1347) d(555) a(554,506) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) a(554,2047) 
	  1 d(527) r(2098,449) r(2073,441) a(2152,738) 
	  1 d(527) d(1725) d(527) d(515) 
	  1 d(527) r(2098,449) r(2073,441) d(1344) 
	  1 d(527) d(1725) d(527) d(2104) 
	  1 d(2128) r(447,411) r(1716,1718) d(515) a(1349,1303) 
	  1 d(1390) d(556) d(460) r(411,1391) 
	  1 d(2128) r(447,411) d(460) a(1338,1161) 
	  1 d(1390) d(556) r(1716,1718) d(515) d(2071) 
	  1 r(405,418) r(2128,2127) r(1746,1739) 
	  1 d(552) d(2052) r(2093,2074) d(460) d(2081) 
	  1 r(405,418) r(2128,2127) d(460) r(2100,2099) 
	  1 d(552) d(2052) r(2093,2074) r(1350,1300) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) 
	  1 d(1390) r(341,1056) 
	  1 r(405,418) r(440,391) r(2076,405) d(542) 
	  1 d(1390) a(2134,1285) d(339) a(1714,2062) 
search: generation 4 (sizeof one variant = 0.316764 MB)
	  1 d(2128) r(2073,441) d(1344) r(1336,1129) 
	  1 d(527) r(2098,449) d(1724) r(448,1390) d(2078) 
	  1 d(2128) d(1724) r(448,1390) d(2082) 
	  1 d(527) r(2098,449) r(2073,441) d(1344) r(1392,1097) 
	  1 d(1390) d(556) r(1716,1718) d(515) d(2071) r(2095,2153) 
	  1 d(1390) d(556) d(460) r(411,1391) r(1390,1325) 
	  1 d(1390) d(556) r(1716,1718) d(515) d(2071) a(550,491) 
	  1 d(1390) d(556) d(460) r(411,1391) r(447,446) 
	  1 r(527,545) d(2082) r(458,796) d(555) a(404,511) 
	  1 r(393,1721) a(1742,1291) a(1725,691) d(2073) 
	  1 d(1390) d(556) d(460) r(411,1391) d(526) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) r(2092,2081) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) d(2098) 
	  1 d(527) d(1725) d(527) d(515) r(2128,2133) 
	  1 d(527) d(1725) d(527) a(440,1285) r(2090,405) 
	  1 d(1390) d(1715) 
	  1 d(2094) a(443,651) a(2127,2084) d(2048) d(556) r(409,505) a(529,468) d(2072) 
	  1 d(1390) d(556) r(409,505) a(529,468) r(553,897) 
	  1 d(2094) a(443,651) a(2127,2084) d(2048) r(2070,2095) 
	  1 a(1393,2039) r(1712,1735) d(439) r(1727,1735) r(2076,405) a(2134,1285) d(339) r(391,425) a(542,810) 
	  1 r(405,418) r(440,391) d(1714) 
	  1 a(1393,2039) r(1712,1735) d(439) r(1727,1735) a(2104,2077) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) a(404,777) 
	  1 d(1723) a(341,1745) a(409,680) r(1386,1351) a(435,1757) a(1351,2174) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) 
	  1 d(2128) d(339) d(411) d(1342) 
	  1 d(2128) d(339) d(411) a(541,521) 
	  1 d(2128) d(448) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) d(1724) d(448) d(1731) d(450) 
	  1 d(2128) d(1724) d(448) d(1731) d(1099) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) d(453) 
	  1 r(393,1721) d(1350) d(2092) d(2052) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) a(1711,1725) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) 
	  1 d(527) d(1725) d(527) d(2104) d(390) 
	  1 d(2128) d(1724) r(2106,2105) d(558) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) r(2076,420) 
	  1 r(2174,1239) r(559,1344) a(448,645) d(438) r(1724,1717) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) r(550,903) 
	  1 r(2174,1239) r(559,1344) a(448,645) d(438) d(1105) 
	  1 d(1390) a(2134,1285) d(339) d(1348) a(540,1076) 
	  1 d(2128) d(491) d(556) d(447) 
	  1 d(2094) a(443,651) a(2127,2084) d(2048) r(1343,1114) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(1387) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) d(444) 
	  1 r(527,545) d(2082) r(458,796) r(455,661) a(1722,449) 
	  1 d(1390) d(556) d(2082) a(429,458) a(2134,2257) 
	  1 d(2094) d(1712) a(1742,1291) r(2174,1729) d(2101) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) 
	  1 d(2094) d(1712) d(2082) a(429,458) a(455,1022) 
	  1 r(393,1721) d(1350) r(2094,2058) r(455,768) 
	  1 r(405,418) r(440,391) r(2076,405) d(542) r(1389,1139) r(1104,1294) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) r(2094,2064) 
	  1 r(405,418) r(440,391) r(2076,405) d(542) r(1341,1291) 
search: generation 5 (sizeof one variant = 0.316544 MB)
	  1 r(405,418) r(440,391) r(2076,405) d(2101) a(1733,883) 
	  1 d(2094) d(1712) a(1742,1291) r(2174,1729) a(2134,1285) d(339) r(391,425) d(453) r(404,902) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) d(453) d(444) 
	  1 d(2094) d(1712) a(1742,1291) r(2174,1729) d(2101) r(2047,2120) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) a(435,582) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(1103,1325) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) r(560,551) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(437,428) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) r(550,903) a(1716,883) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) 
	  1 d(2094) r(2094,2064) d(1390) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) a(1345,542) d(2042) r(446,1275) r(527,530) d(2078) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) r(2094,2064) a(1349,1301) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) d(1715) r(558,525) 
	  1 d(1390) a(443,2108) d(1095) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) d(2103) 
	  1 d(1390) d(1715) r(498,1293) 
	  1 r(393,1721) d(1350) r(1347,1342) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(1387) r(2094,2058) r(455,768) d(1343) 
	  1 r(393,1721) d(1350) r(2094,2058) r(455,768) d(1726) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(1387) r(2045,2041) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(2041,2123) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(2152,810) 
	  1 d(527) r(2098,449) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) 
	  1 d(2094) d(1712) r(2073,441) d(1344) r(1392,1097) a(527,777) 
	  1 d(527) r(2098,449) r(2073,441) d(1344) r(1392,1097) d(1347) 
	  1 d(2094) d(1712) a(1742,1291) r(2174,1729) d(2101) a(2094,2111) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) r(550,903) d(393) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) 
	  1 d(2128) d(555) a(404,511) d(552) 
	  1 r(527,545) d(2082) r(458,796) d(555) a(404,511) r(409,1161) 
	  1 d(2128) d(339) d(411) a(541,521) r(1338,773) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) 
	  1 d(527) r(2098,449) d(1724) r(448,1390) d(2078) d(1727) 
	  1 d(527) d(1725) d(527) d(515) r(2128,2133) a(514,902) 
	  1 a(1393,2039) r(1726,1714) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) r(557,552) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) d(1336) 
	  1 a(1393,2039) a(2093,2077) d(2129) a(1742,1291) r(2174,1729) d(2090) d(2095) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) d(2153) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) d(2079) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) 
	  1 r(393,1721) d(1350) d(2092) d(2052) d(1343) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) r(393,1749) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) a(404,777) d(1096) 
	  1 r(405,418) r(440,391) r(2076,405) d(1725) d(527) d(2104) d(390) d(1724) 
	  1 d(527) d(542) r(1341,1291) d(2071) 
	  1 r(405,418) r(440,391) r(2076,405) d(542) r(1341,1291) d(1740) 
	  1 d(527) d(1725) d(527) d(2104) d(390) d(515) 
	  1 r(393,1721) d(1350) r(2094,2058) r(1389,1139) r(2094,2064) r(391,471) 
	  1 r(405,418) r(440,391) r(2076,405) a(2134,1285) d(339) r(391,425) d(1724) d(448) d(1731) d(450) r(404,978) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) r(1347,1296) 
	  1 d(2128) d(491) d(556) d(447) a(2081,2093) 
	  1 d(2094) a(443,651) a(455,1022) d(541) 
	  1 d(2094) d(1712) d(2082) a(429,458) a(2127,2084) d(2048) d(556) r(409,505) a(529,468) d(2072) d(2050) 
	  1 d(2094) a(443,651) a(2127,2084) d(2048) d(556) r(409,505) a(529,468) d(2072) d(530) 
	  1 d(2094) d(1712) d(2082) a(429,458) a(455,1022) r(1341,1238) 
search: generation 6 (sizeof one variant = 0.317567 MB)
	  1 d(527) r(2098,449) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) a(1713,764) 
	  1 d(1723) a(2134,1285) r(390,415) 
	  1 d(527) r(2098,449) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) a(341,816) 
	  1 d(1390) a(443,2108) d(1095) r(2100,2098) 
	  1 d(2128) d(491) d(556) d(447) a(2081,2093) d(1726) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) 
	  1 d(2128) d(555) a(404,511) d(552) a(1735,452) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) d(1336) r(499,426) 
	  1 r(393,1721) d(1350) r(2094,2058) r(455,768) d(1726) d(1724) 
	  1 d(1390) d(556) a(441,1166) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(437,428) r(2152,2154) a(443,2108) r(450,389) r(2134,510) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(558,501) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(437,428) d(2052) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) d(1336) d(541) 
	  1 d(2128) d(491) d(556) d(447) a(2081,2093) d(2068) 
	  1 a(1393,2039) d(2042) r(446,1275) r(527,530) r(393,1749) d(548) 
	  1 d(2094) a(1345,542) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) r(1343,1294) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) a(1742,391) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) r(393,1749) r(441,398) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) d(2078) a(2129,1242) d(1725) 
	  1 d(527) d(1724) r(448,1390) r(490,982) d(1728) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) 
	  1 r(527,545) a(541,521) d(37) d(469) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) a(454,429) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) r(441,450) 
	  1 d(1390) d(556) a(1742,1291) r(2174,1729) d(2090) d(2079) r(519,730) 
	  1 d(2094) d(1712) a(1742,1291) r(2174,1729) d(2101) a(2094,2111) r(2081,2090) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) d(2093) 
	  1 d(2094) d(1712) d(2082) a(429,458) a(2127,2084) d(2048) d(556) r(409,505) a(529,468) d(2072) d(2050) a(2071,680) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) 
	  1 d(1390) a(443,2108) d(1095) r(2071,2156) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) 
	  1 a(1393,2039) d(2092) a(453,409) a(1345,542) d(2042) d(409) d(36) r(490,982) d(501) 
	  1 d(2094) r(341,1085) a(2071,2112) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(525) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) 
	  1 d(2094) d(1712) d(2082) a(429,458) a(455,1022) r(1341,1238) r(1097,1299) 
	  1 r(527,545) d(2082) r(458,796) d(555) a(404,511) r(409,1161) d(511) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) r(557,552) a(2052,2108) 
	  1 d(2094) a(1345,542) d(2052) d(1387) r(2045,2041) d(2152) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(551) d(1387) r(2094,2058) r(455,768) d(1343) r(514,737) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(1387) r(2094,2058) r(455,768) d(1343) a(2106,2071) 
	  1 d(2094) a(1345,542) d(2052) d(551) d(1387) r(2045,2041) r(1346,1208) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(404,700) 
	  1 d(2128) d(555) a(404,511) d(552) d(411) a(541,521) r(1338,773) r(454,411) 
	  1 d(2128) d(339) d(2129) 
	  1 d(2128) d(555) a(404,511) d(552) r(1745,557) 
	  1 d(2128) d(339) d(411) a(541,521) r(1338,773) a(444,649) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) a(1736,671) 
search: generation 7 (sizeof one variant = 0.318078 MB)
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) r(342,758) 
	  1 d(2128) d(491) d(556) d(447) a(2081,2093) d(1726) d(1717) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) r(437,428) d(2052) a(2104,2103) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(437,428) d(2052) a(2047,689) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) d(2094) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(447,393) 
	  1 d(2094) a(443,651) a(454,429) d(1102) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) a(454,429) a(1344,650) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) d(393) 
	  1 d(2094) r(341,1085) a(1345,542) d(2042) r(446,1275) r(527,530) r(393,1749) r(441,398) r(2070,2052) 
	  1 d(2094) a(2071,2112) a(446,2115) 
	  1 d(2094) r(341,1085) a(2071,2112) a(2073,483) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) r(393,1749) r(441,398) r(2152,2151) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(558,501) r(1716,1732) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) r(437,441) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) r(499,615) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(404,700) d(1102) 
	  1 r(527,545) d(2082) r(458,796) d(555) a(404,511) r(409,1161) d(511) r(510,1747) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(525) d(530) 
	  1 d(527) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) a(2050,2069) 
	  1 d(527) r(2098,449) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) a(1096,398) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) d(2093) d(2081) 
	  1 d(2094) a(1345,542) d(2042) r(1343,1294) r(37,36) 
	  1 d(2094) a(1345,542) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) r(446,1275) r(527,530) d(557) d(1722) d(2044) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) r(449,498) 
	  1 d(2094) a(1345,542) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) r(1343,1294) d(2041) 
	  1 d(2094) r(2154,2151) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(558) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(2105) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) d(2217) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) d(2093) a(453,409) a(1345,542) d(2042) d(409) d(36) r(490,982) d(501) r(339,426) 
	  1 a(1393,2039) d(2092) r(1349,1118) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) d(2093) d(1717) 
	  1 a(1393,2039) d(2092) a(453,409) a(1345,542) d(2042) d(409) d(36) r(490,982) d(501) r(2174,435) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) d(1336) d(541) d(2041) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) r(389,425) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) r(557,552) a(2052,2108) a(404,689) r(2039,832) d(1737) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) r(557,552) a(2052,2108) a(1722,1275) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) r(1347,1275) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) r(1387,651) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) r(1736,1712) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(550,903) r(1715,1712) d(1095) d(559) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(1344) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(453,455) 
	  1 d(527) d(1724) r(448,1390) r(2094,2058) r(1389,1139) r(560,2087) d(1336) r(499,426) d(1730) 
	  1 d(1723) a(2134,1285) r(506,425) d(2078) a(2129,1242) a(1731,671) r(1719,484) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(2151,452) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) d(1336) r(499,426) a(1341,468) 
	  1 d(1390) d(556) a(441,1166) d(2154) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(435,1290) a(1742,391) d(1104) 
	  1 d(2128) d(491) d(556) d(447) a(2081,2093) d(2068) d(506) 
	  1 d(2094) a(443,651) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) d(2091) 
	  1 d(1723) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) d(1739) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) 
	  1 d(2128) d(555) a(404,511) d(552) a(1735,452) d(2076) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) 
search: generation 8 (sizeof one variant = 0.317908 MB)
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) r(342,758) r(1349,1167) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) d(2094) r(1097,1140) 
	  1 d(527) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) r(2099,2101) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) d(530) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(506,578) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(558) a(1347,452) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(558) r(506,736) 
	  1 d(1390) d(556) r(2152,2154) d(505) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) a(443,2108) r(450,389) r(558,501) r(1716,1732) d(2217) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(558,501) r(1716,1732) d(2070) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) d(2134) 
	  1 d(527) d(411) a(541,521) d(37) d(2070) d(1735) d(525) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) d(2217) d(1349) 
	  1 d(527) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) d(2217) d(1334) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1731,671) r(1390,982) r(514,649) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) r(557,552) a(2052,2108) a(404,689) r(2039,832) d(1737) d(1714) 
	  1 a(1393,2039) a(2093,2077) d(2129) r(2152,2154) a(443,2108) r(557,552) a(2052,2108) a(404,689) r(2039,832) d(1737) d(1336) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) a(1716,559) 
	  1 d(2094) a(1345,542) d(2042) d(409) a(2050,2069) a(542,633) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) d(36) r(490,982) r(1097,1115) r(499,615) r(1344,1342) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) r(499,615) d(2074) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) a(2050,2069) r(438,1387) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) a(2153,1713) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(447,393) d(1725) 
	  1 d(2128) d(491) d(556) d(447) a(450,738) d(2093) a(453,409) a(1345,542) d(2042) d(409) d(36) r(490,982) d(501) r(339,426) d(1735) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(1097,1115) r(437,428) d(2052) a(2104,2103) a(2129,1242) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) a(443,2108) a(1721,483) a(2068,339) r(342,758) r(1390,897) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) r(1346,1345) d(1099) d(2105) a(447,1166) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(2105) r(2099,2101) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) r(342,758) d(551) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) d(1728) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) r(455,758) 
	  1 d(2094) a(2071,2112) a(446,2115) a(440,444) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) a(2050,2069) r(553,698) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(525) d(530) a(2095,2089) 
	  1 d(1390) d(556) r(2152,2154) a(443,2108) r(450,389) r(558,501) r(1716,1732) r(2129,2128) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) r(552,540) 
	  1 d(1723) a(2134,1285) r(506,425) d(2078) a(2129,1242) a(1731,671) r(1719,484) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) a(1744,427) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) r(528,485) 
	  1 d(1723) a(2134,1285) r(506,425) d(2078) a(2129,1242) a(1731,671) r(1719,484) d(2048) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) a(458,763) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) a(1713,1238) 
	  1 d(2094) r(490,982) r(2099,2098) r(2094,2101) r(450,410) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(341,1085) a(2071,2112) a(2073,483) d(1106) 
	  1 d(2094) r(341,1085) a(2071,2112) a(2073,483) r(1716,1721) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) a(505,1242) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) r(1736,1712) r(1735,1717) 
	  1 d(2128) d(555) a(404,511) d(552) a(1735,452) d(2076) r(530,498) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) r(1741,1739) 
	  1 d(1390) d(556) a(441,1166) d(2154) r(542,1079) 
search: generation 9 (sizeof one variant = 0.318001 MB)
	  1 d(1723) a(2134,1285) r(506,425) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) r(1719,341) 
	  1 d(527) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) r(528,485) a(514,695) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) r(528,485) d(2093) 
	  1 d(527) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) d(1729) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) a(2153,1713) r(1744,903) 
	  1 d(1390) d(556) a(441,1166) d(2154) r(542,1079) a(339,883) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) r(552,540) d(2047) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) d(2134) d(436) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) d(389) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) a(1713,1238) r(447,410) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) r(2098,449) d(1725) d(527) d(515) r(2128,2133) a(559,556) r(2094,2147) d(2217) d(1349) d(449) 
	  1 d(1390) d(556) a(441,1166) d(2154) r(542,1079) r(2151,2063) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(341,1085) a(2071,2112) a(2073,483) d(1106) d(390) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) r(1741,1739) d(2219) 
	  1 d(1390) d(556) r(2152,2154) d(505) d(458) 
	  1 d(527) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) r(2099,2101) a(544,713) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(2081) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(525) d(530) a(2095,2089) r(452,1301) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(525) d(530) a(2095,2089) r(411,771) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(339) 
	  1 d(2094) a(443,651) a(454,429) r(490,982) r(2099,2098) d(510) r(550,1109) a(1730,2062) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) d(1102) r(1743,557) a(2154,2096) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(411) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) d(1719) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) d(2073) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) a(1713,1238) d(2071) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) a(1387,862) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) d(2134) r(2218,2217) 
	  1 d(1723) a(2134,1285) r(506,425) r(2101,2099) a(1713,1238) a(1720,771) 
	  1 d(527) d(1725) d(527) d(2104) d(390) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) a(505,1242) d(1721) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) a(505,1242) r(2096,2144) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) a(1713,1238) d(2093) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) d(1099) d(2105) r(2099,2101) a(2049,2048) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) r(496,511) 
	  1 d(527) d(411) a(541,521) d(2133) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) d(37) d(2070) d(1735) d(525) d(1389) 
	  1 d(527) d(411) a(541,521) d(37) d(2070) d(1735) d(525) a(441,654) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) r(2129,2128) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) d(36) r(490,982) r(1097,1115) r(499,615) r(1344,1342) d(1340) 
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) r(342,758) d(551) a(2096,810) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) a(2050,2069) r(553,698) r(2218,2219) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) r(1741,1739) d(436) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(341,1085) a(2071,2112) a(2073,483) d(1106) a(2039,1625) 
	  1 d(2128) d(555) a(404,511) d(552) a(1735,452) d(2076) r(530,498) d(1345) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) d(530) r(1095,1235) 
	  1 d(2094) a(2071,2112) a(446,2115) a(440,444) a(2042,2151) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(506,578) a(458,469) 
	  1 d(527) d(411) a(541,521) d(37) d(2070) d(1735) d(525) r(429,731) 
	  1 d(1723) r(2094,2101) r(450,410) a(1716,1312) 
	  1 d(2094) r(490,982) r(2099,2098) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) r(526,543) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) a(1742,341) 
	  1 d(2094) r(490,982) r(2099,2098) r(2094,2101) r(450,410) r(1731,1717) 
search: generation 10 (sizeof one variant = 0.317941 MB)
	  1 d(1723) a(2134,1285) r(506,425) r(2094,2058) r(1389,1139) r(560,2087) a(2093,2077) d(2129) r(2152,2154) a(443,2108) a(1721,483) a(2068,339) r(342,758) d(551) a(2096,810) d(1351) 
	  1 d(1723) a(2134,1285) r(506,425) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) r(1719,341) a(1716,1736) 
	  1 d(2094) r(490,982) r(2099,2098) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) r(526,543) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) d(1719) a(438,681) 
	  1 d(2094) a(1345,542) d(1720) 
	  1 d(2094) r(490,982) r(2099,2098) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) r(526,543) r(1389,506) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) d(1719) a(2051,2120) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) r(552,540) d(2047) r(2096,2128) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) d(389) d(1720) 
	  1 d(2094) a(443,651) a(2127,2084) d(2081) a(1095,646) r(1346,1345) r(2105,2103) a(36,1720) d(2134) r(2218,2217) r(2092,2076) 
	  1 d(527) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) r(2099,2101) a(544,713) r(2082,2129) 
	  1 d(2094) a(2071,2112) a(446,2115) a(440,444) a(1345,542) d(2042) d(409) d(36) d(1102) r(1743,557) a(2154,2096) a(1728,1340) 
	  1 d(2094) a(2042,2151) r(2217,2220) 
	  1 d(2094) a(2071,2112) a(446,2115) a(440,444) a(2042,2151) d(521) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) d(1102) r(1743,557) a(2154,2096) a(1104,665) 
	  1 d(2094) a(1345,542) d(2042) d(409) r(2039,832) a(1391,1286) r(506,578) a(458,469) a(1391,646) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) a(1387,862) a(2104,2114) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) a(1387,862) r(1732,1720) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(506,578) a(458,469) a(1742,1745) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(525) r(551,1296) r(528,485) a(514,695) d(548) 
	  1 d(527) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) d(530) a(2095,2089) r(452,1301) d(513) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(525) d(530) a(2095,2089) r(452,1301) d(438) 
	  1 d(527) a(2093,2077) d(2129) r(2152,2154) r(550,903) r(1715,1712) d(1095) r(551,1296) r(528,485) a(514,695) d(2096) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) d(2073) d(452) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) d(557) d(1722) a(437,1327) r(1741,1739) d(436) a(2128,597) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) r(1741,1739) d(436) d(1721) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) d(2073) d(1351) 
	  1 d(527) d(411) a(541,521) d(37) d(2070) d(1735) d(525) r(429,731) r(1393,705) 
	  1 d(1723) a(2134,1285) r(506,425) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) r(1719,341) d(1346) 
	  1 d(1723) a(2134,1285) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) d(37) d(2070) d(1735) d(525) d(1389) a(2080,1739) 
	  1 d(1723) a(2134,1285) r(506,425) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) a(1742,341) a(2074,409) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) a(1742,341) r(1343,1128) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) d(37) d(2070) d(1735) d(525) d(1389) d(1744) 
	  1 d(2094) a(1345,542) d(2042) r(446,1275) r(527,530) d(557) d(1722) a(437,1327) r(1741,1739) d(436) r(1733,1721) 
	  1 r(527,545) d(2082) r(458,796) d(339) d(411) d(2082) r(458,796) d(339) d(411) a(541,521) d(37) d(2070) d(1735) d(445) r(496,511) a(1725,1636) 
	  1 d(527) d(411) a(541,521) r(439,393) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) d(1719) d(2133) a(547,415) 
	  1 d(527) d(411) a(541,521) d(2133) r(1387,1305) 
	  1 d(2094) a(1345,542) d(2042) d(409) d(36) r(490,982) r(2099,2098) d(510) r(550,1109) d(1719) r(2098,1077) 
	  1 d(2094) a(443,651) a(454,429) r(490,982) r(2099,2098) d(510) r(550,1109) a(1730,2062) r(2152,2154) 
	  1 d(1390) d(556) a(441,1166) d(2154) r(542,1079) r(2151,2063) a(1390,519) 
	  1 d(1390) d(556) a(441,1166) d(2154) r(542,1079) r(2151,2063) a(1729,469) 
	  1 d(1723) a(2134,1285) r(506,425) d(1724) r(448,1390) d(2078) a(2129,1242) a(1731,671) r(1390,982) r(2071,2074) r(1719,341) r(449,1138) 
	  1 d(2094) a(2071,2112) a(446,2115) a(440,444) a(2042,2151) r(1722,1737) 
	  1 d(2128) d(491) d(556) a(1742,1291) r(2174,1729) d(2101) r(2090,2070) d(1386) d(36) r(490,982) r(1097,1115) r(499,615) r(1344,1342) d(1340) r(1743,437) 
	  1 d(2094) a(443,651) a(454,429) d(1102) r(1743,557) d(339) d(1390) 
	  1 a(1393,2039) d(2092) a(453,409) r(341,1085) d(525) d(530) a(2095,2089) r(411,771) r(1728,1718) 
	  1 d(1723) a(2134,1285) r(506,425) a(2093,2077) d(2129) r(2152,2154) r(341,1085) a(2071,2112) a(2073,483) d(1106) a(2039,1625) a(2103,1636) 
	  1 d(527) d(411) a(541,521) d(2133) r(496,1350) 
	  1 d(527) d(1725) a(1713,1238) r(447,410) r(342,1238) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) d(527) d(2104) d(390) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) a(505,1242) d(1721) d(409) 
	  1 d(527) d(1725) d(527) d(2104) d(390) a(2093,2077) d(2129) r(2152,2154) r(490,982) r(2099,2098) r(2094,2101) a(505,1242) d(1721) d(1386) 
	  1 d(527) d(1725) d(527) d(2104) d(390) r(2101,2099) a(1713,1238) r(447,410) r(1097,1292) 
	  1 d(1390) d(556) r(2152,2154) d(505) d(458) r(490,982) r(2099,2098) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) r(526,543) r(1341,1208) 
	  1 d(2094) d(1345) 
	  1 d(1390) d(556) r(2152,2154) d(505) d(458) d(391) 
	  1 d(2094) r(490,982) r(2099,2098) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) r(2081,2079) r(526,543) r(557,772) 
	  1 d(527) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) d(37) d(2070) d(1735) d(525) d(1389) a(2080,2082) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) r(2099,2101) a(544,713) d(1351) 
	  1 d(527) r(2098,449) d(447) a(450,738) d(2093) r(2128,2129) r(2099,2101) a(544,713) r(2153,2152) 
	  1 d(1723) a(2134,1285) r(506,425) d(2092) a(453,409) a(404,689) r(2039,832) a(1391,1286) a(1391,1286) d(555) d(37) d(2070) d(1735) d(525) d(1389) r(505,2111) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1243
"Test Suite Evaluations": 155.375

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1113.33
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.160 = 0.0221851%
  compile                             630 197.451 = 27.3177%
  test                               1250 525.185 = 72.6601%
  TOTAL                                   722.797 = 64.9215% (avg CPU usage)
gzip-bug-2010-01-30-fc00329e3d-1204630c96.tar.gz
Thu Sep 26 14:57:50 EDT 2013
shutting down
