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 6
--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-112-202-101 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:30 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/tmp982797.c /tmp/tmpf2a116.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 = 5.69677)
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.0111322 MB)
	  1 r(1734,1741) 
	  1 d(405) 
	  1 r(440,418) 
	  1 a(1730,1158) 
	  1 d(758) 
	  1 a(1715,547) 
	  1 d(1739) 
	  1 r(696,656) 
	  1 a(335,774) 
	  1 d(871) 
	  1 d(440) 
	  1 a(666,1017) 
	  1 r(1741,485) 
	  1 r(1727,1740) 
	  1 a(1698,1741) 
	  1 r(1172,1375) 
	  1 a(1286,1093) 
	  1 r(456,1106) 
	  1 a(1740,703) 
	  1 r(446,663) 
	  1 d(893) 
	  1 r(1293,1148) 
	  1 a(886,394) 
	  1 r(1126,1163) 
	  1 r(1262,978) 
	  1 r(887,891) 
	  1 r(389,1299) 
	  1 r(977,897) 
	  1 d(860) 
	  1 a(794,1146) 
	  1 d(898) 
	  1 r(1293,1280) 
	  1 d(423) 
	  1 r(650,420) 
	  1 d(435) 
	  1 a(1113,335) 
	  1 d(1700) 
	  1 r(1176,697) 
	  1 r(338,658) 
	  1 original
search: generation 1 (sizeof one variant = 0.19943 MB)
	  1 d(1700) d(796) 
	  1 r(1741,485) d(1290) 
	  1 d(1700) d(1705) 
	  1 r(1741,485) a(866,1173) 
	  1 r(1727,1740) a(811,667) 
	  1 a(1730,1158) r(418,831) 
	  1 d(405) r(972,971) 
	  1 r(456,1106) d(1149) 
	  1 d(405) r(806,1175) 
	  1 r(456,1106) a(337,762) 
	  1 d(898) r(449,421) 
	  1 r(1126,1163) a(760,679) 
	  1 r(389,1299) d(1712) 
	  1 r(977,897) r(691,1373) 
	  1 r(440,418) a(1739,654) 
	  1 a(1740,703) d(694) 
	  1 r(440,418) d(434) 
	  1 a(1740,703) r(1722,1715) 
	  1 a(335,774) a(1712,1195) 
	  1 r(389,1299) d(438) 
	  1 a(335,774) r(1741,457) 
	  1 r(389,1299) d(1707) 
	  1 r(1734,1741) d(755) 
	  1 d(898) d(1285) 
	  1 a(1698,1741) d(696) 
	  1 a(1740,703) d(1716) 
	  1 r(1741,485) d(1705) 
	  1 a(1740,703) d(1709) 
	  1 a(1113,335) r(756,696) 
	  1 d(898) r(1702,1707) 
	  1 d(1739) d(972) 
	  1 r(1262,978) d(754) 
	  1 d(1739) r(1104,1296) 
	  1 r(1262,978) d(878) 
	  1 a(1113,335) d(1060) 
	  1 a(1113,335) a(1278,511) 
	  1 a(1740,703) d(1134) 
	  1 r(389,1299) r(1056,1083) 
	  1 a(1740,703) r(1299,756) 
	  1 r(389,1299) r(385,433) 
	  1 a(666,1017) a(1700,414) 
	  1 a(1730,1158) d(975) 
	  1 a(666,1017) r(871,851) 
	  1 a(1730,1158) a(578,757) 
	  1 r(1293,1148) a(763,774) 
	  1 r(977,897) d(401) 
	  1 r(389,1299) r(1298,1293) 
	  1 a(1698,1741) a(1162,1169) 
	  1 r(389,1299) r(1119,1380) 
	  1 a(1698,1741) d(850) 
	  1 d(871) r(759,576) 
	  1 r(1293,1280) r(1288,1128) 
	  1 d(871) a(386,654) 
	  1 r(1293,1280) a(1277,1226) 
	  1 d(1739) d(1735) 
	  1 r(977,897) d(1703) 
	  1 d(1739) r(971,974) 
	  1 r(977,897) d(335) 
	  1 a(666,1017) r(1125,1292) 
	  1 a(1286,1093) d(650) 
