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 5
--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 3
--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-34-190 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:26 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/tmp89c313.c /tmp/tmpabd2ae.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 2.68819)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1750
cilRep: stmts in weighted_path = 306
cilRep: total weight = 172.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1750])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.199044 MB)
search: initial population (sizeof one variant = 0.0110922 MB)
	  1 r(1105,1099) 
	  1 a(1705,758) 
	  1 r(1146,1296) 
	  1 d(1154) 
	  1 d(654) 
	  1 r(972,899) 
	  1 a(1114,831) 
	  1 a(1730,1225) 
	  1 a(752,337) 
	  1 d(893) 
	  1 r(1375,739) 
	  1 d(1338) 
	  1 r(400,1116) 
	  1 r(1730,829) 
	  1 a(432,442) 
	  1 d(753) 
	  1 d(1742) 
	  1 r(899,979) 
	  1 r(1175,1090) 
	  1 a(1109,418) 
	  1 a(1054,898) 
	  1 a(573,545) 
	  1 r(424,449) 
	  1 d(977) 
	  1 d(811) 
	  1 d(1154) 
	  1 a(394,1146) 
	  1 r(973,975) 
	  1 d(1338) 
	  1 r(1292,1163) 
	  1 r(1294,1125) 
	  1 r(447,1097) 
	  1 a(1126,1083) 
	  1 r(694,1113) 
	  1 d(447) 
	  1 r(1163,642) 
	  1 r(465,1299) 
	  1 r(1157,1298) 
	  1 a(465,658) 
	  1 original
search: generation 1 (sizeof one variant = 0.199553 MB)
	  1 r(1730,829) a(1154,773) 
	  1 a(394,1146) a(573,577) 
	  1 d(811) r(1708,1711) 
	  1 r(1105,1099) d(593) 
	  1 d(811) d(1732) 
	  1 r(1105,1099) a(1158,642) 
	  1 a(1126,1083) r(690,576) 
	  1 a(394,1146) d(1147) 
	  1 a(1126,1083) d(753) 
	  1 a(394,1146) d(891) 
	  1 d(447) r(1126,1104) 
	  1 a(1705,758) d(975) 
	  1 d(447) a(1725,768) 
	  1 a(1705,758) d(897) 
	  1 a(432,442) r(432,443) 
	  1 d(893) r(752,641) 
	  1 a(432,442) d(1222) 
	  1 d(893) d(1114) 
	  1 r(1292,1163) d(898) 
	  1 d(893) r(1373,1094) 
	  1 r(1292,1163) d(335) 
	  1 d(893) r(654,764) 
	  1 a(752,337) r(886,337) 
	  1 d(811) r(445,545) 
	  1 a(752,337) a(1717,642) 
	  1 d(811) a(646,1729) 
	  1 r(694,1113) d(1083) 
	  1 d(654) d(667) 
	  1 r(424,449) d(573) 
	  1 r(1128,1282) 
	  1 r(424,449) d(647) 
	  1 d(446) 
	  1 a(432,442) d(37) 
	  1 a(573,545) r(467,1102) 
	  1 r(1292,1163) r(1718,1698) 
	  1 d(1742) d(1176) 
	  1 r(1292,1163) r(866,869) 
	  1 d(1742) r(980,971) 
	  1 r(1292,1163) d(1289) 
	  1 r(1146,1296) a(666,703) 
	  1 r(1292,1163) r(829,868) 
	  1 r(1146,1296) a(1721,751) 
	  1 d(1338) r(1154,1100) 
	  1 a(1705,758) r(389,335) 
	  1 d(1338) d(389) 
	  1 r(1157,1298) r(1298,1146) 
	  1 d(1338) a(1108,556) 
	  1 r(1157,1298) d(1293) 
	  1 d(1154) r(886,1736) 
	  1 r(1175,1090) d(869) 
	  1 r(694,1113) d(691) 
	  1 d(1338) r(1108,1286) 
	  1 r(694,1113) r(1291,1103) 
	  1 d(1338) r(762,1697) 
	  1 r(899,979) d(755) 
	  1 r(1730,829) d(1125) 
	  1 r(1375,739) d(796) 
	  1 a(432,442) r(1734,1739) 
	  1 r(1375,739) d(578) 
	  1 a(432,442) r(1115,1273) 
	  1 d(654) d(405) 
	  1 a(1109,418) r(893,890) 
	  1 d(654) r(876,886) 
	  1 a(1109,418) r(898,552) 
	  1 a(394,1146) d(759) 
	  1 r(973,975) d(702) 
	  1 a(394,1146) d(765) 
	  1 r(973,975) d(1060) 
