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 8
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-76-170-132 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:34 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/tmp61ecf6.c /tmp/tmpbc28e4.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)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 6.06874)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1778
cilRep: stmts in weighted_path = 352
cilRep: total weight = 222.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1778])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.203259 MB)
search: initial population (sizeof one variant = 0.0121183 MB)
	  1 r(760,635) 
	  1 r(440,394) 
	  1 r(1746,1731) 
	  1 r(745,1746) 
	  1 d(896) 
	  1 r(730,654) 
	  1 d(651) 
	  1 r(1300,1245) 
	  1 r(877,871) 
	  1 a(1310,1142) 
	  1 a(1058,1639) 
	  1 d(977) 
	  1 r(797,786) 
	  1 d(1644) 
	  1 d(778) 
	  1 d(1305) 
	  1 a(427,402) 
	  1 r(410,501) 
	  1 d(672) 
	  1 r(875,870) 
	  1 d(1625) 
	  1 r(768,1611) 
	  1 d(838) 
	  1 a(1726,1573) 
	  1 r(983,985) 
	  1 a(272,715) 
	  1 d(814) 
	  1 a(1289,1591) 
	  1 d(769) 
	  1 r(1289,1727) 
	  1 d(894) 
	  1 a(781,685) 
	  1 d(1640) 
	  1 r(1305,1143) 
	  1 d(1119) 
	  1 r(1112,1135) 
	  1 r(1310,1107) 
	  1 a(775,405) 
	  1 d(1398) 
	  1 original
search: generation 1 (sizeof one variant = 0.203589 MB)
	  1 r(440,394) r(1178,1104) 
	  1 r(768,1611) d(697) 
	  1 r(440,394) r(36,37) 
	  1 r(768,1611) d(1063) 
	  1 d(769) r(693,814) 
	  1 a(1289,1591) r(444,813) 
	  1 r(1112,1135) d(672) 
	  1 d(778) a(440,515) 
	  1 d(769) d(1736) 
	  1 r(1300,1245) d(1067) 
	  1 a(427,402) d(985) 
	  1 d(814) d(878) 
	  1 a(427,402) r(1238,740) 
	  1 d(814) d(713) 
	  1 d(814) d(579) 
	  1 d(977) r(800,814) 
	  1 d(814) d(424) 
	  1 d(977) d(661) 
	  1 d(778) r(1642,1625) 
	  1 a(1726,1573) a(1402,1185) 
	  1 r(440,394) d(626) 
	  1 r(797,786) a(899,608) 
	  1 r(730,654) a(1641,1573) 
	  1 r(768,1611) a(817,1734) 
	  1 r(730,654) d(983) 
	  1 r(768,1611) r(778,774) 
	  1 a(775,405) r(436,459) 
	  1 r(877,871) r(876,835) 
	  1 a(775,405) r(410,1757) 
	  1 r(877,871) a(834,399) 
	  1 r(1289,1727) a(781,503) 
	  1 d(1398) r(1129,1165) 
	  1 r(1289,1727) d(1169) 
	  1 d(1398) r(1307,1303) 
	  1 a(1289,1591) a(878,858) 
	  1 d(838) d(455) 
	  1 a(272,715) d(855) 
	  1 d(1640) a(424,740) 
	  1 a(272,715) d(770) 
	  1 d(1640) d(1306) 
	  1 d(814) d(693) 
	  1 d(651) d(578) 
	  1 d(814) r(1309,1403) 
	  1 d(651) d(1299) 
	  1 r(440,394) d(438) 
	  1 r(768,1611) d(771) 
	  1 r(440,394) d(800) 
	  1 r(768,1611) d(1739) 
	  1 r(410,501) d(1303) 
	  1 d(672) a(802,1189) 
	  1 r(1746,1731) r(812,513) 
	  1 a(1058,1639) d(1299) 
	  1 r(1746,1731) d(695) 
	  1 a(1058,1639) d(1650) 
	  1 d(1119) d(771) 
	  1 d(1644) a(865,1289) 
	  1 d(1119) a(1753,818) 
	  1 d(1644) d(1288) 
	  1 d(1398) a(1144,1240) 
	  1 d(838) d(1114) 
	  1 r(797,786) d(818) 
	  1 r(797,786) a(617,426) 
	  1 r(797,786) a(745,586) 
	  1 r(797,786) d(813) 
