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 2
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-194-201-187 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:20 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/tmp622a26.c /tmp/tmp91367a.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.50759)
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(1735) 
	  1 d(1158) 
	  1 d(1281) 
	  1 r(387,506) 
	  1 d(655) 
	  1 r(1292,1377) 
	  1 d(483) 
	  1 r(1152,698) 
	  1 d(497) 
	  1 d(539) 
	  1 d(1739) 
	  1 r(1279,1312) 
	  1 a(1284,446) 
	  1 r(1117,1281) 
	  1 a(1713,1716) 
	  1 d(1117) 
	  1 d(887) 
	  1 a(1172,1705) 
	  1 d(420) 
	  1 r(337,892) 
	  1 a(701,757) 
	  1 d(666) 
	  1 d(407) 
	  1 d(772) 
	  1 r(1125,1124) 
	  1 d(1290) 
	  1 r(1710,1706) 
	  1 a(1704,401) 
	  1 d(485) 
	  1 d(465) 
	  1 r(432,431) 
	  1 a(449,1139) 
	  1 d(444) 
	  1 r(571,733) 
	  1 d(1281) 
	  1 d(466) 
	  1 a(1151,767) 
	  1 d(766) 
	  1 d(773) 
	  1 original
search: generation 1 (sizeof one variant = 0.201005 MB)
	  1 d(1739) d(1372) 
	  1 r(571,733) r(1117,752) 
	  1 d(1739) d(442) 
	  1 r(571,733) r(1158,1331) 
	  1 r(432,431) a(1742,434) 
	  1 d(887) r(1288,1331) 
	  1 d(1739) d(1157) 
	  1 a(1284,446) r(436,451) 
	  1 d(1739) d(466) 
	  1 a(1284,446) r(752,706) 
	  1 r(1279,1312) d(1337) 
	  1 r(1117,1281) a(1174,439) 
	  1 r(1279,1312) d(1711) 
	  1 r(1117,1281) a(1158,1272) 
	  1 a(701,757) d(1111) 
	  1 d(1158) d(878) 
	  1 a(701,757) r(1727,1145) 
	  1 d(1158) d(1194) 
	  1 a(701,757) r(1288,1111) 
	  1 d(666) r(545,455) 
	  1 a(701,757) d(423) 
	  1 d(666) d(976) 
	  1 d(466) r(547,414) 
	  1 d(466) r(444,441) 
	  1 d(466) d(1284) 
	  1 d(466) d(693) 
	  1 d(1378) 
	  1 r(1710,1706) d(1157) 
	  1 d(1719) 
	  1 r(1710,1706) a(700,773) 
	  1 r(337,892) r(1337,758) 
	  1 d(1739) d(1722) 
	  1 a(1284,446) d(466) 
	  1 r(1292,1377) r(1711,1720) 
	  1 d(539) d(971) 
	  1 r(337,892) r(757,537) 
	  1 d(539) d(1157) 
	  1 r(337,892) d(550) 
	  1 r(1152,698) a(389,656) 
	  1 d(1739) d(1282) 
	  1 r(1292,1377) r(439,389) 
	  1 a(1151,767) d(878) 
	  1 r(1292,1377) a(1285,766) 
	  1 a(1151,767) d(37) 
	  1 r(387,506) d(1116) 
	  1 r(1292,1377) r(655,1729) 
	  1 r(387,506) r(1294,1298) 
	  1 r(1292,1377) a(449,456) 
	  1 d(666) a(1378,495) 
	  1 a(1284,446) r(1113,1107) 
	  1 d(666) a(764,546) 
	  1 a(1284,446) a(890,675) 
	  1 d(444) a(338,1126) 
	  1 d(1290) r(400,774) 
	  1 d(444) d(1721) 
	  1 d(1290) d(456) 
	  1 d(1281) a(436,1175) 
	  1 d(666) d(1163) 
	  1 d(1281) r(760,752) 
	  1 d(666) d(666) 
	  1 d(773) r(1708,1330) 
	  1 d(1281) d(1702) 
	  1 d(407) a(480,1705) 
	  1 d(1290) r(750,1172) 
	  1 r(571,733) d(1112) 
	  1 d(766) a(698,1379) 
	  1 r(571,733) r(443,411) 
	  1 d(766) d(1275) 
