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 3
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 10
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-243-55-33 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:27 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/tmp830d94.c /tmp/tmp30b3db.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 4.51976)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1749
cilRep: stmts in weighted_path = 276
cilRep: total weight = 169.2
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1749])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.200621 MB)
search: initial population (sizeof one variant = 0.0100002 MB)
	  1 d(751) 
	  1 a(540,885) 
	  1 d(878) 
	  1 d(465) 
	  1 r(1714,455) 
	  1 r(653,675) 
	  1 r(690,1716) 
	  1 r(706,1731) 
	  1 d(548) 
	  1 a(889,1224) 
	  1 d(772) 
	  1 r(1716,1704) 
	  1 r(1703,418) 
	  1 a(36,487) 
	  1 d(762) 
	  1 d(1728) 
	  1 r(971,970) 
	  1 r(1705,755) 
	  1 d(1708) 
	  1 d(648) 
	  1 d(1126) 
	  1 r(448,1174) 
	  1 r(506,1708) 
	  1 d(1714) 
	  1 r(764,695) 
	  1 d(480) 
	  1 d(1375) 
	  1 d(753) 
	  1 d(1718) 
	  1 r(1108,1133) 
	  1 d(1704) 
	  1 d(438) 
	  1 r(485,544) 
	  1 r(1161,1127) 
	  1 r(706,1145) 
	  1 r(1287,1108) 
	  1 r(896,972) 
	  1 a(701,701) 
	  1 r(412,407) 
	  1 original
search: generation 1 (sizeof one variant = 0.20013 MB)
	  1 r(448,1174) d(1376) 
	  1 r(1716,1704) a(1286,456) 
	  1 r(448,1174) a(1104,878) 
	  1 r(1716,1704) r(1290,1113) 
	  1 r(1716,1704) d(462) 
	  1 r(690,1716) d(456) 
	  1 r(1716,1704) r(547,414) 
	  1 r(690,1716) r(890,889) 
	  1 d(648) r(401,887) 
	  1 d(878) d(1112) 
	  1 d(762) r(1717,1711) 
	  1 d(465) d(411) 
	  1 d(762) d(1372) 
	  1 d(465) r(1117,479) 
	  1 r(706,1731) d(1731) 
	  1 d(878) d(769) 
	  1 r(448,1174) d(337) 
	  1 r(653,675) d(1719) 
	  1 r(448,1174) d(971) 
	  1 r(653,675) d(1711) 
	  1 r(1108,1133) d(751) 
	  1 d(753) d(1707) 
	  1 r(1108,1133) a(649,1272) 
	  1 d(753) a(970,447) 
	  1 r(1716,1704) r(1291,1330) 
	  1 d(465) a(444,1298) 
	  1 r(1716,1704) r(653,1171) 
	  1 d(465) r(1698,436) 
	  1 d(465) a(1293,690) 
	  1 d(465) d(433) 
	  1 d(465) r(573,769) 
	  1 d(465) r(1729,579) 
	  1 d(480) d(1161) 
	  1 d(1728) d(481) 
	  1 d(772) d(1106) 
	  1 d(548) r(975,978) 
	  1 d(772) a(1157,766) 
	  1 d(548) a(1704,1139) 
	  1 a(750,506) 
	  1 r(706,1731) d(1284) 
	  1 r(653,675) a(1372,579) 
	  1 r(1739,1735) 
	  1 d(1375) a(574,1708) 
	  1 d(465) r(573,764) 
	  1 d(1375) r(435,422) 
	  1 d(465) a(1697,657) 
	  1 r(1161,1127) a(416,1133) 
	  1 r(485,544) d(1294) 
	  1 d(878) d(37) 
	  1 r(1287,1108) d(574) 
	  1 d(878) a(975,759) 
	  1 r(1287,1108) r(1290,1114) 
	  1 r(706,1731) d(890) 
	  1 r(506,1708) d(335) 
	  1 d(1708) a(890,338) 
	  1 r(690,1716) d(675) 
	  1 d(1708) d(1739) 
	  1 r(690,1716) r(889,890) 
	  1 d(753) d(1146) 
	  1 d(548) d(1293) 
	  1 r(706,1731) d(441) 
	  1 d(1718) r(1111,1279) 