search: generation 2 (sizeof one variant = 0.203433 MB)
	  1 r(877,871) r(876,835) d(768) 
	  1 r(1746,1731) d(695) d(1169) 
	  1 r(768,1611) d(1739) d(1746) 
	  1 r(730,654) a(1641,1573) d(1754) 
	  1 d(838) r(1178,1104) d(1734) 
	  1 r(440,394) d(1114) r(653,1328) 
	  1 d(838) d(1114) d(1400) 
	  1 r(440,394) r(1178,1104) a(339,693) 
	  1 r(797,786) a(617,426) r(772,579) 
	  1 r(440,394) r(1178,1104) d(785) 
	  1 d(814) r(1178,1104) d(1759) 
	  1 r(440,394) d(693) r(1278,580) 
	  1 d(814) d(693) r(1114,1175) 
	  1 r(440,394) r(1178,1104) a(1731,1597) 
	  1 r(440,394) a(660,812) 
	  1 r(1300,1245) d(1067) d(438) d(461) 
	  1 r(440,394) d(438) r(1115,580) 
	  1 r(1300,1245) d(1067) d(1399) 
	  1 r(440,394) a(470,745) 
	  1 d(769) r(693,814) r(36,37) a(1361,1297) 
	  1 r(440,394) r(36,37) r(1173,1346) 
	  1 d(769) r(693,814) d(1169) 
	  1 r(1112,1135) a(865,1289) d(1115) 
	  1 d(1644) d(672) d(1150) 
	  1 r(1112,1135) d(672) d(859) 
	  1 d(1644) a(865,1289) d(1163) 
	  1 r(768,1611) a(817,1734) d(770) r(785,793) 
	  1 a(272,715) d(1650) 
	  1 r(768,1611) a(817,1734) r(672,458) 
	  1 a(272,715) d(770) d(422) 
	  1 r(797,786) r(876,835) d(1306) 
	  1 r(877,871) d(818) d(441) 
	  1 r(797,786) d(818) a(768,1589) 
	  1 r(877,871) r(876,835) a(707,1100) 
	  1 d(1398) r(1129,1165) d(471) 
	  1 d(977) r(800,814) r(1185,734) 
	  1 d(977) r(800,814) d(438) d(769) 
	  1 r(440,394) a(1725,500) 
	  1 d(977) r(800,814) d(427) 
	  1 r(440,394) d(438) d(1295) 
	  1 r(1300,1245) d(855) a(1061,555) 
	  1 a(272,715) d(1067) d(1639) 
	  1 r(1300,1245) d(1067) a(797,1192) 
	  1 a(272,715) d(855) d(896) 
	  1 a(775,405) r(410,1757) d(648) 
	  1 r(1289,1727) d(1169) d(1295) 
	  1 d(778) r(1609,703) 
	  1 r(768,1611) r(778,774) a(440,515) a(456,1174) 
	  1 d(778) a(440,515) r(859,874) 
	  1 r(768,1611) r(778,774) a(859,1751) 
	  1 a(427,402) r(1238,740) r(867,871) 
	  1 d(814) d(579) d(772) 
	  1 d(814) a(1641,1573) a(695,716) 
	  1 r(730,654) d(693) a(667,769) 
	  1 d(814) d(693) d(1120) 
	  1 r(730,654) a(1641,1573) d(713) 
	  1 r(1746,1731) d(1278) 
	  1 r(730,654) d(983) d(695) r(1059,1087) 
	  1 r(1746,1731) d(695) r(390,392) 
	  1 r(730,654) d(983) d(1749) 
	  1 a(775,405) r(436,459) a(780,546) 
	  1 d(769) r(693,814) d(453) 
	  1 r(1112,1135) d(672) r(977,981) 
	  1 r(1746,1731) d(695) r(626,448) 
	  1 r(1112,1135) d(672) a(1090,1315) 
	  1 r(1746,1731) d(695) r(1737,667) 
search: generation 3 (sizeof one variant = 0.204939 MB)
	  1 r(1300,1245) d(1067) d(1399) d(697) 
	  1 a(272,715) d(855) d(896) r(672,1082) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) 
	  1 r(877,871) r(876,835) d(274) 
	  1 r(730,654) a(1641,1573) d(1754) a(608,1329) 
	  1 r(877,871) r(876,835) d(768) a(1163,660) 
	  1 r(1112,1135) d(672) d(859) d(1133) 
	  1 d(814) d(693) d(1120) a(1753,584) 
	  1 r(768,1611) a(817,1734) d(1175) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(672,458) d(777) 
	  1 r(768,1611) a(817,1734) r(672,458) a(834,492) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) 
	  1 d(814) d(693) r(1114,1175) a(1238,692) 
	  1 r(1112,1135) d(672) r(977,981) d(1726) 
	  1 d(814) d(693) r(1114,1175) r(874,856) 
	  1 r(1112,1135) d(672) r(977,981) a(390,266) 
	  1 a(272,715) d(770) d(422) d(1169) a(715,649) 
	  1 d(769) r(693,814) d(1729) 
	  1 a(272,715) d(770) d(422) r(760,773) 
	  1 d(769) r(693,814) d(1169) r(768,508) 
	  1 r(730,654) a(1641,1573) d(713) a(1144,1081) 
	  1 r(730,654) a(1641,1573) d(1754) a(685,523) 
	  1 a(775,405) r(410,1757) d(648) d(1739) d(1746) d(1143) 
	  1 r(768,1611) d(706) 
	  1 a(775,405) r(410,1757) d(648) a(876,554) 
	  1 r(768,1611) d(1739) d(1746) d(1298) 
	  1 r(768,1611) d(1739) d(1746) d(814) 
	  1 a(427,402) r(1238,740) r(867,871) a(731,412) 
	  1 r(1300,1245) d(1067) d(1399) r(429,414) 
	  1 r(1300,1245) d(855) a(1061,555) r(1726,1744) 
	  1 r(440,394) r(1178,1104) a(339,693) d(1295) a(702,662) 
	  1 r(1289,1727) d(1169) d(428) 
	  1 r(440,394) r(1178,1104) a(339,693) a(1301,700) 
	  1 r(1289,1727) d(1169) d(1295) r(696,857) 
	  1 r(730,654) d(983) d(1749) a(736,769) 
	  1 r(730,654) a(1641,1573) d(1754) d(857) 
	  1 r(1112,1135) d(855) a(1061,555) d(1591) 
	  1 r(1300,1245) d(672) d(859) r(695,705) 
	  1 r(1112,1135) d(672) d(859) r(878,864) 
	  1 r(1300,1245) d(855) a(1061,555) r(440,339) 
	  1 a(272,715) d(855) d(896) r(1399,905) 
	  1 d(977) r(800,814) d(427) d(1361) 
	  1 r(797,786) a(617,426) r(772,579) d(814) 
	  1 d(977) r(800,814) d(427) r(1041,1081) 
	  1 d(1398) r(1129,1165) d(471) d(1648) 
	  1 r(440,394) d(438) d(1295) a(1742,458) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(700,1592) 
	  1 d(977) r(800,814) r(1185,734) a(424,660) 
	  1 r(440,394) d(1134) 
	  1 d(814) d(693) d(1120) d(693) r(1278,580) a(440,1115) 
	  1 r(440,394) d(693) r(1278,580) d(669) 
	  1 d(814) d(693) d(1120) d(706) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) 
	  1 d(977) r(800,814) r(1185,734) a(983,1343) 
	  1 d(769) r(693,814) d(453) r(1173,1346) r(892,558) 
	  1 r(440,394) r(36,37) a(905,905) 
	  1 d(769) r(693,814) d(453) d(769) 
	  1 r(440,394) r(36,37) r(1173,1346) r(442,417) 
