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 1
--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-204-253-54 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:22 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/tmp31fcdf.c /tmp/tmp3b49ed.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.80913)
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.011673 MB)
	  1 r(1730,1725) 
	  1 r(2153,2151) 
	  1 r(445,1719) 
	  1 r(455,811) 
	  1 d(1717) 
	  1 r(435,1112) 
	  1 d(1726) 
	  1 r(2076,1735) 
	  1 r(544,1162) 
	  1 a(1388,1720) 
	  1 a(510,883) 
	  1 d(1731) 
	  1 r(1338,1628) 
	  1 d(2053) 
	  1 d(2129) 
	  1 d(1103) 
	  1 a(452,672) 
	  1 r(2174,548) 
	  1 d(1345) 
	  1 r(496,799) 
	  1 d(521) 
	  1 r(2070,2090) 
	  1 d(544) 
	  1 a(390,779) 
	  1 r(1716,1732) 
	  1 r(2044,2052) 
	  1 d(1344) 
	  1 a(1347,1159) 
	  1 d(2071) 
	  1 r(1350,1095) 
	  1 d(1734) 
	  1 a(1739,446) 
	  1 d(2134) 
	  1 r(1103,1127) 
	  1 d(555) 
	  1 r(2073,766) 
	  1 r(1387,427) 
	  1 a(2039,2069) 
	  1 d(1102) 
	  1 original
search: generation 1 (sizeof one variant = 0.315359 MB)
	  1 d(1102) d(2092) 
	  1 r(1338,1628) r(510,546) 
	  1 d(1102) a(2128,1625) 
	  1 r(1338,1628) d(496) 
	  1 d(2134) r(2217,2218) 
	  1 d(2053) d(1388) 
	  1 d(2134) d(2078) 
	  1 d(2053) r(554,864) 
	  1 d(1344) r(1332,673) 
	  1 d(1344) d(2154) 
	  1 d(544) r(1097,1147) 
	  1 d(2129) d(530) 
	  1 d(544) r(554,707) 
	  1 d(2129) d(1736) 
	  1 a(2039,2069) a(390,1719) 
	  1 r(2153,2151) r(448,1749) 
	  1 a(2039,2069) a(1733,1286) 
	  1 r(2153,2151) r(549,835) 
	  1 r(544,1162) r(2049,2047) 
	  1 r(1338,1628) r(525,506) 
	  1 r(544,1162) d(1713) 
	  1 r(1338,1628) d(496) 
	  1 r(2153,2151) r(2217,2220) 
	  1 r(435,1112) d(2078) 
	  1 r(2153,2151) d(2104) 
	  1 r(435,1112) a(2151,2071) 
	  1 r(2076,1735) a(1393,1309) 
	  1 d(544) r(2096,2118) 
	  1 r(2076,1735) r(1391,1346) 
	  1 d(544) d(2128) 
	  1 d(1726) d(1729) 
	  1 d(555) r(1333,485) 
	  1 r(1338,1628) d(409) 
	  1 a(1347,1159) d(429) 
	  1 r(1338,1628) r(2051,2105) 
	  1 a(1347,1159) a(2091,2091) 
	  1 d(2071) d(1722) 
	  1 d(2129) a(1736,1186) 
	  1 d(1731) a(2044,2076) 
	  1 d(1102) a(558,1739) 
	  1 d(1731) d(1715) 
	  1 d(1102) r(2129,2128) 
	  1 d(1344) r(1741,1754) 
	  1 r(1350,1095) r(496,37) 
	  1 d(1344) r(2174,1636) 
	  1 r(1350,1095) a(501,513) 
	  1 a(452,672) a(1739,555) 
	  1 d(2071) r(2073,455) 
	  1 a(1347,1159) d(2094) 
	  1 r(2070,2090) r(1098,442) 
	  1 a(1347,1159) a(545,483) 
	  1 r(2070,2090) d(1741) 
	  1 r(2070,2090) d(548) 
	  1 a(510,883) a(409,559) 
	  1 d(1345) d(2071) 
	  1 r(2044,2052) d(1103) 
	  1 d(1345) d(527) 
	  1 r(2044,2052) d(1728) 
	  1 r(445,1719) r(1105,1235) 
	  1 r(2070,2090) d(2076) 
	  1 r(2153,2151) d(436) 
	  1 a(390,779) d(1345) 
	  1 r(2153,2151) d(1332) 
	  1 a(390,779) d(447) 
	  1 r(1338,1628) d(2095) 
	  1 r(2073,766) a(1393,1115) 
	  1 r(1338,1628) r(558,513) 
	  1 r(2073,766) d(2080) 