search: generation 2 (sizeof one variant = 0.201702 MB)
	  1 r(690,1716) r(889,890) d(971) d(1717) 
	  1 r(448,1174) d(771) 
	  1 r(690,1716) r(889,890) r(386,389) 
	  1 r(448,1174) d(971) r(1105,1111) 
	  1 d(753) d(1146) r(1194,1147) 
	  1 d(1708) a(890,338) r(1706,1702) 
	  1 d(465) r(411,443) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) 
	  1 d(465) r(1117,479) d(1713) 
	  1 r(448,1174) d(1376) d(1729) 
	  1 r(506,1708) d(1157) 
	  1 r(448,1174) d(1376) d(335) d(1735) 
	  1 r(506,1708) d(335) d(387) 
	  1 r(448,1174) d(1376) d(446) 
	  1 d(465) a(1697,657) r(1291,1113) 
	  1 d(878) d(1112) r(446,1717) 
	  1 r(690,1716) r(890,889) d(1106) d(1295) 
	  1 d(772) r(442,543) 
	  1 r(690,1716) r(890,889) d(1698) 
	  1 d(772) d(1106) d(1105) 
	  1 d(753) d(675) r(1735,1707) 
	  1 r(690,1716) a(970,447) d(1711) 
	  1 d(753) a(970,447) r(1291,1312) 
	  1 r(690,1716) d(675) d(665) 
	  1 r(653,675) d(1719) a(733,1312) 
	  1 d(1708) a(890,338) r(414,1729) 
	  1 d(1718) r(1111,1279) r(420,389) 
	  1 d(1375) a(574,1708) r(432,405) 
	  1 r(1716,1704) r(653,1171) r(1699,1709) 
	  1 d(878) a(975,759) a(479,1703) 
	  1 r(448,1174) d(971) r(1111,1127) 
	  1 r(448,1174) a(1104,878) d(465) 
	  1 r(448,1174) a(1104,878) r(764,758) 
	  1 r(448,1174) d(971) r(1717,1708) 
	  1 d(753) r(1194,1145) 
	  1 r(1287,1108) d(574) d(1707) a(1735,401) 
	  1 d(753) d(1707) r(1118,1282) 
	  1 r(1287,1108) d(574) a(666,457) 
	  1 r(1716,1704) a(970,447) r(1701,1714) 
	  1 d(753) d(462) d(975) 
	  1 r(1716,1704) d(462) d(416) 
	  1 d(753) a(970,447) d(878) 
	  1 r(1716,1704) d(1146) r(1742,416) 
	  1 d(753) r(1291,1330) r(592,767) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) 
	  1 d(753) d(1146) r(766,571) 
	  1 r(448,1174) d(337) r(667,978) 
	  1 r(706,1731) d(1731) r(492,695) 
	  1 d(753) d(1707) d(971) r(457,765) 
	  1 r(448,1174) r(699,701) 
	  1 d(753) d(1707) r(773,436) 
	  1 r(448,1174) d(971) a(656,574) 
	  1 r(1716,1704) d(1372) d(750) 
	  1 d(762) r(653,1171) r(1285,1163) 
	  1 r(1716,1704) r(653,1171) a(1169,447) 
	  1 d(762) d(1372) r(1298,1375) 
	  1 d(465) a(654,546) 
	  1 r(485,544) d(1294) r(1698,436) a(444,767) 
	  1 d(465) r(1698,436) a(1707,1124) 
	  1 r(485,544) d(1294) d(1699) 
	  1 d(548) r(975,978) d(1289) 
	  1 d(762) d(1372) d(1735) 
	  1 d(465) d(436) 
	  1 d(465) a(1697,657) a(1697,657) d(487) 
	  1 d(465) a(1697,657) r(1297,1375) 
	  1 d(465) a(1697,657) d(1702) 
search: generation 3 (sizeof one variant = 0.202628 MB)
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) 
	  1 r(690,1716) r(889,890) r(386,389) r(898,971) 
	  1 r(1716,1704) r(653,1171) r(1699,1709) d(1169) 
	  1 d(753) d(675) r(1735,1707) d(1133) 
	  1 r(448,1174) d(1376) d(1729) r(898,970) 
	  1 r(1716,1704) d(462) d(416) d(1705) 
	  1 d(465) r(411,443) r(409,1139) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) 
	  1 d(465) r(1698,436) a(1707,1124) d(1221) 
	  1 r(448,1174) d(1376) d(446) d(386) 
	  1 d(465) r(1698,436) a(1707,1124) d(416) r(1172,754) 
	  1 r(1716,1704) d(462) a(542,482) 
	  1 d(465) r(1698,436) a(1707,1124) r(1171,1373) 
	  1 r(1716,1704) d(462) d(416) d(1284) 
	  1 d(772) r(442,543) d(886) 
	  1 r(506,1708) d(335) d(387) d(549) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(1280,1124) 
	  1 d(1708) a(890,338) r(1706,1702) d(1701) 
	  1 r(485,544) r(1739,1736) 
	  1 r(1716,1704) a(970,447) r(1701,1714) d(1294) r(1698,436) a(444,767) d(1701) 
	  1 r(485,544) d(1294) r(1698,436) a(444,767) a(1731,1133) 
	  1 r(1716,1704) a(970,447) r(1701,1714) r(1221,1717) 
	  1 d(753) r(1194,1145) d(750) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) 
	  1 d(753) d(1707) d(971) r(457,765) r(1375,886) 
	  1 r(448,1174) d(971) a(656,574) d(886) 
	  1 r(448,1174) d(574) d(1707) a(1735,401) d(898) 
	  1 r(1287,1108) r(699,701) a(492,510) 
	  1 r(448,1174) r(699,701) r(465,337) 
	  1 r(1287,1108) d(574) d(1707) a(1735,401) r(656,1114) 
	  1 d(753) d(1707) r(1291,1330) r(592,767) d(448) 
	  1 d(753) r(1118,1282) r(759,1696) 
	  1 d(753) d(1707) r(1118,1282) r(751,738) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) 
	  1 r(448,1174) d(771) r(1161,1330) 
	  1 d(753) d(1707) r(1118,1282) r(1698,760) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) 
	  1 d(772) d(1106) d(1105) d(889) 
	  1 r(448,1174) d(1376) r(1117,479) d(337) r(667,978) d(1375) 
	  1 r(448,1174) a(1290,438) r(1175,1312) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) d(418) 
	  1 r(448,1174) d(337) r(667,978) d(482) 
	  1 d(753) d(1146) r(1194,1147) d(577) 
	  1 r(1716,1704) a(970,447) r(1701,1714) r(976,973) 
	  1 r(653,675) d(1719) d(1707) r(773,436) r(1111,1377) 
	  1 d(753) a(733,1312) r(405,468) 
	  1 r(653,675) d(1719) a(733,1312) r(1710,1700) 
	  1 d(753) d(1707) r(773,436) d(1148) 
	  1 d(465) a(654,546) r(1742,1112) 
	  1 r(448,1174) d(971) a(656,574) r(1294,1157) 
	  1 d(465) r(1698,436) a(1707,1124) d(897) 
	  1 r(653,675) d(1719) a(733,1312) d(418) 