search: generation 4 (sizeof one variant = 0.204152 MB)
	  1 r(1300,1245) d(1169) d(428) a(405,599) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(672,458) d(777) r(1644,1609) 
	  1 r(1289,1727) d(1169) d(428) d(785) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) 
	  1 a(272,715) d(855) d(834) 
	  1 d(814) d(693) d(1120) a(1753,584) r(812,1064) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(1749) 
	  1 a(775,405) r(410,1757) d(648) d(1739) d(1746) d(1143) d(1643) 
	  1 d(977) r(800,814) d(427) d(1361) d(438) 
	  1 d(977) r(800,814) d(427) r(1041,1081) d(1307) 
	  1 r(1112,1135) d(672) d(859) r(878,864) d(1313) 
	  1 d(769) r(713,781) 
	  1 r(768,1611) d(706) r(693,814) d(1729) d(1644) 
	  1 d(769) r(693,814) d(1729) d(1120) 
	  1 r(768,1611) d(706) r(838,864) 
	  1 r(440,394) d(438) a(1144,1081) r(1131,1308) 
	  1 r(730,654) a(1641,1573) d(713) d(1295) a(1742,458) r(816,818) 
	  1 r(440,394) d(438) d(1295) a(1742,458) d(410) 
	  1 r(730,654) a(1641,1573) d(713) a(1144,1081) r(876,835) 
	  1 r(440,394) r(36,37) r(1173,1346) r(442,417) r(896,899) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) r(584,1087) 
	  1 a(272,715) d(855) d(896) r(672,1082) r(1295,1340) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) 
	  1 r(1300,1245) d(672) d(859) a(673,515) 
	  1 r(768,1611) d(706) r(695,705) d(1134) 
	  1 r(1300,1245) d(672) d(859) r(695,705) a(695,1328) 
	  1 r(768,1611) d(706) r(1403,556) 
	  1 d(769) r(693,814) d(453) r(1173,1346) r(892,558) r(390,375) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) d(897) 
	  1 r(1300,1245) d(667) 
	  1 a(272,715) d(855) d(896) r(672,1082) d(1067) d(1399) r(429,414) r(443,399) 
	  1 r(1300,1245) d(1067) d(1399) r(429,414) r(455,410) 
	  1 a(272,715) d(855) d(896) r(672,1082) r(870,879) 
	  1 r(1300,1245) d(672) r(977,981) a(390,266) a(412,443) 
	  1 r(1112,1135) d(1067) d(438) d(461) d(1597) a(781,1288) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) 
	  1 r(1112,1135) d(672) r(977,981) a(390,266) r(391,428) 
	  1 r(768,1611) d(706) r(1574,1600) 
	  1 r(440,394) d(1134) d(1163) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(672,458) d(777) a(834,492) a(876,1169) 
	  1 r(768,1611) a(817,1734) r(672,458) d(1059) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(672,458) d(777) d(873) 
	  1 r(768,1611) a(817,1734) r(672,458) a(834,492) d(737) 
	  1 r(1112,1135) d(672) d(859) r(878,864) r(341,1351) 
	  1 a(272,715) d(770) d(422) d(1169) a(715,649) d(1178) 
	  1 d(814) d(693) d(1120) r(693,814) d(453) d(769) d(1747) 
	  1 d(769) a(1753,584) a(470,673) 
	  1 d(814) d(693) d(1120) a(1753,584) d(876) 
	  1 d(769) r(693,814) d(453) d(769) r(1058,1079) 
	  1 r(768,1611) r(1751,412) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(706) d(1185) 
	  1 r(768,1611) d(706) r(449,1599) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(412) 
	  1 r(730,654) a(1641,1573) d(713) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) 
	  1 r(877,871) r(471,458) 
	  1 r(730,654) a(1641,1573) d(713) a(1144,1081) a(1648,561) 
	  1 r(877,871) r(876,835) d(768) a(1163,660) r(876,875) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) 
	  1 d(814) d(693) r(1114,1175) r(874,856) r(426,656) 
	  1 d(769) r(693,814) d(1729) r(772,668) 
	  1 r(1300,1245) d(855) a(1061,555) r(1726,1744) a(451,266) 
