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 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-76-87-171 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:10 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp08ae0f.c /tmp/tmpbd12c2.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 = 1.57095)
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.00999165 MB)
	  1 r(1708,1272) 
	  1 r(434,1221) 
	  1 r(1714,974) 
	  1 r(1739,1736) 
	  1 d(409) 
	  1 r(1738,1735) 
	  1 d(971) 
	  1 r(1283,1124) 
	  1 r(755,766) 
	  1 a(1291,1311) 
	  1 a(666,675) 
	  1 d(1705) 
	  1 r(1337,1714) 
	  1 d(487) 
	  1 d(774) 
	  1 d(1157) 
	  1 a(1706,766) 
	  1 r(444,457) 
	  1 d(1296) 
	  1 r(754,446) 
	  1 d(494) 
	  1 r(1112,1332) 
	  1 d(755) 
	  1 a(448,1277) 
	  1 r(414,437) 
	  1 r(468,507) 
	  1 d(1298) 
	  1 a(1294,1272) 
	  1 d(1113) 
	  1 r(1294,1116) 
	  1 d(422) 
	  1 a(1742,540) 
	  1 d(537) 
	  1 r(1156,1312) 
	  1 d(1375) 
	  1 r(1114,1289) 
	  1 r(1291,1330) 
	  1 a(457,538) 
	  1 d(1117) 
	  1 original
search: generation 1 (sizeof one variant = 0.201059 MB)
	  1 r(1283,1124) d(1741) 
	  1 r(755,766) r(539,441) 
	  1 r(1337,1714) d(438) 
	  1 d(1117) d(506) 
	  1 r(1337,1714) d(1720) 
	  1 d(1117) d(422) 
	  1 r(468,507) d(1713) 
	  1 a(457,538) d(1707) 
	  1 r(468,507) a(1277,1157) 
	  1 a(457,538) a(422,449) 
	  1 r(1294,1116) d(1728) 
	  1 d(1113) d(1716) 
	  1 d(755) r(978,896) 
	  1 r(1112,1332) a(457,1705) 
	  1 d(1298) d(424) 
	  1 a(1294,1272) r(497,1707) 
	  1 r(434,1221) r(466,454) 
	  1 d(1375) a(1710,1735) 
	  1 r(1114,1289) d(1148) 
	  1 r(1337,1714) a(1698,695) 
	  1 r(1114,1289) d(494) 
	  1 r(1337,1714) r(1126,1728) 
	  1 r(1294,1116) d(1374) 
	  1 d(1296) a(338,446) 
	  1 r(755,766) d(891) 
	  1 d(755) r(768,706) 
	  1 d(1117) d(1718) 
	  1 r(1738,1735) d(421) 
	  1 d(1117) d(37) 
	  1 r(1738,1735) d(698) 
	  1 d(1113) a(1719,441) 
	  1 d(487) d(1711) 
	  1 d(1113) r(897,1739) 
	  1 d(487) a(1294,1290) 
	  1 d(537) a(545,657) 
	  1 a(448,1277) a(738,1374) 
	  1 d(774) r(897,497) 
	  1 a(1706,766) r(438,1293) 
	  1 a(666,675) a(1105,574) 
	  1 d(774) r(1376,887) 
	  1 a(666,675) r(1157,1285) 
	  1 d(774) d(656) 
	  1 d(1705) r(1147,1280) 
	  1 d(971) d(892) 
	  1 r(1283,1124) d(886) 
	  1 r(1112,1332) d(978) 
	  1 d(1113) r(385,424) 
	  1 r(1337,1714) d(1375) 
	  1 d(1113) d(897) 
	  1 r(1337,1714) a(387,538) 
	  1 r(1112,1332) d(1736) 
	  1 r(1337,1714) d(1280) 
	  1 r(1112,1332) r(765,649) 
	  1 r(1337,1714) r(437,424) 
	  1 r(434,1221) d(1117) 
	  1 r(1714,974) r(433,414) 
	  1 r(434,1221) r(497,889) 
	  1 r(1714,974) r(409,1710) 