search: generation 2 (sizeof one variant = 0.200134 MB)
	  1 a(1730,1158) a(578,757) a(769,766) 
	  1 a(1740,703) d(1134) d(446) 
	  1 a(1730,1158) a(578,757) r(829,859) 
	  1 a(1740,703) d(1134) a(439,448) 
	  1 r(389,1299) d(694) 
	  1 r(1727,1740) a(811,667) d(438) a(1276,759) 
	  1 r(389,1299) d(438) r(807,795) 
	  1 r(1727,1740) a(811,667) d(1281) 
	  1 a(1740,703) r(1299,756) a(1297,370) 
	  1 a(666,1017) a(1700,414) a(593,548) 
	  1 a(1740,703) r(1299,756) d(1715) 
	  1 a(666,1017) a(1700,414) d(763) 
	  1 d(1739) a(1126,1229) 
	  1 d(898) r(449,421) r(1104,1296) d(687) 
	  1 d(1739) r(1104,1296) d(337) 
	  1 d(898) r(449,421) r(1725,417) 
	  1 d(1700) d(796) d(1146) 
	  1 a(666,1017) r(871,851) a(1703,416) 
	  1 d(1700) d(796) d(435) 
	  1 a(666,1017) r(871,851) r(1154,1093) 
	  1 r(389,1299) d(694) a(1109,1284) 
	  1 a(1740,703) r(1119,1380) d(1710) 
	  1 r(389,1299) r(1119,1380) d(1707) 
	  1 a(1740,703) d(694) r(1709,1699) 
	  1 r(1293,1280) a(1277,1226) r(899,898) 
	  1 a(335,774) a(1712,1195) r(1289,1153) 
	  1 r(1741,485) d(1290) d(978) 
	  1 r(1734,1741) d(755) d(421) 
	  1 a(1698,1741) d(696) r(1377,979) 
	  1 a(1730,1158) a(578,757) r(648,767) 
	  1 a(1740,703) a(1739,654) a(573,806) 
	  1 r(440,418) r(1722,1715) a(872,1728) 
	  1 a(1740,703) r(1722,1715) a(1714,1272) 
	  1 r(440,418) a(1739,654) d(446) 
	  1 d(405) r(806,1175) d(654) 
	  1 r(1262,978) d(754) d(1710) 
	  1 d(405) r(806,1175) a(1374,1125) 
	  1 r(1262,978) d(754) d(1034) 
	  1 d(898) d(446) 
	  1 d(1739) r(971,974) r(449,421) a(1727,1173) 
	  1 d(898) r(449,421) d(448) 
	  1 d(1739) r(971,974) d(1119) 
	  1 a(1740,703) r(1722,1715) r(447,421) 
	  1 d(1739) r(1104,1296) r(1109,1098) 
	  1 d(898) r(1702,1707) d(1283) 
	  1 a(1740,703) r(1722,1715) r(667,1730) 
	  1 a(1730,1158) d(975) d(1729) 
	  1 a(666,1017) a(1700,414) d(1706) 
	  1 a(335,774) r(1741,457) d(1709) d(445) 
	  1 a(1740,703) d(1700) 
	  1 a(335,774) r(1741,457) d(580) 
	  1 a(1740,703) d(1709) d(754) 
	  1 a(1740,703) d(650) d(859) 
	  1 a(1286,1093) d(694) r(794,791) 
	  1 a(1740,703) d(694) r(977,898) 
	  1 a(1286,1093) d(650) d(1112) 
	  1 r(977,897) r(620,1119) 
	  1 a(1698,1741) d(696) d(1703) d(1716) 
	  1 r(977,897) d(1703) r(1172,1115) 
	  1 a(1698,1741) d(696) a(646,1273) 
	  1 r(1293,1280) r(1288,1128) r(1722,1702) 
	  1 a(1740,703) d(1709) d(1147) 
	  1 a(1113,335) a(1278,511) r(977,978) 
	  1 a(1730,1158) a(578,757) d(1103) 