search: generation 5 (sizeof one variant = 0.205778 MB)
	  1 d(769) r(713,781) r(1303,1351) 
	  1 a(272,715) d(855) d(834) d(1066) 
	  1 d(814) d(693) d(1120) r(693,814) d(453) d(769) d(1747) r(378,473) 
	  1 d(769) r(693,814) d(453) d(769) r(1058,1079) a(447,501) 
	  1 d(814) d(693) d(1120) a(1753,584) d(1729) d(1120) r(835,870) 
	  1 d(769) r(693,814) d(896) r(1399,905) d(1132) r(1753,1337) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(37,562) 
	  1 d(769) r(693,814) d(1729) d(1120) r(980,985) 
	  1 r(1300,1245) d(672) r(977,981) a(390,266) a(1742,458) d(410) d(617) 
	  1 r(440,394) d(438) d(1295) a(412,443) a(1150,673) 
	  1 r(1300,1245) d(672) r(977,981) a(390,266) a(412,443) d(1650) 
	  1 r(440,394) d(438) d(1295) a(1742,458) d(410) a(1067,1134) 
	  1 r(768,1611) d(438) d(461) d(1597) d(862) r(834,881) 
	  1 r(1300,1245) d(1067) a(817,1734) r(672,458) d(1059) r(837,1342) 
	  1 r(768,1611) a(817,1734) r(672,458) d(1059) d(617) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) r(733,709) 
	  1 a(272,715) d(855) d(896) r(672,1082) r(870,879) d(1174) 
	  1 r(768,1611) d(706) r(693,814) d(1729) d(1644) d(1116) 
	  1 d(814) d(693) a(1727,904) d(897) a(1738,1211) 
	  1 r(730,654) a(1641,1573) d(1754) r(1114,1175) r(874,856) r(426,656) r(769,675) 
	  1 d(814) d(693) r(1114,1175) r(874,856) r(426,656) d(1141) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) d(897) r(802,813) 
	  1 r(768,1611) d(706) r(1403,556) r(429,438) 
	  1 d(814) d(693) d(1120) a(1753,584) r(812,1064) a(1609,1361) 
	  1 d(814) d(693) d(1120) a(1753,584) r(812,1064) r(873,871) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) r(1314,1174) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) 
	  1 r(730,654) a(1641,1573) d(713) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) a(1315,1132) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) a(1129,1304) 
	  1 r(1300,1245) d(1067) d(438) d(461) r(672,458) d(777) r(1644,1609) d(673) 
	  1 d(769) r(713,781) a(1112,799) 
	  1 a(272,715) d(855) d(834) r(391,443) 
	  1 d(814) d(693) r(1114,1175) r(874,856) r(426,656) d(584) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(706) d(1185) d(1186) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) r(584,1087) d(985) 
	  1 d(769) r(693,814) r(1733,1112) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) 
	  1 d(769) r(693,814) d(1729) r(772,668) a(427,773) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) 
	  1 r(440,394) d(438) d(443) 
	  1 r(440,394) d(1134) d(1163) d(1295) a(1742,458) d(410) d(1398) 
	  1 r(440,394) d(438) d(1295) a(1742,458) d(410) d(834) 
	  1 r(440,394) d(1134) d(1163) a(470,517) 
	  1 d(814) r(471,458) d(394) 
	  1 r(877,871) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) r(1238,516) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) 
	  1 r(877,871) r(471,458) r(1754,1757) 
	  1 r(1289,1727) d(1169) d(428) d(785) r(1294,513) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) r(584,1087) a(1742,1730) 
	  1 d(814) d(693) d(1120) a(1753,584) r(812,1064) r(599,1278) 
	  1 d(769) r(693,814) d(1729) d(1120) a(1754,546) 
	  1 a(272,715) r(778,775) 
	  1 r(877,871) r(471,458) d(855) d(896) r(1399,905) d(412) a(1119,1238) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(412) a(441,1743) 
	  1 r(877,871) r(471,458) r(1302,1242) 