search: generation 2 (sizeof one variant = 0.20077 MB)
	  1 d(887) r(1288,1331) d(1715) 
	  1 r(1292,1377) r(1711,1720) a(761,421) 
	  1 r(1279,1312) d(1711) d(1157) r(411,972) 
	  1 d(539) d(770) 
	  1 r(1279,1312) d(1711) a(421,539) 
	  1 d(539) d(1157) a(770,572) 
	  1 a(1151,767) a(436,1175) r(1378,1107) 
	  1 d(1281) d(878) a(761,465) 
	  1 a(1151,767) d(878) r(1298,538) 
	  1 d(1281) a(436,1175) d(414) 
	  1 r(1279,1312) a(436,1175) a(1284,774) 
	  1 d(1281) d(1711) r(1152,1379) 
	  1 r(1279,1312) d(1711) d(479) 
	  1 d(1281) a(436,1175) d(1161) 
	  1 r(387,506) r(1735,1261) 
	  1 r(571,733) r(1117,752) r(1294,1298) d(419) 
	  1 r(387,506) r(1294,1298) a(1174,1276) 
	  1 r(571,733) r(1117,752) r(765,764) 
	  1 d(773) r(1708,1330) a(444,653) 
	  1 d(1290) r(750,1172) a(973,416) 
	  1 d(1290) d(466) d(1715) 
	  1 d(1739) d(456) d(433) 
	  1 d(1290) d(456) r(978,898) 
	  1 d(1739) d(466) d(676) 
	  1 d(1739) r(1106,1228) 
	  1 d(1739) d(1157) d(1157) d(1285) 
	  1 d(1739) d(1157) a(765,733) 
	  1 d(1739) d(1157) d(1153) 
	  1 d(666) d(976) a(1281,657) 
	  1 r(571,733) r(1117,752) d(1145) 
	  1 d(666) a(764,546) d(487) 
	  1 d(666) d(666) a(1712,401) 
	  1 d(666) a(764,546) r(441,442) 
	  1 d(666) d(666) d(1714) 
	  1 d(666) r(545,455) d(1158) 
	  1 r(1117,1281) a(1158,1272) d(701) 
	  1 r(571,733) r(1158,1331) d(1108) 
	  1 d(1739) d(1157) r(1288,1298) 
	  1 d(407) a(480,1705) r(1698,1284) 
	  1 d(1281) a(436,1175) d(1105) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) 
	  1 r(1292,1377) d(878) a(1293,1295) 
	  1 a(1151,767) d(878) a(439,1298) 
	  1 r(1292,1377) r(1711,1720) r(1742,1163) 
	  1 d(539) d(971) r(443,448) 
	  1 d(466) r(444,441) d(1127) 
	  1 d(539) d(971) d(886) 
	  1 d(466) r(444,441) r(389,1288) 
	  1 d(1290) d(456) r(1117,752) r(405,481) 
	  1 r(571,733) d(1118) 
	  1 d(1290) d(456) d(1740) 
	  1 r(571,733) r(1117,752) r(1698,1295) 
	  1 a(701,757) d(752) 
	  1 d(1378) r(1288,1111) d(574) 
	  1 a(701,757) r(1288,1111) d(401) 
	  1 d(1378) a(439,773) 
	  1 d(1290) d(456) r(440,437) 
	  1 a(1284,446) a(890,675) r(422,421) 
	  1 d(1281) d(1702) a(896,1139) 
	  1 a(1151,767) d(878) d(1296) 
	  1 d(1281) d(1702) d(1739) 
	  1 a(1151,767) d(878) d(755) 
	  1 d(466) r(547,414) d(976) r(483,468) 
	  1 d(666) r(495,1336) 
	  1 d(466) r(547,414) d(1697) 
	  1 d(666) d(976) a(752,574) 