search: generation 2 (sizeof one variant = 0.200418 MB)
	  1 a(1109,418) r(893,890) d(436) 
	  1 a(432,442) r(432,443) r(1733,1293) 
	  1 a(394,1146) a(769,1730) 
	  1 a(432,442) r(432,443) d(765) r(1727,1741) 
	  1 a(394,1146) d(765) d(975) 
	  1 a(432,442) r(432,443) r(1283,1272) 
	  1 d(1338) r(1108,1286) r(888,876) 
	  1 r(1175,1090) d(869) r(650,760) 
	  1 d(1338) r(1108,1286) r(1725,832) 
	  1 r(1175,1090) d(869) a(447,548) 
	  1 a(394,1146) a(573,577) r(1298,1158) 
	  1 d(654) d(667) d(791) 
	  1 a(394,1146) a(573,577) d(1723) 
	  1 d(654) d(667) a(1293,886) 
	  1 r(1175,1090) d(869) d(1289) d(1284) 
	  1 r(1292,1163) a(387,454) 
	  1 r(1175,1090) d(869) r(974,898) 
	  1 r(1292,1163) d(1289) r(1140,1115) 
	  1 d(811) d(1732) d(1082) 
	  1 d(1338) a(1108,556) a(337,423) 
	  1 r(694,1113) d(1083) a(755,648) 
	  1 r(1128,1282) d(1730) 
	  1 d(1338) d(753) d(424) 
	  1 a(1126,1083) r(762,1697) d(765) 
	  1 d(1338) r(762,1697) d(876) 
	  1 a(1126,1083) d(753) d(444) 
	  1 a(432,442) r(1059,1058) 
	  1 r(1292,1163) d(898) d(1222) r(434,409) 
	  1 a(432,442) d(1222) d(703) 
	  1 r(1292,1163) d(898) a(441,417) 
	  1 r(973,975) d(702) d(759) d(1705) 
	  1 a(394,1146) d(449) 
	  1 r(973,975) d(702) d(1107) 
	  1 a(394,1146) d(759) r(1729,829) 
	  1 r(1146,1296) a(1721,751) d(811) 
	  1 a(432,442) r(1115,1273) d(387) 
	  1 r(1146,1296) a(1721,751) d(769) 
	  1 a(432,442) r(1115,1273) r(1376,1118) 
	  1 d(1742) d(1740) 
	  1 r(694,1113) d(1083) r(980,971) r(1713,1716) 
	  1 d(1742) r(980,971) d(1699) 
	  1 r(694,1113) d(1083) r(754,760) 
	  1 a(394,1146) d(765) r(1296,1103) 
	  1 a(1705,758) d(975) r(456,769) 
	  1 a(432,442) d(1222) a(1159,467) 
	  1 a(394,1146) d(765) d(1114) 
	  1 a(432,442) d(1222) r(456,444) 
	  1 a(394,1146) d(765) r(873,829) 
	  1 a(1705,758) d(975) r(1290,1225) 
	  1 a(1705,758) d(897) a(807,679) 
	  1 a(1705,758) d(975) r(1727,1733) 
	  1 a(1705,758) d(897) d(979) 
	  1 d(447) a(1725,768) d(445) 
	  1 d(811) a(646,1729) d(1720) 
	  1 d(1154) r(886,337) r(977,897) 
	  1 a(752,337) r(886,1736) d(405) 
	  1 d(1154) r(886,1736) r(1709,1334) 
	  1 a(752,337) r(886,337) d(850) 
	  1 r(1105,1099) a(1158,642) a(417,1313) 
	  1 a(394,1146) a(573,577) d(1718) 
	  1 d(893) r(1115,1273) d(886) 
	  1 a(432,442) d(1114) a(1298,1226) 
	  1 d(893) d(1114) a(1377,1314) 
	  1 a(432,442) r(1115,1273) a(435,546) 
	  1 a(1109,418) r(893,890) a(1108,556) d(1293) 
	  1 d(1338) d(1110) 
	  1 a(1109,418) r(893,890) a(36,1229) 
	  1 d(1338) a(1108,556) r(1721,1701) 