search: generation 6 (sizeof one variant = 0.206553 MB)
	  1 r(1300,1245) d(1067) a(817,1734) r(672,458) d(1059) r(837,1342) d(1211) 
	  1 a(272,715) d(855) d(896) r(1399,905) d(412) a(441,1743) r(654,583) 
	  1 r(768,1611) d(706) d(1163) a(470,517) r(894,892) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) 
	  1 r(768,1611) d(706) r(1403,556) r(429,438) r(579,658) 
	  1 r(440,394) d(1134) d(1163) a(470,517) r(471,470) 
	  1 r(877,871) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) r(1238,516) r(1749,1727) 
	  1 d(814) d(693) r(1114,1175) r(874,856) r(426,656) d(1141) d(412) 
	  1 d(769) r(693,814) d(1169) d(428) d(785) r(1294,513) d(1192) 
	  1 r(1289,1727) d(453) d(769) r(1058,1079) a(447,501) a(668,769) 
	  1 d(769) r(693,814) d(453) d(769) r(1058,1079) a(447,501) r(682,1293) 
	  1 r(1289,1727) d(1169) d(428) d(785) r(1294,513) a(1061,472) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) d(438) d(443) a(579,773) 
	  1 r(440,394) r(733,709) r(341,653) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) r(733,709) r(985,982) 
	  1 r(440,394) d(438) d(443) d(1141) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) a(1129,1304) a(1312,339) 
	  1 a(272,715) d(855) d(896) r(672,1082) r(870,879) d(1174) a(693,1609) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) d(1305) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) a(1185,1130) r(765,660) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) d(1164) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) d(410) 
	  1 r(1289,1727) d(443) d(739) 
	  1 r(440,394) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) 
	  1 r(1289,1727) d(1169) d(428) d(785) r(1294,513) a(1211,1163) 
	  1 r(440,394) d(438) d(443) r(816,812) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) d(980) 
	  1 r(440,394) d(438) d(1295) a(412,443) a(1150,673) a(391,761) 
	  1 r(877,871) r(471,458) r(1754,1757) r(471,458) r(1754,1757) d(769) 
	  1 r(877,871) r(462,868) 
	  1 r(877,871) r(471,458) r(1754,1757) d(1402) 
	  1 r(877,871) r(471,458) r(1754,1757) a(1725,864) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) 
	  1 r(730,654) a(1641,1573) d(1754) a(1727,904) r(584,1087) a(1742,1730) r(1164,1611) 
	  1 r(1300,1245) d(1067) d(438) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1743) 
	  1 d(814) d(693) d(461) d(1597) d(862) a(37,405) d(445) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) a(732,672) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) 
	  1 a(272,715) d(855) a(1754,546) r(1061,1080) 
	  1 d(769) r(693,814) d(1729) d(1120) d(834) r(391,443) r(897,882) 
	  1 a(272,715) d(855) d(834) r(391,443) a(1593,1238) 
	  1 d(769) r(693,814) d(1729) d(1120) a(1754,546) d(1743) 
	  1 r(877,871) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) r(1238,516) d(716) 
	  1 d(769) r(693,814) d(1729) r(772,668) a(427,773) d(422) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) r(423,427) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) r(733,709) r(1642,1649) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) a(412,443) a(1150,673) r(818,1601) 
	  1 r(440,394) d(438) d(1295) r(1294,1764) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) 
	  1 r(440,394) d(438) d(1295) a(412,443) a(1150,673) d(880) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(903) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) 
	  1 a(272,715) d(855) d(834) a(1754,546) r(694,762) 
	  1 d(769) r(693,814) d(1729) d(1120) a(1754,546) a(599,1573) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) 
	  1 d(814) d(693) d(1120) a(1753,584) r(812,1064) a(1609,1361) d(1302) 
	  1 r(768,1611) d(706) r(1403,556) r(429,438) r(460,516) 
	  1 d(814) r(471,458) d(394) d(700) 
	  1 r(768,1611) d(706) r(693,814) d(1729) d(1644) d(1116) d(1758) 