search: generation 3 (sizeof one variant = 0.203263 MB)
	  1 d(898) r(971,974) r(449,421) a(1727,1173) r(762,495) 
	  1 d(1739) d(446) a(1104,411) 
	  1 d(898) d(446) d(979) 
	  1 d(1739) r(971,974) r(449,421) a(1727,1173) r(389,1118) 
	  1 r(1727,1740) a(811,667) a(646,1273) d(1379) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) 
	  1 r(1727,1740) a(811,667) d(438) a(1276,759) r(1720,1699) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) 
	  1 a(666,1017) a(1700,414) r(1722,1715) r(447,421) r(866,849) 
	  1 a(1740,703) a(593,548) a(702,401) 
	  1 a(666,1017) a(1700,414) a(593,548) d(1222) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) 
	  1 a(1730,1158) a(578,757) r(648,767) r(1106,1292) 
	  1 a(1740,703) d(650) d(859) a(1722,578) 
	  1 a(1730,1158) a(578,757) r(648,767) r(977,898) a(1699,541) 
	  1 a(1740,703) d(694) r(899,979) 
	  1 a(1730,1158) a(578,757) r(648,767) r(643,641) 
	  1 a(1740,703) d(694) r(977,898) d(1374) 
	  1 r(1262,978) d(754) d(1034) d(1379) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) 
	  1 r(1262,978) d(1119) r(1719,1714) 
	  1 d(1739) r(971,974) d(754) d(1034) r(758,506) 
	  1 r(1262,978) d(754) d(1034) a(762,646) 
	  1 d(1739) r(971,974) d(1119) r(1714,1703) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) 
	  1 a(335,774) a(1712,1195) r(1289,1153) a(687,646) 
	  1 d(1739) a(1126,1229) a(646,411) 
	  1 d(1739) r(1104,1296) d(337) r(1162,1277) 
	  1 a(1740,703) d(1709) d(1222) 
	  1 r(977,897) r(620,1119) d(754) a(423,1158) 
	  1 a(1740,703) d(1709) d(754) r(1701,1698) 
	  1 r(977,897) r(620,1119) d(1281) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) 
	  1 r(977,897) r(620,1119) r(762,431) 
	  1 r(1293,1280) r(1288,1128) r(1722,1702) d(1740) 
	  1 r(389,1299) d(438) r(807,795) r(871,864) 
	  1 a(666,1017) d(435) d(1157) 
	  1 d(1700) d(796) r(871,851) r(1154,1093) r(1293,1170) 
	  1 a(666,1017) r(871,851) r(1154,1093) d(687) 
	  1 d(1700) d(796) d(435) d(1119) 
	  1 r(1727,1740) a(811,667) d(1281) d(1113) 
	  1 a(1740,703) d(694) r(1709,1699) d(1716) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) 
	  1 r(977,897) r(620,1119) d(1376) 
	  1 a(335,774) r(1741,457) d(580) a(691,1140) 
	  1 r(977,897) r(620,1119) d(753) 
	  1 a(1740,703) d(650) d(859) r(1709,1699) r(435,405) 
	  1 a(1740,703) d(694) d(779) 
	  1 a(1740,703) d(650) d(859) r(1699,467) 
	  1 a(1740,703) d(694) r(1709,1699) a(400,338) 
	  1 a(1740,703) d(694) r(977,898) a(1716,677) 
	  1 a(1286,1093) d(694) r(794,791) d(1102) 
	  1 d(898) d(446) r(1289,1153) d(760) 
	  1 a(335,774) a(1712,1195) a(438,394) 
	  1 d(898) d(446) d(1702) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) 
	  1 a(1698,1741) d(696) d(1703) r(1722,1702) d(1712) 
	  1 r(1293,1280) r(1288,1128) d(1716) d(441) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) 
	  1 r(1293,1280) r(1288,1128) r(1722,1702) a(1287,431) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) 
	  1 d(405) r(806,1175) d(654) r(1119,1333) 
search: generation 4 (sizeof one variant = 0.201026 MB)
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(423,338) 
	  1 a(1698,1741) a(1374,1336) r(1112,1128) 
	  1 a(1730,1158) a(578,757) a(769,766) d(696) d(438) a(1276,759) d(1728) d(1723) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(1719) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(1127) 
	  1 a(335,774) r(1741,457) d(580) a(691,1140) r(752,580) 
	  1 a(1740,703) d(650) d(859) r(1709,1699) r(435,405) r(419,405) 
	  1 a(1740,703) d(694) r(977,898) r(807,795) r(871,864) r(860,859) 
	  1 r(389,1299) d(438) d(1374) r(1376,668) 
	  1 a(1740,703) d(694) r(977,898) d(1374) a(1709,446) 
	  1 r(389,1299) d(438) r(807,795) r(871,864) r(1376,1290) 
	  1 a(666,1017) a(1700,414) r(1722,1715) r(447,421) r(866,849) r(1297,1097) 
	  1 a(1740,703) d(650) d(859) a(1722,578) a(465,495) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(1157) a(755,553) 
	  1 a(666,1017) d(435) a(1280,1294) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(865) 
	  1 a(666,1017) d(435) d(1157) r(36,37) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) r(1338,337) 
	  1 a(1740,703) d(694) r(977,898) d(1374) r(434,1720) 
	  1 r(977,897) r(620,1119) d(754) a(423,1158) d(888) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) d(620) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) 
	  1 a(1740,703) d(650) d(859) a(1722,578) r(1285,1284) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(876) 
	  1 a(1730,1158) a(578,757) r(648,767) r(977,898) a(1699,541) a(1164,1158) 
	  1 a(1740,703) r(1119,1333) r(438,1298) 
	  1 d(405) r(806,1175) d(654) d(1134) d(446) r(1373,1289) a(768,656) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(867) 
	  1 d(405) r(806,1175) d(654) r(1119,1333) d(449) 
	  1 d(898) d(446) d(1702) r(893,876) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) d(1727) 
	  1 a(335,774) r(1741,457) d(580) a(1727,1173) r(389,1118) r(687,1104) 
	  1 d(1739) r(971,974) r(449,421) a(1714,1093) r(1297,1338) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) 
	  1 d(1739) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) 
	  1 d(1700) r(435,405) d(629) 
	  1 a(1740,703) d(650) d(859) r(1709,1699) d(796) r(871,851) r(1154,1093) r(1293,1170) d(400) 
	  1 d(1700) d(796) r(871,851) r(1154,1093) r(1293,1170) a(1157,551) 
	  1 a(1740,703) d(650) d(859) r(1709,1699) r(435,405) r(758,549) 
	  1 r(977,897) r(620,1119) d(754) a(423,1158) d(1710) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) 
	  1 a(1730,1158) a(578,757) d(696) a(646,1273) a(1112,1164) a(387,411) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) 
	  1 a(1740,703) d(1740) d(1729) 
	  1 r(1293,1280) r(1288,1128) r(1722,1702) d(1709) d(754) r(1701,1698) r(1732,1727) 
	  1 a(1740,703) d(1709) d(754) r(1701,1698) r(689,663) 
	  1 r(1293,1280) r(1288,1128) r(1722,1702) d(1740) a(829,1742) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) 
	  1 r(1262,978) d(754) d(1034) a(762,646) d(455) 
	  1 a(1698,1741) d(696) d(1703) d(1716) r(447,421) d(1169) d(455) 
	  1 a(1740,703) r(1722,1715) a(1727,1735) d(418) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) a(465,580) 
	  1 r(977,897) r(620,1119) d(754) a(423,1158) d(1742) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) 
