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 4
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-194-202-59 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:32 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/tmp128472.c /tmp/tmp06521b.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 = 4.30422)
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.0121346 MB)
	  1 r(1090,884) 
	  1 d(578) 
	  1 d(793) 
	  1 a(803,1150) 
	  1 a(1736,664) 
	  1 d(471) 
	  1 r(693,1353) 
	  1 d(708) 
	  1 r(1648,1645) 
	  1 r(1188,1309) 
	  1 d(716) 
	  1 d(985) 
	  1 d(777) 
	  1 d(1740) 
	  1 d(873) 
	  1 r(1732,716) 
	  1 d(1211) 
	  1 d(1169) 
	  1 d(818) 
	  1 d(693) 
	  1 d(1295) 
	  1 d(882) 
	  1 a(412,660) 
	  1 a(1589,1110) 
	  1 r(1751,467) 
	  1 r(1293,527) 
	  1 a(394,1294) 
	  1 d(649) 
	  1 r(392,1735) 
	  1 a(672,1611) 
	  1 a(1312,412) 
	  1 r(451,1165) 
	  1 d(653) 
	  1 d(1059) 
	  1 d(1180) 
	  1 d(764) 
	  1 d(1293) 
	  1 r(1745,1747) 
	  1 d(428) 
	  1 original
search: generation 1 (sizeof one variant = 0.203683 MB)
	  1 d(693) r(1185,893) 
	  1 d(1059) a(894,702) 
	  1 a(1589,1110) r(1114,1168) 
	  1 d(693) r(983,980) 
	  1 a(1589,1110) r(758,635) 
	  1 d(693) a(818,545) 
	  1 r(1745,1747) a(1302,449) 
	  1 d(777) r(984,977) 
	  1 r(1745,1747) r(1728,1726) 
	  1 d(777) a(1649,266) 
	  1 r(1648,1645) r(837,1646) 
	  1 a(803,1150) r(802,797) 
	  1 r(1648,1645) a(672,1164) 
	  1 a(803,1150) d(894) 
	  1 r(1732,716) a(412,426) 
	  1 d(649) a(394,1189) 
	  1 d(1295) a(1640,459) 
	  1 d(1169) r(879,874) 
	  1 d(1295) r(1089,1065) 
	  1 d(1169) r(447,1744) 
	  1 d(693) d(1165) 
	  1 r(693,1353) d(450) 
	  1 d(693) a(760,399) 
	  1 r(693,1353) a(1296,1352) 
	  1 a(803,1150) d(654) 
	  1 d(985) d(837) 
	  1 r(693,1353) r(773,1309) 
	  1 d(818) r(1059,1063) 
	  1 a(1589,1110) a(1745,512) 
	  1 r(1751,467) r(774,1731) 
	  1 d(578) a(429,1743) 
	  1 r(451,1165) r(1625,410) 
	  1 d(578) r(617,1766) 
	  1 r(451,1165) d(1311) 
	  1 a(394,1294) d(786) 
	  1 d(985) r(1745,1747) 
	  1 a(394,1294) d(1289) 
	  1 d(985) r(734,733) 
	  1 d(1169) a(1120,493) 
	  1 a(803,1150) r(1311,1296) 
	  1 r(1751,467) r(1650,705) 
	  1 r(1732,716) r(1739,1733) 
	  1 r(1751,467) d(1289) 
	  1 r(1732,716) d(1211) 
	  1 d(793) r(1294,777) 
	  1 d(1169) d(673) 
	  1 d(793) d(1134) 
	  1 d(1169) r(1574,1589) 
	  1 a(1589,1110) d(425) 
	  1 d(1211) a(1744,774) 
	  1 a(1589,1110) a(1120,692) 
	  1 d(1211) r(669,768) 
	  1 a(412,660) d(446) 
	  1 d(764) r(706,731) 
	  1 a(412,660) r(860,866) 
	  1 d(764) d(1400) 
	  1 d(1293) a(707,1751) 
	  1 d(1169) d(879) 
	  1 d(1293) r(1398,1303) 
	  1 d(1169) r(1311,1354) 
	  1 r(1745,1747) r(1749,1737) 
	  1 d(777) d(904) 
	  1 r(1745,1747) d(1059) 
	  1 d(777) a(1741,1732) 
	  1 d(649) a(1163,1734) 
	  1 r(1648,1645) a(1120,498) 