search: generation 2 (sizeof one variant = 0.315479 MB)
	  1 d(1344) a(1713,442) 
	  1 a(2039,2069) a(1733,1286) d(2154) d(1351) 
	  1 d(1344) d(2154) a(451,341) 
	  1 a(2039,2069) a(1733,1286) r(455,1059) 
	  1 r(1338,1628) r(525,506) a(441,458) 
	  1 r(2076,1735) r(1391,1346) r(514,543) 
	  1 d(1344) r(2174,1636) a(429,451) 
	  1 r(2153,2151) r(549,835) r(552,1309) 
	  1 a(1347,1159) d(2094) a(2098,2123) 
	  1 d(1344) r(1332,673) r(1714,1730) 
	  1 r(544,1162) d(1713) d(339) 
	  1 d(1344) d(2154) d(2068) 
	  1 a(390,779) d(447) a(511,2055) 
	  1 r(2076,1735) a(1393,1309) a(2080,2077) 
	  1 r(1350,1095) a(501,513) r(1104,1238) 
	  1 r(2153,2151) d(1332) a(515,491) 
	  1 a(2039,2069) a(1733,1286) r(552,653) 
	  1 d(1344) d(2154) r(438,615) 
	  1 r(1338,1628) d(1332) d(391) 
	  1 r(2153,2151) d(496) a(1740,862) 
	  1 r(1338,1628) d(496) d(341) 
	  1 r(2153,2151) d(1332) r(1731,1718) 
	  1 r(2073,766) r(1722,1724) 
	  1 d(1344) r(1741,1754) d(2080) a(2069,409) 
	  1 r(2073,766) d(2080) r(449,486) 
	  1 d(1344) r(1741,1754) d(445) 
	  1 r(2076,1735) r(1391,1346) r(549,835) r(2103,1175) 
	  1 r(2153,2151) d(1345) 
	  1 r(2076,1735) r(1391,1346) r(496,757) 
	  1 r(2153,2151) r(549,835) d(445) 
	  1 d(2129) d(1736) d(1386) 
	  1 d(1102) r(2129,2128) a(528,521) 
	  1 d(2129) d(1736) d(2101) 
	  1 d(1102) r(2129,2128) d(2074) 
	  1 r(2044,2052) d(1103) d(527) d(1391) 
	  1 d(1345) d(1388) 
	  1 r(2044,2052) d(1103) a(2129,266) 
	  1 d(1345) d(527) d(1713) 
	  1 r(1338,1628) r(2051,2105) a(1391,646) 
	  1 d(1344) r(1741,1754) d(1348) 
	  1 a(452,672) a(1739,555) a(527,1098) 
	  1 d(1102) a(558,1739) d(1095) 
	  1 d(2129) d(530) r(1333,485) d(2080) 
	  1 d(555) r(527,554) 
	  1 d(2129) d(530) d(529) 
	  1 d(555) r(1333,485) r(498,553) 
	  1 r(2153,2151) a(545,483) d(342) 
	  1 a(1347,1159) d(436) d(557) 
	  1 r(2153,2151) d(436) r(440,445) 
	  1 a(1347,1159) a(545,483) a(447,1140) 
	  1 d(1344) r(2174,1636) r(1746,1741) 
	  1 r(544,1162) r(2049,2047) d(2090) 
	  1 r(1338,1628) a(390,1176) 
	  1 r(2070,2090) r(1098,442) d(496) d(429) 
	  1 r(1338,1628) d(496) d(553) 
	  1 r(2070,2090) r(1098,442) r(544,1754) 
	  1 r(1338,1628) d(496) d(2094) r(558,544) 
	  1 a(1347,1159) r(527,553) 
	  1 r(1338,1628) d(496) d(2073) 
	  1 a(1347,1159) d(2094) d(1099) 