search: generation 3 (sizeof one variant = 0.200996 MB)
	  1 r(1175,1090) d(869) r(974,898) d(809) 
	  1 a(752,337) r(886,1736) d(405) d(1106) 
	  1 a(432,442) r(893,890) a(36,1229) a(1715,1728) 
	  1 a(1109,418) r(1059,1058) r(455,677) 
	  1 a(432,442) r(1059,1058) a(1103,1159) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) 
	  1 a(432,442) r(1115,1273) r(1376,1118) r(456,643) 
	  1 a(432,442) r(432,443) d(765) r(1727,1741) r(1276,1295) 
	  1 a(432,442) r(432,443) r(1733,1293) d(832) 
	  1 d(811) d(1732) d(1082) d(447) 
	  1 a(432,442) d(1222) d(1292) 
	  1 a(432,442) d(1222) r(456,444) a(1159,467) d(1299) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) 
	  1 a(432,442) d(1222) r(456,444) d(465) 
	  1 a(1705,758) d(975) r(1727,1733) d(696) 
	  1 a(432,442) r(432,443) d(765) r(1727,1741) d(1704) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) 
	  1 d(1338) a(1108,556) a(337,423) d(1119) 
	  1 d(1338) r(762,1697) r(696,370) 
	  1 d(893) d(1114) a(1377,1314) d(876) r(1114,1195) 
	  1 d(1338) r(762,1697) d(876) r(1296,1294) 
	  1 d(893) d(1114) a(1377,1314) d(1154) 
	  1 d(893) r(1115,1273) d(886) r(757,611) 
	  1 a(394,1146) a(573,577) d(1718) a(980,679) 
	  1 d(893) r(1115,1273) d(886) r(697,1378) 
	  1 a(394,1146) a(573,577) d(1718) a(703,1730) 
	  1 d(447) a(1725,768) d(445) d(1725) 
	  1 a(432,442) r(432,443) d(765) r(1727,1741) a(762,1127) 
	  1 a(432,442) d(688) 
	  1 r(1175,1090) d(869) r(650,760) r(1115,1273) r(1376,1118) a(335,420) 
	  1 a(432,442) r(1115,1273) r(1376,1118) r(892,878) 
	  1 r(1175,1090) d(869) r(650,760) d(691) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) 
	  1 a(1126,1083) r(1725,832) a(856,1163) 
	  1 d(1338) r(1108,1286) r(1725,832) r(971,972) 
	  1 a(1126,1083) r(762,1697) d(765) d(1147) 
	  1 a(432,442) r(1059,1058) r(794,810) 
	  1 a(1705,758) d(975) r(456,769) d(796) 
	  1 a(432,442) r(1059,1058) d(1058) 
	  1 a(1705,758) d(975) r(456,769) a(1723,492) 
	  1 a(432,442) d(1222) r(456,444) r(1733,1293) a(1113,1105) 
	  1 a(432,442) r(432,443) r(1725,1225) 
	  1 a(432,442) d(1222) r(456,444) r(423,739) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) 
	  1 r(973,975) d(702) d(1107) d(1116) 
	  1 a(1109,418) r(893,890) d(436) a(679,1376) 
	  1 a(394,1146) r(977,897) r(422,335) 
	  1 d(1154) r(886,337) a(769,1730) a(769,1697) 
	  1 a(394,1146) a(769,1730) r(440,437) 
	  1 d(1154) r(886,337) r(977,897) r(974,980) 
	  1 r(694,1113) d(1083) r(980,971) r(1713,1716) r(761,646) 
	  1 d(1742) d(1740) d(419) 
	  1 a(432,442) d(1114) a(1298,1226) r(1298,1158) d(1284) 
	  1 a(394,1146) a(573,577) a(872,734) 
	  1 a(432,442) d(1114) a(1298,1226) d(1272) 
	  1 a(394,1146) a(573,577) r(1298,1158) r(1152,1175) 
	  1 d(811) d(765) r(873,829) d(897) 
	  1 a(394,1146) d(1732) d(1082) a(1109,661) 
	  1 d(811) d(1732) d(1082) r(1723,1314) 
	  1 a(394,1146) d(765) r(873,829) d(754) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) 
	  1 d(447) a(1725,768) d(445) d(1195) 
search: generation 4 (sizeof one variant = 0.201471 MB)
	  1 a(432,442) d(1222) r(456,444) d(465) a(1375,602) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) 
	  1 d(447) a(1725,768) d(445) d(1725) d(467) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) 
	  1 a(752,337) r(886,1736) d(405) d(1106) r(433,448) 
	  1 r(1175,1090) d(869) r(650,760) d(691) d(442) 
	  1 d(1154) r(886,337) r(977,897) r(974,980) r(422,412) 
	  1 r(973,975) d(702) d(1107) d(1116) a(1262,666) 
	  1 d(1338) d(1114) a(1377,1314) d(1154) a(444,424) 
	  1 d(893) r(1108,1286) r(762,1697) d(765) d(1720) a(1033,812) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(1103,1284) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) 
	  1 d(811) d(765) r(873,829) d(897) d(443) 
	  1 d(1338) r(762,1697) d(876) r(1296,1294) r(1140,1293) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(854,873) 
	  1 a(432,442) d(1222) r(456,444) a(1159,467) d(1299) a(972,1380) 
	  1 a(432,442) d(1222) d(1292) d(1701) 
	  1 a(432,442) d(1222) d(1292) r(864,831) 
	  1 a(432,442) d(1222) r(456,444) a(1159,467) d(1299) r(645,849) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) 
	  1 a(394,1146) d(765) r(873,829) d(754) a(978,401) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) 
	  1 a(394,1146) r(977,897) r(422,335) r(1153,1706) 
	  1 a(432,442) r(432,443) r(1733,1293) d(832) r(1704,1374) 
	  1 a(432,442) r(432,443) d(765) r(1727,1741) a(762,1127) d(977) 
	  1 a(432,442) d(1114) a(1298,1226) d(1272) d(648) 
	  1 d(447) a(1725,768) d(445) d(1195) d(975) 
	  1 a(1705,758) d(1114) a(1298,1226) r(1298,1158) d(1284) d(338) 
	  1 a(432,442) d(975) r(1727,1733) d(696) d(1735) 
	  1 a(1705,758) d(975) r(1727,1733) d(696) d(1703) 
	  1 a(432,442) d(1114) a(1298,1226) r(1298,1158) d(1284) d(869) 
	  1 d(1742) d(1740) d(419) r(1707,1703) 
	  1 a(432,442) r(432,443) r(1733,1293) d(832) r(867,860) 
	  1 d(447) a(1725,768) d(769) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) d(445) d(1195) a(455,337) 
	  1 d(447) a(1725,768) d(445) d(1195) d(779) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) a(1377,1729) 
	  1 d(811) d(1732) d(1082) r(1723,1314) d(1708) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(1719,1716) r(593,764) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1373,1312) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) d(690) 
	  1 a(1126,1083) r(1725,832) a(36,1229) r(1719,1716) d(438) 
	  1 a(1109,418) r(893,890) a(856,1163) a(1293,439) 
	  1 a(1126,1083) r(1725,832) a(856,1163) r(891,878) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) r(1157,1113) 
	  1 r(1175,1090) d(869) r(974,898) d(809) a(1110,1091) 
	  1 a(1705,758) d(975) r(456,769) a(1723,492) a(1373,1293) 
	  1 a(432,442) r(1157,1128) r(1083,1226) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1103,1159) a(753,1273) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(1711,1700) 