search: generation 5 (sizeof one variant = 0.201224 MB)
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) a(465,580) r(1282,1164) 
	  1 a(1740,703) r(1722,1715) a(1727,1735) d(418) r(887,886) 
	  1 a(1740,703) a(755,1735) 
	  1 a(1740,703) d(694) r(977,898) d(1374) a(1709,446) r(1119,1333) r(438,1298) d(1159) 
	  1 a(1740,703) r(1119,1333) r(438,1298) d(793) 
	  1 a(1740,703) d(694) r(977,898) d(1374) a(1709,446) d(424) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) a(1114,1312) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) d(337) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) d(1284) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) r(1288,1338) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) r(1338,1083) 
	  1 d(1739) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) d(756) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) d(386) 
	  1 d(1700) r(435,405) d(650) d(859) a(1722,578) r(1285,1284) a(439,1314) 
	  1 a(1740,703) d(629) r(860,831) 
	  1 d(1700) r(435,405) d(629) d(433) 
	  1 a(1740,703) d(650) d(859) a(1722,578) r(1285,1284) d(593) 
	  1 a(1698,1741) d(696) d(438) d(446) r(1373,1289) d(876) r(1373,1282) 
	  1 a(1740,703) d(1134) a(1276,759) d(1728) r(423,338) a(661,487) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(423,338) a(888,641) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(876) r(979,980) 
	  1 a(335,774) r(1741,457) d(1173) r(654,872) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) d(898) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1153,335) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) a(1295,421) a(1127,812) r(766,697) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) d(439) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) r(1195,854) 
	  1 d(1739) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) d(1728) 
	  1 a(1740,703) d(1157) a(755,553) r(1295,1281) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) r(1722,1715) r(447,421) r(892,876) a(850,1705) r(1727,1725) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(1157) a(755,553) a(400,759) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(1338) r(1279,1226) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(768) d(691) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) d(1297) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) r(976,899) 
	  1 r(1262,978) d(754) d(1034) a(762,646) d(455) r(687,898) 
	  1 d(405) r(806,1175) d(654) d(1134) d(446) r(1373,1289) a(768,656) a(448,759) 
	  1 a(1740,703) r(1722,1715) a(1727,1735) d(418) d(697) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) d(1082) 
	  1 a(1740,703) d(1134) d(1374) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) r(1743,437) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(867) d(1732) 
	  1 d(1700) r(435,405) d(629) a(878,1273) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1170) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) r(1080,751) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(891,893) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(1157) d(1157) a(1706,1338) d(418) 
	  1 a(666,1017) d(435) a(755,553) d(464) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(1157) a(755,553) d(768) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1222) 
	  1 a(1740,703) d(1709) d(754) r(1701,1698) r(1105,1262) 
	  1 r(389,1299) d(438) r(807,795) r(871,864) r(1376,1290) r(689,663) d(667) 
	  1 a(1740,703) d(1709) d(754) r(1701,1698) r(689,663) d(1052) 
	  1 r(389,1299) d(438) r(807,795) r(871,864) r(1376,1290) a(758,1312) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) 
	  1 a(335,774) r(1741,457) d(580) a(1727,1173) r(389,1118) r(687,1104) d(455) d(1284) 
	  1 r(1262,978) d(754) d(1034) a(762,646) d(455) d(859) 
	  1 a(335,774) r(1741,457) d(580) a(1727,1173) r(389,1118) r(687,1104) d(435) 