search: generation 7 (sizeof one variant = 0.20555 MB)
	  1 r(440,394) d(438) d(443) r(816,812) r(1758,453) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) 
	  1 r(440,394) d(438) d(1295) a(412,443) a(1150,673) a(391,761) d(429) 
	  1 r(1300,1245) d(1067) a(817,1734) r(672,458) d(1059) r(837,1342) d(1211) d(855) 
	  1 r(440,394) d(1134) d(1163) a(470,517) d(1591) r(733,709) r(1642,1649) d(817) 
	  1 d(769) r(693,814) d(453) d(769) r(471,470) d(1180) 
	  1 r(440,394) d(1134) d(1163) a(470,517) r(471,470) d(444) 
	  1 d(769) r(693,814) d(453) d(769) d(1591) r(733,709) r(1642,1649) a(682,452) 
	  1 r(768,1611) d(706) r(693,814) d(1729) r(428,835) 
	  1 a(272,715) d(855) d(834) a(1754,546) r(694,762) d(1644) d(1116) d(1758) a(697,430) 
	  1 r(768,1611) d(706) r(693,814) d(1729) d(1644) d(1116) d(1758) r(1738,1732) 
	  1 a(272,715) d(855) d(834) a(1754,546) r(694,762) d(867) 
	  1 r(440,394) d(438) d(1295) a(412,443) a(1150,673) a(391,761) r(706,739) 
	  1 r(768,1611) d(706) r(1403,556) r(429,438) r(460,516) d(1164) 
	  1 r(877,871) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1134) d(1163) a(470,517) r(471,470) r(1186,1302) 
	  1 r(440,394) d(1132) r(1238,516) d(716) d(674) 
	  1 r(877,871) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) r(1238,516) d(716) r(1313,1292) 
	  1 r(440,394) d(1134) d(1163) a(470,517) r(471,470) d(673) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) r(874,856) r(426,656) d(1141) d(412) a(1736,410) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) a(1129,1304) a(1312,339) d(979) 
	  1 d(814) d(693) r(1114,1175) r(874,856) r(426,656) d(1141) d(412) d(1298) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) d(455) d(769) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(903) d(892) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(471,458) d(394) d(700) a(1191,1293) 
	  1 d(814) r(1304,1403) r(763,709) a(1185,1130) d(1164) d(1590) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) d(1164) r(1732,691) 
	  1 d(814) r(471,458) d(394) d(700) a(1296,1090) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) a(778,1241) 
	  1 r(730,654) a(673,341) a(422,557) d(1599) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) 
	  1 r(1289,1727) d(1067) r(1058,1079) a(447,501) a(668,769) r(1178,1403) 
	  1 r(1289,1727) d(453) d(769) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) 
	  1 r(1289,1727) d(453) d(769) r(1058,1079) a(447,501) a(668,769) r(1741,1751) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) d(980) d(578) d(1739) 
	  1 a(272,715) d(855) d(834) d(1066) a(695,1343) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) d(980) d(274) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) a(1310,394) 
	  1 d(814) d(785) r(1294,513) a(1211,1163) a(399,1087) 
	  1 r(1289,1727) d(1169) d(428) d(693) d(461) d(1597) d(862) a(37,405) d(445) a(1639,1400) 
	  1 d(814) d(693) d(461) d(1597) d(862) a(37,405) d(445) r(739,737) 
	  1 r(1289,1727) d(1169) d(428) d(785) r(1294,513) a(1211,1163) d(1312) 
	  1 r(1289,1727) d(453) d(769) r(471,458) d(394) d(700) d(1644) 
	  1 d(814) r(1058,1079) a(447,501) a(668,769) a(763,738) 
	  1 r(1289,1727) d(453) d(769) r(1058,1079) a(447,501) a(668,769) d(1133) 
	  1 d(814) r(471,458) d(394) d(700) d(1745) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) 
	  1 d(814) d(693) d(461) d(394) d(700) r(855,835) 
	  1 d(814) r(471,458) d(394) d(700) d(424) 
	  1 d(814) d(693) d(461) d(1597) d(862) a(37,405) d(445) d(669) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) d(1750) 
	  1 r(440,394) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) 
	  1 r(440,394) d(438) d(443) r(816,812) d(1065) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) d(1164) d(1739) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) a(732,672) a(1645,1649) 
	  1 r(1289,1727) d(1169) d(428) d(785) r(1294,513) a(1211,1163) r(736,696) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) d(1164) d(1742) 
	  1 r(440,394) r(733,709) r(341,653) d(1315) 
search: generation 8 (sizeof one variant = 0.205136 MB)
	  1 d(814) r(471,458) d(1597) d(862) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(977) 
	  1 d(769) r(693,814) a(37,405) d(445) d(442) a(1758,513) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(652,553) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(855) 
	  1 a(272,715) d(855) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(1753,1308) 
	  1 r(1289,1727) d(1067) d(438) d(834) d(1066) d(578) d(706) a(1573,462) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) r(1307,1310) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(1173,1170) 
	  1 r(1289,1727) d(1169) d(428) d(693) d(461) d(1597) d(862) a(803,470) d(834) 
	  1 d(814) r(471,458) d(394) d(700) a(37,405) d(445) a(1639,1400) r(775,648) 
	  1 r(1289,1727) d(1169) d(428) d(693) d(461) d(1597) d(862) a(37,405) d(445) a(1639,1400) r(1645,1647) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) r(673,579) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) a(1192,552) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) r(986,982) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(1141,515) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) a(778,1241) d(1116) 
	  1 r(440,394) r(733,709) r(341,653) d(1315) a(1040,617) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) a(875,1077) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) d(980) d(578) d(1739) d(1306) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(980) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) 
	  1 a(272,715) d(855) d(834) d(674) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(1066) a(695,1343) r(426,487) 
	  1 a(272,715) d(855) d(834) d(1066) a(695,1343) r(1292,1344) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(797) 
	  1 r(730,654) a(1641,1573) d(1754) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) a(1129,1304) a(1312,339) d(979) r(427,428) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) r(835,855) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(1736) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) a(1129,1304) a(1312,339) d(979) d(778) 
	  1 d(769) r(693,814) d(453) d(769) r(763,709) a(1185,1130) d(1164) d(1739) r(1062,1059) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(471,470) d(1180) r(1065,1040) 
	  1 d(769) r(693,814) d(453) d(769) r(471,470) d(1180) r(1164,559) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) a(1185,1130) d(1164) d(1739) r(1162,757) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1736,500) 
	  1 d(814) r(1304,1403) r(763,709) a(1185,1130) d(1164) d(1590) d(1188) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) r(1732,492) 
	  1 d(814) d(693) d(461) d(1597) d(862) a(37,405) d(445) r(739,737) r(876,857) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) d(986) 
	  1 a(272,715) d(855) d(834) a(1754,546) r(694,762) d(1644) d(1116) d(700) d(424) r(648,1144) 
	  1 d(814) r(471,458) d(394) d(1758) a(697,430) r(599,527) 
	  1 a(272,715) d(855) d(834) a(1754,546) r(694,762) d(1644) d(1116) d(1758) a(697,430) a(399,458) 
	  1 d(814) r(471,458) d(394) d(700) d(424) d(1040) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) d(1162) 
	  1 r(440,394) d(777) a(1639,1211) r(874,856) r(426,656) d(1141) d(412) a(1736,410) r(586,455) 
	  1 r(1289,1727) d(1067) d(438) d(461) r(672,458) d(777) a(1639,1211) r(874,856) r(426,656) d(1141) d(412) a(1736,410) r(1067,1063) 
	  1 r(440,394) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) d(462) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) r(391,390) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) d(1750) d(1150) 
	  1 r(1289,1727) d(453) d(769) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) d(760) 
	  1 r(440,394) d(1134) d(1163) a(470,517) r(471,470) d(673) r(448,455) 
	  1 r(1289,1727) d(1169) d(428) d(693) d(461) d(1597) d(862) a(37,405) d(445) a(1639,1400) d(1738) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) d(1119) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) d(859) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) a(732,672) a(1645,1649) d(1309) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1759) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) d(1750) d(1609) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) d(1750) r(874,875) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) a(1759,1245) 