search: generation 5 (sizeof one variant = 0.2019 MB)
	  1 d(1338) d(1278) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) r(762,1697) d(876) r(1296,1294) r(1140,1293) a(389,687) 
	  1 d(1338) r(762,1697) d(876) r(1296,1294) r(1140,1293) d(643) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) d(1172) 
	  1 d(447) a(1725,768) d(769) a(432,507) 
	  1 d(1154) r(886,337) r(977,897) r(974,980) r(422,412) d(1710) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(1701) r(899,973) 
	  1 a(432,442) d(1222) d(1292) r(765,697) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) r(1701,1718) 
	  1 a(432,442) d(1222) d(1292) d(1701) d(441) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) d(445) d(1374) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) 
	  1 a(1109,418) r(893,890) a(36,1229) r(1719,1716) d(445) d(1195) a(455,337) d(853) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(423) 
	  1 a(432,442) d(1222) r(456,444) a(1159,467) d(1299) r(645,849) a(394,437) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) r(1730,756) 
	  1 d(1338) d(1114) a(1377,1314) d(1154) a(444,424) d(977) 
	  1 a(432,442) d(1222) d(1292) r(864,831) r(1102,1195) 
	  1 d(893) d(1222) d(1292) d(1701) d(1726) 
	  1 a(432,442) d(1114) a(1377,1314) d(1154) r(1103,1284) d(1731) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(1103,1284) r(1108,1054) 
	  1 a(432,442) d(1222) d(1292) d(1701) d(1698) 
	  1 a(394,1146) r(977,897) r(422,335) r(1153,1706) r(1743,1101) 
	  1 a(1126,1083) r(1725,832) a(36,1229) r(1719,1716) d(438) a(387,550) 
	  1 d(811) d(765) r(873,829) d(897) d(443) d(976) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1103,1159) a(753,1273) r(1058,1033) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) 
	  1 r(1175,1090) d(869) r(650,760) d(691) d(442) a(975,445) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(1711,1700) a(1704,506) 
	  1 a(1126,1083) r(1725,832) a(856,1163) r(891,878) d(1713) 
	  1 a(1705,758) d(1114) a(1298,1226) r(1298,1158) d(1284) d(338) a(1740,406) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) r(791,794) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(854,873) a(1738,441) 
	  1 a(394,1146) r(977,897) d(1107) d(1116) a(1262,666) d(760) 
	  1 r(973,975) d(702) r(422,335) r(1153,1706) d(791) 
	  1 a(394,1146) r(977,897) r(422,335) r(1153,1706) r(1055,1034) 
	  1 r(973,975) d(702) d(1107) d(1116) a(1262,666) d(1157) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) 
	  1 d(811) r(873,829) d(897) d(443) d(849) 
	  1 d(811) d(765) r(873,829) d(897) d(443) d(699) 
	  1 d(811) d(1732) d(1082) r(1723,1314) d(1708) d(865) 
	  1 a(1126,1083) r(1725,832) a(856,1163) d(1723) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) r(891,878) d(1379) 
	  1 a(1126,1083) r(1725,832) a(856,1163) r(891,878) d(1377) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) 
	  1 a(432,442) d(1222) r(440,437) r(446,1105) d(1294) 
	  1 a(394,1146) a(769,1730) a(1159,467) r(1707,1712) d(1125) d(1125) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) 
	  1 d(811) a(1725,768) d(769) r(1281,1148) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) 
	  1 d(811) d(765) r(873,829) d(897) d(443) d(888) 
	  1 d(447) a(1725,768) d(769) a(971,691) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) a(438,760) 
	  1 a(432,442) r(432,443) r(1733,1293) d(832) r(1704,1374) a(467,447) 