search: generation 2 (sizeof one variant = 0.201461 MB)
	  1 r(1294,1116) d(1374) d(1293) 
	  1 r(1714,974) r(409,1710) a(37,592) 
	  1 a(666,675) a(1105,574) d(754) 
	  1 d(774) r(1376,887) r(753,765) 
	  1 d(971) d(892) a(482,448) 
	  1 d(774) r(897,497) d(738) 
	  1 d(971) d(892) r(446,1311) 
	  1 d(774) r(897,497) a(1146,411) 
	  1 d(774) r(1376,887) d(1713) d(574) 
	  1 r(468,507) d(442) 
	  1 d(774) r(1376,887) r(1702,1699) 
	  1 r(468,507) d(1713) r(1699,1710) 
	  1 d(537) a(545,657) a(891,1714) 
	  1 d(1113) a(1719,441) a(1742,653) 
	  1 r(1283,1124) d(1741) r(1294,1333) 
	  1 r(1294,1116) d(1728) a(1116,1272) 
	  1 r(1112,1332) a(457,1705) r(1710,1705) 
	  1 r(1337,1714) d(438) d(418) 
	  1 r(1294,1116) d(1728) r(1151,1126) 
	  1 r(1714,974) r(409,1710) d(479) 
	  1 r(434,1221) r(466,454) d(37) d(1287) 
	  1 d(1117) a(770,1133) 
	  1 r(434,1221) r(466,454) a(1378,1148) 
	  1 d(1117) d(37) d(886) 
	  1 r(1337,1714) d(438) r(976,971) 
	  1 r(1112,1332) r(765,649) a(1288,666) 
	  1 r(1337,1714) r(1298,695) 
	  1 d(1296) a(338,446) a(1698,695) r(1272,656) 
	  1 r(1337,1714) a(1698,695) r(409,405) 
	  1 d(1296) a(338,446) d(37) 
	  1 r(1337,1714) a(1710,1735) d(1377) 
	  1 d(1375) d(1720) d(695) 
	  1 r(1337,1714) d(1720) r(763,1162) 
	  1 d(1375) a(1710,1735) r(755,763) 
	  1 r(1337,1714) a(387,538) a(547,1157) 
	  1 a(666,675) r(1157,1285) a(1163,447) 
	  1 r(1337,1714) a(387,538) d(1295) 
	  1 a(666,675) r(1157,1285) d(1376) 
	  1 a(666,675) r(1157,1285) d(1716) d(1377) 
	  1 d(1113) d(1698) 
	  1 a(666,675) r(1157,1285) r(1172,1279) 
	  1 d(1113) d(1716) a(338,479) 
	  1 d(774) r(897,497) d(424) d(971) 
	  1 d(1298) d(405) 
	  1 d(774) r(897,497) d(482) 
	  1 d(1298) d(424) r(448,1152) 
	  1 d(755) d(897) d(1720) 
	  1 d(1113) r(768,706) d(1298) 
	  1 d(755) r(768,706) d(667) 
	  1 d(1113) d(897) d(1133) 
	  1 d(1113) d(1716) d(887) 
	  1 r(755,766) r(539,441) r(1713,1717) 
	  1 d(1113) r(897,1739) a(1376,1730) 
	  1 d(487) d(1711) a(447,1379) 
	  1 d(1113) r(897,1739) d(700) 
	  1 d(487) d(1711) d(441) 
	  1 r(1112,1332) r(765,649) d(401) 
	  1 a(666,675) r(1157,1285) a(970,387) 
	  1 d(1117) d(1718) r(766,424) 
	  1 r(1337,1714) r(1126,1728) a(654,733) 