search: generation 6 (sizeof one variant = 0.201668 MB)
	  1 a(1698,1741) d(696) a(646,1273) r(793,979) d(898) d(899) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) r(1195,854) d(795) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) d(898) d(1289) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) d(335) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(697,417) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) d(980) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) a(758,455) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(423,338) a(888,641) a(1146,1283) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) a(1272,556) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) d(386) a(1732,760) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(440) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) 
	  1 a(1740,703) r(891,893) r(438,647) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(891,893) a(886,511) 
	  1 a(1740,703) r(1722,1715) a(1727,1735) d(418) r(887,886) r(1741,556) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) d(456) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(1109,409) r(1743,1116) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) r(891,876) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) r(1288,1338) d(1704) 
	  1 a(1698,1741) d(696) d(438) d(446) r(1373,1289) d(876) r(1373,1282) a(645,416) 
	  1 a(1740,703) d(694) r(977,898) d(1374) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) r(1338,1083) r(1285,1280) 
	  1 a(666,1017) d(435) a(1709,446) d(424) r(700,759) 
	  1 a(1740,703) d(694) r(977,898) d(1374) a(1709,446) d(424) d(1158) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) r(1338,1083) a(1195,677) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) r(976,899) r(1106,1147) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(768) d(337) d(448) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(867) d(1732) d(464) a(338,1741) 
	  1 a(666,1017) d(435) a(755,553) d(666) 
	  1 a(1740,703) d(1134) d(446) r(1373,1289) d(867) d(1732) r(756,643) 
	  1 a(666,1017) d(435) a(755,553) d(464) r(690,522) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(860,831) d(645) 
	  1 a(1740,703) d(629) d(1728) d(572) a(806,538) r(1159,1284) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) a(465,494) 
	  1 a(1740,703) d(629) r(860,831) r(809,806) 
	  1 d(405) r(806,1175) d(654) d(1134) d(446) a(1276,759) d(1728) r(423,338) a(888,641) d(1140) 
	  1 a(1698,1741) d(696) d(438) r(1373,1289) a(768,656) a(448,759) d(465) 
	  1 d(405) r(806,1175) d(654) d(1134) d(446) r(1373,1289) a(768,656) a(448,759) a(851,580) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(423,338) a(888,641) d(1701) 
	  1 a(1740,703) a(1714,1093) r(793,979) d(898) a(611,497) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) 
	  1 a(1740,703) a(755,1735) r(1380,446) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) d(898) a(1279,1094) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(1706,1338) d(1222) d(763) 
	  1 a(666,1017) d(435) d(1157) r(1105,1278) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(437,385) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1222) r(1380,1741) 
	  1 a(1730,1158) a(578,757) a(769,766) a(1374,1336) d(1338) r(1279,1226) d(700) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) a(465,580) r(1282,1164) a(808,337) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(1743,437) r(1731,1330) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) r(1113,1127) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) r(1743,437) r(1723,1147) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) 
	  1 a(1740,703) r(1119,1333) r(438,1298) d(768) d(691) r(973,971) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(768) d(691) d(756) 
	  1 a(1740,703) r(1119,1333) r(438,1298) d(793) d(1051) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) 
	  1 a(335,774) a(1712,1195) r(1289,1153) r(1115,1287) d(1157) d(1157) a(1706,1338) d(418) d(701) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) d(439) d(1293) 
	  1 a(1740,703) d(438) a(1276,759) d(1728) d(572) d(1296) a(1706,447) 
	  1 a(1698,1741) d(696) d(1709) d(754) r(1701,1698) r(689,663) d(1052) r(1723,573) 
	  1 a(1740,703) d(1709) d(754) r(1701,1698) r(689,663) d(1052) d(433) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) 
search: generation 7 (sizeof one variant = 0.202686 MB)
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) d(1285) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(891,893) a(886,511) r(1277,370) 
	  1 a(1740,703) r(891,893) r(438,647) d(1733) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(860,831) d(645) a(1283,1291) 
	  1 a(1698,1741) d(696) d(438) d(1338) a(1109,409) r(891,876) d(766) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1276,759) r(1743,437) r(1731,1330) r(1702,1701) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(1743,437) r(1731,1330) a(1112,1106) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) r(891,876) a(573,1118) 
	  1 a(1740,703) a(1727,1173) r(389,1118) r(1375,690) r(1338,1083) a(1195,677) d(572) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) a(434,687) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) a(1727,1173) r(389,1118) r(1375,690) r(1338,1083) a(1195,677) r(1017,979) 
	  1 a(335,774) d(696) d(438) d(446) r(1373,1289) d(876) r(1373,1282) a(645,416) d(1127) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) r(980,899) 
	  1 a(1698,1741) d(696) d(438) d(446) r(1373,1289) d(876) r(1373,1282) a(645,416) r(437,409) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) r(1743,437) r(1723,1147) r(812,734) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(860,831) d(645) r(1034,1017) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(974) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) d(335) a(667,654) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1116) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) r(832,873) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) d(442) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(768) d(691) d(756) a(437,1728) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(423,338) a(888,641) a(1146,1283) r(1170,1276) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) r(860,831) d(645) r(1082,1056) 
	  1 a(666,1017) d(435) d(1157) a(1338,1731) a(1272,556) a(1157,1292) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) a(808,337) r(975,899) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) a(465,580) r(1282,1164) r(449,417) r(752,697) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) 
	  1 a(1740,703) r(1722,1715) r(447,421) d(1169) a(465,580) r(1282,1164) a(808,337) r(1109,1290) 
	  1 a(1698,1741) a(769,766) r(866,849) 
	  1 a(1740,703) d(438) a(1276,759) d(1728) d(572) d(1296) a(1706,447) a(1374,1336) d(793) r(1273,1737) d(1721) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) 
	  1 a(1740,703) d(438) a(1276,759) d(1728) d(572) d(1296) a(1706,447) r(697,1057) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) d(763) d(1175) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(1706,1338) d(1222) r(793,979) d(898) a(1279,1094) d(442) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) d(898) a(1279,1094) a(860,620) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(1706,1338) d(1222) d(763) d(440) 
	  1 a(335,774) r(1741,457) d(580) r(1726,1730) r(699,657) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) a(755,1735) a(1277,1226) d(661) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) r(892,890) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) r(438,647) d(853) 
	  1 a(1740,703) r(891,893) d(870) d(386) d(1743) d(1273) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) 
	  1 a(1740,703) r(891,893) r(438,647) d(1060) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1222) r(1380,1741) a(394,538) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) r(1195,854) d(795) r(422,407) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) d(980) a(1291,687) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) 
	  1 a(1740,703) r(1119,1333) r(438,1298) d(793) d(1051) d(572) a(806,538) r(1113,1127) r(417,1277) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) r(1081,1058) 
	  1 a(1740,703) r(1119,1333) r(438,1298) d(793) d(1051) d(420) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) r(1113,1127) d(700) 