search: generation 6 (sizeof one variant = 0.202242 MB)
	  1 d(893) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) d(580) 
	  1 a(432,442) d(1114) a(1377,1314) d(1154) r(872,873) d(423) d(1104) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(864,828) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(765) r(873,829) d(897) d(443) d(765) d(1173) 
	  1 d(447) d(668) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) d(1059) 
	  1 d(447) d(765) r(873,829) d(897) r(440,437) r(446,1105) a(853,602) d(752) 
	  1 a(394,1146) a(769,1730) d(443) d(765) d(690) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) r(418,578) 
	  1 d(447) a(1103,1159) a(753,1273) r(1058,1033) r(1730,1706) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) 
	  1 d(447) a(1725,768) d(769) a(971,691) r(979,976) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1103,1159) a(753,1273) r(1058,1033) d(1154) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(812,485) 
	  1 d(893) r(1118,760) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(888) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(423) a(1704,763) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) 
	  1 r(1175,1090) r(791,794) a(424,1262) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) 
	  1 r(1175,1090) d(869) r(650,760) d(691) d(442) a(975,445) d(1704) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) r(791,794) d(580) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) r(442,389) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(854,873) a(1738,441) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) r(697,878) 
	  1 d(1338) a(417,806) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) r(854,873) a(1738,441) d(861) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(1126,439) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) 
	  1 a(394,1146) a(769,1730) a(1159,467) r(1707,1712) d(1125) d(1125) d(1377) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) 
	  1 a(432,442) d(1222) r(456,444) a(1159,467) d(1299) r(645,849) a(394,437) d(1285) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) r(1701,1718) d(1727) 
	  1 a(1126,1083) r(1725,832) a(856,1163) r(891,878) d(1713) d(1708) 
	  1 d(447) a(1725,768) d(769) a(971,691) a(1708,1314) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) d(1172) r(466,462) 
	  1 a(1705,758) d(1114) a(1298,1226) r(1298,1158) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) a(1711,1262) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) 
	  1 a(1705,758) d(1114) a(1298,1226) r(1298,1158) d(1284) d(338) a(1740,406) r(761,676) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) r(1158,978) 
	  1 d(811) d(1732) d(1082) r(1723,1314) d(1708) d(865) d(1713) 
	  1 d(811) r(873,829) d(897) d(443) d(849) a(1034,580) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) 
	  1 d(447) a(1725,768) d(769) a(432,507) d(440) 
	  1 d(811) d(765) r(873,829) d(897) d(443) d(888) r(687,868) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) d(758) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) a(580,387) 
	  1 d(811) a(1725,768) d(769) r(1281,1148) r(1374,891) 
	  1 d(893) d(1292) r(765,697) r(702,641) 
	  1 a(432,442) d(1222) d(1222) d(1292) d(1701) d(1726) a(1106,1225) 
	  1 d(893) d(1222) d(1292) d(1701) d(1726) d(444) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(1146) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1103,1159) a(753,1273) r(1058,1033) d(338) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) r(791,794) d(765) 
search: generation 7 (sizeof one variant = 0.201439 MB)
	  1 d(893) d(1222) d(1292) d(1701) d(1726) a(37,620) d(888) r(898,555) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) d(444) r(666,867) 
	  1 d(893) d(1222) d(1292) d(1701) d(1726) d(444) d(796) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(888) d(1055) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) a(809,763) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) r(578,760) 
	  1 a(432,442) d(1222) d(1292) d(442) a(975,445) d(1059) a(1698,412) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) r(765,697) d(1146) a(1712,696) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(1146) a(976,629) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) d(446) 
	  1 d(1338) d(829) d(890) a(752,576) a(438,509) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) r(1126,1146) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) r(1734,1737) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) r(661,335) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) d(1125) d(441) d(758) r(810,806) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) d(758) r(792,794) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) r(437,400) 
	  1 d(1742) d(1740) d(419) a(1725,768) d(769) a(971,691) r(1731,774) r(1287,1290) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) r(1707,1703) a(1704,762) r(422,438) r(580,1377) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) r(1288,1377) 
	  1 d(447) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(864,828) d(758) 
	  1 d(893) d(668) r(1728,485) 
	  1 d(447) d(668) d(1706) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(864,828) r(868,873) 
	  1 a(432,442) d(1222) a(1159,467) d(758) r(1107,1103) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) r(1707,1712) d(1125) d(441) d(758) r(1159,1149) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) d(758) r(434,809) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) d(758) d(702) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) 
	  1 d(447) a(1725,768) d(769) a(971,691) r(979,976) d(1108) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) r(442,389) d(897) 
	  1 d(893) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) d(580) d(971) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) d(439) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1703) 
	  1 d(893) d(1114) a(1377,1314) r(440,437) r(446,1105) a(853,602) d(1170) r(1126,1288) 
	  1 a(394,1146) a(769,1730) d(1284) d(338) a(1740,406) a(1742,448) d(387) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) r(443,418) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) d(1082) r(1723,1314) d(1708) d(865) d(1713) a(1157,337) 
	  1 d(811) d(1732) d(1082) r(1723,1314) d(1708) d(865) d(1713) d(405) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) r(1148,548) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) r(791,794) d(765) r(861,850) 
	  1 d(811) d(1732) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) d(1288) 
	  1 a(432,442) r(432,443) d(1082) r(1723,1314) d(1708) d(865) d(1713) a(1710,1714) 
	  1 d(811) d(1732) d(1082) r(1723,1314) d(1708) d(865) d(1713) d(1378) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) a(455,1736) 
	  1 r(1175,1090) r(791,794) a(424,1262) d(467) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) d(389) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(812,485) r(897,973) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) 
	  1 d(447) d(668) d(1195) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) 
	  1 a(394,1146) a(769,1730) a(1159,467) r(812,485) a(980,510) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(1707,1712) d(1125) d(1125) d(1377) r(764,1169) 
	  1 a(394,1146) a(769,1730) a(1159,467) r(1707,1712) d(1125) d(1125) d(1377) r(1272,467) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(812,485) a(1052,655) 
	  1 a(432,442) d(1222) a(1159,467) r(1164,1118) d(1272) d(1172) r(466,462) a(1286,511) 
	  1 d(893) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) d(580) d(433) 