search: generation 3 (sizeof one variant = 0.201496 MB)
	  1 d(774) r(897,497) d(738) r(1157,1285) a(1163,447) r(699,761) 
	  1 a(666,675) d(442) 
	  1 d(774) r(897,497) d(738) d(441) 
	  1 a(666,675) r(1157,1285) a(1163,447) d(457) 
	  1 d(1298) d(424) r(448,1152) a(978,1175) 
	  1 r(1294,1116) d(1374) d(1293) a(572,764) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) 
	  1 d(487) d(1713) d(574) r(760,648) 
	  1 d(774) r(1376,887) d(1713) d(574) a(409,1337) 
	  1 d(487) d(1711) d(441) d(409) 
	  1 d(1113) a(1719,441) a(1742,653) d(1727) 
	  1 d(1113) r(897,1739) a(1376,1730) r(443,418) 
	  1 a(666,675) r(1157,1285) d(1716) d(1377) r(1280,1127) 
	  1 r(1112,1332) a(457,1705) r(1710,1705) d(1152) 
	  1 a(666,675) r(1157,1285) d(1376) d(974) 
	  1 d(1113) d(1698) a(1275,1168) 
	  1 d(1113) r(768,706) d(1298) r(971,972) 
	  1 r(434,1221) r(466,454) d(37) d(1287) r(385,434) 
	  1 d(1113) d(1698) d(754) d(1740) 
	  1 a(666,675) a(1105,574) a(487,416) 
	  1 d(1113) d(1698) r(389,1331) 
	  1 a(666,675) a(1105,574) d(754) r(1118,1278) 
	  1 a(666,675) a(1105,574) d(754) r(1294,1174) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) 
	  1 a(666,675) a(1105,574) d(754) r(1127,1286) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) 
	  1 d(1113) r(1152,1228) 
	  1 a(666,675) r(1157,1285) d(1376) d(897) d(1133) r(1283,1113) 
	  1 d(1113) d(897) d(1133) d(763) 
	  1 a(666,675) r(1157,1285) d(1376) r(1697,1715) 
	  1 d(774) r(897,497) a(1146,411) r(433,446) 
	  1 r(755,766) r(539,441) r(1713,1717) d(1714) 
	  1 d(1117) a(770,1133) a(1378,1148) a(1725,506) 
	  1 r(434,1221) r(466,454) r(418,1696) 
	  1 d(1117) a(770,1133) r(1717,1703) 
	  1 r(434,1221) r(466,454) a(1378,1148) d(544) 
	  1 d(1113) d(897) d(1133) d(757) 
	  1 d(1113) d(1716) d(887) r(385,411) 
	  1 r(1294,1116) d(1374) d(1293) d(572) 
	  1 r(468,507) d(442) d(1106) 
	  1 d(774) r(897,497) d(738) d(444) 
	  1 d(1296) a(338,446) a(1698,695) r(1272,656) a(457,649) 
	  1 r(1337,1714) a(387,538) d(1295) r(1374,1331) 
	  1 r(1112,1332) a(457,1705) r(1710,1705) d(1104) 
	  1 d(774) r(897,497) d(424) d(971) a(494,1221) 
	  1 r(1337,1714) a(387,538) d(1295) d(693) 
	  1 d(1375) a(1710,1735) r(755,763) d(1376) 
	  1 d(1113) a(1719,441) a(1742,653) d(979) 
	  1 d(1113) d(897) d(1105) 
	  1 a(666,675) r(1157,1285) a(1163,447) d(1133) r(896,970) 
	  1 d(1113) d(897) d(1133) r(887,889) 
	  1 a(666,675) r(1157,1285) a(1163,447) r(885,1312) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) 
	  1 d(774) d(1720) a(1708,1277) 
	  1 d(755) d(897) d(1720) a(1726,766) 
	  1 d(774) r(897,497) d(738) r(764,769) 
search: generation 4 (sizeof one variant = 0.203231 MB)
	  1 d(755) d(897) d(1720) a(1726,766) d(414) 
	  1 a(666,675) r(1157,1285) d(1376) d(897) d(1133) r(1283,1113) a(434,507) 
	  1 d(1113) d(574) d(1107) 
	  1 d(774) r(1376,887) d(1711) d(441) d(897) d(1133) d(757) r(667,544) 
	  1 d(1113) d(897) d(1133) d(757) d(448) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) r(1139,442) 
	  1 d(774) r(897,497) d(738) d(1714) a(1704,1702) 
	  1 r(755,766) r(539,441) r(1713,1717) d(444) r(572,653) 
	  1 d(774) r(897,497) d(738) d(444) r(753,770) 
	  1 r(755,766) r(539,441) r(1713,1717) d(1714) a(1736,878) 
	  1 d(774) d(1720) a(1708,1277) a(971,418) 
	  1 a(666,675) a(1105,574) d(754) r(1294,1174) d(446) 
	  1 a(666,675) d(442) d(424) 
	  1 d(1113) r(1152,1228) a(762,769) 
	  1 d(774) r(897,497) d(738) d(441) r(538,1224) 
	  1 a(666,675) d(442) r(337,1738) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(436,420) 
	  1 d(1113) a(1719,441) a(1742,653) d(979) r(437,443) 
	  1 d(1113) r(897,1739) a(1376,1730) r(443,418) d(1702) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(751,766) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) 
	  1 d(1113) r(897,1739) a(1376,1730) r(443,418) a(1277,1261) 
	  1 a(666,675) r(1157,1285) a(1163,447) r(885,1312) d(971) a(494,1221) a(656,494) 
	  1 d(774) r(897,497) d(424) d(978) 
	  1 a(666,675) r(1157,1285) a(1163,447) r(885,1312) d(1720) 
	  1 d(774) r(897,497) d(424) d(971) a(494,1221) d(667) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) a(407,407) 
	  1 a(666,675) a(1105,574) d(754) r(1294,1174) d(412) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) d(768) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) 
	  1 r(1337,1714) a(387,538) d(1295) r(1374,1331) r(386,431) 
	  1 a(666,675) a(1105,574) d(754) r(1127,1286) r(1288,1329) 
	  1 r(1294,1116) d(1374) d(1293) d(572) d(335) 
	  1 r(1337,1714) a(387,538) d(1295) d(693) r(492,1194) 
	  1 a(666,675) r(1157,1285) d(1376) d(1739) 
	  1 d(1113) d(1716) d(887) r(385,411) r(1697,1715) r(449,436) 
	  1 a(666,675) r(1157,1285) d(1376) r(1697,1715) d(1376) 
	  1 d(1113) d(1716) d(887) r(385,411) a(1742,1194) 
	  1 d(1113) d(897) d(1133) d(763) d(1725) 
	  1 d(1113) d(1716) d(887) r(385,411) r(897,572) 
	  1 r(1337,1714) a(387,538) d(1295) r(1374,1331) a(416,574) 
	  1 d(487) d(1711) d(441) d(409) a(550,656) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) r(971,973) 
	  1 d(1113) r(768,706) a(1742,653) d(979) d(766) 
	  1 d(1113) a(1719,441) a(1742,653) d(979) d(753) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) 
	  1 a(666,675) r(1157,1285) a(1163,447) r(885,1312) d(1293) d(572) a(762,773) 
	  1 r(1294,1116) d(1374) r(1288,1221) 
	  1 a(666,675) r(1157,1285) a(1163,447) r(885,1312) r(676,1297) 
	  1 r(1294,1116) d(1374) d(1293) d(572) d(1373) 
	  1 d(755) d(1378) r(653,449) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) a(465,416) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) 
	  1 r(1112,1332) r(765,649) r(1279,1118) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) a(1288,666) r(456,1291) d(1728) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) 
	  1 d(774) r(897,497) d(738) d(441) d(887) r(385,411) r(1114,1151) 
	  1 d(1113) d(1716) d(1728) 
	  1 d(774) r(897,497) d(738) d(441) r(492,457) 
	  1 d(1113) d(1716) d(887) r(385,411) r(545,468) 