search: generation 4 (sizeof one variant = 0.202814 MB)
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(386) d(457) 
	  1 r(448,1174) d(1376) d(446) d(1194) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(1158,1277) 
	  1 r(448,1174) d(1376) d(446) d(386) r(690,975) 
	  1 d(753) d(1146) r(1194,1147) d(577) r(409,1139) d(733) 
	  1 d(465) r(411,443) r(1704,970) 
	  1 d(753) d(1146) r(1194,1147) d(577) d(551) 
	  1 d(465) r(411,443) r(409,1139) a(1116,1194) 
	  1 r(1716,1704) r(1291,1330) a(394,387) 
	  1 r(485,544) r(1739,1736) a(769,1312) d(412) d(1175) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) a(666,492) 
	  1 r(485,544) r(1739,1736) r(752,757) 
	  1 r(653,675) r(1161,1330) a(1700,750) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) d(457) 
	  1 r(653,675) d(1719) d(1707) r(773,436) r(1111,1377) d(448) 
	  1 r(448,1174) d(771) r(1161,1330) r(502,766) 
	  1 r(1716,1704) r(443,409) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) a(970,447) r(1701,1714) r(976,973) d(698) 
	  1 r(1716,1704) a(970,447) r(1701,1714) r(976,973) r(416,769) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) a(1737,487) 
	  1 d(753) r(690,436) 
	  1 d(753) a(733,1312) r(405,468) d(1707) r(1118,1282) r(1698,760) a(1281,648) 
	  1 d(753) d(1707) r(1118,1282) r(1698,760) a(1294,337) 
	  1 d(753) a(733,1312) r(405,468) r(1153,1284) 
	  1 r(1716,1704) a(1152,1290) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) 
	  1 r(1716,1704) a(970,447) r(1701,1714) r(1221,1717) a(1151,1298) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1703) 
	  1 d(753) d(1707) r(1118,1282) r(751,738) d(889) r(1372,1294) 
	  1 d(772) d(1106) d(1105) r(442,1172) 
	  1 d(753) d(1707) r(1118,1282) r(751,738) d(890) 
	  1 d(772) d(1106) d(1105) d(889) d(1276) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) 
	  1 d(465) r(1698,436) a(1707,1124) r(1171,1373) a(1194,1292) 
	  1 d(465) r(1698,436) a(1707,1124) d(1221) r(667,898) 
	  1 d(465) r(1698,436) a(1707,1124) r(1171,1373) a(1704,411) 
	  1 d(465) r(1698,436) a(1707,1124) d(1221) d(765) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(435) 
	  1 d(753) r(1194,1145) d(750) r(1737,1738) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(675) 
	  1 r(448,1174) d(1376) d(1729) r(898,970) d(1162) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) 
	  1 r(448,1174) d(1376) d(1729) r(898,970) r(444,1105) 
	  1 r(653,675) d(1719) r(407,761) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) a(733,1312) r(1710,1700) r(574,550) 
	  1 r(653,675) d(1719) a(733,1312) r(1710,1700) r(1278,1373) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) a(890,394) 
	  1 r(485,544) d(1705) r(482,483) 
	  1 r(1716,1704) d(462) d(416) d(1294) r(1698,436) a(444,767) a(1731,1133) r(1124,773) 
	  1 r(485,544) d(1294) r(1698,436) a(444,767) a(1731,1133) r(1298,457) 
	  1 r(1716,1704) d(462) d(416) d(1705) d(665) 
	  1 r(1716,1704) d(1707) r(773,436) d(1148) a(1714,409) 
	  1 d(753) d(462) d(416) d(1705) r(1714,1156) 
	  1 r(1716,1704) d(462) d(416) d(1705) a(973,416) 
	  1 d(753) d(1707) r(773,436) d(1148) r(446,1284) 
	  1 r(448,1174) d(1104) r(1715,1716) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1376) d(446) d(386) r(657,1697) 
	  1 r(448,1174) d(1376) d(446) d(386) d(1126) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(468) 
	  1 r(448,1174) d(971) r(1698,436) a(1707,1124) d(416) r(1172,754) r(1285,1152) 
	  1 d(465) a(656,574) r(1294,1157) a(699,394) 
	  1 r(448,1174) d(971) a(656,574) r(1294,1157) a(1289,1293) 
	  1 d(465) r(1698,436) a(1707,1124) d(416) r(1172,754) d(592) 
	  1 r(1287,1108) d(574) d(1707) a(1735,401) r(656,1114) a(1738,501) 
	  1 d(772) r(442,543) d(886) r(1280,1158) 
	  1 r(1287,1108) d(574) d(1707) a(1735,401) r(656,1114) d(972) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) 