search: generation 3 (sizeof one variant = 0.202299 MB)
	  1 d(1281) d(878) a(761,465) d(335) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) 
	  1 d(1281) a(436,1175) d(414) r(750,1696) 
	  1 d(1281) a(436,1175) d(1161) d(433) 
	  1 d(1281) a(436,1175) d(1161) d(766) 
	  1 d(1281) a(436,1175) d(414) d(422) 
	  1 d(666) a(764,546) d(487) d(1153) d(548) 
	  1 d(1739) d(1157) r(1171,1276) 
	  1 d(666) a(764,546) d(487) r(970,979) 
	  1 d(1739) d(1157) d(1153) r(1158,1152) 
	  1 d(1281) a(436,1175) r(443,448) r(1221,387) 
	  1 d(539) d(971) d(1105) r(1285,1284) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) 
	  1 d(539) d(971) r(443,448) r(449,389) 
	  1 d(1281) a(436,1175) d(466) d(676) r(394,765) 
	  1 d(1739) d(414) d(495) 
	  1 d(1281) a(436,1175) d(414) r(1726,1738) 
	  1 d(1739) d(466) d(676) d(418) 
	  1 d(1290) d(878) r(1298,538) d(699) 
	  1 a(1151,767) d(456) r(978,898) d(1724) 
	  1 d(1290) d(456) r(978,898) d(1337) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) 
	  1 a(1284,446) a(890,675) r(422,421) d(1152) 
	  1 d(1281) a(436,1175) r(1117,752) r(765,764) r(485,538) 
	  1 r(571,733) d(414) r(1106,1229) 
	  1 d(1281) a(436,1175) d(414) r(1275,1133) 
	  1 r(571,733) r(1117,752) r(765,764) a(1112,1293) 
	  1 d(1739) a(1133,1729) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) r(1288,1298) d(548) 
	  1 d(1739) d(1157) r(1288,1298) r(416,494) 
	  1 d(1290) d(456) r(1117,752) r(405,481) r(36,37) 
	  1 d(1290) d(456) r(440,437) d(1161) r(972,974) 
	  1 d(1281) a(436,1175) r(446,482) 
	  1 d(1290) d(456) r(440,437) d(667) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) 
	  1 d(1290) d(456) r(440,437) r(1169,1118) 
	  1 d(466) r(444,441) r(389,1288) d(1735) 
	  1 r(571,733) r(1117,752) r(765,764) a(1157,1272) 
	  1 d(666) a(764,546) d(487) d(760) 
	  1 r(571,733) r(1117,752) r(765,764) r(432,416) 
	  1 d(666) a(764,546) d(487) a(36,1708) 
	  1 d(1378) a(439,773) d(405) 
	  1 d(1290) d(456) d(1740) r(440,338) 
	  1 d(666) a(439,1298) d(1283) 
	  1 a(1151,767) d(878) d(666) d(1714) d(1727) 
	  1 d(666) d(666) d(1714) d(1701) 
	  1 a(1151,767) d(878) a(439,1298) r(1294,1113) 
	  1 d(1281) a(436,1175) d(414) d(433) d(772) 
	  1 d(1739) d(456) a(1275,1117) 
	  1 d(1281) a(436,1175) d(414) d(1713) 
	  1 d(1739) d(456) d(433) d(754) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(753) 
	  1 d(1290) d(456) r(440,437) r(1175,1156) 
	  1 d(666) d(666) r(759,1157) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1714) r(665,447) 
	  1 d(666) d(666) d(1714) d(1156) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) 
	  1 r(571,733) r(1117,752) r(1294,1298) d(419) d(1297) 
	  1 r(387,506) r(1294,1298) a(1174,1276) r(1111,1224) 
	  1 r(571,733) r(1117,752) d(1145) d(760) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) 
	  1 r(1279,1312) d(1157) r(1288,1298) d(1288) 
	  1 d(1739) d(1711) d(479) r(1704,1229) 
	  1 r(1279,1312) d(1711) d(479) d(433) 
	  1 d(1739) d(1157) r(1288,1298) d(759) 