search: generation 2 (sizeof one variant = 0.204457 MB)
	  1 r(1745,1747) d(1059) d(1089) 
	  1 r(1745,1747) a(1302,449) d(452) 
	  1 a(412,660) d(446) d(1119) 
	  1 r(1751,467) d(1289) d(455) 
	  1 a(412,660) d(446) r(1398,469) 
	  1 r(1751,467) d(1289) d(266) 
	  1 r(1745,1747) r(1311,1354) r(780,1574) 
	  1 d(1169) r(1749,1737) a(1311,342) 
	  1 r(1745,1747) r(1749,1737) r(713,1211) 
	  1 d(1169) r(1311,1354) r(903,984) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) 
	  1 r(451,1165) d(1727) 
	  1 d(985) r(1745,1747) d(812) 
	  1 r(451,1165) r(1625,410) r(428,983) 
	  1 d(777) r(984,977) d(1756) 
	  1 d(693) a(760,399) r(578,769) 
	  1 d(1211) r(669,768) r(1305,1129) 
	  1 r(1751,467) r(1650,705) d(862) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) 
	  1 d(1295) a(1640,459) a(1361,1081) 
	  1 r(693,1353) d(450) d(706) 
	  1 d(764) d(1400) a(1573,1574) 
	  1 d(1169) r(879,874) d(1134) 
	  1 r(451,1165) r(1625,410) r(1179,1308) 
	  1 d(777) r(984,977) a(437,554) 
	  1 d(764) r(706,731) d(448) 
	  1 r(451,1165) r(1625,410) d(1113) 
	  1 r(1648,1645) a(672,1164) a(1169,1589) 
	  1 a(394,1294) d(1289) d(1749) 
	  1 r(1648,1645) a(1120,498) d(1304) 
	  1 d(1295) r(1089,1065) a(1164,1150) 
	  1 d(777) a(1741,1732) d(1297) 
	  1 d(1293) a(707,1751) a(1732,1745) 
	  1 r(1732,716) r(1739,1733) r(1169,617) 
	  1 a(803,1150) r(802,797) r(424,419) 
	  1 d(578) a(429,1743) r(470,528) 
	  1 d(777) d(904) d(702) 
	  1 r(1745,1747) r(1749,1737) d(1133) 
	  1 d(1169) a(1120,493) d(786) r(1179,460) 
	  1 a(394,1294) d(274) 
	  1 d(1169) a(1120,493) r(1644,1625) 
	  1 a(394,1294) d(786) a(1758,1761) 
	  1 d(777) a(1649,266) d(578) 
	  1 r(451,1165) d(1311) a(422,544) 
	  1 d(693) d(1165) r(651,769) 
	  1 d(793) r(1294,777) d(668) 
	  1 d(1169) d(673) a(394,1189) a(860,860) 
	  1 d(649) d(656) 
	  1 d(1169) d(673) r(1751,419) 
	  1 d(649) a(394,1189) a(412,442) 