search: generation 5 (sizeof one variant = 0.202684 MB)
	  1 d(1113) r(897,1739) a(1376,1730) r(443,418) d(1702) d(1171) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) a(465,416) d(1133) 
	  1 d(487) d(1711) r(436,420) d(1703) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(441) d(409) a(550,656) d(1375) 
	  1 d(487) d(1711) d(441) d(409) a(550,656) d(1297) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(436,420) d(335) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) d(424) d(972) 
	  1 a(666,675) d(442) a(772,769) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) d(774) 
	  1 a(666,675) d(442) d(424) a(649,495) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) 
	  1 a(666,675) d(1107) a(423,706) 
	  1 d(1113) d(574) d(1107) r(1284,1174) 
	  1 a(666,675) r(1157,1285) d(1376) d(1739) r(1152,541) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) r(1139,442) d(976) 
	  1 d(1113) r(1152,1228) a(762,769) d(1139) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) 
	  1 d(755) d(897) d(1720) a(1726,766) d(414) r(770,648) 
	  1 r(1337,1714) a(1105,574) r(971,973) d(754) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(754) r(1127,1286) d(768) d(1153) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) d(768) d(448) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) r(971,973) d(1175) 
	  1 d(1113) a(1719,441) a(1742,653) d(889) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) 
	  1 d(1113) a(1719,441) a(1742,653) d(979) r(437,443) d(767) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) 
	  1 d(1113) a(1726,414) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) r(897,572) d(770) 
	  1 d(1113) d(1716) d(887) r(385,411) r(897,572) d(1705) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) a(970,653) 
	  1 a(666,675) d(442) d(424) d(1716) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) d(441) 
	  1 d(1113) d(1716) d(887) r(385,411) r(1697,1715) r(449,436) d(1139) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) r(1139,442) r(1716,1707) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(1288,1329) a(1104,1168) 
	  1 a(666,675) a(1105,574) d(754) r(1127,1286) d(387) d(1127) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) d(1374) 
	  1 a(666,675) a(1105,574) d(754) r(1127,1286) r(1288,1329) r(1710,1703) 
	  1 d(1113) a(1719,441) a(1742,653) d(979) d(753) a(766,1277) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(436,420) r(433,422) 
	  1 d(774) r(897,497) d(738) d(1714) a(1704,1702) r(1261,507) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) r(971,973) d(1152) 
	  1 r(755,766) d(387) r(1157,971) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(539,441) r(1713,1717) d(1714) a(1736,878) a(1104,1194) 
	  1 r(755,766) r(539,441) r(1713,1717) d(1714) a(1736,878) d(761) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(409,706) 
	  1 a(666,675) d(442) d(424) d(506) 
	  1 r(1112,1332) r(765,649) r(1279,1118) r(1271,1162) 
	  1 r(1112,1332) r(387,1707) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) r(765,649) a(1288,666) d(1174) a(1288,666) r(456,1291) d(1728) a(975,1162) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) a(1288,666) r(456,1291) d(1728) d(751) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) a(409,335) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(1373) r(1737,1738) 
	  1 r(1294,1116) d(1374) d(1293) d(572) d(1373) d(773) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1372,1374) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) d(768) r(444,1739) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) r(439,1115) d(1741) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) d(768) r(1720,1701) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) a(1277,1290) 