search: generation 8 (sizeof one variant = 0.202731 MB)
	  1 a(1740,703) r(891,893) r(438,647) d(1060) a(868,1705) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) d(763) d(1175) r(892,886) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1714,1704) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) d(1278) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(436,423) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) r(1113,1127) d(700) r(1723,1107) 
	  1 a(1740,703) d(438) a(1276,759) d(1728) d(572) d(1296) r(696,550) r(1195,854) d(795) r(422,407) r(764,447) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) a(1706,447) a(1374,1336) d(793) r(1273,1737) d(1721) d(697) 
	  1 a(1740,703) d(438) a(1276,759) d(1728) d(572) d(1296) a(1706,447) a(1374,1336) d(793) r(1273,1737) d(1721) a(1262,1333) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) r(1195,854) d(795) r(422,407) d(854) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) r(1286,1195) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) r(424,436) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) r(891,876) a(573,1118) r(1708,1704) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(1154,1281) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1157) a(1338,1731) d(1116) a(441,759) d(1285) r(1722,1701) 
	  1 d(1739) d(1222) r(1380,1741) a(394,538) a(868,1272) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1222) r(1380,1741) a(394,538) r(1380,756) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) d(1285) r(1729,457) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(1731,1164) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1140,650) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(868,872) 
	  1 a(1740,703) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) 
	  1 a(1740,703) a(755,1735) r(1380,446) r(1380,446) d(1742) d(335) r(1113,1126) a(792,668) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) r(1147,1172) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) r(439,1720) 
	  1 a(335,774) r(438,647) d(1060) d(421) 
	  1 a(1740,703) r(891,893) r(1741,457) d(580) a(755,1735) a(1277,1226) r(892,890) d(1284) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) r(892,890) r(806,483) 
	  1 a(1740,703) r(891,893) r(438,647) d(1060) r(1707,1718) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1116) d(1116) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) d(335) a(667,654) d(898) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) a(850,1705) d(1742) r(1726,1730) d(1157) d(1107) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) r(1195,854) r(689,765) d(1701) a(1709,1706) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) a(1719,1714) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) a(1281,553) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) d(1157) d(1293) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) d(668) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) r(1152,1128) 
	  1 a(335,774) r(1741,457) d(580) a(1714,1093) r(793,979) d(898) a(1279,1094) a(860,620) d(467) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) a(441,759) d(442) r(419,433) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1277,1731) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1740,1737) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) a(441,759) d(442) r(1280,1377) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(972) r(1017,411) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(1743) d(424) d(1170) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(456,667) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) a(808,337) r(975,899) r(1718,1709) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) a(755,1735) a(1277,1226) d(661) d(1292) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) r(1107,1127) 
	  1 a(335,774) r(1741,457) d(580) r(1726,1730) r(699,657) a(849,556) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1276,759) r(1743,437) r(1731,1330) r(1702,1701) r(335,1103) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(1706,1338) d(1222) d(763) d(440) r(662,762) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(768) d(691) d(756) a(437,1728) d(1378) 
	  1 r(1262,978) d(754) d(1034) a(762,646) a(1082,656) a(1706,1338) d(1222) d(763) d(440) a(1109,1312) 