search: generation 4 (sizeof one variant = 0.20278 MB)
	  1 d(1739) d(1157) r(1171,1276) a(1724,706) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1714) r(665,447) d(449) 
	  1 d(1739) d(1157) r(1171,1276) d(540) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1714) r(665,447) a(440,1168) 
	  1 d(1281) d(878) r(1704,1229) d(971) 
	  1 d(1739) d(1711) d(479) a(761,465) d(335) a(733,1727) 
	  1 d(1281) d(878) a(761,465) d(335) d(1275) 
	  1 d(1739) d(1711) d(479) r(1704,1229) d(506) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) 
	  1 d(1281) a(436,1175) r(1288,1298) d(548) d(1175) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) r(1288,1298) d(548) a(571,1704) 
	  1 d(1281) a(436,1175) d(414) d(422) d(896) 
	  1 d(1281) a(436,1175) d(1161) d(433) a(1104,1107) 
	  1 d(666) d(666) r(759,1157) d(1162) 
	  1 d(1739) d(1157) r(1288,1298) d(759) r(755,698) 
	  1 d(1290) d(456) r(440,437) d(1161) r(972,974) a(551,690) 
	  1 d(1281) a(436,1175) d(466) d(676) r(394,765) a(573,573) 
	  1 d(1378) a(439,773) d(405) d(1172) 
	  1 d(539) d(971) d(1105) r(1285,1284) d(1699) 
	  1 d(1281) a(436,1175) r(446,482) d(433) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) 
	  1 d(1281) a(436,1175) r(648,649) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(1726,1735) 
	  1 d(1281) a(436,1175) r(446,482) r(973,972) 
	  1 d(1739) d(1711) d(479) r(1704,1229) d(487) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) 
	  1 d(1290) d(456) r(440,437) d(1161) r(972,974) d(1742) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) a(466,1373) 
	  1 d(1290) d(456) r(1117,752) r(405,481) r(438,771) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(1726) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(753) r(1286,1294) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) r(447,451) 
	  1 r(571,733) r(1111,1224) a(891,1735) 
	  1 r(387,506) r(1294,1298) a(1174,1276) r(1117,752) r(765,764) a(1157,1272) r(497,974) 
	  1 r(571,733) r(1117,752) r(765,764) a(1157,1272) d(424) 
	  1 r(387,506) r(1294,1298) a(1174,1276) r(1111,1224) d(1292) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) d(760) d(1278) 
	  1 r(571,733) r(1117,752) d(1145) d(774) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) d(335) 
	  1 r(571,733) r(1117,752) d(1145) d(760) d(773) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) 
	  1 d(1281) a(436,1175) d(1161) d(433) a(1145,757) a(1740,414) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(675,1145) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) 
	  1 d(1739) d(466) d(676) d(418) r(1379,765) 
	  1 d(666) d(666) d(1714) d(1156) d(446) 
	  1 d(1281) a(436,1175) d(414) d(1713) a(1174,1696) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) r(1157,892) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) 
	  1 d(1281) d(548) d(1146) 
	  1 d(666) a(764,546) d(487) d(1153) a(436,1175) r(443,448) r(1221,387) r(1711,1717) 
	  1 d(1281) a(436,1175) r(443,448) r(1221,387) r(37,36) 
	  1 d(666) a(764,546) d(487) d(1153) d(548) r(37,36) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) 
	  1 d(1739) d(1157) r(1288,1298) r(416,494) a(549,1107) 
	  1 d(666) d(448) 
	  1 d(1281) a(436,1175) r(446,482) a(439,1298) d(1283) r(1297,1228) 
	  1 d(666) a(439,1298) d(1283) d(750) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) 
search: generation 5 (sizeof one variant = 0.203527 MB)
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) r(979,898) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) r(447,451) r(768,693) 
	  1 d(666) d(666) d(1714) d(1156) d(446) d(394) 
	  1 d(539) d(971) d(1105) r(1285,1284) d(1699) d(1157) d(1285) d(1714) r(665,447) d(449) d(1292) 
	  1 d(1739) d(1157) d(698) 
	  1 d(539) d(971) d(1105) r(1285,1284) d(1699) d(420) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1714) r(665,447) d(449) r(1720,1697) 
	  1 d(1281) a(436,1175) d(1161) r(446,482) a(1117,1225) a(763,765) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) a(1152,648) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(755) 
	  1 r(571,733) r(1117,752) r(765,764) a(1157,1272) a(439,1298) d(1283) d(750) r(456,977) 
	  1 d(666) d(424) d(767) 
	  1 r(571,733) r(1117,752) r(765,764) a(1157,1272) d(424) d(1281) 
	  1 d(666) a(439,1298) d(1283) d(750) a(1708,1710) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(1719) 
	  1 d(1281) a(436,1175) d(466) d(676) r(394,765) a(573,573) a(1741,1375) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(1285) r(1104,1108) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(337) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) d(1719) 
	  1 d(666) d(666) r(759,1157) d(1162) a(1285,1696) 
	  1 d(666) d(666) d(1714) d(1156) d(446) a(457,549) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(773) 
	  1 d(666) d(448) d(1726) r(1378,1277) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(1726) d(1113) 
	  1 d(666) d(448) d(1373) 
	  1 d(1739) d(1711) d(479) r(1704,1229) d(487) d(974) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) 
	  1 a(1151,767) d(878) r(1298,538) d(1157) d(414) d(422) d(648) a(693,759) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) d(1112) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) d(462) 
	  1 r(387,506) r(1294,1298) a(1174,1276) r(1117,752) r(765,764) a(1157,1272) r(497,974) d(1699) 
	  1 d(1281) d(1157) d(1285) a(1145,757) a(443,1194) r(1291,1332) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) 
	  1 d(1281) d(878) a(761,465) d(335) d(1275) a(1221,1295) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) a(436,1175) d(1161) r(572,759) d(753) d(1726) d(400) 
	  1 d(1281) r(762,1172) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) r(1275,1124) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(1726) r(676,1293) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) d(1730) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) d(1161) 
	  1 d(1281) a(436,1175) r(443,448) r(1221,387) r(37,36) d(690) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) 
	  1 d(1739) d(1711) d(479) r(1704,1229) d(506) r(1735,1278) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) a(466,1373) r(1281,1104) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) d(421) r(1117,411) d(439) 
	  1 r(571,733) r(1117,752) r(765,764) r(1729,1260) r(1726,1735) d(1117) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(1726,1735) a(970,1152) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) d(754) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) 
	  1 d(1281) a(436,1175) r(648,649) d(337) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) d(1172) d(1277) 
	  1 d(1378) a(439,773) d(405) r(446,482) d(1379) r(760,653) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) a(1706,1712) 
	  1 d(1378) a(439,773) d(405) d(1172) a(1726,1731) 
	  1 d(1290) d(456) r(1117,752) r(405,481) r(438,771) r(765,768) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) 