search: generation 3 (sizeof one variant = 0.200875 MB)
	  1 d(1169) a(1120,493) r(1644,1625) d(774) 
	  1 d(1169) a(1120,493) d(786) r(1179,460) r(635,1165) 
	  1 d(1169) a(1120,493) d(786) r(1179,460) r(979,981) 
	  1 d(1169) a(1120,493) r(1644,1625) r(1403,1759) 
	  1 d(649) a(394,1189) a(412,442) d(818) 
	  1 d(777) d(904) d(702) a(451,454) 
	  1 r(1745,1747) r(1749,1737) r(1089,1065) a(1164,1150) r(875,878) 
	  1 d(1295) r(713,1211) r(442,410) 
	  1 r(1745,1747) r(1749,1737) r(713,1211) d(436) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) 
	  1 a(412,660) d(446) d(1119) d(798) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) 
	  1 d(578) a(429,1743) r(470,528) r(682,1731) 
	  1 d(777) r(984,977) a(437,554) d(652) 
	  1 d(649) d(656) a(771,1179) 
	  1 d(1169) a(1120,493) d(786) r(1179,460) r(448,426) 
	  1 d(1169) r(1749,1737) a(1311,342) r(1305,1189) 
	  1 d(649) d(656) r(697,578) 
	  1 d(649) a(394,1189) a(412,442) r(1742,1739) 
	  1 d(1211) r(669,768) r(1305,1129) r(876,835) 
	  1 d(693) a(760,399) r(578,769) d(693) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) 
	  1 d(777) a(1649,266) d(578) d(736) 
	  1 d(764) a(860,860) a(392,1289) 
	  1 d(1169) d(673) a(394,1189) d(1400) a(1573,1574) d(274) 
	  1 d(764) d(1400) a(1573,1574) d(467) 
	  1 d(1169) d(673) a(394,1189) a(860,860) r(761,705) 
	  1 d(764) d(1400) d(1738) 
	  1 d(777) a(1649,266) d(578) a(1573,1574) r(734,648) 
	  1 d(764) d(1400) a(1573,1574) d(1735) 
	  1 d(777) a(1649,266) d(578) a(873,864) 
	  1 d(693) d(1165) r(651,769) r(1211,1350) 
	  1 d(764) r(706,731) d(448) d(1740) 
	  1 r(1751,467) r(1650,705) d(862) d(1090) 
	  1 d(793) r(1294,777) d(668) a(802,647) 
	  1 d(649) a(394,1189) a(412,442) r(1173,1117) 
	  1 d(1295) r(1089,1065) a(1164,1150) a(445,1341) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) 
	  1 r(1648,1645) a(672,1164) d(1121) d(1189) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) a(428,556) 
	  1 r(1648,1645) a(672,1164) a(1169,1589) d(1135) 
	  1 d(793) r(1294,777) d(668) a(673,702) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) 
	  1 r(1648,1645) a(672,1164) a(1169,1589) d(1643) 
	  1 r(1732,716) r(1739,1733) r(1169,617) r(410,498) 
	  1 d(777) a(1741,1732) d(1297) d(1089) d(1301) 
	  1 r(1745,1747) d(1059) r(871,865) 
	  1 d(777) a(1741,1732) d(1297) a(579,778) 
	  1 r(1745,1747) d(1059) d(1089) d(649) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) 
	  1 d(649) a(394,1189) d(648) 
	  1 r(1751,467) r(1650,705) d(862) r(762,733) 
	  1 d(649) a(394,1189) a(412,442) d(977) 
search: generation 4 (sizeof one variant = 0.205398 MB)
	  1 d(777) r(1749,1750) r(1063,1041) d(439) 
	  1 r(1745,1747) r(1728,1726) a(1649,266) d(578) a(873,864) d(453) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) d(617) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) d(697) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) r(780,1399) 
	  1 d(764) d(1400) a(1573,1574) d(1735) d(1189) 
	  1 d(649) a(394,1189) a(412,442) r(1742,1739) d(1745) 
	  1 d(649) a(394,1189) a(412,442) d(818) r(734,692) 
	  1 d(793) r(1294,777) d(668) a(673,702) r(1294,1342) 
	  1 r(1745,1747) d(1059) a(760,399) r(578,769) d(693) a(713,667) 
	  1 d(693) d(1089) d(649) d(1398) 
	  1 r(1745,1747) d(1059) d(1089) d(649) d(455) 
	  1 d(693) a(760,399) r(578,769) d(693) d(877) 
	  1 d(777) a(1649,266) d(578) a(1573,1574) r(734,648) a(1299,1174) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1730,1746) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) 
	  1 d(1169) r(1749,1737) d(578) a(873,864) a(1305,731) 
	  1 d(777) a(1649,266) d(578) a(873,864) a(453,735) 
	  1 d(1169) r(1749,1737) a(1311,342) r(1305,1189) d(1732) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(859,881) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) 
	  1 d(649) d(656) a(771,1179) a(428,556) d(759) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) d(651) 
	  1 d(649) d(656) a(771,1179) a(422,683) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) a(428,556) r(1174,419) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(578) a(873,864) r(1758,551) 
	  1 d(777) a(1649,266) a(1150,1310) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(460) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1058) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) a(1143,419) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1135,715) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) r(1295,1353) 
	  1 r(1648,1645) a(672,1164) a(1169,1589) d(1135) d(1168) 
	  1 d(764) d(838) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) 
	  1 d(764) d(1400) d(1738) a(391,513) 
	  1 a(412,660) d(446) d(1119) d(798) d(1742) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) r(764,1764) 
	  1 d(777) a(1649,266) d(578) a(1573,1574) r(734,648) a(1311,674) 
	  1 d(777) d(758) a(978,1294) 
	  1 d(1295) r(1089,1065) a(1164,1150) a(1649,266) d(578) a(873,864) a(878,608) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(647,771) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) 
	  1 a(412,660) d(649) r(879,860) 
	  1 r(1745,1747) d(1059) d(1089) d(649) a(471,675) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) 
	  1 d(777) a(1649,266) d(578) a(1573,1574) r(734,648) r(1116,1240) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) r(390,392) 
	  1 r(1648,1645) a(672,1164) d(1121) r(798,801) 
	  1 d(764) r(706,731) d(448) d(1740) d(1189) r(599,737) 
	  1 r(1648,1645) a(672,1164) d(1121) d(1189) d(1174) 
	  1 d(764) r(706,731) d(448) d(1740) r(876,865) 
	  1 d(1169) a(1120,493) r(802,789) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1134,1156) 
	  1 d(649) a(394,1189) a(412,442) d(977) d(648) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) d(456) 