search: generation 9 (sizeof one variant = 0.204625 MB)
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) r(882,897) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) a(875,1077) d(1736) r(391,417) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(1736) r(422,1292) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) a(875,1077) r(1402,1164) 
	  1 a(272,715) d(855) d(834) d(1066) a(695,1343) r(1292,1344) a(700,453) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) a(732,672) a(1645,1649) d(1309) r(1361,555) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) r(986,982) d(979) 
	  1 d(814) r(471,458) d(1597) d(862) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(977) d(1238) 
	  1 a(272,715) d(855) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(1753,1308) a(1132,1295) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) d(859) r(1738,1741) 
	  1 d(814) r(471,458) d(394) d(1040) d(1165) 
	  1 d(814) r(471,458) d(394) d(700) d(424) d(700) a(803,470) r(673,579) d(1180) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) r(673,579) d(870) 
	  1 d(814) r(471,458) d(394) d(700) d(424) d(1040) r(785,797) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) r(856,835) 
	  1 r(1289,1727) d(1067) d(438) r(835,865) r(835,855) d(423) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) r(835,855) d(410) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) d(1174) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(855) d(1749) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) r(986,982) a(1064,586) 
	  1 r(1289,1727) d(862) a(37,405) d(445) d(442) a(652,553) r(1643,1642) 
	  1 d(814) r(471,458) d(1597) d(1067) d(438) d(834) d(1066) d(578) d(706) a(1573,462) a(1133,1763) 
	  1 r(1289,1727) d(1067) d(438) d(834) d(1066) d(578) d(706) a(1573,462) r(768,416) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(652,553) a(739,1174) 
	  1 a(272,715) d(855) d(834) d(674) d(980) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) a(778,1241) d(1116) r(1278,559) 
	  1 d(814) r(471,458) d(1597) d(862) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(977) r(731,411) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) d(1750) d(1150) d(1737) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(980) d(1641) 
	  1 r(730,654) a(1641,1573) d(713) r(672,458) d(777) a(1639,1211) a(1649,339) d(980) d(578) d(1739) d(1306) r(412,1099) 
	  1 a(272,715) d(855) a(803,470) d(859) d(1300) 
	  1 d(814) r(471,458) d(394) d(700) d(834) d(1066) d(578) d(706) r(1307,1310) a(579,656) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) r(1307,1310) r(1639,599) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) d(859) a(1192,1107) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) d(760) r(1731,1741) 
	  1 r(1289,1727) d(453) d(769) d(438) d(461) a(1144,1081) r(876,835) d(768) a(652,553) d(1169) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(652,553) d(1739) 
	  1 r(1289,1727) d(453) d(769) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) d(760) r(1130,1336) 
	  1 d(769) r(693,814) d(453) d(769) r(763,709) a(1185,1130) d(1164) d(1739) r(1062,1059) r(769,1308) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) r(835,855) r(771,740) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1736,500) r(1120,1337) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) r(708,693) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) a(1063,447) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1736,500) a(1642,1278) 
	  1 a(272,715) a(732,672) a(1645,1649) d(1309) r(882,896) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) d(855) d(834) d(674) d(780) 
	  1 a(272,715) d(855) d(834) d(674) d(579) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) a(732,672) a(1645,1649) d(1309) a(668,709) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) r(780,683) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(426,487) r(1301,1294) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(1066) a(695,1343) r(426,487) a(685,716) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) d(1059) 
	  1 d(769) r(693,814) d(453) d(769) r(763,709) a(1185,1130) d(1164) d(1739) r(1062,1059) a(626,730) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(797) d(767) 
	  1 r(440,394) d(1134) r(1403,556) r(429,438) d(1745) d(1750) r(874,875) a(985,558) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) a(1192,552) r(763,672) 
	  1 r(440,394) d(438) d(1169) d(1134) d(1163) a(470,517) r(471,470) d(673) r(448,455) a(980,660) 
	  1 r(440,394) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) d(462) d(467) 
	  1 r(440,394) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) d(462) d(1175) 
	  1 r(440,394) d(1134) d(1163) a(470,517) r(471,470) d(673) r(448,455) a(437,557) 