search: generation 5 (sizeof one variant = 0.203276 MB)
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(1700,750) d(974) 
	  1 r(653,675) r(1161,1330) d(1280) a(338,1730) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) 
	  1 r(653,675) r(1161,1330) a(1700,750) a(422,1117) 
	  1 d(753) d(1707) r(1118,1282) r(1698,760) a(1294,337) d(675) d(1729) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(574) 
	  1 d(753) d(1707) r(1118,1282) r(1698,760) a(1294,337) a(387,541) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(675) a(579,387) 
	  1 r(1716,1704) d(462) d(416) a(465,1704) 
	  1 d(465) r(411,443) r(409,1139) a(1116,1194) d(1705) d(665) r(885,974) 
	  1 r(1716,1704) d(462) d(416) d(1705) d(665) d(420) 
	  1 d(465) r(411,443) r(409,1139) a(1116,1194) d(1377) 
	  1 r(448,1174) d(1376) d(446) d(386) a(733,1312) r(405,468) r(1153,1284) d(414) 
	  1 d(753) d(1126) a(979,418) 
	  1 r(448,1174) d(1376) d(446) d(386) d(1126) a(700,758) 
	  1 d(753) a(733,1312) r(405,468) r(1153,1284) r(897,400) 
	  1 r(1716,1704) a(1158,1163) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) d(412) d(1175) r(424,434) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(37) 
	  1 r(448,1174) d(1104) r(1715,1716) d(1295) 
	  1 r(485,544) r(1739,1736) a(769,1312) d(412) d(1175) a(897,656) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) 
	  1 r(448,1174) d(1376) d(1729) r(898,970) r(444,1105) d(1726) 
	  1 r(485,544) r(1739,1736) r(752,757) d(766) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) d(462) d(416) d(1705) a(973,416) d(538) 
	  1 r(1716,1704) a(890,547) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(1194,1375) 
	  1 r(1716,1704) d(462) d(416) d(1705) a(973,416) a(675,539) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(412) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(970,766) 
	  1 r(485,544) r(1739,1736) r(752,757) r(435,442) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(386) d(457) d(764) 
	  1 d(753) r(1221,1717) a(1698,434) d(432) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) a(733,1312) r(405,468) d(1707) r(1118,1282) r(1698,760) a(1281,648) r(1114,1333) 
	  1 d(753) a(733,1312) r(405,468) d(1707) r(1118,1282) r(1698,760) a(1281,648) d(1111) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) 
	  1 d(753) d(462) d(416) d(1705) r(1714,1156) r(387,897) 
	  1 r(1287,1108) d(574) d(1707) a(1735,401) r(656,1114) d(972) a(571,1221) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) a(890,394) r(1104,1290) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) r(1277,549) 
	  1 r(448,1174) d(1376) r(1117,479) a(1290,438) a(760,675) a(970,447) r(1701,1714) r(976,973) d(698) d(414) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) d(457) a(1118,1158) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) 
	  1 r(485,544) d(1294) r(1698,436) a(444,767) a(1731,1133) r(1298,457) d(436) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(889) d(1276) r(444,1313) 
	  1 d(772) d(1106) d(1105) d(1116) r(1730,1106) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) 
	  1 d(772) d(1106) d(1105) d(889) d(1276) r(462,466) 
	  1 r(653,675) r(1291,1330) a(769,1312) d(412) d(435) d(1287) 
	  1 r(1716,1704) d(1719) d(1707) r(773,436) r(1111,1377) d(448) a(978,1735) 
	  1 r(653,675) d(1719) d(1707) r(773,436) r(1111,1377) d(448) r(698,695) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(435) a(760,1375) 
	  1 d(465) r(411,443) r(1704,970) d(1730) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) r(1107,507) 
	  1 r(1716,1704) d(457) r(1125,1286) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) a(1152,1290) d(763) 
	  1 r(1716,1704) a(1152,1290) r(409,437) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) d(457) r(411,1379) 
	  1 r(1716,1704) r(443,409) r(971,977) 
	  1 r(1716,1704) r(443,409) d(768) 