search: generation 3 (sizeof one variant = 0.315884 MB)
	  1 r(2153,2151) r(549,835) r(552,1309) d(1332) r(1731,1718) d(1103) 
	  1 r(2153,2151) d(36) 
	  1 r(2153,2151) r(549,835) r(552,1309) d(1736) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(2154,2153) 
	  1 r(2153,2151) d(1345) a(1386,698) 
	  1 a(390,779) d(447) a(511,2055) d(496) 
	  1 r(2076,1735) r(1391,1346) r(549,835) r(2103,1175) d(2082) 
	  1 r(544,1162) r(2049,2047) d(2090) a(1712,1131) 
	  1 r(1338,1628) d(553) d(1387) 
	  1 r(1338,1628) d(496) r(525,506) a(441,458) a(1350,1275) 
	  1 r(1338,1628) r(525,506) a(441,458) r(442,1108) 
	  1 r(1338,1628) d(496) d(553) a(36,581) 
	  1 r(2070,2090) r(1098,442) r(514,543) d(558) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) 
	  1 r(2076,1735) r(1391,1346) r(514,543) d(2094) 
	  1 a(452,672) a(1739,555) a(527,1098) r(2100,2098) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) 
	  1 r(1338,1628) a(390,1176) r(1717,1732) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(558,489) 
	  1 d(1344) d(2154) a(451,341) r(1730,1715) 
	  1 r(2153,2151) r(549,835) r(552,1309) d(2070) 
	  1 d(1345) d(1388) d(1728) 
	  1 a(1347,1159) d(2094) d(1099) a(2090,2123) 
	  1 d(1345) d(1388) r(2154,2152) 
	  1 a(1347,1159) d(2094) d(1099) d(510) 
	  1 d(555) r(1333,485) d(1715) 
	  1 r(1338,1628) d(496) d(553) r(498,553) r(2090,728) 
	  1 d(555) r(1333,485) r(498,553) d(1743) 
	  1 r(1338,1628) d(496) d(553) d(556) 
	  1 a(1347,1159) d(436) a(429,451) r(444,445) 
	  1 d(1344) r(2174,1636) d(557) r(2044,2041) 
	  1 a(1347,1159) d(436) d(557) r(1350,1242) 
	  1 d(1344) r(2174,1636) a(429,451) d(445) 
	  1 a(1347,1159) d(2094) a(36,835) 
	  1 d(2129) d(530) r(1333,485) d(2080) a(2098,2123) d(443) 
	  1 a(1347,1159) d(2094) a(2098,2123) d(2133) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) 
	  1 r(2076,1735) r(1391,1346) r(514,543) d(447) 
	  1 d(1102) a(558,1739) d(1095) d(405) 
	  1 r(1338,1628) d(1332) d(2074) 
	  1 r(544,1162) d(1713) d(339) d(391) a(514,555) 
	  1 r(1338,1628) d(1332) d(391) d(551) 
	  1 r(544,1162) d(1713) d(339) r(1104,1108) 
	  1 d(2129) d(1736) d(2101) d(2042) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) 
	  1 a(390,779) d(447) a(511,2055) r(438,581) 
	  1 a(1347,1159) d(436) d(557) a(1344,542) 
	  1 d(1344) a(1713,442) d(1095) 
	  1 r(2153,2151) r(549,835) d(445) d(2071) 
	  1 r(1338,1628) r(2051,2105) a(1391,646) r(435,1302) 
	  1 d(1102) a(558,1739) d(1095) d(2106) 
	  1 r(2153,2151) d(1332) r(1731,1718) a(409,1744) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) 
	  1 d(2129) d(530) a(2080,2077) d(339) 
	  1 r(2076,1735) a(1393,1309) r(1333,485) d(2080) d(1105) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) 
	  1 r(2076,1735) a(1393,1309) a(2080,2077) a(2098,728) 