search: generation 6 (sizeof one variant = 0.203424 MB)
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) a(1272,1108) 
	  1 d(1739) d(1711) d(479) r(1704,1229) d(487) d(974) d(1104) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) a(436,1175) d(1161) r(572,759) d(753) d(1726) d(400) r(1375,1171) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) a(466,1373) r(1281,1104) d(1124) 
	  1 d(1281) a(436,1175) d(466) r(1294,1298) a(1174,1276) r(1117,752) r(765,764) a(1157,1272) r(497,974) d(1699) d(1696) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) 
	  1 d(1281) a(436,1175) d(466) d(676) r(394,765) a(573,573) a(1741,1375) d(1375) 
	  1 r(387,506) r(1294,1298) a(1174,1276) r(1117,752) r(765,764) a(1157,1272) r(497,974) d(1699) a(480,761) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) r(447,451) r(1713,1697) r(1729,1260) d(1172) d(1277) a(1727,423) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) d(1172) d(1277) d(1298) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) r(447,451) r(768,693) r(1162,1721) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(755) d(1157) 
	  1 d(1281) a(436,1175) d(1161) r(446,482) a(1117,1225) a(763,765) r(506,1294) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(889,439) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) a(466,1373) r(1281,1104) d(755) 
	  1 d(1290) a(436,1175) r(648,649) d(337) d(690) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) a(1372,1291) 
	  1 d(1281) a(436,1175) r(648,649) d(337) d(1375) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) d(462) a(1713,1714) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) r(979,898) a(974,409) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(337) r(412,1735) 
	  1 d(666) d(414) d(422) d(648) r(1375,1705) d(1161) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) 
	  1 d(666) a(439,1298) d(1283) d(750) a(1708,1710) d(440) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) d(754) d(441) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(1719) a(579,418) 
	  1 r(571,733) a(1152,648) d(772) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(878,337) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) a(1152,648) d(766) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) r(1279,1221) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) r(1737,1738) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) r(653,973) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) d(1271) 
	  1 r(571,733) r(1117,752) r(765,764) r(1729,1260) r(1726,1735) d(1117) a(760,1147) 
	  1 d(1281) a(436,1175) a(436,1175) r(446,482) d(433) d(762) r(973,897) 
	  1 d(1281) d(1161) d(1156) d(446) a(656,495) r(420,443) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) r(1736,1737) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) 
	  1 d(539) d(971) d(1105) r(1285,1284) d(1699) d(1157) d(1285) d(1714) r(665,447) d(449) d(1292) a(1162,1104) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) d(754) r(1740,1378) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) d(1730) r(898,976) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) d(1730) d(1290) 
	  1 r(571,733) r(1117,752) r(765,764) d(421) r(1117,411) d(754) d(421) 
	  1 d(1281) a(436,1175) d(448) d(1373) d(1194) 
	  1 d(666) d(1161) r(572,759) d(753) d(1726) r(676,1293) r(1158,1261) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(1726) r(676,1293) r(572,656) 
	  1 d(666) d(448) d(1373) d(1171) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) d(1112) a(878,1221) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) d(447) 