search: generation 8 (sizeof one variant = 0.202561 MB)
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) d(654) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) a(424,1262) d(467) a(691,506) 
	  1 r(1175,1090) r(791,794) d(1720) d(829) d(890) a(752,576) d(691) r(829,867) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) a(1060,577) 
	  1 r(1175,1090) r(791,794) a(424,1262) d(467) a(1115,1134) 
	  1 a(432,442) r(432,443) d(1082) r(1723,1314) d(1708) d(865) d(1109) d(439) r(1051,1034) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1713) a(1710,1714) r(1082,1083) 
	  1 a(432,442) r(432,443) d(1082) r(1723,1314) d(1708) d(865) d(1713) a(1710,1714) d(873) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) d(439) d(441) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) r(1104,1262) 
	  1 d(1338) d(829) d(890) a(752,576) a(438,509) r(1741,641) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) d(758) d(702) a(1706,654) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) d(1705) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(869,870) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) d(1743) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) d(407) 
	  1 d(893) d(1114) d(1726) a(37,620) d(888) r(898,555) r(754,767) 
	  1 d(893) d(1222) d(1292) d(1701) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) d(1721) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) 
	  1 d(893) d(1222) d(1292) d(1701) d(1726) a(37,620) d(888) r(898,555) d(1157) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) d(444) r(666,867) r(812,406) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) r(578,760) d(758) 
	  1 a(432,442) r(1059,1058) a(1103,1159) a(1730,337) a(37,620) d(888) d(1055) d(1710) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) r(1118,1153) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1731,774) r(1288,1377) d(888) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) a(1282,1742) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1170,1286) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) r(1288,1377) a(760,759) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) 
	  1 a(394,1146) a(769,1730) d(1284) r(443,418) a(1704,555) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) r(443,418) d(1290) 
	  1 a(394,1146) a(769,1730) d(1284) d(338) a(1740,406) a(1742,448) d(387) d(1277) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) r(791,794) d(765) r(861,850) d(869) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) r(1288,1377) r(464,1331) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) a(809,763) d(975) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) d(851) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) a(899,502) 
	  1 d(893) d(1114) a(1377,1314) d(1154) r(872,873) d(1195) a(455,337) a(1051,1723) d(1109) a(809,763) d(465) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) r(661,335) a(1116,1226) 
	  1 a(432,442) d(1222) a(1159,467) d(758) r(1107,1103) d(387) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) a(853,602) d(1170) d(899) a(441,447) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) a(1083,497) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) 
	  1 d(447) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(864,828) d(758) a(335,1163) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) r(437,400) r(1706,1107) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) a(455,1736) a(757,546) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) r(641,1051) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) a(424,1262) d(467) d(1380) 
	  1 r(1175,1090) r(791,794) d(441) r(1707,1712) d(1125) d(441) d(758) r(1159,1149) a(663,1118) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) d(1125) d(441) r(1707,1712) d(1125) d(441) d(758) r(1159,1149) r(757,690) 
	  1 r(1175,1090) r(791,794) a(424,1262) d(467) r(1277,1154) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) r(1148,548) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) r(765,697) d(1146) a(1712,696) a(1102,401) 
	  1 d(1338) d(1116) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) r(1148,548) r(765,734) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) r(765,697) d(1146) a(1712,696) r(1298,1152) 
	  1 d(1338) d(1059) a(1698,412) a(1734,642) 
	  1 a(432,442) d(1222) d(1292) d(442) a(975,445) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) d(389) d(437) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) d(389) r(1298,1127) 
	  1 a(432,442) d(1222) d(1292) d(442) a(975,445) d(1059) a(1698,412) r(1170,1292) 