search: generation 4 (sizeof one variant = 0.317123 MB)
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) d(545) 
	  1 d(1344) d(2154) a(451,341) r(1730,1715) d(556) 
	  1 r(544,1162) d(1713) r(2154,2153) d(559) 
	  1 r(2153,2151) d(1332) r(1731,1718) d(339) r(1736,1717) d(1741) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) d(1341) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(2154,2153) r(1744,879) 
	  1 r(2070,2090) r(1098,442) r(514,543) d(558) a(1734,1153) d(556) 
	  1 d(1344) r(1741,1754) d(445) d(552) 
	  1 r(2070,2090) r(1098,442) r(514,543) d(558) r(1392,1112) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) r(441,453) 
	  1 r(2153,2151) r(549,835) r(552,1309) d(1736) r(1098,442) r(544,1754) r(342,2087) r(543,527) 
	  1 r(2070,2090) r(440,444) 
	  1 r(2153,2151) r(549,835) r(552,1309) d(1736) d(1714) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) a(2154,505) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) r(544,1754) r(342,2087) a(2096,1153) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) r(2082,2151) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) r(393,1629) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(2154,2153) a(2044,2077) 
	  1 d(1344) r(2174,1636) d(557) r(2044,2041) a(393,768) 
	  1 r(1338,1628) d(1332) d(2074) r(556,1097) 
	  1 r(2076,1735) a(1393,1309) a(2080,2077) a(2098,728) r(555,449) 
	  1 d(1344) a(1713,442) d(1095) r(36,37) 
	  1 r(1338,1628) d(496) d(553) a(36,581) a(1713,545) 
	  1 d(1344) a(1713,442) d(1095) a(2045,2068) 
	  1 r(1338,1628) d(496) d(553) a(36,581) r(1739,857) 
	  1 r(1338,1628) d(496) d(553) d(1347) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) 
	  1 r(1338,1628) d(496) d(553) d(556) r(540,558) 
	  1 d(1345) d(1388) d(1728) a(1740,615) 
	  1 r(2076,1735) a(511,2055) d(496) a(544,1338) 
	  1 a(390,779) d(447) r(1391,1346) r(544,1754) d(1713) a(514,1747) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) 
	  1 a(390,779) d(447) a(511,2055) d(496) d(2080) 
	  1 r(2153,2151) r(1391,1346) r(544,1754) d(1713) d(1736) 
	  1 r(2076,1735) d(36) a(1342,421) 
	  1 r(2153,2151) d(36) a(2129,2114) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) a(2152,597) 
	  1 r(2153,2151) d(1332) r(1731,1718) a(409,1744) r(460,499) 
	  1 d(555) r(1333,485) r(498,553) d(1743) a(1719,698) 
	  1 d(1344) d(2154) a(451,341) d(530) r(1333,485) d(2080) d(2082) a(526,759) 
	  1 d(2129) r(1730,1715) r(2154,2153) 
	  1 d(1344) d(2154) a(451,341) r(1730,1715) d(438) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2041,2103) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) 
	  1 a(390,779) d(447) a(511,2055) d(496) a(1716,649) 
	  1 r(544,1162) r(2049,2047) d(2090) a(1712,1131) a(1102,1208) 
	  1 d(1102) a(558,1739) d(1095) d(2106) d(1715) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(443) 
	  1 r(2153,2151) r(549,835) d(445) a(1734,1153) r(1718,1715) 
	  1 d(1344) r(1741,1754) d(445) d(2071) d(557) 
	  1 r(2153,2151) r(549,835) d(445) d(2071) r(455,1627) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) d(496) 
	  1 a(390,779) d(447) a(511,2055) r(438,581) r(1097,1390) 
	  1 d(1344) d(2154) a(451,341) r(1730,1715) r(445,416) 
	  1 a(390,779) d(447) a(511,2055) r(438,581) r(1344,1326) 
	  1 d(1344) d(2154) a(451,341) r(1730,1715) d(2069) 
	  1 a(1347,1159) d(2094) r(1333,485) d(1715) d(546) 
	  1 d(555) a(36,835) r(528,557) 
	  1 a(1347,1159) d(2094) a(36,835) a(527,1176) 
	  1 d(555) r(1333,485) d(1715) d(448) 
	  1 d(1344) d(2101) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) r(2174,1636) d(557) r(2044,2041) d(398) 
	  1 d(1344) r(2174,1636) d(557) r(2044,2041) d(1746) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) a(1739,458) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) a(1711,2077) 
	  1 r(544,1162) r(2049,2047) d(2090) a(1712,1131) d(1720) 
search: generation 5 (sizeof one variant = 0.316933 MB)
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(1098) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2041,2103) d(436) 
	  1 r(1338,1628) d(1332) d(2074) r(556,1097) d(521) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(444,404) d(411) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(2154,2153) r(1744,879) a(2099,409) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) r(2219,2220) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(443) d(443) d(526) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(443) d(2098) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(443) r(1736,1733) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) a(1711,2077) r(2095,2072) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) a(2134,862) 
	  1 r(544,1162) r(2049,2047) d(2090) a(1712,1131) a(1102,1208) a(1743,624) 
	  1 r(544,1162) r(2049,2047) d(2090) a(1712,1131) d(1720) d(1720) 
	  1 a(390,779) d(447) d(545) r(525,513) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) a(511,2055) d(496) a(1716,649) d(2218) 
	  1 a(390,779) d(447) a(511,2055) d(496) a(1716,649) d(2103) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) d(545) d(1390) 
	  1 a(390,779) d(447) r(1391,1346) r(544,1754) d(1713) a(514,1747) d(496) d(2134) a(1097,1729) 
	  1 r(544,1162) d(447) a(511,2055) d(2082) 
	  1 a(390,779) d(447) r(1391,1346) r(544,1754) d(1713) a(514,1747) r(1106,1242) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) 
	  1 r(2076,1735) d(1341) r(557,1726) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) d(1341) d(446) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) r(2174,1636) d(557) r(2044,2041) d(398) a(498,415) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) a(2154,505) a(2070,2116) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) 
	  1 d(1344) d(2154) a(451,341) d(530) r(1333,485) d(2080) d(2082) a(526,759) d(441) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) a(1739,458) r(2091,2105) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) r(2174,1636) d(557) r(2044,2041) d(398) r(36,37) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) r(2174,1636) d(557) r(2044,2041) d(398) d(2049) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) a(1739,458) r(444,405) 
	  1 r(2076,1735) a(1393,1309) a(2080,2077) a(2098,728) r(555,449) d(458) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1745) 
	  1 r(2070,2090) r(1098,442) r(441,453) a(514,547) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) a(2105,2123) a(447,540) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) a(1722,1326) 
	  1 d(1344) r(1741,1754) d(445) a(1734,1153) r(441,453) d(2078) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) r(393,1629) d(1726) 
	  1 r(2153,2151) d(1332) r(1731,1718) a(409,1744) r(460,499) a(1099,339) 
	  1 d(1102) a(558,1739) d(1095) d(2106) d(1715) r(530,498) 
	  1 r(2070,2090) r(440,444) d(1096) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(514) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2041,2103) a(446,510) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) r(2071,2078) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) a(2041,2103) d(2099) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2041,2103) r(1393,1306) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) 
	  1 d(2129) d(530) r(1333,485) d(2080) a(2105,2123) a(2053,879) 
	  1 r(2070,2090) r(1098,442) d(440) d(545) r(499,1095) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) d(545) r(1349,1172) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) a(469,483) 
	  1 a(390,779) d(447) r(1391,1346) r(544,1754) d(1713) a(514,1747) r(2049,2050) 
	  1 d(1344) d(2154) a(451,341) d(530) r(1333,485) d(2080) d(2082) a(526,759) a(1350,1311) 