search: generation 6 (sizeof one variant = 0.204283 MB)
	  1 d(753) r(1118,1282) r(759,1696) d(754) d(1719) d(1707) r(773,436) r(1111,1377) d(457) a(1118,1158) d(1108) 
	  1 r(448,1174) d(771) a(1104,1297) d(979) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) d(457) a(1118,1158) r(768,755) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(1700,750) d(974) a(1285,1156) 
	  1 r(1716,1704) d(1719) d(1707) r(773,436) r(1111,1377) d(448) a(978,1735) r(545,1133) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) d(412) d(1175) d(37) a(1700,1276) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(37) r(675,1279) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) r(977,978) 
	  1 r(653,675) r(1291,1330) a(769,1312) d(412) a(733,1312) r(405,468) r(1153,1284) r(897,400) d(419) 
	  1 d(753) d(435) d(1287) r(1375,1111) 
	  1 r(653,675) r(1291,1330) a(769,1312) d(412) d(435) d(1287) r(407,416) 
	  1 d(753) a(733,1312) r(405,468) r(1153,1284) r(897,400) a(1171,758) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) a(772,763) d(1116) d(1271) d(1742) 
	  1 r(448,1174) d(971) r(546,1125) d(1280) d(447) r(1158,1163) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) 
	  1 d(772) d(1106) d(1105) d(1116) r(1730,1106) d(1115) 
	  1 r(448,1174) d(771) d(1719) d(1707) r(773,436) r(1111,1377) a(1152,1290) d(763) d(890) 
	  1 r(1716,1704) d(412) d(1175) r(424,434) d(1152) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) r(443,409) d(768) d(693) 
	  1 r(1716,1704) r(443,409) d(768) r(1727,1158) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) d(412) d(1175) r(424,434) r(758,412) 
	  1 r(1716,1704) d(457) r(1125,1286) r(1105,1111) a(772,763) d(1116) d(1271) r(892,891) 
	  1 r(448,1174) d(971) r(337,1118) 
	  1 r(1716,1704) d(457) r(1125,1286) a(36,492) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) d(655) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(37) r(414,1333) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) 
	  1 r(485,544) r(1739,1736) r(1105,1111) a(772,763) d(889) d(1276) r(444,1313) r(1373,1720) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(889) d(1276) r(444,1313) d(1379) 
	  1 r(485,544) r(1739,1736) r(752,757) r(435,442) r(693,424) 
	  1 r(1716,1704) a(1158,1163) d(1116) d(1271) r(418,973) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(974) 
	  1 r(1716,1704) a(1158,1163) d(654) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) d(763) 
	  1 d(753) d(462) d(416) d(1705) r(1714,1156) r(387,897) d(761) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(675) a(579,387) d(442) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(412) d(445) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(1194,1375) r(446,1736) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) a(1261,774) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(1700,750) d(974) d(1712) 
	  1 r(1716,1704) a(890,547) a(423,763) r(1275,1290) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) r(400,1147) 
	  1 r(1716,1704) a(890,547) a(335,1705) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) r(1737,1740) 
	  1 d(465) r(411,443) r(409,1139) a(1116,1194) d(1377) d(37) 
	  1 r(1716,1704) a(1152,1290) r(409,437) d(1372) 
	  1 r(1716,1704) r(443,409) d(768) r(1168,1731) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) a(1271,454) 
	  1 d(465) r(411,443) r(1704,970) d(1730) a(507,1724) 
	  1 d(753) d(462) d(416) d(1705) r(1714,1156) r(387,897) r(766,1337) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(457) d(764) r(763,1696) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(386) a(657,538) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(386) d(457) d(764) r(412,422) 