search: generation 9 (sizeof one variant = 0.202018 MB)
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) d(421) d(420) 
	  1 a(335,774) r(438,647) d(1060) r(424,436) d(1715) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) r(424,436) d(1714) 
	  1 a(335,774) r(438,647) d(1060) d(421) a(400,1017) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) r(447,421) r(892,876) a(850,1705) d(1742) a(755,1735) a(1277,1226) d(661) d(1292) r(1278,447) 
	  1 a(1740,703) r(1722,1715) d(1106) r(1731,1164) d(1380) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(1731,1164) d(422) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) a(755,1735) a(1277,1226) d(661) d(1292) r(759,1732) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) d(444) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1116) d(1116) a(1703,1093) 
	  1 a(1698,1741) d(696) a(646,1273) a(1112,1164) r(696,550) r(1195,854) d(795) r(422,407) d(854) r(1291,1175) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1276,759) r(1743,437) r(1731,1330) r(1702,1701) r(335,1103) r(1295,1119) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1277,1731) a(679,573) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1714,1704) r(754,611) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(860) 
	  1 a(666,1017) d(435) d(1157) a(1706,1338) d(1222) r(1380,1741) a(394,538) r(1380,756) d(668) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) d(1338) a(1109,409) r(1286,1195) a(1125,1119) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1277,1226) d(1106) r(436,423) d(1295) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(436,423) d(971) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(1338) a(1109,409) r(1286,1195) r(867,864) 
	  1 a(1740,703) r(1380,1741) a(394,538) a(868,1272) a(405,1118) 
	  1 d(1739) d(1222) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) a(1281,553) d(971) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) a(1281,553) a(578,1176) 
	  1 d(1739) d(1222) r(1380,1741) a(394,538) a(868,1272) r(1113,1128) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) r(1147,1172) r(1083,448) 
	  1 a(1740,703) a(755,1735) r(1380,446) r(1380,446) d(1742) d(335) r(1113,1126) a(792,668) d(593) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) d(1717) 
	  1 a(1698,1741) d(696) d(438) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(696) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) r(1176,418) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) d(466) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) r(439,1720) d(1083) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) r(1152,1128) d(1127) 
	  1 a(1698,1741) d(696) d(438) a(806,538) d(422) r(456,553) r(1714,1704) d(898) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) r(338,492) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) a(1707,1173) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1714,1704) r(762,658) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) r(1152,1128) a(466,389) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1140,650) r(754,703) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1140,650) r(400,1152) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) r(1152,1128) d(1289) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(868,872) r(1107,1112) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(868,872) d(1105) 
	  1 a(666,1017) d(435) r(447,421) r(892,876) r(1195,854) r(689,765) d(1701) a(1709,1706) a(973,416) 
	  1 a(1740,703) r(1722,1715) r(971,974) r(449,421) a(441,759) d(442) r(419,433) d(1703) 
	  1 a(666,1017) d(435) r(971,974) r(449,421) a(441,759) d(442) r(419,433) a(1703,1730) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) r(1195,854) r(689,765) d(1701) a(1709,1706) a(1281,879) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(572) a(806,538) r(1113,1127) d(700) r(1723,1107) d(1051) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(386) d(1743) d(424) r(456,667) d(441) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(456,667) r(1283,1286) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) r(1113,1127) d(700) r(1723,1107) a(1720,1148) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) r(1107,1127) r(1105,1279) 
	  1 a(1698,1741) a(1719,1714) a(1728,1743) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) a(1719,1714) r(1716,1722) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) r(1107,1127) a(765,1273) 
	  1 a(1740,703) a(755,1735) r(1380,446) r(1380,446) d(1742) d(335) r(1113,1126) a(792,668) r(793,646) 
	  1 a(1740,703) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) d(699) 
	  1 a(1740,703) d(1717) r(1713,1718) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) d(464) 
	  1 a(1740,703) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) r(870,872) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) d(1108) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) d(572) a(806,538) d(422) r(456,553) d(1717) r(1703,1701) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(1705) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) a(1164,1109) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) a(1119,467) 