search: generation 9 (sizeof one variant = 0.20137 MB)
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) d(691) d(1705) r(694,1176) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) a(1279,457) r(1170,1330) r(1298,1154) d(976) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) a(573,646) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) d(1705) a(438,655) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(687,1735) 
	  1 d(893) d(1222) d(1292) d(1701) d(1726) a(37,620) d(888) r(898,555) d(1157) d(580) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) d(1743) d(1379) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) r(1110,1229) r(676,1716) r(1148,548) r(765,734) d(887) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) r(1148,548) r(765,734) r(1117,1125) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) d(1743) r(1283,1277) 
	  1 d(893) d(1114) a(975,445) d(1059) r(437,400) r(1706,1107) d(1727) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) a(1277,575) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) r(753,763) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) r(437,400) r(1706,1107) d(1721) 
	  1 d(811) d(1732) d(861) a(1379,412) r(766,699) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) a(1742,421) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) r(1287,1109) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) r(1222,1152) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) d(1284) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) r(1170,1330) r(641,1051) d(769) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) r(641,1051) d(1128) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) d(1164) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(1292) r(765,697) d(573) r(1170,1330) r(641,1051) r(466,454) 
	  1 a(432,442) d(1222) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1170,1286) d(1709) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1170,1286) d(860) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) r(641,1051) r(971,898) 
	  1 d(1338) d(1116) d(760) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) r(1288,1377) a(760,759) d(1060) 
	  1 d(1338) d(1116) r(980,899) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1059,1058) a(1725,768) d(769) a(971,691) r(1731,774) r(1288,1377) a(760,759) r(874,864) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) r(443,418) d(1290) d(611) 
	  1 d(811) d(765) d(1732) d(1082) r(1723,1314) d(1708) r(1110,1229) r(676,1716) r(1148,548) r(765,734) a(1148,1114) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1704,762) r(422,438) d(1374) a(899,502) a(1720,696) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) d(691) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) d(1726) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) a(899,502) a(1127,642) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) r(437,400) r(1706,1107) a(338,886) 
	  1 a(432,442) r(432,443) d(1082) r(1723,1314) d(1708) d(865) d(1713) a(1710,1714) d(873) a(1741,1737) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) d(1715) 
	  1 r(1175,1090) r(791,794) d(1720) d(829) d(890) a(752,576) d(691) r(829,867) a(1742,448) r(578,760) d(758) d(1125) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) r(578,760) d(758) r(1163,555) 
	  1 r(1175,1090) r(791,794) d(1720) d(829) d(890) a(752,576) d(691) r(829,867) r(1282,1175) 
	  1 d(1338) d(1059) d(1153) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) a(853,602) d(1170) d(899) a(441,447) a(1698,412) a(1734,642) r(1728,387) 
	  1 d(1338) d(1059) a(1698,412) a(1734,642) a(1375,400) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) a(853,602) d(1170) d(899) a(441,447) a(1146,455) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(663,1118) a(1082,448) 
	  1 r(1175,1090) r(791,794) d(441) r(1707,1712) d(1125) d(441) d(758) r(1159,1149) r(765,575) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) d(629) 
	  1 r(1175,1090) r(791,794) d(441) r(1707,1712) d(1125) d(441) d(758) r(1159,1149) a(663,1118) r(1057,1033) 
	  1 a(432,442) r(432,443) r(1733,1293) d(1059) a(1698,412) a(1734,642) r(886,975) 
	  1 d(1338) a(1157,1706) r(435,409) r(394,876) a(868,1313) a(455,1736) a(757,546) r(1374,1719) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) a(455,1736) a(757,546) d(1082) 
	  1 d(1338) d(1059) a(1698,412) a(1734,642) d(1713) 
	  1 d(893) d(1114) d(386) 
	  1 d(1338) d(1116) d(1726) a(37,620) d(888) r(898,555) r(754,767) d(389) 
	  1 d(893) d(1114) d(1726) a(37,620) d(888) r(898,555) r(754,767) r(851,828) 
	  1 d(1338) d(1116) r(796,795) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) a(1083,497) r(440,437) r(446,1105) d(1282) d(650) 
	  1 a(394,1146) a(769,1730) a(696,501) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) a(1083,497) d(1127) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) r(620,436) 
	  1 a(432,442) d(1222) d(1292) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) r(891,878) 
	  1 d(811) d(1732) r(1110,1229) r(765,697) d(573) r(869,870) d(385) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(869,870) a(441,1731) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) d(1374) 
	  1 d(811) d(1732) r(1707,1712) r(661,335) a(1116,1226) d(766) 
	  1 a(432,442) d(1222) a(1159,467) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) r(438,439) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) d(1162) 
	  1 a(432,442) d(1222) a(1159,467) r(1707,1712) r(661,335) a(1116,1226) d(1118) 
	  1 r(1175,1090) r(791,794) a(424,1262) d(467) a(1115,1134) d(752) 
	  1 d(447) d(1114) a(1377,1314) d(1154) r(872,873) d(423) r(864,828) d(758) a(335,1163) a(1283,759) 