search: generation 6 (sizeof one variant = 0.317328 MB)
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) a(511,2055) d(496) a(1716,649) d(2218) r(496,981) 
	  1 r(544,1162) d(447) a(511,2055) d(2082) r(1346,1106) 
	  1 r(2153,2151) d(2074) r(556,1097) d(1733) r(514,1038) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(1332) r(1731,1718) r(444,404) d(411) r(2133,2134) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(444,404) d(411) r(1734,1725) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) d(542) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) r(555,584) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(1338) 
	  1 r(1338,1628) d(1332) d(2074) r(556,1097) d(521) a(513,1729) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) 
	  1 a(390,779) d(447) d(545) r(525,513) d(2082) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) 
	  1 d(1345) d(1388) d(1745) r(1736,1730) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1745) r(1340,1625) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) a(411,1088) 
	  1 r(1338,1628) d(1332) d(2074) r(556,1097) d(521) r(527,557) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(444,404) d(411) a(1734,755) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(499) 
	  1 a(390,779) d(447) d(545) r(525,513) d(440) a(511,2055) d(496) a(1716,649) d(2218) a(506,835) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) a(511,2055) d(496) a(1716,649) d(2218) r(1720,1106) 
	  1 a(390,779) d(447) d(545) r(525,513) r(398,835) 
	  1 a(390,779) d(447) a(511,2055) d(496) a(1716,649) d(2103) d(449) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(440) a(511,2055) d(496) a(1716,649) d(2218) d(519) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) a(469,483) d(501) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) r(393,1629) d(1726) a(1714,398) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) d(2050) 
	  1 d(2129) d(552) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) r(2039,1393) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) r(398,551) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2154,505) a(2070,2116) r(455,764) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) d(1741) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) a(2154,505) a(2070,2116) d(1343) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) r(2071,2078) d(1103) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) a(2041,2103) d(436) r(453,442) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2082) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(454) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(2079,2095) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(1098) a(1390,415) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) r(2071,2078) r(1340,1389) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(1711) 
	  1 r(2076,1735) a(1393,1309) r(519,544) r(393,1629) d(1726) a(438,670) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) 
	  1 r(2076,1735) a(1393,1309) a(2080,2077) a(2098,728) r(555,449) d(458) r(2105,2103) 
	  1 d(1102) a(558,1739) d(1095) r(519,544) r(393,1629) d(1726) d(1095) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) d(1341) d(446) a(389,451) 
	  1 r(2153,2151) d(1332) r(1731,1718) r(2154,2153) r(1744,879) a(2099,409) d(514) 