search: generation 6 (sizeof one variant = 0.203494 MB)
	  1 a(666,675) d(442) d(424) d(506) a(1709,550) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) 
	  1 d(1113) r(1738,1740) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(574) r(1157,1285) d(1376) d(1739) a(765,412) r(1288,1118) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) 
	  1 d(1113) a(1719,441) a(1742,653) d(889) d(434) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) r(439,1115) d(1298) r(971,972) r(971,973) d(1175) a(542,446) 
	  1 d(1113) a(1719,441) d(1741) d(1292) 
	  1 r(1337,1714) a(1105,574) d(754) r(1127,1286) r(439,1115) d(1741) a(1106,1698) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) r(971,973) d(1175) d(487) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) 
	  1 r(1112,1332) r(1372,1374) r(1112,1284) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1372,1374) d(1112) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) r(1707,1697) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(754) r(1127,1286) d(768) d(1153) a(1711,666) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1280) 
	  1 a(666,675) d(1107) a(423,706) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1221,755) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) 
	  1 a(666,675) d(1107) a(423,706) r(763,465) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(409,706) r(1736,1740) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1372,1374) d(886) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1372,1374) d(438) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(409,706) d(387) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(1373) r(1737,1738) r(1718,1707) 
	  1 d(487) d(1711) r(436,420) d(1703) d(1271) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(439,1115) d(449) a(1282,1292) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) d(738) d(1378) r(1718,1714) d(1133) d(1292) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(706) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) a(409,335) d(897) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) r(1139,442) d(976) r(1742,676) 
	  1 d(774) r(1376,887) d(1711) d(441) d(574) r(1139,442) d(976) a(1289,1331) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) d(738) d(1714) a(1704,1702) r(1261,507) d(418) 
	  1 d(774) r(897,497) r(897,572) d(770) r(436,442) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) r(897,572) d(770) a(446,693) 
	  1 d(774) r(897,497) d(738) d(1714) a(1704,1702) r(1261,507) r(1276,1228) 
	  1 r(1337,1714) a(1105,574) r(971,973) d(754) r(434,1114) 
	  1 a(666,675) a(1105,574) d(754) r(1127,1286) r(1288,1329) r(1710,1703) r(1724,441) 
	  1 a(666,675) d(442) d(424) d(1716) r(1703,385) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) a(970,653) d(541) 
	  1 d(1113) d(1716) d(887) r(385,411) r(897,572) d(1705) a(1124,1111) 
	  1 d(755) d(897) d(1720) a(1726,766) d(414) r(770,648) r(1291,1158) 
	  1 d(1113) r(1152,1228) a(762,769) d(1139) d(693) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(436,420) r(433,422) a(480,675) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) d(441) d(442) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1728,1714) 
	  1 d(1113) r(897,1739) a(1376,1730) r(443,418) d(1702) d(1171) a(693,1147) 
	  1 d(487) d(1711) d(441) d(409) a(550,656) d(1297) d(648) 
	  1 d(755) d(897) r(897,497) d(1703) r(438,414) 
	  1 d(487) d(1711) r(436,420) d(738) d(1378) a(465,416) d(1133) d(1374) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) a(465,416) d(1133) d(1373) 
	  1 d(487) d(1711) r(436,420) d(1703) a(738,418) 