search: generation 5 (sizeof one variant = 0.206152 MB)
	  1 d(985) r(1745,1747) r(1625,410) d(1121) a(428,556) r(1174,419) d(599) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) a(1755,651) 
	  1 d(578) d(1141) r(1295,1353) a(669,1625) 
	  1 d(1169) r(1749,1737) a(1311,342) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(800,789) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1292,1240) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) r(1295,1353) d(1751) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) a(1143,419) d(461) 
	  1 r(1648,1645) a(672,1164) d(1121) r(798,801) a(761,436) 
	  1 a(412,660) d(446) d(1742) a(865,697) 
	  1 a(412,660) d(446) d(1119) d(798) d(1119) d(798) r(1175,1306) r(859,866) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) a(1133,507) 
	  1 a(412,660) d(446) d(1119) d(798) d(1742) r(1131,1337) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(460) r(764,1764) r(862,857) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(460) r(1402,1165) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) r(764,1764) d(1310) 
	  1 r(693,1353) d(450) d(1731) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) r(390,392) d(1736) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(983,978) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) a(1737,1743) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(608,655) 
	  1 d(1169) r(1749,1737) a(1311,342) d(1141) r(780,1399) r(780,1646) 
	  1 r(1648,1645) d(981) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) 
	  1 r(1648,1645) a(672,1164) d(1121) d(1189) d(1174) r(837,1733) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) r(1121,1107) 
	  1 d(649) a(394,1189) a(412,442) d(977) a(1064,492) d(834) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) d(648) r(1300,1304) 
	  1 d(649) a(394,1189) a(412,442) d(977) d(648) d(981) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) d(452) 
	  1 d(777) a(1649,266) a(1150,1310) a(1133,1132) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) a(428,556) r(1174,419) r(448,425) 
	  1 r(1745,1747) d(1059) d(1089) d(649) a(471,675) d(866) 
	  1 d(764) d(1400) a(1573,1574) d(1735) d(1189) a(732,1192) 
	  1 d(1169) a(1120,493) r(802,789) d(1278) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) 
	  1 d(777) a(1649,266) d(578) a(1573,1574) r(734,648) r(1116,1240) d(1740) 
	  1 d(777) d(758) a(978,1294) a(1743,683) 
	  1 d(764) r(706,731) d(448) d(1740) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(1292,1611) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1189) r(599,737) a(1751,492) 
	  1 d(764) r(706,731) d(448) d(1740) d(1189) r(599,737) a(876,786) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) 
	  1 d(777) r(648,652) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(859,881) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(838,559) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(1749,1749) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(859,881) d(584) 
	  1 d(777) a(1649,266) a(1150,1310) d(578) a(873,864) d(1185) r(1746,1744) 
	  1 d(777) a(1649,266) a(447,1288) 
	  1 d(777) a(1649,266) a(1150,1310) r(779,452) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) d(274) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) d(1116) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) r(426,1062) 
	  1 a(412,660) d(446) d(774) d(1041) r(1648,1650) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(759,779) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) d(708) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) d(446) d(1119) d(798) a(1089,512) d(685) 
	  1 r(1745,1747) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) d(617) d(764) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) 