search: generation 7 (sizeof one variant = 0.318039 MB)
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) d(2050) a(510,1161) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) d(2050) d(445) 
	  1 d(1345) d(1388) d(1745) d(1338) r(2174,1625) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) r(1736,1730) r(1722,1733) 
	  1 d(1345) d(1388) d(1745) r(1736,1730) d(446) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(1338) r(2103,1235) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(1336) 
	  1 r(2070,2090) a(2152,505) a(1737,1147) r(1095,1159) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) 
	  1 d(2129) d(552) d(341) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) d(390) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) d(1741) d(530) r(1333,485) d(2080) d(499) r(1341,1127) 
	  1 d(2129) r(1715,1720) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) d(1741) r(404,2144) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(499) r(551,1183) 
	  1 d(2129) d(552) a(1746,2098) 
	  1 d(1345) d(1388) d(1745) r(1736,1730) d(339) 
	  1 d(1345) d(1388) r(556,1097) d(1733) r(514,1038) d(547) 
	  1 r(2153,2151) d(2074) d(1728) d(556) r(444,404) d(36) d(2082) a(444,458) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2082) r(2078,2084) 
	  1 r(2153,2151) d(2074) r(556,1097) d(1733) r(514,1038) d(2094) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) a(2095,2134) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(2079,2095) r(2174,490) 
	  1 r(2153,2151) d(36) d(1332) a(2041,2103) d(454) d(1733) 
	  1 r(1338,1628) a(2129,2114) d(1391) d(1744) a(389,816) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(454) d(398) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1737,694) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) r(451,681) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) d(2074) r(556,1097) d(1733) d(542) a(339,1723) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1745) r(1340,1625) d(469) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) a(560,646) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2134,866) 
	  1 d(1345) d(1388) a(411,1088) r(435,1333) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) d(1728) d(556) r(444,404) d(36) a(554,883) r(447,398) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) a(411,1088) r(393,1301) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(2039,1153) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) a(469,483) d(501) a(1392,615) 
	  1 d(555) a(36,835) r(528,557) d(552) r(1106,1128) 
	  1 d(2129) a(1723,435) r(2079,2095) r(527,483) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(2079,2095) a(446,444) 
	  1 d(2129) d(552) r(528,557) 
	  1 r(2153,2151) d(2074) r(556,1097) d(1733) r(514,1038) d(437) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) d(519) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) r(1106,1289) 
	  1 r(2076,1735) a(1393,1309) r(519,544) r(393,1629) d(1726) a(438,670) a(341,624) 
	  1 d(1102) a(558,1739) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) a(1102,445) 
	  1 d(1345) d(1388) d(1728) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) r(342,274) 
	  1 a(390,779) r(2049,2047) d(2090) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(1336) 
	  1 d(1102) a(1712,1131) r(2071,2078) d(1103) d(1746) 
	  1 a(390,779) r(2049,2047) d(2090) a(1712,1131) r(2071,2078) d(1103) a(1102,768) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(505,422) 
search: generation 8 (sizeof one variant = 0.317385 MB)
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) d(1332) a(2041,2103) d(454) d(398) r(389,454) 
	  1 r(1338,1628) r(2133,2134) r(1347,1286) d(1717) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) d(1347) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(454) d(398) d(549) 
	  1 d(2129) d(552) d(341) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) r(2082,2217) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) a(453,1186) 
	  1 d(2129) d(552) d(341) a(1745,645) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) a(529,673) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(2079,2095) a(446,444) d(2101) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1740) 
	  1 r(2153,2151) d(2074) d(1728) d(556) r(444,404) a(2092,2073) r(542,773) r(1348,1176) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) d(36) d(2082) a(444,458) d(543) 
	  1 r(2153,2151) d(2074) d(1728) d(556) r(444,404) d(36) d(2082) a(444,458) r(1712,1717) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1726,415) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) a(411,1088) r(393,1301) r(444,437) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) d(390) a(1345,661) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(1336) d(1350) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2082) d(1743) d(1332) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) r(2078,2084) a(2096,2120) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2082) r(2078,2084) d(2082) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1344) 
	  1 d(1345) d(1388) d(1728) d(556) r(2154,2153) r(1744,879) d(547) a(2048,1739) r(342,274) d(1342) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) d(2074) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1714,1726) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) r(409,1347) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) r(1736,1730) r(1722,1733) d(1346) 
	  1 d(1102) a(1712,1131) r(2071,2078) d(1103) a(560,646) a(558,1189) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) d(1746) r(454,453) 
	  1 d(1102) a(1712,1131) r(2071,2078) d(1103) d(1746) a(2043,1597) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) a(560,646) d(1724) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(528,557) d(499) 
	  1 d(2129) d(552) d(1098) d(2174) r(451,681) d(2154) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) r(451,681) d(1741) 
	  1 d(2129) d(552) r(528,557) d(2081) 
	  1 r(1338,1628) a(2129,2114) d(1391) d(1744) a(389,816) a(1719,2073) 
	  1 d(1345) d(1388) d(1745) r(1736,1730) d(446) a(2053,1739) 
	  1 d(2129) d(552) r(528,557) r(545,1746) 
	  1 d(1345) d(1388) d(1728) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) r(2079,2095) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(342,700) 
	  1 r(2153,2151) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) a(1717,651) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) a(2174,1711) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) r(1720,511) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(1741) a(411,1088) r(393,1301) r(1723,274) 
	  1 d(2129) d(552) r(528,557) d(1346) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) a(2095,2134) r(515,445) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) d(411) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) d(519) r(2220,2218) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2134,866) d(526) 
	  1 d(1345) d(1388) d(1728) d(1095) r(444,404) d(1741) a(2048,471) d(558) d(514) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) 
	  1 d(1345) d(1388) d(1728) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) r(525,550) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) a(542,1147) 