search: generation 7 (sizeof one variant = 0.203653 MB)
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) d(1731) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) 
	  1 d(755) d(897) r(897,497) d(738) a(1275,648) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) r(1707,1697) r(1133,1111) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(892,891) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1698,400) 
	  1 d(774) r(897,497) d(738) d(1714) a(1704,1702) r(1261,507) r(1276,1228) r(446,1331) 
	  1 d(1113) a(1719,441) d(1741) d(1292) r(758,501) 
	  1 d(487) d(1711) r(436,420) d(738) d(1378) a(465,416) d(1133) d(1374) a(1133,421) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1280) r(386,387) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) r(979,977) 
	  1 d(1113) a(1719,441) a(1742,653) d(754) r(1127,1286) d(768) d(1153) a(1711,666) a(653,446) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(754) r(1127,1286) d(768) d(1153) a(1711,666) d(421) 
	  1 d(1113) a(1719,441) a(1742,653) d(889) d(434) r(1168,546) 
	  1 d(755) d(897) r(897,497) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(541,545) 
	  1 d(755) d(897) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1728,1714) d(754) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1728,1714) d(547) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) 
	  1 d(755) d(897) r(897,497) d(1703) r(438,414) d(1739) 
	  1 r(1112,1332) r(765,649) a(1288,666) r(456,1291) r(1153,1139) a(409,335) d(897) a(771,1703) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(757,507) 
	  1 d(1113) r(768,706) d(1298) r(971,972) r(436,420) r(433,422) a(480,675) r(1291,1133) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) r(439,1115) d(449) a(1282,1292) r(1276,405) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) a(409,706) d(387) r(546,1337) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(409,706) d(387) d(577) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(439,1115) d(449) a(1282,1292) r(973,975) 
	  1 d(774) a(1709,550) d(414) 
	  1 a(666,675) d(442) d(424) d(506) r(897,497) r(897,572) d(770) r(436,442) a(751,546) 
	  1 d(774) r(897,497) r(897,572) d(770) r(436,442) r(1720,1702) 
	  1 a(666,675) d(442) d(424) d(506) a(1709,550) r(1111,1139) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) a(502,1312) 
	  1 a(666,675) d(1107) a(423,706) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1221,755) a(648,1376) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) d(442) d(424) d(1716) r(1703,385) d(1696) 
	  1 a(666,675) d(442) d(424) d(1716) r(1703,385) a(385,1704) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1112) 
	  1 d(755) d(897) r(897,497) d(738) d(1378) d(1286) d(441) d(442) d(337) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1372,1374) d(886) r(1740,502) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) d(738) d(1714) a(1715,1702) d(1296) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) d(738) d(1714) a(1704,1702) r(1261,507) d(418) a(416,412) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(1373) r(1737,1738) r(1718,1707) r(1168,1289) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(698) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) d(738) d(1378) r(1718,1714) d(1133) d(1292) a(764,501) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(1373) r(1737,1738) r(1718,1707) d(1728) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) d(738) d(1378) r(1718,1714) d(1133) d(1292) d(675) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(1373) r(1737,1738) r(1718,1707) r(892,889) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1727) d(1722) a(890,1705) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1280) a(886,592) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1280) a(773,547) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) d(545) 
search: generation 8 (sizeof one variant = 0.204149 MB)
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) r(592,693) 
	  1 d(1113) a(1719,441) a(1742,653) d(889) d(434) r(1168,546) d(656) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) r(979,977) a(1711,1740) 
	  1 a(666,675) d(442) d(424) d(1716) r(1703,385) a(385,1704) r(1118,1108) 
	  1 d(1113) d(574) r(1157,1285) d(1376) r(979,977) r(1292,1114) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) d(1739) a(765,412) d(979) a(502,1312) a(754,412) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) a(502,1312) a(1158,335) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) r(979,977) r(690,1168) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) a(502,1312) r(579,1698) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(439,1115) d(449) a(1282,1292) r(973,975) a(1713,510) 
	  1 a(666,675) d(442) d(424) r(439,1115) d(449) a(1715,1702) a(485,1124) a(979,457) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) d(506) r(897,497) r(897,572) d(770) r(436,442) a(751,546) r(666,979) 
	  1 a(666,675) d(442) d(424) d(506) r(897,497) r(897,572) d(770) r(436,442) a(751,546) d(897) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) a(437,1272) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1698,400) d(1702) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) a(1277,1169) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1707,1716) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) a(1698,400) a(1115,759) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1698,400) d(1696) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1280) r(386,387) d(760) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(757,507) d(1708) 
	  1 d(1113) a(1719,441) d(1741) d(1292) r(758,501) a(432,579) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1727) d(1722) a(890,1705) r(898,974) 
	  1 a(666,675) d(442) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(1708,548) 
	  1 a(666,675) r(765,649) a(772,769) r(738,1291) d(698) d(1696) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(698) a(1736,577) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) d(545) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) a(407,387) 
	  1 d(1113) r(768,706) a(437,444) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) d(545) d(1713) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(1145) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) r(1707,1697) r(1133,1111) r(1111,1118) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) r(1297,1290) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) d(979) r(437,443) r(1719,1717) r(1728,1714) d(754) a(1296,492) 
	  1 d(755) d(897) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) r(1698,1298) d(546) d(483) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) a(890,538) 
	  1 d(755) d(897) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1728,1714) d(754) r(1105,1280) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) 
	  1 d(487) d(1711) r(436,420) d(738) d(1378) a(465,416) d(1133) d(1374) a(1133,421) r(501,411) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) a(765,412) d(979) d(1731) d(1726) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) r(1698,1298) d(546) a(976,706) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) r(1169,1311) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) d(1731) d(1114) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) r(36,37) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) d(545) r(445,1289) 
	  1 a(666,675) a(387,538) d(1295) r(1374,1331) d(441) d(1716) d(887) r(385,411) d(738) d(1714) a(1704,1702) r(1261,507) d(418) a(416,412) d(492) 
	  1 a(666,675) d(442) d(424) d(506) a(1709,550) r(1111,1139) a(389,1145) 
	  1 d(755) d(897) r(897,497) d(738) r(439,1115) d(449) a(1282,1292) r(1276,405) d(738) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(1275,648) d(418) 
	  1 d(755) d(897) r(897,497) d(738) a(1275,648) a(648,1261) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) r(439,1115) d(449) a(1282,1292) r(1276,405) a(766,507) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) d(665) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) r(1168,766) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) a(750,690) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) a(761,770) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(1162,1376) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) r(414,1117) r(1281,1147) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) d(751) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) d(972) 