search: generation 6 (sizeof one variant = 0.206326 MB)
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) 
	  1 r(1745,1747) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) a(759,1334) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) 
	  1 r(1745,1747) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) d(694) 
	  1 r(1745,1747) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) d(586) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) d(617) d(764) a(1759,1341) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) r(706,731) d(448) d(1740) d(1189) r(599,737) a(876,786) d(456) 
	  1 d(764) a(1133,507) d(1192) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) a(1133,507) a(984,1329) 
	  1 d(764) r(706,731) d(448) d(1740) d(1189) r(599,737) a(876,786) r(1131,1328) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) a(1737,1743) r(707,703) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) r(426,1062) a(1135,1120) 
	  1 d(649) a(394,1189) a(412,442) d(977) a(1168,1591) r(1211,425) r(1040,1063) d(761) 
	  1 d(578) a(429,1743) r(470,528) d(648) d(981) r(446,1733) 
	  1 d(649) a(394,1189) a(412,442) d(977) d(648) d(981) d(682) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) d(274) d(855) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) a(1572,662) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(859,881) d(584) a(1134,663) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1189) r(599,737) a(1751,492) r(673,773) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) d(617) d(764) d(793) 
	  1 d(985) r(1745,1747) r(1625,410) d(1121) a(428,556) r(1174,419) d(599) d(789) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) a(1361,1769) a(1755,651) a(1644,812) 
	  1 a(412,660) d(446) d(1119) d(798) d(467) d(460) r(764,1764) r(862,857) d(896) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(460) r(764,1764) r(862,857) r(672,1116) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) a(1755,651) d(668) 
	  1 a(412,660) d(446) d(1119) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) 
	  1 d(1169) d(798) d(1742) r(1131,1337) r(1131,1121) 
	  1 a(412,660) d(446) d(1119) d(798) d(1742) r(1131,1337) a(775,705) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) r(1301,1144) 
	  1 d(777) d(1738) a(1361,1769) a(1755,651) a(1301,904) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) a(1755,651) r(1398,661) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(608,655) a(1738,411) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) r(764,1764) d(1310) r(1112,1308) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) 
	  1 d(777) a(653,1241) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) 
	  1 d(777) a(1649,266) a(1150,1310) r(779,452) r(37,36) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) r(693,1133) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) 
	  1 r(693,1353) a(1089,512) a(877,1090) d(1144) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) d(450) d(1731) r(1573,414) 
	  1 r(693,1353) d(450) d(1731) d(871) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(865) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) a(342,553) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(608,655) r(882,894) 
	  1 d(1169) a(1120,493) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(661) 
	  1 d(578) r(1644,1625) d(774) d(1041) d(1116) r(437,452) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) d(1116) r(786,580) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) r(1143,781) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) d(985) 
	  1 d(777) a(1649,266) d(578) a(873,864) r(859,881) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(838,559) d(1738) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) r(390,392) d(1736) r(1063,1041) d(617) a(803,1639) d(339) 
	  1 r(1745,1747) d(1059) d(1089) a(1305,1761) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) r(390,392) d(1736) a(1735,1289) 
	  1 r(1745,1747) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) a(904,1597) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(759,779) r(1192,1246) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) d(648) r(1300,1304) r(1064,1077) 
search: generation 7 (sizeof one variant = 0.203244 MB)
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(405) 
	  1 r(1745,1747) r(1728,1726) r(1749,1750) r(1063,1041) d(617) d(764) d(793) d(1130) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) a(1755,651) d(668) r(778,658) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) 
	  1 a(412,660) d(446) r(1211,425) r(1040,1063) r(1143,781) d(1178) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) r(1143,781) d(1150) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) r(1750,1730) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) d(1735) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) a(781,885) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) d(801) 
	  1 r(1745,1747) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) a(759,1334) d(656) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) d(1116) r(786,580) r(732,705) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) d(1040) 
	  1 d(777) a(653,1241) r(599,737) a(876,786) r(1131,1328) d(1040) 
	  1 d(764) r(706,731) d(448) d(1740) d(1189) d(1600) 
	  1 d(777) a(653,1241) r(834,858) 
	  1 d(764) r(706,731) d(448) d(1740) d(1189) r(599,737) a(876,786) r(1131,1328) r(1141,1338) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) a(762,781) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(1121) d(1189) d(1174) d(1112) d(1309) r(1156,1601) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) a(391,472) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(470,339) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) a(1573,1574) d(467) d(460) r(764,1764) r(862,857) r(672,1116) d(36) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) 
	  1 d(764) d(1400) a(1573,1574) d(467) d(460) r(764,1764) r(862,857) r(672,1116) r(1311,1116) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) a(1133,507) a(984,1329) d(1306) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(446) d(1119) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) 
	  1 a(412,660) d(446) d(1119) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(339,438) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) r(693,1133) r(700,1058) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) a(1361,1769) a(1755,651) a(1644,812) a(274,858) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) a(817,1770) 
	  1 a(412,660) d(446) d(1119) d(1738) a(1361,1769) a(1755,651) a(1644,812) r(1573,1133) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) 
	  1 a(412,660) d(446) d(1119) d(798) r(1175,1306) a(1133,507) a(984,1329) d(586) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) a(1361,1769) a(1755,651) a(1644,812) d(760) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) a(870,378) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) r(1143,781) d(1745) 
	  1 d(764) a(1133,507) d(1192) d(1066) 
	  1 r(693,1353) d(450) d(706) a(1131,1185) r(390,392) d(1736) r(1063,1041) d(617) a(803,1639) d(339) r(428,664) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1572,662) d(1066) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(732) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(444,761) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) a(1572,662) r(835,876) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(759,779) r(1192,1246) r(1058,1024) 
	  1 d(777) a(1649,266) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) d(715) 
	  1 d(1295) r(1089,1065) d(578) a(873,864) d(1185) d(274) d(855) r(777,774) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) d(274) d(855) a(774,472) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) 
	  1 r(1745,1747) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) a(759,1334) d(1163) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) r(426,1062) a(1135,1120) r(862,877) 
	  1 r(1751,467) r(1650,705) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) d(272) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(862) a(412,442) r(1211,1165) r(764,1764) d(1310) r(1112,1308) r(1741,1733) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) r(764,1764) d(1310) r(1112,1308) d(700) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) r(443,1727) 