search: generation 9 (sizeof one variant = 0.318178 MB)
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) d(1347) d(514) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) r(528,557) d(499) d(439) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) r(409,1347) d(1728) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) r(1725,1715) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) r(409,1347) a(1744,420) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1344) d(1346) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1726) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) a(529,673) d(2049) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) d(1332) a(2041,2103) d(454) d(398) r(389,454) r(1745,1153) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) r(1736,1730) r(1722,1733) d(1346) d(1097) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) a(2095,2134) r(515,445) r(2218,2219) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) r(527,551) 
	  1 d(2129) d(552) r(528,557) a(554,883) r(1349,1141) a(1741,1745) a(2104,2070) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2081) r(2080,2088) 
	  1 d(2129) d(552) r(528,557) d(2081) r(1737,1105) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) d(2091) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) a(560,646) d(1724) r(2092,2074) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) r(2071,2090) 
	  1 r(2153,2151) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) a(1717,651) d(1348) 
	  1 d(2129) d(552) r(528,557) r(545,1746) r(342,393) 
	  1 d(2129) d(552) d(341) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) d(1099) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) 
	  1 d(2129) d(552) d(341) a(1745,645) a(2078,1147) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(454,427) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) d(1728) d(1095) r(444,404) d(1741) a(2048,471) d(558) d(514) r(560,1348) 
	  1 d(1345) d(1388) a(2092,2073) r(542,773) a(1726,415) d(2071) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1726,415) d(440) 
	  1 d(1345) d(1388) d(1728) d(1095) r(444,404) d(1741) a(2048,471) d(558) d(514) r(515,815) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1344) r(448,521) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(2134,470) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1725) 
	  1 r(1338,1628) a(2129,2114) d(1391) d(1744) a(389,816) a(1719,2073) a(1732,1750) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(454) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1740) r(1346,1147) 
	  1 r(544,1162) d(447) d(398) d(549) a(2095,2134) 
	  1 r(1338,1628) d(1332) a(2041,2103) d(454) d(398) d(549) a(339,339) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1740) d(398) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1714,1726) d(36) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) d(411) a(2134,2118) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) d(1097) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) d(519) r(2220,2218) d(1719) 
	  1 d(2129) d(530) a(2095,2134) r(515,445) r(1741,1742) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1726,415) d(1393) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1726,415) d(36) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) a(2095,2134) r(515,445) d(549) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(342,700) d(498) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) a(540,1291) 
	  1 r(1338,1628) r(2133,2134) r(528,557) d(2081) r(506,472) 
	  1 d(2129) d(552) r(1347,1286) d(1717) d(515) 
	  1 r(1338,1628) r(2133,2134) r(1347,1286) d(1717) a(2076,683) 
	  1 d(2129) d(552) r(528,557) d(2081) r(2129,2134) 
	  1 d(1102) a(1712,1131) r(2071,2078) d(1103) a(560,646) a(558,1189) d(1336) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1714,1726) a(398,404) 