search: generation 9 (sizeof one variant = 0.195183 MB)
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) a(437,1272) d(485) 
	  1 d(755) d(897) r(897,497) d(738) r(439,1115) d(449) a(1282,1292) r(1276,405) d(738) r(1125,1118) 
	  1 a(666,675) d(442) a(772,769) r(655,1706) 
	  1 d(1113) r(768,706) a(437,444) r(738,1291) r(886,892) d(756) r(1139,1117) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) r(1707,1710) 
	  1 d(1113) r(768,706) a(437,444) r(898,976) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) r(1168,766) r(400,432) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) r(592,693) d(386) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) r(592,693) r(1288,1125) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) r(1168,766) d(763) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) a(1698,400) a(1115,759) d(400) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(1280) r(386,387) d(760) d(1705) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) d(442) a(772,769) r(738,1291) d(698) a(1736,577) d(1720) 
	  1 a(666,675) a(437,1272) d(1124) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) a(437,1272) a(1373,649) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(698) a(1736,577) d(754) 
	  1 d(755) d(897) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1728,1714) d(754) r(1105,1280) a(1194,495) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) r(592,693) r(1292,1174) 
	  1 r(1294,1116) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) a(1277,1169) d(753) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) d(751) r(1736,1738) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) d(751) d(1721) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) a(1277,1169) r(462,456) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(411) 
	  1 a(666,675) r(765,649) a(772,769) r(738,1291) d(698) d(1696) r(698,756) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) a(1277,1169) a(1108,1161) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) a(502,1312) a(1158,335) d(1285) 
	  1 a(666,675) d(442) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(1708,548) r(1221,542) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(1145) r(1276,1288) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) a(1283,754) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) r(36,37) d(573) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) d(1739) a(765,412) d(979) a(502,1312) a(754,412) d(1271) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) r(773,436) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) r(539,970) 
	  1 d(487) d(1711) r(436,420) d(738) d(1378) a(465,416) d(1133) d(1374) a(1133,421) r(501,411) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) d(665) d(773) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) d(665) r(885,1696) 
	  1 d(487) d(1711) r(436,420) d(738) d(1378) a(465,416) d(1133) d(1374) a(1133,421) r(501,411) r(414,443) 
	  1 d(1113) r(768,706) a(437,444) r(1161,1229) 
	  1 a(666,675) r(765,649) a(772,769) r(738,1291) d(698) d(1696) a(1172,1276) 
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(1275,648) d(418) r(1296,1373) 
	  1 a(666,675) d(442) d(424) d(506) r(897,497) r(897,572) d(770) r(436,442) a(751,546) d(897) r(409,487) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) d(1278) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) 
	  1 d(1113) d(574) r(1157,1285) d(1376) r(979,977) r(1292,1114) d(752) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) d(751) a(1742,1379) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(1714,1711) 
	  1 a(666,675) d(442) d(424) r(439,1115) d(449) a(1715,1702) a(485,1124) a(979,457) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) r(414,1117) r(1281,1147) a(1125,401) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) r(414,1117) r(1281,1147) d(1113) 
	  1 a(666,675) d(442) d(424) r(439,1115) d(449) a(1715,1702) a(485,1124) a(979,457) d(1379) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1698,400) d(1706) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) d(1702) d(485) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) a(1698,400) d(1702) a(1161,653) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) d(1145) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) d(979) r(437,443) r(1719,1717) r(1728,1714) d(754) a(1296,492) d(416) 
	  1 d(1113) d(574) r(1157,1285) d(1376) d(1739) a(765,412) d(979) a(502,1312) r(579,1698) d(456) 