search: generation 8 (sizeof one variant = 0.207209 MB)
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) a(781,885) r(1133,1314) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) r(835,866) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) a(1361,1769) a(1755,651) a(1644,812) d(760) r(1645,1640) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) a(1361,1769) a(1755,651) a(1644,812) d(760) d(1294) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(405) r(696,548) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1133,507) d(1192) d(1066) a(649,1150) 
	  1 d(764) a(1090,799) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(732) r(761,1769) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(732) r(696,583) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) 
	  1 d(777) a(1649,266) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) d(715) r(1292,1142) 
	  1 d(777) a(1649,266) d(578) a(873,864) d(1185) d(274) d(855) a(774,472) r(441,402) 
	  1 d(764) d(1400) r(1211,425) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) d(1747) 
	  1 a(412,660) d(446) d(1119) r(1040,1063) d(1067) r(378,835) a(1647,1241) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(429) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) d(870) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) d(1735) d(437) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) d(801) a(274,599) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(857,837) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) d(1733) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) a(817,1770) r(1593,1597) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) d(696) 
	  1 a(412,660) d(446) d(1119) d(1738) a(1361,1769) a(1755,651) a(1644,812) r(1573,1133) r(706,651) 
	  1 d(1295) r(1089,1065) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) d(884) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) r(693,801) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) r(876,855) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) r(981,977) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(799,835) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) d(801) r(342,1308) 
	  1 a(412,660) d(446) d(1119) d(798) d(1400) d(1738) a(1361,1769) a(1755,651) d(668) r(778,658) d(1134) 
	  1 r(1745,1747) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) a(759,1334) d(656) r(428,446) 
	  1 r(1751,467) r(1650,705) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) d(272) a(880,1289) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) d(1313) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) a(1089,512) a(877,1090) d(1292) d(1040) r(392,857) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(470,339) r(1401,1357) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(470,339) d(37) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) d(1040) d(1297) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(759,779) r(1192,1246) r(1058,1024) d(1129) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1119) d(798) d(1400) d(1738) a(1361,1769) r(759,779) r(1192,1246) r(1058,1024) d(867) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) r(1143,781) d(1150) r(695,696) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(446) d(1119) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) a(1174,459) 
	  1 r(1751,467) r(1650,705) d(862) a(412,442) r(1211,1165) a(1090,799) a(1572,662) r(835,876) r(451,660) 
	  1 d(764) d(1400) a(1573,1574) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) a(1300,1090) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(1298) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(834) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) r(1306,1133) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(1295,1174) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) d(1040) r(608,1162) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1041) d(1116) r(786,580) r(732,705) r(1156,780) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(878) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1646) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(1041) d(1116) r(786,580) r(732,705) a(984,450) 