search: generation 10 (sizeof one variant = 0.317971 MB)
	  1 r(2153,2151) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) a(1717,651) d(1348) d(443) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1714,1726) a(398,404) a(398,2074) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) d(2081) r(506,472) d(551) 
	  1 r(1338,1628) r(2133,2134) r(528,557) a(1737,1147) d(1743) d(1740) d(398) d(2134) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1740) d(398) r(1739,783) 
	  1 r(1338,1628) r(2133,2134) r(528,557) d(2081) r(506,472) d(1349) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) d(1097) d(2049) 
	  1 r(544,1162) d(447) a(511,2055) d(496) d(2134) a(2152,505) a(1737,1147) d(1743) d(1740) d(398) d(393) 
	  1 d(2129) d(552) r(528,557) d(2081) r(1737,1105) d(2105) 
	  1 d(2129) d(552) r(1347,1286) d(1717) d(515) d(1730) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) r(1725,1715) d(2052) 
	  1 r(544,1162) d(447) d(398) d(549) a(2095,2134) a(1098,511) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) a(554,883) r(1349,1141) a(1741,1745) r(1725,1715) a(1737,1747) 
	  1 r(544,1162) d(447) d(398) d(549) a(2095,2134) r(454,438) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1726) a(1332,1098) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(2134,470) r(453,421) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1726) a(1720,1711) 
	  1 r(1338,1628) r(2133,2134) r(1347,1286) d(1717) a(2076,683) r(2104,2105) 
	  1 r(2076,1735) r(1391,1346) r(544,1754) d(1713) d(438) d(2070) d(2128) a(2095,2134) r(515,445) r(2218,2219) r(1721,1716) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) r(527,551) d(2069) 
	  1 d(1345) d(1388) d(1728) d(1095) r(444,404) d(1741) a(2048,471) d(558) d(514) r(515,815) a(342,1597) 
	  1 d(2129) d(552) r(528,557) d(2081) r(1737,1105) a(2068,342) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) r(2072,2091) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(2134,470) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) r(2071,2090) r(1716,1726) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) r(2071,2090) a(1343,653) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(2134,470) d(450) 
	  1 d(1345) d(1388) d(1728) d(1095) r(444,404) d(1741) a(2048,471) d(558) d(514) r(515,815) a(1342,1332) 
	  1 r(2153,2151) d(556) r(444,404) d(1741) a(2048,471) a(2134,606) a(1717,651) d(1348) d(2106) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(552) d(341) a(1745,645) a(2078,1147) d(2095) 
	  1 d(2129) d(1098) d(2174) a(560,646) d(1724) r(2092,2074) r(2082,2123) 
	  1 d(555) a(36,835) r(528,557) a(1723,435) d(1098) d(2174) a(560,646) d(1724) r(2092,2074) r(1344,1166) 
	  1 d(2129) d(552) d(341) a(1745,645) a(2078,1147) r(1734,1726) 
	  1 d(2129) d(552) d(341) a(1745,645) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1725) r(342,833) 
	  1 r(2153,2151) d(36) a(2078,1147) r(526,556) 
	  1 d(2129) d(552) d(341) a(1745,645) a(2078,1147) d(398) 
	  1 r(2153,2151) d(36) a(2129,2114) d(1391) d(1744) r(1346,1242) r(451,1117) d(1725) d(2174) 
	  1 d(1102) a(558,1739) d(1095) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) a(405,501) a(2218,2174) r(527,551) r(1712,1718) 
	  1 d(1102) a(1712,1131) r(2071,2078) d(1103) a(560,646) a(558,1189) d(1336) r(547,550) 
	  1 d(1345) d(1388) d(1728) r(1103,1176) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) d(556) r(444,404) d(36) d(2081) r(2080,2088) r(556,1130) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2081) r(2080,2088) a(2053,435) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) a(37,2108) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) a(409,633) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) a(1735,902) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) d(437) 
	  1 r(2070,2090) r(1098,442) a(1745,645) a(2079,540) d(1745) 
	  1 d(2129) d(530) a(2095,2134) r(515,445) r(1741,1742) d(521) 
	  1 d(2129) d(530) r(1333,485) d(2080) d(2082) d(544) r(409,835) a(2092,2073) r(542,773) a(1726,415) d(36) d(2047) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) a(529,673) d(2049) d(1721) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) d(519) r(2220,2218) d(1719) d(554) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) r(444,404) d(1741) a(2048,471) d(558) a(529,673) d(2049) a(452,645) 
	  1 r(2070,2090) r(1098,442) r(544,1754) r(342,2087) d(2074) r(556,1097) d(1733) d(1736) d(519) r(2220,2218) d(1719) r(1735,1727) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) d(1347) d(514) d(2081) r(2080,2088) r(2220,2217) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) r(1743,650) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(1347,1286) d(1347) d(514) d(2079) 
	  1 d(1345) d(1388) d(1728) d(556) r(444,404) d(36) d(2081) r(2080,2088) d(1741) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) r(2071,2090) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(454,427) r(525,555) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1718) 
	  1 r(544,1162) d(1713) d(339) r(1736,1717) r(1391,1346) r(544,1754) d(1713) d(438) r(1744,1733) r(2133,2134) r(2070,2099) r(469,658) r(2071,2090) d(2068) 
	  1 r(2070,2090) r(1098,442) a(2105,2123) d(1728) d(556) a(2080,2077) a(2098,728) r(555,449) d(458) d(2071) d(342) d(514) r(454,427) d(2106) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1245
"Test Suite Evaluations": 155.625

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1151.98
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             632 207.420 = 27.5042%
  test                               1252 546.648 = 72.4861%
  TOTAL                                   754.142 = 65.4642% (avg CPU usage)
gzip-bug-2010-01-30-fc00329e3d-1204630c96.tar.gz
Thu Sep 26 14:58:36 EDT 2013
shutting down