search: generation 10 (sizeof one variant = 0.203786 MB)
	  1 d(1113) r(768,706) d(1298) r(971,972) d(387) a(1275,648) d(418) r(1296,1373) r(1711,1714) 
	  1 r(1294,1116) d(1374) d(1293) d(572) a(1156,507) d(1727) d(1722) r(414,1117) d(751) a(1742,1379) a(337,772) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) d(665) r(885,1696) r(1715,1707) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) r(773,436) a(1133,1728) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) a(538,494) 
	  1 d(1113) r(768,706) r(886,892) d(756) r(1707,1710) a(441,494) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) r(1707,1710) d(1709) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) a(440,456) 
	  1 a(666,675) d(698) a(1736,577) d(754) a(1285,1329) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) d(1145) d(1112) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) d(1145) d(1376) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(698) a(1736,577) d(754) r(667,548) 
	  1 d(755) d(897) r(897,497) d(738) r(439,1115) d(449) a(1282,1292) r(1276,405) d(738) r(1125,1118) r(1719,1710) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) d(706) d(665) r(885,1696) r(1716,1697) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) d(1739) a(765,412) d(979) a(502,1312) a(754,412) d(1271) a(753,1298) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) r(1168,766) d(763) a(1145,538) 
	  1 a(666,675) d(442) d(424) d(506) a(700,701) d(1702) d(485) d(1288) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) r(897,497) r(897,572) d(770) r(436,442) a(751,546) d(897) r(409,487) r(1710,1707) 
	  1 a(666,675) d(442) d(424) d(506) r(897,497) r(897,572) d(770) r(436,442) a(751,546) d(897) r(409,487) d(394) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) d(1702) d(485) d(465) 
	  1 d(1113) d(693) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(1714,1711) r(768,706) a(437,444) r(1161,1229) a(387,648) 
	  1 d(1113) r(768,706) a(437,444) r(1161,1229) d(546) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) r(1714,1711) d(1279) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(411) d(1126) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) r(738,889) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) d(1288) 
	  1 d(1113) r(768,706) a(485,1124) a(437,1272) a(1373,649) r(1126,485) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) a(437,1272) a(1373,649) a(1294,1293) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) d(416) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(979) r(437,443) r(1719,1717) r(1705,36) r(1148,1291) r(592,693) r(1288,1125) d(1113) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1741,1720) r(414,1117) r(1281,1147) d(1113) a(1285,1331) 
	  1 d(755) d(897) r(897,497) d(738) d(897) r(897,497) d(738) d(1378) r(1718,1714) r(539,970) d(887) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) r(773,436) r(1714,1146) 
	  1 a(666,675) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) d(1286) d(1139) a(700,701) r(773,436) a(1105,409) 
	  1 r(1294,1116) d(1174) r(439,1115) d(449) a(1704,1702) r(1261,507) d(418) a(1113,1283) a(1277,1169) d(753) r(1118,1112) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) r(1707,1710) a(889,1194) 
	  1 a(666,675) d(442) d(424) r(439,1115) d(449) a(1715,1702) a(485,1124) a(979,457) d(1379) r(1116,1288) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) a(772,769) r(738,1291) d(698) a(1736,577) d(1720) d(733) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) d(442) d(1278) r(479,1158) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) d(1278) d(449) 
	  1 r(1112,1332) r(765,649) a(1288,666) d(1174) r(439,1115) d(449) a(1715,1702) a(485,1124) d(442) a(772,769) r(738,1291) d(698) a(1736,577) d(1720) d(1284) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) d(1278) a(445,763) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) a(1283,754) a(675,444) 
	  1 d(1113) r(768,706) a(437,444) r(738,1291) r(886,892) d(756) r(1139,1117) d(977) 
	  1 d(1113) a(1719,441) d(1298) r(971,972) d(889) d(434) d(1739) a(765,412) d(979) a(502,1312) a(754,412) d(1271) d(577) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) d(758) d(754) r(1133,441) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) d(698) a(1736,577) d(754) d(1172) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(897) r(897,497) d(738) d(1378) r(1718,1714) d(1133) a(538,456) r(1145,1161) r(1168,766) d(763) r(665,762) 
	  1 d(1113) r(768,706) d(1298) r(971,972) a(1156,507) r(1728,887) r(1111,1125) d(761) a(1698,400) a(1115,759) d(400) r(1162,433) 
	  1 r(1294,1116) d(1374) r(1288,1221) d(755) r(1698,1298) d(546) r(36,37) d(573) r(400,1706) 
	  1 a(666,675) d(442) a(772,769) r(738,1291) r(886,892) d(756) a(1283,754) a(571,547) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1204
"Test Suite Evaluations": 301

Compile Failures: 0
Wall-Clock Seconds Elapsed: 776.276
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             610 140.087 = 28.7725%
  test                               1207 346.744 = 71.2181%
  TOTAL                                   486.877 = 62.7189% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:52:07 EDT 2013
shutting down