search: generation 10 (sizeof one variant = 0.203961 MB)
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) r(424,436) d(1715) d(850) 
	  1 a(335,774) r(438,647) d(1060) d(1157) a(1719,1714) r(1716,1722) r(1054,1052) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) d(1157) a(1719,1714) r(1716,1722) d(439) 
	  1 a(335,774) r(438,647) d(1060) r(424,436) d(1715) a(455,1704) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) r(1113,1126) a(792,668) r(793,646) d(1714) 
	  1 a(1740,703) a(755,1735) r(1380,446) r(1380,446) d(1742) d(335) a(1281,553) a(578,1176) r(385,394) 
	  1 a(1740,703) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) a(1281,553) a(578,1176) d(1719) 
	  1 a(1740,703) a(755,1735) r(1380,446) r(1380,446) d(1742) d(335) r(1113,1126) a(792,668) r(793,646) d(1153) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(1731,1164) d(422) d(1147) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) r(424,436) d(1714) r(1707,1715) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) a(1164,1109) a(1148,758) 
	  1 d(1739) d(1222) r(1722,1715) r(447,421) r(892,876) a(850,1705) d(1742) r(1726,1730) a(1373,774) a(1281,553) d(971) r(1718,1714) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(386) d(1743) d(424) r(456,667) r(1283,1286) a(437,405) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1714,1704) r(754,611) r(797,734) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1714,1704) r(754,611) r(1281,1333) 
	  1 a(1740,703) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(424) r(456,667) r(1283,1286) d(1290) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) a(758,511) 
	  1 a(1698,1741) a(1719,1714) a(1728,1743) d(572) a(806,538) r(1113,1127) d(700) r(1723,1107) a(1720,1148) r(1157,1107) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) a(806,538) r(1113,1127) d(700) r(1723,1107) a(1720,1148) a(1277,497) 
	  1 a(1698,1741) a(1719,1714) a(1728,1743) a(466,687) 
	  1 a(1698,1741) d(696) d(438) r(654,1728) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(1705) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) d(466) a(1103,1112) 
	  1 a(1698,1741) d(696) d(438) a(1276,759) d(1728) d(572) d(1296) d(752) a(1373,774) d(701) d(466) d(1262) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(1705) r(1697,1051) 
	  1 a(1698,1741) d(696) d(1703) d(1716) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(860) r(769,766) 
	  1 a(1698,1741) d(696) d(1703) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(860) a(1125,1224) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(860) r(421,1175) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(1173) r(1722,1715) a(1727,1735) d(418) r(887,886) r(449,417) d(972) d(1163) d(860) a(974,1158) 
	  1 d(1700) r(435,405) d(629) d(446) a(1719,1714) a(1728,1743) r(1163,506) 
	  1 a(1698,1741) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) d(1108) d(1081) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) d(1108) r(1195,979) 
	  1 a(1698,1741) a(1719,1714) a(1728,1743) d(1104) 
	  1 a(1698,1741) d(696) d(438) a(806,538) d(422) r(456,553) r(1714,1704) d(898) d(1119) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1140,650) r(400,1152) r(37,36) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) r(1140,650) r(400,1152) a(893,446) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1276,759) r(1743,437) r(1731,1330) r(1702,1701) r(335,1103) r(1295,1119) d(447) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(753) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) d(421) d(420) d(1743) d(578) r(1277,1731) a(679,573) d(978) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1277,1731) a(679,573) d(766) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) d(421) d(420) r(439,1152) 
	  1 a(1698,1741) a(769,766) a(1374,1336) a(1276,759) r(1743,437) r(1731,1330) r(1702,1701) r(335,1103) r(1295,1119) r(650,442) 
	  1 a(1698,1741) a(769,766) a(1374,1336) d(793) r(1273,1737) a(1112,773) r(891,876) a(573,1118) d(421) d(420) r(759,779) 
	  1 a(1740,703) a(755,1735) r(1380,446) a(1153,552) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1277,1731) a(679,573) d(1742) d(335) r(1113,1126) r(439,1720) d(1083) d(1377) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1742) d(335) r(1113,1126) r(439,1720) d(1083) a(979,775) 
	  1 d(1739) d(1157) a(1338,1731) d(1116) d(1709) d(1147) r(696,550) d(870) d(386) d(1743) d(578) r(1277,1731) a(679,573) d(1034) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) a(1164,1109) d(1721) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) r(1107,1127) a(765,1273) d(810) 
	  1 a(1698,1741) d(696) d(1703) d(1716) a(1727,1735) d(580) a(1714,1093) r(793,979) a(436,1736) d(1716) d(1728) r(1107,1127) a(765,1273) a(1276,536) 
	  1 a(1698,1741) r(1741,457) d(580) a(1714,1093) a(1112,1164) r(696,550) r(1195,854) r(689,765) d(1701) r(1119,1170) a(1164,1109) r(642,1334) 
	  1 a(1740,703) d(1717) r(1713,1718) d(856) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1116) d(1116) a(1703,1093) r(1378,1282) 
	  1 a(1698,1741) d(696) d(438) a(806,538) d(422) r(456,553) r(1714,1704) d(898) r(1289,1334) 
	  1 a(335,774) r(1741,457) d(580) a(755,1735) a(1277,1226) d(1106) r(1731,1164) d(422) r(432,370) 
	  1 a(335,774) r(438,647) d(1060) d(421) a(400,1017) d(37) 
	  1 a(1740,703) d(1709) d(1147) a(1295,421) a(1127,812) d(1698) a(1731,394) a(1699,1736) r(1152,1128) d(1127) r(753,755) 
	  1 a(1740,703) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) d(699) a(755,1735) r(1380,446) d(1116) d(1116) a(1703,1093) r(1708,1702) 
	  1 a(1740,703) d(1697) 
	  1 a(1740,703) a(755,1735) d(1742) d(335) r(1113,1126) d(1726) d(699) a(1109,370) 
	  1 a(1740,703) a(755,1735) r(1380,446) d(1116) d(1116) a(1703,1093) r(1272,457) 
	  1 d(1700) r(435,405) d(629) d(446) r(1373,1289) d(867) d(1728) d(572) a(806,538) d(422) r(456,553) d(1717) d(444) r(641,650) 
	  1 a(1740,703) r(1722,1715) d(1106) r(1731,1164) d(1380) r(893,886) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1301
"Test Suite Evaluations": 216.833

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1095.79
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.249 = 0.036271%
  compile                             656 185.576 = 27.0791%
  test                               1305 499.486 = 72.8846%
  TOTAL                                   685.310 = 62.5401% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:57:46 EDT 2013
shutting down