search: generation 10 (sizeof one variant = 0.206549 MB)
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) r(708,693) a(1756,472) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) d(855) d(834) d(674) d(780) r(1314,1351) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) d(859) r(1738,1741) d(1572) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(797) d(767) d(651) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) r(986,980) r(835,865) d(980) d(1641) r(735,785) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(780,683) d(445) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) r(780,683) r(427,441) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(980) d(1641) r(668,779) 
	  1 d(814) r(471,458) d(394) d(700) d(424) d(1040) r(785,797) d(1164) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) r(673,579) d(870) d(1191) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) d(1174) d(898) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1736,500) a(1642,1278) r(771,703) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) a(1063,447) d(798) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(426,487) r(1301,1294) r(884,892) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(426,487) r(1301,1294) d(617) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) a(1063,447) d(673) 
	  1 a(272,715) d(855) a(803,470) d(859) d(1300) d(1301) 
	  1 r(1289,1727) d(1067) d(438) d(461) a(1736,500) r(1120,1337) a(1173,1357) 
	  1 a(272,715) d(855) d(834) d(674) d(980) d(446) 
	  1 r(440,394) d(438) d(1169) d(1134) d(1163) a(470,517) r(471,470) d(673) r(448,455) a(980,660) d(870) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(1736) r(422,1292) d(708) 
	  1 d(769) r(693,814) d(1729) d(1120) d(1066) d(455) r(1758,446) d(1066) a(695,1343) r(426,487) a(685,716) r(460,402) 
	  1 r(1289,1727) d(1067) d(438) d(834) d(1066) d(578) d(706) d(1180) 
	  1 r(1289,1727) d(1067) d(438) r(835,865) r(835,855) d(423) a(1573,462) r(768,416) d(1641) 
	  1 r(1289,1727) d(1067) d(438) d(834) d(1066) d(578) d(706) a(1573,462) r(768,416) a(1299,1189) 
	  1 r(1289,1727) d(1067) d(438) r(835,865) r(835,855) d(423) a(455,436) 
	  1 a(272,715) d(760) r(1731,1741) d(405) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) d(855) d(834) d(1066) a(695,1343) r(1292,1344) a(700,453) r(1162,467) 
	  1 a(272,715) d(855) d(834) d(1066) a(695,1343) r(1292,1344) a(700,453) d(649) 
	  1 d(814) r(471,458) d(1597) d(862) a(37,405) d(445) d(442) a(1163,660) r(1302,1300) r(697,980) d(1116) r(816,797) d(760) r(1731,1741) d(793) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(426,487) r(1301,1294) a(392,1732) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) r(856,835) r(799,777) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) r(856,835) a(439,1189) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(426,487) r(1301,1294) r(1292,1180) 
	  1 a(272,715) d(855) d(834) d(1066) d(578) d(706) r(1307,1310) r(1639,599) r(815,797) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) a(1192,552) r(763,672) d(757) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) d(461) a(1144,1081) d(855) d(834) d(674) d(980) a(706,1756) 
	  1 a(272,715) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) r(856,835) d(837) 
	  1 r(1289,1727) d(768) r(1304,1403) r(763,709) d(456) r(986,980) d(461) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) r(799,342) r(856,835) d(460) 
	  1 a(272,715) d(855) d(834) d(674) d(980) r(1302,1361) 
	  1 r(440,394) d(438) d(1169) d(428) d(785) r(1294,513) r(1296,1105) a(1398,715) d(462) d(1175) d(454) 
	  1 d(814) r(471,458) d(1597) d(862) d(1729) d(1120) d(1066) a(855,419) d(903) d(1135) d(977) r(731,411) r(454,446) 
	  1 r(1289,1727) d(1067) d(438) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) d(1059) a(697,1399) 
	  1 d(814) d(693) r(835,865) r(835,855) d(423) r(855,869) 
	  1 r(1289,1727) d(1067) d(438) r(835,865) r(835,855) d(423) d(877) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) r(378,1403) d(1059) r(1398,1330) 
	  1 d(814) d(693) r(1114,1175) a(1129,1304) a(1312,339) r(1309,1278) a(875,1077) d(1736) r(391,417) d(1112) 
	  1 d(814) d(693) d(1120) a(1753,584) d(896) r(1399,905) d(1132) a(855,419) d(1288) d(1173) r(986,982) a(1064,586) r(1734,693) 
	  1 a(272,715) d(855) d(834) d(674) d(980) a(667,1756) 
	  1 d(814) d(693) r(1114,1175) d(1066) a(695,1343) r(426,487) r(1301,1294) d(797) 
	  1 r(730,654) d(870) a(1178,498) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) r(673,579) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(1736) r(422,1292) a(812,709) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(456) r(986,980) r(835,865) d(1736) r(422,1292) a(1156,562) 
	  1 d(814) r(471,458) d(394) d(700) a(803,470) r(673,579) d(870) d(391) 
	  1 r(730,654) a(1641,1573) d(1754) d(768) r(1304,1403) r(763,709) d(1729) r(772,668) a(673,341) a(422,557) r(1747,1745) a(1144,1081) r(876,835) d(768) a(1163,660) r(1302,1300) r(697,980) d(1116) r(617,1726) d(1132) a(855,419) d(1288) d(1173) d(437) r(708,693) r(429,399) 
	  1 r(1300,1245) d(1067) d(438) d(461) d(1597) d(862) a(37,405) d(855) d(834) d(674) d(780) r(426,1348) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1274
"Test Suite Evaluations": 141.556

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1076.15
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             646 204.324 = 32.1931%
  test                               1282 430.309 = 67.7992%
  TOTAL                                   634.682 = 58.9767% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:57:31 EDT 2013
shutting down