search: generation 7 (sizeof one variant = 0.203869 MB)
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) r(1292,1229) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) a(1272,1108) r(1278,1329) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) d(700) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) 
	  1 d(1281) a(436,1175) d(1161) r(446,482) a(1117,1225) a(763,765) r(506,1294) a(1280,1276) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) r(1736,1737) r(1275,1105) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) d(1271) 
	  1 d(1739) d(1157) d(1285) d(405) d(1115) a(665,1708) 
	  1 d(1739) d(1157) d(1157) d(1157) d(1285) d(405) d(1115) r(1175,405) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1158,1335) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1727) 
	  1 d(1281) a(436,1175) r(446,482) a(1117,1225) d(337) r(412,1735) d(37) 
	  1 d(1281) d(1161) d(1156) d(446) a(656,495) r(420,443) r(1290,1281) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) a(1717,448) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) r(979,898) a(974,409) d(1158) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) d(970) r(337,1730) d(1292) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) r(979,898) a(974,409) r(1379,1153) 
	  1 a(1151,767) d(878) r(1298,538) d(1146) r(1272,1715) d(462) a(1713,1714) r(695,1700) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) d(1271) a(1710,733) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) d(754) r(1740,1378) r(754,495) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) 
	  1 d(1281) d(447) d(763) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) a(420,547) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) d(447) a(547,885) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) d(435) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) d(754) r(1740,1378) a(409,1376) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) a(411,1376) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) r(1145,546) 
	  1 d(1378) r(1288,1111) d(574) r(1118,1333) a(466,1373) r(1281,1104) d(755) d(886) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) a(1296,1126) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) r(510,441) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) r(1289,1294) 
	  1 d(1281) a(436,1175) d(1161) r(572,759) d(753) d(1726) r(676,1293) r(572,656) d(1147) 
	  1 d(1281) a(436,1175) d(466) d(676) r(394,765) a(573,573) a(1741,1375) d(1375) d(767) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) r(1373,690) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) a(1372,1291) a(1115,1374) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) a(1372,1291) d(443) 
	  1 a(1151,767) r(1711,1720) r(1713,1697) r(1729,1260) r(446,482) d(1379) a(436,1175) d(1161) r(572,759) d(753) d(1726) d(400) r(1375,1171) a(1292,492) 
	  1 d(1281) d(1161) d(1156) d(446) a(656,495) r(420,443) a(1377,431) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) r(750,394) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) 
	  1 d(1290) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) a(1175,401) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(755) 
search: generation 8 (sizeof one variant = 0.204078 MB)
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) d(416) 
	  1 d(1739) d(1157) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) a(675,438) 
	  1 d(1281) a(436,1175) d(1161) d(1157) d(1285) d(405) d(1115) a(649,418) r(752,698) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1168,1335) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) d(1737) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) a(1372,1291) a(1115,1374) r(1715,1722) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) d(1271) a(757,434) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) r(750,394) r(405,456) 
	  1 d(1281) a(436,1175) d(1161) r(446,482) a(1117,1225) a(763,765) r(506,1294) a(1280,1276) r(1699,1698) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) r(1373,690) d(974) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) a(1272,1108) r(1278,1329) d(1724) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1727) d(1728) 
	  1 d(1739) d(1157) d(878) d(479) d(1717) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1730) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1719) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(387) 
	  1 d(1739) d(1157) d(1285) d(405) d(1115) a(665,1708) r(1726,1741) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(1285) d(1285) r(753,698) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) a(420,547) a(551,766) 
	  1 d(1739) d(1157) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) r(890,892) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(1158) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) a(420,547) a(889,338) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) d(970) r(337,1730) d(1292) r(1282,1169) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) a(420,547) r(1288,1379) 
	  1 d(1739) d(547) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(1705,970) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) d(540) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) r(436,437) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) d(1151) 
	  1 d(1281) d(447) d(763) r(579,456) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) d(1271) d(1727) r(543,497) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) d(1271) r(878,1225) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1727) a(412,487) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) r(887,891) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) d(1271) a(1710,733) d(1739) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(755) a(447,1714) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(1697) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(440) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(755) d(1118) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1133,548) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) r(444,1329) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) r(1707,1704) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) d(435) d(394) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) r(1736,1737) r(1721,1706) r(1281,1172) d(1118) r(1133,36) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1275,1105) d(1715) 
	  1 d(1281) a(436,1175) d(1161) d(1156) d(446) a(656,495) r(1736,1737) r(1275,1105) r(422,439) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) a(502,542) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) r(1373,690) a(1174,690) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) r(510,441) a(1116,1151) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(1288,1373) 
	  1 d(1739) d(1157) d(1157) d(1115) r(1292,1175) d(759) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(970,975) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) d(447) a(547,885) a(434,1298) 