search: generation 9 (sizeof one variant = 0.203024 MB)
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) d(1304) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) a(764,1090) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) a(1089,512) a(877,1090) d(1292) d(1040) r(392,857) r(427,447) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(834) a(1211,1114) 
	  1 d(578) a(429,1743) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(745,1574) 
	  1 d(764) d(1400) r(470,528) a(1168,1591) r(1211,425) a(1089,512) a(877,1090) d(1292) d(1040) r(392,857) d(981) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) a(1089,512) a(877,1090) d(1292) d(1040) r(392,857) d(708) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(878,864) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(446) d(1119) r(1040,1090) d(1733) a(1298,781) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) a(1174,459) r(1143,669) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(446) d(1119) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) a(1174,459) d(797) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) d(1733) a(1726,881) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1040,1063) d(1067) r(378,835) d(429) d(1750) 
	  1 d(764) d(1400) r(1211,425) d(1309) r(1401,1289) r(876,855) d(812) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) r(876,855) d(859) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(429) a(392,375) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) d(1191) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) d(1735) d(437) r(694,738) 
	  1 d(578) a(429,1743) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) r(981,977) d(785) 
	  1 d(1295) r(1089,1065) a(1164,1150) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) d(696) d(436) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) d(696) d(695) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) r(981,977) d(855) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(405) r(696,548) d(1302) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) r(984,978) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) r(981,977) d(422) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) a(1089,512) a(877,1090) d(1292) d(1040) r(392,857) d(1173) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) d(1736) d(1299) 
	  1 d(764) a(1133,507) d(1192) d(1066) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(799,835) a(660,766) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(799,835) d(451) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) d(1625) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(878) a(896,405) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1646) a(1297,1400) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(470,339) d(37) a(1065,599) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1646) d(986) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1041) d(1116) r(786,580) r(732,705) r(1156,780) r(1730,1728) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(405) r(696,548) r(879,834) 
	  1 d(764) d(1400) r(1211,425) d(798) r(764,453) d(405) d(1758) a(617,738) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) d(1747) r(716,770) 
	  1 d(764) d(1400) r(1211,425) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) d(1747) r(874,871) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(986,984) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(1295,1174) r(1142,1188) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) a(781,885) r(1133,1314) d(801) 
	  1 d(985) r(1745,1747) r(1625,410) r(390,392) r(1294,1063) r(764,453) d(732) r(761,1769) r(1744,1730) 
	  1 d(764) a(1090,799) a(1131,1185) a(1169,1589) d(1059) d(1089) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(1298) d(1747) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(1298) d(661) 
	  1 d(764) a(1090,799) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(732) r(761,1769) a(1397,1344) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) r(1735,1751) r(1644,1625) d(774) a(1064,492) a(648,1245) r(737,778) d(801) a(274,599) r(454,406) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) d(1307) 
	  1 r(1751,467) r(1650,705) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) d(272) a(880,1289) r(1063,1090) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) r(835,866) r(1131,1107) 
	  1 d(985) r(1745,1747) r(1625,410) a(1169,1589) d(1059) d(1089) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) r(835,866) d(801) 
	  1 d(764) d(1400) a(1573,1574) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) a(1300,1090) r(1400,682) 
	  1 r(1745,1747) d(1059) d(1089) d(446) d(1119) d(798) a(1089,512) a(877,1090) d(1292) d(1040) r(608,1162) d(800) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) d(1162) 