search: generation 7 (sizeof one variant = 0.203389 MB)
	  1 r(1716,1704) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) d(1298) 
	  1 d(753) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(546,412) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) d(695) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) a(1133,1374) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) d(412) d(1175) d(37) a(1700,1276) d(419) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) r(443,409) d(768) d(693) a(432,1375) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) 
	  1 r(1716,1704) r(1291,1330) d(1289) r(439,1282) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) d(773) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) d(1699) 
	  1 r(485,544) r(1739,1736) r(1105,1111) a(772,763) d(889) d(1276) r(444,1313) r(1373,1720) r(539,1151) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) d(655) r(1741,976) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) r(977,978) r(544,538) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) 
	  1 r(1716,1704) d(1719) d(1707) r(773,436) r(1111,1377) d(448) r(1271,1148) 
	  1 r(1716,1704) a(1152,1290) r(409,437) d(1372) a(978,1735) r(545,1133) d(978) 
	  1 r(1716,1704) d(1719) d(1707) r(773,436) r(1111,1377) d(448) a(978,1735) r(545,1133) r(447,387) 
	  1 r(1716,1704) a(1152,1290) r(409,437) d(1372) a(1698,1697) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) d(1738) 
	  1 r(448,1174) d(971) d(887) 
	  1 r(448,1174) d(971) r(337,1118) r(1116,1379) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) a(772,546) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) d(1108) d(1275) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) d(1719) d(1707) r(773,436) r(1111,1377) a(769,1312) d(412) a(733,1312) r(405,468) r(1153,1284) r(897,400) d(419) d(1117) 
	  1 r(653,675) r(1291,1330) a(769,1312) d(412) a(733,1312) r(405,468) r(1153,1284) r(897,400) d(419) d(757) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) d(1719) d(1707) r(773,436) r(1111,1377) d(457) a(1118,1158) d(1108) d(1151) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) d(412) d(1175) r(424,434) r(758,412) r(755,656) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) a(772,763) d(1116) d(1271) d(1742) d(1712) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) a(772,763) d(1116) d(1271) d(1742) d(1702) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) d(412) d(1175) r(424,434) r(758,412) a(890,1373) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) r(1175,976) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) d(1281) 
	  1 d(753) r(1291,1330) r(592,767) d(37) a(1700,1276) d(1731) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) d(412) d(1175) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) r(676,338) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) d(1281) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) d(412) d(1175) d(37) a(1700,1276) a(1126,457) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(649,970) 
	  1 r(1716,1704) a(1152,1290) r(409,437) d(1372) d(767) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) a(772,763) d(1116) d(1271) d(1742) d(1716) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) r(886,889) 
	  1 r(1716,1704) r(443,409) d(768) r(1727,1158) r(1163,1298) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) a(772,763) d(1116) d(1271) d(1742) r(885,1112) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(456,1124) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(412) d(445) r(1720,1713) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) d(37) r(675,1279) r(1146,1277) 
	  1 r(1716,1704) r(1291,1330) d(447) d(457) d(764) r(763,1696) d(653) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(457) d(764) r(763,1696) r(887,891) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) d(37) r(675,1279) d(1718) 
search: generation 8 (sizeof one variant = 0.204458 MB)
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) d(37) r(675,1279) r(1146,1277) d(1729) 
	  1 d(753) r(1291,1330) d(971) r(337,1118) r(1116,1379) r(1708,1168) 
	  1 r(448,1174) d(971) r(337,1118) r(1116,1379) r(1378,1172) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) d(37) r(675,1279) r(1146,1277) r(773,1696) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) d(1281) d(1291) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) a(653,547) 
	  1 r(448,1174) d(971) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) d(436) 
	  1 d(753) r(1291,1330) d(887) r(1724,1718) 
	  1 r(448,1174) d(971) d(887) r(1292,1225) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(1291) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) d(1281) a(1713,438) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) a(1709,762) d(1281) r(436,409) 
	  1 r(448,1174) d(971) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) d(1281) d(701) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) d(1281) a(1701,1727) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(447) r(759,494) r(1293,1111) d(655) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) r(886,889) a(1372,492) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) a(970,447) r(1701,1714) r(1221,1717) a(1698,434) a(423,763) d(979) r(886,889) r(693,768) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) r(462,455) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) d(412) d(445) a(479,653) r(411,414) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(765) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) r(420,439) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) d(1704) 
	  1 d(753) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) d(1293) 
	  1 d(753) r(1118,1282) r(759,1696) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) d(1740) 
	  1 d(753) r(1118,1282) d(754) a(1104,1297) d(1289) a(385,550) d(1738) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) a(1117,577) 
	  1 d(753) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) r(1133,540) 
	  1 d(753) r(1118,1282) d(435) d(1287) r(1375,1111) r(1297,1106) d(1152) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) a(1736,1337) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) r(1715,1706) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) d(1699) d(1145) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) a(771,764) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) d(753) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) 
	  1 d(753) r(1291,1330) d(1271) a(1709,762) d(1738) a(1725,767) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) r(592,767) d(37) a(1700,1276) d(1731) r(1278,1116) 
	  1 d(753) r(1291,1330) r(592,767) d(37) a(1700,1276) d(1731) a(1295,456) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) d(1271) a(1709,762) d(1738) a(761,759) 
	  1 d(753) r(1291,1330) r(592,767) r(1105,1111) a(772,763) d(1116) d(1271) d(1742) d(1716) r(700,756) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(649,970) d(438) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) r(456,1124) d(1713) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1108) d(1275) d(769) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) d(1108) d(1275) d(891) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(456,1124) a(1728,1375) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(444,420) r(1127,1282) r(1709,1715) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(456,1124) d(1701) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(456,1124) d(435) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) r(1714,1335) 
	  1 r(448,1174) d(971) d(887) r(1281,1335) a(547,1276) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) 
	  1 r(448,1174) d(971) d(887) a(1284,1291) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(420) 
	  1 r(1716,1704) d(1146) r(1742,416) d(1104) d(1736) a(436,1714) r(977,978) r(544,538) d(1127) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) d(1719) d(1707) r(773,436) r(1111,1377) d(457) a(1118,1158) d(1108) d(1151) d(755) 
	  1 d(753) r(1291,1330) r(1297,1106) a(1700,897) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) a(571,1276) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) d(759) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) r(443,409) d(768) d(693) a(432,1375) r(1376,706) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) r(1282,1312) 