search: generation 9 (sizeof one variant = 0.204021 MB)
	  1 d(1281) a(436,1175) d(1161) d(1157) d(1285) d(405) d(1115) a(649,418) r(752,698) r(1280,1311) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) d(1737) a(1373,1115) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) d(751) 
	  1 d(1281) d(456) d(1271) a(757,434) d(445) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) d(1271) a(757,434) r(1271,1707) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) r(444,407) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) r(706,400) 
	  1 d(1739) d(1157) d(1157) d(1285) d(1285) r(753,698) d(447) a(547,885) a(434,1298) r(1278,1331) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(337,1730) d(1292) r(1282,1169) d(394) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) d(970) r(1288,1373) r(1289,1147) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(1288,1373) d(1707) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) d(970) r(337,1730) d(1292) r(1282,1169) d(878) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(440) r(1718,1696) 
	  1 d(1281) a(436,1175) d(1161) d(1157) d(1285) d(405) d(1115) a(649,418) r(752,698) r(889,878) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) r(750,394) r(405,456) r(1285,1377) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1133,548) r(700,773) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) d(1741) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(755) d(1118) a(1292,1118) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1719) d(1283) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) r(337,1261) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1708) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1719) a(1716,1374) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) a(1272,1108) r(1278,1329) d(1724) r(892,885) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) r(1373,690) d(974) d(1125) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) r(444,1329) r(886,889) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(970,975) r(973,896) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) r(487,1117) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1719) a(1280,649) 
	  1 d(1281) d(456) r(1117,752) d(1285) d(405) d(1115) a(665,1708) r(1726,1741) r(977,897) 
	  1 d(1739) d(1157) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) r(548,971) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) r(649,1717) 
	  1 d(1739) d(1157) d(1285) d(405) d(1115) a(665,1708) r(1726,1741) r(1133,385) 
	  1 d(1739) d(1157) d(878) d(479) d(1717) d(1375) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1727) a(412,487) a(1730,401) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) r(510,441) a(1116,1151) d(1287) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) a(1290,757) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1168,1335) d(1271) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) a(1372,1291) a(1115,1374) r(1715,1722) a(890,577) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(1288,1373) d(1106) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(1705,970) r(1337,757) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) d(698) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1275,1105) d(1715) a(756,501) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(437) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) d(435) d(394) a(1739,695) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(755) d(1118) a(1276,550) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) r(436,437) r(665,1713) 
	  1 d(1281) d(447) d(763) r(579,456) r(1705,979) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) d(1272) 