search: generation 10 (sizeof one variant = 0.207594 MB)
	  1 d(764) d(1400) r(1211,425) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(745,1574) r(856,866) 
	  1 d(578) a(429,1743) a(1573,1574) d(798) r(764,453) d(405) d(1758) a(617,738) a(797,558) 
	  1 d(764) d(1400) r(1211,425) d(798) r(764,453) d(405) d(1758) a(617,738) r(667,402) 
	  1 d(578) a(429,1743) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(745,1574) d(453) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1211,425) d(798) r(764,453) d(405) d(1758) a(617,738) d(696) 
	  1 d(764) d(1400) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) d(1162) a(1296,1211) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) d(1162) r(661,439) 
	  1 d(764) d(1400) r(1211,425) d(798) r(764,453) d(405) d(1758) a(617,738) r(1180,1150) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) a(1211,1114) a(626,339) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(834) r(777,667) d(1131) r(899,897) d(1304) d(455) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) d(1304) r(780,546) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(798) r(1175,1306) a(1133,507) a(984,1329) d(707) d(834) a(1211,1114) d(454) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) d(1304) d(1645) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) a(1174,459) r(1143,669) d(452) 
	  1 d(985) r(1745,1747) r(1625,410) r(390,392) r(1294,1063) r(764,453) d(732) r(761,1769) r(1744,1730) a(584,1334) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) d(1162) d(1312) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1089,1065) a(1164,1150) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) d(696) d(436) a(1747,786) 
	  1 d(1295) r(1040,1090) d(1733) a(1726,881) a(893,675) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) d(1733) a(1726,881) d(904) 
	  1 d(1295) r(1089,1065) a(1164,1150) r(470,528) a(1168,1591) r(1211,425) r(1040,1063) d(1067) d(1726) d(696) d(436) r(800,799) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(764,453) d(405) d(1758) a(617,738) r(834,858) 
	  1 d(764) d(1400) r(1211,425) d(798) r(1744,1736) r(903,979) r(984,978) d(654) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) d(1119) d(798) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) r(1744,1736) r(903,979) r(984,978) a(405,1293) 
	  1 d(764) d(1400) r(1211,425) d(798) r(764,453) d(405) d(1758) a(617,738) d(715) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) r(876,855) d(859) a(1191,1650) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) d(1625) d(815) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(1309) r(1401,1289) r(876,855) d(859) a(897,773) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) d(1400) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(694,652) a(764,668) d(1747) r(716,770) r(410,1180) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(1295,1174) r(1142,1188) r(446,899) 
	  1 d(777) a(1649,266) a(1311,342) r(1305,1189) r(1361,1766) a(667,668) r(777,667) d(1131) r(899,897) d(1191) d(884) 
	  1 d(578) a(429,1743) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) r(1402,1121) a(1175,394) r(981,977) d(785) a(1063,781) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) d(1625) r(599,1100) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(774) d(878) a(896,405) r(1295,1107) 
	  1 d(1169) a(1120,493) r(1644,1625) d(1736) d(1307) r(667,981) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) d(1307) d(1292) 
	  1 d(1169) a(1120,493) r(1644,1625) d(774) d(878) a(896,405) a(872,864) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) a(1120,493) r(1644,1625) d(774) d(1041) a(1591,1650) a(856,1192) a(737,775) a(1174,459) r(1143,669) r(1398,427) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) d(405) r(696,548) r(879,834) r(1179,1729) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) r(1294,1063) r(764,453) d(405) d(1758) r(878,864) a(1040,1162) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) d(1112) d(785) a(781,885) r(1133,1314) d(801) d(635) 
	  1 d(1295) r(1089,1065) a(1164,1150) d(758) d(470) a(672,1164) d(1121) d(1189) d(1174) d(1112) d(785) a(781,885) r(1133,1314) d(801) d(793) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(878,864) r(660,769) 
	  1 d(764) d(1400) r(1211,425) d(1309) r(1401,1289) r(876,855) d(812) d(878) 
	  1 d(764) d(1400) a(1573,1574) r(1063,1041) d(617) a(803,1639) r(428,1598) r(767,683) a(1300,1090) r(1400,682) a(1312,406) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) d(1733) a(1726,881) d(1188) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) d(1736) d(1299) r(905,984) 
	  1 r(1751,467) r(1650,705) d(758) r(1644,1625) d(774) a(1064,492) a(608,655) d(1141) d(272) a(880,1289) r(1063,1090) d(682) 
	  1 d(764) d(1400) r(1211,425) r(1040,1063) d(1067) r(378,835) d(1041) d(1116) r(786,580) r(732,705) r(1156,780) r(1730,1728) r(761,471) 
	  1 d(764) a(1133,507) d(1192) d(1066) r(390,392) r(1294,1063) a(1649,266) a(1150,1310) r(779,452) d(1303) d(1399) r(799,835) a(660,766) d(390) 
	  1 d(764) a(1133,507) d(1192) d(1066) d(1736) a(764,1090) a(1640,1185) 
	  1 d(578) a(429,1743) r(470,528) a(1168,1591) r(1211,425) d(706) a(1131,1185) r(390,392) r(1294,1063) r(764,453) r(470,339) d(37) a(1065,599) r(739,694) 
	  1 d(764) d(1400) a(1573,1574) d(1400) d(1738) r(1294,1063) r(764,453) d(405) d(1758) r(986,984) d(1173) 
	  1 d(985) r(1745,1747) r(1625,410) r(390,392) r(1294,1063) r(764,453) d(732) r(761,1769) r(1744,1730) d(1749) 
	  1 a(412,660) d(798) a(1089,512) a(877,1090) r(693,1133) r(1040,1090) d(1733) a(1726,881) a(441,501) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1217
"Test Suite Evaluations": 135.222

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1083.24
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.192 = 0.030856%
  compile                             617 195.566 = 31.4906%
  test                               1225 425.271 = 68.4785%
  TOTAL                                   621.029 = 57.3301% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:57:36 EDT 2013
shutting down