search: generation 9 (sizeof one variant = 0.204289 MB)
	  1 d(753) r(1291,1330) r(592,767) d(445) a(479,653) d(1704) r(539,654) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) a(1716,1728) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(759,1161) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) d(1704) r(1221,738) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(456,1124) d(435) d(1105) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) r(1282,1312) d(1379) 
	  1 r(1716,1704) a(1118,1158) d(1108) d(1275) d(891) d(1702) 
	  1 r(653,675) r(1291,1330) d(457) a(890,547) a(335,1705) r(1118,1115) r(1282,1312) d(422) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) r(1282,1312) a(540,1705) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) d(1108) d(1275) d(891) a(480,445) 
	  1 d(753) r(1118,1282) r(759,1696) d(462) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) d(1740) d(1735) 
	  1 d(753) r(1118,1282) r(759,1696) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) d(1740) r(700,573) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) d(1163) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) a(1736,1337) r(1125,1375) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(444,420) r(1127,1282) r(1709,1715) r(36,37) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) r(1714,1335) a(765,1152) d(1699) d(1145) r(896,972) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) d(666) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) r(1714,1335) a(482,455) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) d(1699) d(1145) r(37,36) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) r(1278,1333) 
	  1 r(448,1174) d(971) d(887) r(1292,1225) d(769) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) r(1281,1292) r(1281,1335) d(1291) r(338,1169) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) d(37) r(675,1279) r(1146,1277) d(1729) a(1151,1331) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) d(37) r(675,1279) r(1146,1277) d(1729) a(577,695) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(1291) d(1291) 
	  1 r(448,1174) a(1105,675) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) r(456,1124) d(1713) d(1104) r(1715,1716) r(1291,1330) a(769,1312) r(443,409) d(768) d(693) a(432,1375) r(1376,706) a(435,432) 
	  1 r(448,1174) d(1104) r(1715,1716) r(1291,1330) a(769,1312) r(443,409) d(768) d(693) a(432,1375) r(1376,706) a(424,495) 
	  1 r(653,675) r(1291,1330) d(457) a(1118,1158) r(456,1124) d(1713) r(757,1221) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(752) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) a(1261,1168) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) a(424,412) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) d(1113) 
	  1 r(1716,1704) r(1291,1330) d(420) d(1378) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) a(769,1312) r(456,1124) d(1701) r(975,970) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(456,1124) d(1701) d(468) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(420) d(750) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) a(771,764) d(971) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) d(441) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) r(420,439) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) a(1117,577) d(1702) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(1379) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) r(420,439) r(36,37) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) a(1117,577) r(1282,1376) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) d(759) a(1286,1126) 
	  1 d(753) d(435) d(1287) r(1375,1111) r(1297,1106) d(759) d(971) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) d(435) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) 
	  1 d(753) r(1291,1330) a(769,1312) r(456,1124) d(1701) a(1156,1151) 
	  1 r(1716,1704) r(1291,1330) r(1297,1106) a(1700,897) d(577) 
	  1 d(753) r(1291,1330) r(1297,1106) a(1700,897) d(885) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(456,1124) d(1701) d(407) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) d(753) d(1113) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) a(405,441) 
	  1 r(1716,1704) a(890,547) r(444,420) r(1127,1282) r(1709,1715) d(481) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) a(335,1705) d(416) d(753) d(572) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) d(753) d(1221) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(444,420) r(1127,1282) r(1709,1715) a(898,1124) 
	  1 d(753) r(1291,1330) a(769,1312) r(1278,1116) d(896) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) r(592,767) d(37) a(1700,1276) d(1731) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) d(1377) 
	  1 d(753) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) r(447,1297) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) r(592,767) d(37) a(1700,1276) d(1731) r(1278,1116) r(338,1707) 
	  1 r(1716,1704) a(890,547) a(335,1705) r(1118,1115) d(1293) a(577,579) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) r(545,1373) 