search: generation 10 (sizeof one variant = 0.20366 MB)
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) r(649,1717) r(389,1698) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) r(706,400) d(1707) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) a(1290,757) d(440) 
	  1 a(1151,767) r(1711,1720) r(1742,972) r(1337,886) r(543,540) r(436,437) r(665,1713) d(1293) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) r(436,437) r(665,1713) d(436) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) a(1290,757) d(442) 
	  1 d(1739) d(1157) d(1157) d(1285) a(1145,757) a(443,1194) d(1698) a(1272,1108) r(1278,1329) d(1724) r(892,885) d(896) 
	  1 d(1281) a(436,1175) d(1161) d(1157) d(1285) d(405) d(1115) a(649,418) r(752,698) r(1280,1311) a(405,394) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(337,1730) d(1292) r(1282,1169) d(394) d(762) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1168,1335) d(1271) r(440,385) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1168,1335) d(1271) a(447,1272) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(337,1730) d(1292) r(1282,1169) d(394) r(1171,1282) 
	  1 d(1281) a(436,1175) d(433) r(1148,1127) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(970,975) r(973,896) r(753,757) r(1742,972) r(1337,886) r(543,540) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(1705,970) r(1337,757) r(1106,1157) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(1705,970) r(1337,757) d(37) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(970,975) r(973,896) d(445) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) r(444,1329) r(886,889) r(653,1157) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1708) r(762,335) 
	  1 d(666) d(666) d(1714) r(572,759) d(479) a(755,572) d(751) r(577,465) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) r(447,451) d(970) r(337,1730) d(1292) r(1282,1169) d(878) d(540) 
	  1 d(666) d(666) d(1714) r(572,759) r(447,451) d(970) r(337,1730) d(1292) r(1282,1169) d(878) r(706,1126) 
	  1 d(1281) a(436,1175) r(446,482) d(433) d(762) d(1379) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) d(751) r(414,462) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1292,1175) r(970,975) r(973,896) d(1281) 
	  1 r(387,506) d(676) r(394,765) a(573,573) a(1741,1375) r(1700,1715) r(1373,690) d(974) d(1125) d(422) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) r(750,394) r(405,456) r(1285,1377) r(540,761) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(970) r(337,1730) a(1738,1145) d(1719) a(1716,1374) d(1148) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1719) a(1716,1374) r(765,762) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) r(750,394) r(405,456) r(1285,1377) r(466,462) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1719) d(1283) r(1291,1298) 
	  1 d(1281) a(436,1175) d(1161) d(1157) d(1285) d(405) d(1115) a(649,418) r(752,698) r(889,878) r(1726,1730) 
	  1 d(1290) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1719) d(1283) d(1292) 
	  1 d(1290) d(456) r(1117,752) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(440) r(1718,1696) r(1284,1125) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) d(1108) d(440) r(1718,1696) d(338) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1375,1705) a(1127,1289) r(657,1111) d(1719) d(1283) a(394,502) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1275,1105) d(1715) a(756,501) r(1375,1705) r(1718,1716) r(510,441) a(1116,1151) d(1287) r(1731,1724) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(972,979) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1275,1105) d(1715) a(756,501) d(409) 
	  1 d(1290) d(456) r(1117,752) r(405,481) d(1157) d(414) d(422) d(648) r(1171,1283) d(648) r(1375,1705) r(1718,1716) r(510,441) a(1116,1151) d(1287) a(1291,1284) 
	  1 d(1281) a(436,1175) d(1161) d(433) r(753,757) r(1117,752) r(765,764) d(421) r(1117,411) d(754) a(572,885) r(1152,547) d(1737) a(1373,1115) d(1278) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1721,1706) r(1281,1172) d(1118) r(444,1329) r(886,889) d(765) 
	  1 d(1739) d(1157) d(1285) d(405) d(1115) a(665,1708) r(1726,1741) r(1133,385) a(971,665) 
	  1 d(1281) a(436,1175) d(1105) a(335,409) r(1108,1115) r(1275,1105) d(1715) a(756,501) d(761) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(337,1730) d(1292) a(649,418) a(1168,1335) d(1271) r(891,890) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) r(1282,1169) d(394) d(1708) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1285) d(1285) r(753,698) d(447) a(547,885) r(337,1730) d(1292) r(1282,1169) d(394) r(579,483) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1168,1335) d(1271) d(1139) 
	  1 a(1151,767) d(405) d(1115) a(649,418) a(1133,548) r(700,773) r(444,440) 
	  1 d(1739) d(1157) d(1157) d(1285) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) d(698) r(1272,1283) 
	  1 a(1151,767) r(1711,1720) r(768,693) r(759,1106) a(1272,1108) r(1702,1705) d(443) d(698) r(438,754) 
	  1 d(1739) d(1157) d(1157) d(1285) d(405) d(1115) a(649,418) a(1133,548) r(700,773) a(1701,1704) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) r(579,1277) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) r(436,437) r(665,1713) d(1719) a(1716,1374) a(433,1312) 
	  1 d(1739) d(1157) d(878) a(761,465) d(335) d(1275) d(970) r(337,1730) a(1738,1145) d(1719) a(1716,1374) r(1697,1711) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) r(543,540) r(436,437) r(665,1713) d(757) 
	  1 d(1739) d(1157) r(548,971) d(1194) 
	  1 d(1739) d(1157) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) d(878) d(479) d(1717) d(1375) d(1699) 
	  1 d(1739) d(1157) d(878) d(479) d(1717) d(1375) r(1133,1700) 
	  1 d(1739) d(1157) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) r(548,971) d(733) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) r(444,407) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) r(444,407) r(1706,1717) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(701) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) r(444,407) r(769,766) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1157) a(439,1298) d(1283) d(750) a(1708,1710) r(1740,1145) d(479) a(755,572) r(444,407) r(1717,1712) 
	  1 d(1281) a(436,1175) d(433) r(753,757) r(1742,972) r(1337,886) d(435) d(394) a(1739,695) d(1715) 
	  1 d(1281) d(456) r(1117,752) r(405,481) d(1146) r(1272,1715) a(435,767) d(416) d(37) a(1271,442) d(1741) r(545,416) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1251
"Test Suite Evaluations": 312.75

Compile Failures: 0
Wall-Clock Seconds Elapsed: 853.692
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.145 = 0.0266191%
  compile                             634 155.586 = 28.5462%
  test                               1254 389.301 = 71.4272%
  TOTAL                                   545.031 = 63.8434% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:53:35 EDT 2013
shutting down