search: generation 10 (sizeof one variant = 0.202944 MB)
	  1 d(811) d(1732) d(899) a(441,447) a(1698,412) a(1734,642) r(1728,387) d(642) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) a(853,602) d(1170) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) r(1287,1109) r(1195,36) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) r(1287,1109) d(752) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) a(853,602) d(1170) d(899) a(441,447) a(1698,412) a(1734,642) r(1728,387) a(1697,549) 
	  1 a(432,442) r(432,443) r(1733,1293) a(1157,1706) r(435,409) r(394,876) a(868,1313) a(455,1736) a(757,546) d(1082) d(1104) 
	  1 d(893) d(1114) d(1726) a(37,620) d(888) r(898,555) r(754,767) r(851,828) r(1113,1173) 
	  1 d(893) d(1114) r(661,335) a(1116,1226) d(766) r(642,482) 
	  1 d(811) d(1732) r(1707,1712) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) r(753,763) r(976,978) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) r(753,763) r(1105,1154) 
	  1 d(811) d(1732) r(1707,1712) r(661,335) a(1116,1226) d(766) r(420,412) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) r(620,436) r(1162,1149) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) a(1083,497) r(440,437) r(446,1105) d(1282) d(650) r(699,688) 
	  1 d(1338) d(1059) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) d(1162) r(679,1100) 
	  1 d(811) d(1732) r(1110,1229) d(1153) r(1284,1224) 
	  1 d(1338) d(1059) d(1153) a(1379,1313) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) d(338) a(1740,406) a(1742,448) d(387) d(1159) d(1162) r(1287,1119) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) a(899,502) a(1127,642) a(400,479) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) d(629) a(385,762) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(1170) d(899) a(1083,497) d(1127) a(752,694) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(691) r(1170,1286) d(860) a(1728,647) 
	  1 d(1338) r(1108,1286) r(762,1697) d(765) d(1720) r(1108,1286) r(762,1697) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1170,1286) d(860) a(1080,1080) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) a(853,602) d(1170) d(899) a(1083,497) d(1127) a(434,455) 
	  1 a(394,1146) a(769,1730) r(440,437) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) r(1222,1152) d(886) 
	  1 d(893) r(446,1105) d(1282) a(663,1118) a(1082,448) d(37) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(663,1118) a(1082,448) a(443,545) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) r(1222,1152) d(1716) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) r(1170,1330) r(641,1051) d(769) a(643,1299) 
	  1 a(432,442) d(1222) d(1292) r(765,697) d(573) r(1170,1330) r(641,1051) d(1128) a(1697,1711) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(975,445) d(1059) r(437,400) r(1706,1107) d(1721) a(434,629) 
	  1 d(1338) d(1116) r(980,899) d(1055) 
	  1 d(1742) d(1740) d(419) r(1707,1703) a(1704,762) r(422,438) d(1374) a(899,502) a(1127,642) d(754) 
	  1 d(1338) r(1108,1286) r(1725,832) r(1157,1128) d(1706) d(869) r(650,760) d(691) d(442) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) a(1277,575) d(436) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(687,1735) d(763) 
	  1 a(432,442) r(432,443) r(1733,1293) d(1059) a(1698,412) a(1734,642) r(886,975) r(1373,1108) 
	  1 d(1338) d(1116) d(443) d(765) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) d(1726) d(1157) 
	  1 d(447) d(765) r(873,829) d(897) d(760) r(792,795) 
	  1 d(1338) d(1116) d(760) d(1710) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) r(1170,1330) r(1298,1154) d(1726) d(1277) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1059) d(1153) d(1719) 
	  1 d(1338) d(1034) d(1289) d(1126) r(445,666) d(1164) r(1081,1051) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) d(1164) r(974,897) 
	  1 d(1338) d(1059) d(1153) r(1703,1716) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) d(1116) r(796,795) r(1114,1290) 
	  1 d(1338) a(1105,1280) a(1279,457) d(1743) r(1283,1277) r(831,1092) 
	  1 d(447) d(765) r(873,829) d(897) d(443) d(765) a(1105,1280) a(1279,457) d(1743) r(1283,1277) d(405) 
	  1 d(1338) d(1116) r(796,795) a(387,400) 
	  1 a(394,1146) a(769,1730) a(696,501) r(779,807) 
	  1 r(1175,1090) r(791,794) a(424,1262) d(467) a(1115,1134) d(752) d(1702) 
	  1 d(893) d(1114) a(975,445) d(1059) r(437,400) r(1706,1107) d(1727) a(769,1730) r(440,437) r(446,1105) d(1282) a(687,1735) a(1278,338) 
	  1 a(394,1146) d(422) 
	  1 d(893) d(1114) a(975,445) d(1059) r(437,400) r(1706,1107) d(1727) r(1119,1195) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(687,1735) a(444,411) 
	  1 d(893) d(1114) a(1377,1314) d(1284) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) r(753,763) d(440) 
	  1 d(893) d(1114) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) r(1222,1152) r(1720,1712) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) d(861) a(1379,412) r(1222,1152) d(1080) 
	  1 d(893) d(1114) a(1377,1314) d(1284) d(338) a(1740,406) a(1742,448) a(1708,1375) a(1125,1283) r(753,763) r(1162,1117) 
	  1 a(432,442) d(1222) d(765) d(1720) d(829) d(890) a(752,576) d(691) r(1170,1286) d(1709) d(1717) 
	  1 d(811) d(1732) r(1110,1229) r(676,1716) r(443,418) d(1290) d(611) a(754,578) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) a(663,1118) a(1082,448) d(464) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) d(1126) r(445,666) r(1170,1330) r(641,1051) d(769) d(861) 
	  1 a(432,442) r(1059,1058) a(1103,1159) d(1729) d(1034) d(1289) d(1126) r(445,666) r(1170,1330) r(641,1051) d(769) a(394,454) 
	  1 a(394,1146) a(769,1730) r(440,437) r(446,1105) d(1282) a(663,1118) a(1082,448) d(1743) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1306
"Test Suite Evaluations": 217.667

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1017.97
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             664 180.733 = 27.7554%
  test                               1311 470.385 = 72.2376%
  TOTAL                                   651.164 = 63.9663% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:56:25 EDT 2013
shutting down