search: generation 10 (sizeof one variant = 0.204533 MB)
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) r(545,1373) r(592,1163) 
	  1 r(1716,1704) a(1118,1158) d(1108) d(1275) d(891) d(1702) a(889,434) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(456,1124) d(1701) d(407) r(1221,657) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) d(37) r(675,1279) r(1146,1277) d(1729) a(1151,1331) r(690,506) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(752) r(1104,1145) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(420) d(750) d(1297) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) r(539,551) a(761,541) d(889) r(543,480) d(492) r(545,1373) d(1738) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) a(1261,1168) d(754) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(444,420) r(1127,1282) r(1714,1335) a(482,455) a(1704,441) 
	  1 r(1716,1704) a(890,547) r(444,420) r(1127,1282) r(1709,1715) d(481) d(1713) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(1704,1332) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) a(405,441) d(774) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) a(405,441) r(432,335) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) r(547,1379) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) d(462) r(592,444) 
	  1 d(753) r(1118,1282) r(759,1696) r(1281,1292) r(1281,1335) d(1291) d(1291) d(1705) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) d(1291) d(1291) d(1295) 
	  1 d(753) r(1118,1282) r(759,1696) d(462) d(653) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) r(546,1125) d(1280) d(447) r(449,434) a(424,412) a(1337,1286) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) d(405) a(1151,387) r(544,539) a(1716,1728) r(666,414) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) a(1716,1728) r(1703,483) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) a(424,412) r(433,443) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) d(1704) r(1221,738) r(1707,1717) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) r(456,1124) d(1701) d(468) r(979,975) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) d(752) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(759,1161) r(1278,1333) r(483,481) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) r(1278,1333) d(1104) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(759,1161) d(456) 
	  1 r(448,1174) d(971) r(337,1118) a(769,1312) d(412) r(444,420) r(1127,1282) r(1709,1715) r(36,37) r(456,550) 
	  1 r(1716,1704) r(1291,1330) r(1105,1111) a(772,763) d(1116) r(592,767) d(37) a(1700,1276) d(1731) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) d(1377) d(1126) 
	  1 r(448,1174) d(971) r(337,1118) r(1105,1111) a(772,763) d(1116) r(592,767) d(37) a(1700,1276) d(1731) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) d(1377) a(1377,695) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) r(444,420) r(1127,1282) r(1709,1715) r(36,37) a(449,754) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) r(420,439) r(36,37) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) a(1151,655) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1169) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(544) r(420,439) r(36,37) d(974) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) d(418) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) a(335,1705) d(416) d(753) d(572) r(1104,1278) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) r(1278,1333) a(1376,1289) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) a(335,1705) d(416) d(753) d(572) r(447,431) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) r(1281,1335) r(439,769) r(1278,1333) a(483,446) 
	  1 r(1716,1704) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) d(666) d(1337) 
	  1 r(448,1174) d(971) d(887) r(1292,1225) d(769) r(690,767) 
	  1 r(1716,1704) r(1291,1330) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) r(447,1297) a(1163,1286) 
	  1 d(753) r(1297,1106) a(1700,897) d(577) d(1728) 
	  1 r(1716,1704) r(1291,1330) r(1297,1106) a(1700,897) d(577) r(1104,1118) 
	  1 d(753) r(1291,1330) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(546,412) d(1111) r(447,1297) r(1727,1334) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(385,550) d(975) d(1163) r(1740,1720) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(1151,387) r(544,539) r(419,411) d(1731) 
	  1 d(753) r(1291,1330) r(592,767) r(546,1125) d(1280) d(447) d(405) a(1151,387) r(544,539) r(419,411) a(36,479) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) d(1163) d(434) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) r(1281,1292) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) d(1740) d(1735) d(447) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) r(759,1696) d(754) r(1281,1335) d(1291) r(338,1169) d(546) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) r(1281,1292) r(1281,1335) d(1291) r(338,1169) r(420,424) 
	  1 d(753) r(1118,1282) r(759,1696) d(754) a(1104,1297) d(1289) a(385,550) d(975) r(759,1696) d(754) a(1104,1297) a(769,1312) d(412) d(1175) a(665,759) a(765,1152) r(1696,1294) d(1740) d(1735) d(656) 
	  1 r(1716,1704) d(769) d(456) 
	  1 r(448,1174) d(971) d(887) r(1292,1225) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) d(1704) r(1221,738) d(1115) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(1175) d(412) d(445) a(479,653) d(1704) r(1221,738) r(424,438) 
	  1 r(448,1174) d(971) d(887) r(1292,1225) d(769) r(1126,770) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) d(1280) d(447) d(441) 
	  1 d(753) r(1291,1330) a(769,1312) r(456,1124) d(1701) a(1156,1151) r(759,494) r(1293,1111) r(449,434) a(1261,1168) d(1127) 
	  1 r(448,1174) d(971) r(752,757) r(435,442) r(1281,1292) d(551) d(1280) d(447) r(759,494) r(1293,1111) r(449,434) a(1261,1168) d(1714) 
	  1 d(753) r(1291,1330) a(769,1312) r(456,1124) d(1701) a(1156,1151) r(407,767) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1221) r(1711,1700) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) d(753) d(1280) a(769,1312) d(412) d(1175) r(1281,1292) r(1281,1335) d(1291) r(338,1169) d(501) 
	  1 r(448,1174) r(592,767) r(546,1125) d(1280) a(769,1312) d(412) d(1175) r(1281,1292) r(1281,1335) d(1291) r(338,1169) r(492,448) 
	  1 r(1716,1704) a(890,547) a(335,1705) d(416) d(753) d(1221) d(510) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1296
"Test Suite Evaluations": 324

Compile Failures: 0
Wall-Clock Seconds Elapsed: 859.151
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.055 = 0.0103059%
  compile                             655 153.882 = 28.7373%
  test                               1298 381.541 = 71.2524%
  TOTAL                                   535.479 = 62.3259% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:53:47 EDT 2013
shutting down
