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 6
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-145-171-186 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:22 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 E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp3f7f01.c /tmp/tmpe8f450.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.44544)
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.0121479 MB)
	  1 r(779,392) 
	  1 d(1745) 
	  1 r(342,770) 
	  1 a(1758,452) 
	  1 d(880) 
	  1 a(1727,1150) 
	  1 d(730) 
	  1 r(1645,1647) 
	  1 a(442,1328) 
	  1 d(1058) 
	  1 d(391) 
	  1 a(697,766) 
	  1 r(781,673) 
	  1 r(1754,1760) 
	  1 a(1740,892) 
	  1 r(798,800) 
	  1 a(1311,1108) 
	  1 r(266,1403) 
	  1 a(780,737) 
	  1 r(1744,1727) 
	  1 d(660) 
	  1 r(797,793) 
	  1 a(661,1591) 
	  1 r(1304,1114) 
	  1 r(1597,1725) 
	  1 r(764,443) 
	  1 r(450,453) 
	  1 r(651,1640) 
	  1 d(1061) 
	  1 a(471,780) 
	  1 d(608) 
	  1 r(797,799) 
	  1 d(903) 
	  1 r(865,869) 
	  1 d(440) 
	  1 a(1133,1191) 
	  1 d(1749) 
	  1 r(803,1299) 
	  1 r(447,1645) 
	  1 original
search: generation 1 (sizeof one variant = 0.203565 MB)
	  1 d(608) d(440) 
	  1 r(1597,1725) a(696,266) 
	  1 r(651,1640) r(892,862) 
	  1 r(1744,1727) d(442) 
	  1 r(651,1640) r(1168,1175) 
	  1 r(1744,1727) d(866) 
	  1 a(442,1328) d(694) 
	  1 d(608) d(896) 
	  1 r(450,453) d(1641) 
	  1 r(450,453) r(1734,1759) 
	  1 r(450,453) r(440,423) 
	  1 r(450,453) a(1598,768) 
	  1 a(780,737) a(1645,1340) 
	  1 d(608) a(904,557) 
	  1 a(697,766) r(1726,1747) 
	  1 r(450,453) a(647,599) 
	  1 d(1749) d(1401) 
	  1 a(697,766) r(1297,1109) 
	  1 r(781,673) a(1296,1130) 
	  1 d(1745) d(1308) 
	  1 r(781,673) d(439) 
	  1 d(1745) r(1133,1294) 
	  1 a(1311,1108) r(438,436) 
	  1 a(780,737) a(982,1403) 
	  1 a(1740,892) d(760) 
	  1 a(1758,452) r(1296,1293) 
	  1 a(1740,892) d(1295) 
	  1 a(1758,452) d(705) 
	  1 r(797,793) d(1175) 
	  1 a(1133,1191) r(1061,1058) 
	  1 r(450,453) a(897,703) 
	  1 a(1758,452) d(1601) 
	  1 r(450,453) d(439) 
	  1 a(1758,452) d(1168) 
	  1 r(651,1640) r(410,1116) 
	  1 a(1740,892) r(986,904) 
	  1 d(608) d(986) 
	  1 r(651,1640) r(1303,1111) 
	  1 d(608) r(981,980) 
	  1 r(651,1640) a(875,765) 
	  1 d(1058) r(399,500) 
	  1 d(730) d(1066) 
	  1 r(342,770) r(1059,1078) 
	  1 a(1133,1191) a(1175,1162) 
	  1 r(342,770) d(444) 
	  1 a(1133,1191) d(733) 
	  1 r(1304,1114) r(879,855) 
	  1 a(780,737) d(1641) 
	  1 r(1304,1114) d(870) 
	  1 a(780,737) a(443,454) 
	  1 a(780,737) d(1189) 
	  1 a(1133,1191) r(471,459) 
	  1 a(780,737) r(394,1759) 
	  1 a(1133,1191) a(674,1650) 
	  1 r(781,673) r(1088,1040) 
	  1 r(779,392) a(1174,1342) 
	  1 r(797,799) d(1738) 
	  1 r(1754,1760) r(1175,1211) 
search: generation 2 (sizeof one variant = 0.203117 MB)
	  1 d(1745) r(803,685) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) 
	  1 d(1745) d(1308) d(1647) 
	  1 a(697,766) r(1726,1747) d(773) 
	  1 d(608) d(440) a(1732,697) 
	  1 a(780,737) a(1645,1340) a(1088,761) 
	  1 d(608) d(440) a(856,673) 
	  1 a(780,737) a(1645,1340) d(1725) 
	  1 r(651,1640) d(733) a(694,1143) 
	  1 a(1133,1191) r(1168,1175) d(441) 
	  1 r(651,1640) r(1168,1175) d(872) 
	  1 a(1133,1191) d(733) d(1040) 
	  1 d(608) d(986) d(897) 
	  1 d(608) d(896) d(1751) 
	  1 a(780,737) r(1114,1278) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) 
	  1 a(780,737) d(1189) d(763) 
	  1 a(1133,1191) r(1061,1058) d(905) 
	  1 r(779,392) r(1726,1747) a(424,423) 
	  1 a(697,766) a(1174,1342) d(1745) 
	  1 r(779,392) a(1174,1342) r(1592,1589) 
	  1 a(697,766) r(1726,1747) r(1307,1191) 
	  1 a(780,737) a(1645,1340) d(733) 
	  1 d(608) a(904,557) a(877,1733) 
	  1 r(651,1640) r(1303,1111) a(454,427) 
	  1 a(1740,892) d(760) r(438,341) 
	  1 d(608) d(440) a(1298,1141) 
	  1 r(450,453) d(439) d(428) 
	  1 d(730) d(1066) d(1174) 
	  1 d(608) a(904,557) r(617,559) 
	  1 r(342,770) r(1059,1078) a(674,1650) d(578) 
	  1 a(1133,1191) d(1643) 
	  1 r(342,770) r(1059,1078) a(652,559) 
	  1 a(1133,1191) a(674,1650) d(884) 
	  1 r(450,453) r(1303,1111) d(818) 
	  1 r(651,1640) d(1641) d(1747) 
	  1 r(450,453) d(1641) d(1299) 
	  1 r(651,1640) r(1303,1111) a(759,586) 
	  1 a(1740,892) r(986,904) r(984,977) 
	  1 d(608) a(904,557) d(1294) 
	  1 d(1749) d(1401) r(1730,1727) 
	  1 d(1745) d(1308) r(815,786) 
	  1 d(730) d(1066) r(1165,1109) 
	  1 r(1754,1760) r(1175,1211) r(426,512) 
	  1 a(780,737) r(394,1759) d(652) 
	  1 r(450,453) r(440,423) d(1314) 
	  1 a(780,737) r(394,1759) a(1309,731) 
	  1 r(450,453) r(440,423) d(1315) 
	  1 r(1304,1114) d(870) d(1295) d(981) 
	  1 a(1740,892) d(1308) 
	  1 r(1304,1114) d(870) a(1401,1180) 
	  1 a(1740,892) d(1295) a(798,1288) 
	  1 r(450,453) d(439) d(1601) d(875) 
	  1 a(1758,452) r(1744,1750) 
	  1 r(450,453) d(439) r(774,1356) 
	  1 a(1758,452) d(1601) d(983) 
	  1 d(1745) a(429,1625) 
	  1 r(450,453) r(440,423) r(1133,1294) r(656,766) 
	  1 d(1745) r(1133,1294) a(800,713) 
	  1 r(450,453) r(440,423) d(855) 
	  1 d(1745) r(1133,1294) r(422,716) 
	  1 r(342,770) d(444) a(977,551) 
search: generation 3 (sizeof one variant = 0.204771 MB)
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) 
	  1 r(1754,1760) r(1175,1211) r(426,512) a(438,555) 
	  1 a(1740,892) d(760) r(438,341) a(899,675) 
	  1 r(651,1640) r(1168,1175) d(872) d(1402) 
	  1 d(608) d(440) a(1732,697) d(1399) 
	  1 a(1758,452) r(1744,1750) a(763,885) 
	  1 a(697,766) a(1174,1342) r(429,451) 
	  1 r(342,770) r(1059,1078) a(674,1650) d(578) d(1745) a(1186,653) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) 
	  1 r(342,770) r(1059,1078) a(674,1650) d(578) a(1639,484) 
	  1 r(450,453) r(440,423) r(1726,1747) a(424,423) r(1311,1132) 
	  1 r(779,392) d(1315) d(1735) 
	  1 r(450,453) r(440,423) d(1315) a(674,799) 
	  1 r(779,392) r(1726,1747) a(424,423) d(682) 
	  1 a(697,766) a(1174,1342) d(1189) d(763) r(761,1292) 
	  1 a(780,737) d(1745) d(1040) 
	  1 a(697,766) a(1174,1342) d(1745) d(1061) 
	  1 a(780,737) d(1189) d(763) d(771) 
	  1 r(651,1640) r(1168,1175) d(872) a(1737,1077) 
	  1 a(1133,1191) a(674,1650) d(884) d(986) 
	  1 a(697,766) r(1726,1747) d(1308) d(763) d(674) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) a(599,1397) 
	  1 a(780,737) d(1189) d(763) d(878) 
	  1 d(608) d(440) a(1732,697) r(599,498) 
	  1 r(450,453) r(440,423) d(1314) r(1308,1305) 
	  1 a(697,766) r(1726,1747) d(1308) r(1726,1747) d(773) a(739,1241) 
	  1 a(697,766) a(898,508) r(985,983) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) r(1592,1598) 
	  1 a(697,766) r(1726,1747) d(773) d(1397) 
	  1 r(651,1640) d(1641) d(1747) d(1186) 
	  1 a(780,737) d(1189) d(763) r(1601,1340) 
	  1 r(450,453) r(440,423) d(855) d(1174) 
	  1 d(730) d(1066) r(1165,1109) d(1141) 
	  1 a(1133,1191) r(1168,1175) r(774,1356) d(981) 
	  1 r(450,453) d(439) d(441) r(1747,1746) 
	  1 a(1133,1191) r(1168,1175) d(441) d(878) 
	  1 r(450,453) d(439) r(774,1356) d(705) 
	  1 r(651,1640) d(1641) d(1747) r(892,1141) 
	  1 a(780,737) a(1645,1340) a(1088,761) d(1188) 
	  1 a(780,737) r(394,1759) d(652) d(394) 
	  1 d(608) a(904,557) r(617,559) d(1058) 
	  1 r(450,453) r(1303,1111) d(818) r(708,737) 
	  1 d(730) d(1066) r(1165,1109) d(453) 
	  1 d(608) d(440) a(856,673) d(1061) 
	  1 a(1133,1191) d(1643) r(1308,1242) 
	  1 r(651,1640) r(1303,1111) a(454,427) d(429) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) a(778,674) 
	  1 d(608) a(1401,1180) a(1024,1078) 
	  1 r(1304,1114) d(870) d(440) a(1298,1141) a(706,709) 
	  1 d(608) d(440) a(1298,1141) a(1188,562) 
	  1 r(1304,1114) d(870) a(1401,1180) a(1309,1114) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) 
	  1 r(450,453) r(440,423) d(1314) a(816,513) 
search: generation 4 (sizeof one variant = 0.205481 MB)
	  1 d(608) d(440) a(1732,697) d(1399) r(732,651) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) a(424,1189) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) 
	  1 r(1304,1114) d(870) r(1726,1747) d(1308) a(898,508) r(1592,1598) a(763,668) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) r(1592,1598) d(880) 
	  1 r(1304,1114) d(870) d(440) a(1298,1141) a(706,709) d(859) 
	  1 r(651,1640) r(1168,1175) a(856,673) d(1061) d(391) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) 
	  1 r(651,1640) r(1168,1175) d(872) d(1402) d(1066) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) 
	  1 a(780,737) d(1189) a(898,508) a(1024,1078) r(660,529) 
	  1 d(608) a(1401,1180) a(1163,837) d(1753) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) r(778,780) 
	  1 d(608) a(1401,1180) a(1024,1078) r(1599,1592) 
	  1 d(608) d(440) a(1298,1141) a(1188,562) r(460,672) 
	  1 d(730) d(1066) r(1165,1109) d(1141) r(1296,1119) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(878) 
	  1 d(608) a(904,557) r(617,559) d(1058) d(1743) 
	  1 a(1133,1191) r(1168,1175) d(441) d(878) a(1288,501) 
	  1 a(780,737) d(1189) d(763) d(878) r(880,866) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) 
	  1 r(450,453) r(1303,1111) d(818) r(708,737) d(897) 
	  1 d(608) a(904,557) d(696) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) 
	  1 r(450,453) d(439) d(441) r(1747,1746) d(1641) 
	  1 r(450,453) r(1303,1111) d(1756) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(818) r(708,737) r(1760,1755) 
	  1 r(450,453) r(1303,1111) d(818) r(708,737) r(777,668) 
	  1 a(1758,452) r(1744,1750) a(763,885) a(1066,1400) 
	  1 a(1133,1191) a(674,1650) a(1163,837) a(1173,1342) 
	  1 a(780,737) d(1189) a(898,508) d(884) d(986) d(1648) 
	  1 a(1133,1191) a(674,1650) d(884) d(986) d(1648) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(904) 
	  1 a(780,737) d(1641) d(1747) r(1313,1156) d(799) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) 
	  1 a(1133,1191) d(1643) r(1308,1242) r(702,527) 
	  1 r(651,1640) r(1168,1175) d(872) a(1737,1077) d(764) 
	  1 a(1133,1191) d(1643) r(1308,1242) r(715,1062) 
	  1 r(651,1640) d(1641) d(1747) d(1186) r(818,586) 
	  1 a(1133,1191) d(1643) r(1308,1242) a(785,864) 
	  1 r(450,453) r(440,423) d(1314) a(816,513) r(1040,1079) 
	  1 a(1133,1191) d(1643) r(1168,1175) d(441) d(878) a(682,1757) 
	  1 a(1133,1191) r(1308,1242) a(760,769) 
	  1 a(1133,1191) d(1643) r(1308,1242) a(272,552) 
	  1 a(1133,1191) r(1168,1175) d(441) d(878) r(731,771) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) r(1592,1598) d(799) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) a(778,674) d(36) 
	  1 a(697,766) a(1174,1342) r(1061,1058) d(1189) d(894) a(781,508) a(599,812) 
	  1 a(1133,1191) d(1745) d(1061) r(1732,1337) 
	  1 a(697,766) a(1174,1342) d(1745) d(1061) a(1753,341) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) 
	  1 a(1133,1191) r(1168,1175) d(441) d(878) d(1296) 
	  1 a(780,737) d(1745) d(1040) d(1170) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) 
	  1 d(608) d(440) a(1732,697) r(599,498) a(1116,1732) 
search: generation 5 (sizeof one variant = 0.20517 MB)
	  1 d(608) a(904,557) r(617,559) d(1058) d(1743) a(1174,1342) d(1745) a(1639,892) a(1600,1192) d(760) 
	  1 a(697,766) d(706) 
	  1 d(608) a(904,557) r(617,559) d(1058) d(1743) r(803,1770) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(800,817) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) 
	  1 a(780,737) d(1189) d(1024) r(669,702) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) a(898,508) a(1163,837) d(904) r(768,763) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(904) d(599) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) r(1733,553) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(867) 
	  1 d(608) d(440) a(1732,697) d(1399) r(732,651) r(736,700) 
	  1 d(608) a(1401,1180) a(1163,837) d(1753) r(1114,1143) 
	  1 a(1133,1191) a(674,1650) a(1163,837) a(1173,1342) d(1130) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) a(778,674) d(36) d(266) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1305,1178) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(878) r(793,814) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) d(461) 
	  1 d(608) d(440) a(1732,697) r(599,498) a(1116,1732) d(426) 
	  1 a(697,766) r(1726,1747) d(1308) a(898,508) r(1592,1598) d(799) d(656) 
	  1 a(1133,1191) r(1168,1175) d(441) d(878) a(1288,501) a(977,508) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(342) 
	  1 r(651,1640) d(771) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(818) r(708,737) r(1760,1755) d(1641) d(1747) d(1186) r(818,586) a(1175,1399) 
	  1 r(651,1640) d(1641) d(1747) d(1186) r(818,586) a(1647,764) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(818) r(708,737) r(1760,1755) r(1746,1725) 
	  1 r(651,1640) a(773,512) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1189) a(898,508) a(1163,837) a(1647,516) a(867,682) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) 
	  1 d(730) d(1066) r(1165,1109) d(1141) r(1296,1119) d(1755) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) r(453,1740) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) d(1189) d(894) a(781,508) d(802) r(608,1574) 
	  1 a(1133,1191) r(1061,1058) d(405) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) a(424,1115) 
	  1 d(608) d(440) a(1163,837) d(904) r(425,399) 
	  1 a(780,737) d(1189) a(898,508) d(872) d(1402) a(1641,740) d(1755) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(904) d(693) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) 
	  1 a(780,737) d(1189) a(898,508) a(1024,1078) r(660,529) r(803,266) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) d(866) 
	  1 r(450,453) r(1303,1111) d(818) r(708,737) r(777,668) d(1115) 
	  1 a(697,766) r(812,1733) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(440) a(1298,1141) a(706,709) d(1024) a(455,663) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) d(1293) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) 
	  1 a(1758,452) r(1744,1750) d(1189) a(898,508) a(1163,837) r(778,780) r(1403,892) 
	  1 a(780,737) a(763,885) d(422) d(1725) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(1727,672) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) r(778,780) r(1649,1639) 
	  1 a(780,737) d(1189) a(898,508) a(1024,1078) r(660,529) r(427,341) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) 
search: generation 6 (sizeof one variant = 0.206393 MB)
	  1 r(651,1640) a(898,508) a(1163,837) a(1647,516) d(1592) r(1314,1114) 
	  1 r(651,1640) d(1189) d(771) a(786,1338) 
	  1 r(651,1640) d(771) a(813,459) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) r(1065,1077) 
	  1 r(651,1640) d(1189) a(898,508) a(898,508) a(1163,837) r(778,780) r(1649,1639) a(1024,410) 
	  1 a(780,737) d(1189) a(1163,837) a(1647,516) d(1592) a(1142,1398) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) r(778,780) r(1649,1639) r(1168,1246) 
	  1 a(780,737) a(763,885) d(422) d(1725) d(1732) d(1312) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) 
	  1 a(780,737) a(763,885) d(422) d(1725) a(860,513) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) d(1189) d(894) a(781,508) d(802) r(608,1574) r(1278,761) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) a(1113,456) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(878) r(793,814) a(1179,1727) 
	  1 a(697,766) r(812,1733) d(440) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) d(977) 
	  1 a(697,766) r(812,1733) a(467,1164) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) r(882,897) 
	  1 a(780,737) d(1189) a(898,508) d(872) d(1402) a(1641,740) r(1061,1058) d(405) d(1400) 
	  1 a(1133,1191) d(1755) d(654) 
	  1 a(780,737) d(1189) a(898,508) d(872) d(1402) a(1641,740) d(1755) d(442) 
	  1 a(1133,1191) r(1061,1058) d(405) d(779) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) d(866) r(893,885) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) r(1650,430) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) 
	  1 d(608) a(856,673) d(1061) d(978) d(342) d(1178) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(342) d(736) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) a(898,508) a(1163,837) d(904) r(768,763) r(777,668) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) 
	  1 a(1133,1191) d(1061) d(978) d(342) d(1361) 
	  1 d(608) d(440) a(856,673) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) d(441) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(342) a(1759,1185) 
	  1 a(1758,452) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(668) 
	  1 a(780,737) r(1744,1750) d(1189) a(898,508) a(1163,837) r(778,780) r(1403,892) a(880,554) 
	  1 a(1758,452) r(1744,1750) d(1189) a(898,508) a(1163,837) r(778,780) r(1403,892) a(1186,1306) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) a(812,648) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(781) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(904) d(599) r(979,905) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) r(445,427) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) a(660,1100) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) d(1024) d(1293) d(266) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) 
	  1 d(608) a(904,557) r(617,559) a(1600,1192) r(834,835) r(649,675) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) 
	  1 d(608) a(904,557) r(617,559) d(1058) d(1743) r(803,1770) d(429) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) a(1639,892) a(1600,1192) r(1169,1758) r(1192,557) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) d(1289) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) a(1592,428) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(1730) 
	  1 r(651,1640) a(773,512) d(785) a(447,1341) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) d(697) 
	  1 r(651,1640) a(773,512) r(872,873) 
search: generation 7 (sizeof one variant = 0.206053 MB)
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) a(898,508) a(1163,837) r(778,780) r(1649,1639) a(1024,410) a(1396,786) 
	  1 r(651,1640) d(1189) a(898,508) d(856) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) 
	  1 r(651,1640) d(1189) a(898,508) a(898,508) a(1163,837) r(778,780) r(1649,1639) a(1024,410) a(803,700) 
	  1 a(780,737) a(763,885) d(422) d(1725) a(860,513) d(702) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) 
	  1 r(651,1640) a(898,508) a(1163,837) d(1730) d(1065) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) a(1647,516) d(1592) r(1314,1114) a(772,599) 
	  1 r(651,1640) a(898,508) a(1163,837) a(1647,516) d(1592) r(1314,1114) d(1062) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) a(1113,456) d(1186) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) 
	  1 d(608) d(1189) a(898,508) a(1163,837) d(736) d(660) r(882,897) r(1730,1739) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) r(1601,1300) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) r(882,897) r(423,1645) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) a(1639,892) a(1600,1192) r(1169,1758) r(1192,557) a(449,769) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) a(774,542) 
	  1 a(780,737) a(763,885) d(422) d(1725) d(1732) d(1312) r(1121,1179) 
	  1 a(1133,1191) r(1061,1058) r(1735,1740) d(1301) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(405) r(757,1599) d(1063) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) r(36,37) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) a(424,1192) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) 
	  1 a(1133,1191) r(1061,1058) d(1189) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1645,693) 
	  1 a(1758,452) a(1174,1342) d(1745) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) r(1315,584) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) r(1065,1077) d(1592) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) r(778,780) r(1649,1639) r(1168,1246) r(1186,1170) 
	  1 a(1758,452) r(1744,1750) d(1189) a(898,508) a(1163,837) r(778,780) r(1403,892) a(1186,1306) r(1120,1097) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) d(785) a(1639,892) a(1600,1192) r(1169,1758) r(1192,557) r(1397,554) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) a(660,1100) d(405) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(342) a(1759,1185) a(1064,513) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) r(445,427) d(1307) 
	  1 d(608) d(440) a(856,673) d(1061) d(978) d(342) a(1759,1185) d(1609) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) r(445,427) a(865,459) 
	  1 a(697,766) d(440) a(1298,1141) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) a(36,693) 
	  1 r(651,1640) a(706,709) a(898,508) a(1163,837) d(904) r(768,763) r(777,668) r(1731,1742) 
	  1 a(697,766) d(440) a(1298,1141) a(706,709) a(898,508) a(1163,837) d(904) r(768,763) r(777,668) a(394,1288) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) r(1165,1300) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) a(428,1141) 
	  1 r(651,1640) d(1189) a(898,508) a(898,508) a(1163,837) r(778,780) r(1649,1639) a(1024,410) a(982,1597) 
	  1 a(697,766) a(1174,1342) r(1169,1758) a(1113,456) d(1066) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(1759) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(37) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) a(1113,456) a(769,394) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(1189) a(898,508) a(1163,837) d(736) d(660) r(1650,430) r(1089,1088) 
	  1 a(780,737) d(1134) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) a(462,470) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(660) r(1650,430) a(693,417) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) d(866) r(893,885) d(781) 
	  1 d(608) a(904,557) r(617,559) d(1058) d(1743) r(803,1770) d(429) r(342,893) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) r(856,881) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) 
search: generation 8 (sizeof one variant = 0.20705 MB)
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) d(1757) d(653) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) r(1730,1738) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) a(1727,508) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) d(1180) 
	  1 d(608) d(1189) a(898,508) a(1163,837) d(736) d(660) r(882,897) r(1730,1739) a(715,1400) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) a(428,1141) r(904,1337) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) 
	  1 a(1133,1191) r(1061,1058) r(1735,1740) d(1301) d(1754) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(37) d(815) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(405) r(757,1599) d(1063) d(36) 
	  1 a(1133,1191) r(1061,1058) d(1189) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1645,693) a(982,885) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) r(441,412) 
	  1 a(1133,1191) r(1061,1058) d(1189) a(448,430) a(462,470) d(341) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1645,693) d(1189) 
	  1 a(1133,1191) r(1061,1058) d(1189) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1645,693) d(982) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) a(462,470) d(879) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) d(456) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) r(36,37) a(1186,1771) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) 
	  1 r(651,1640) a(706,709) a(898,508) a(1163,837) d(904) r(768,763) r(777,668) r(1731,1742) r(877,834) 
	  1 r(651,1640) d(1189) a(898,508) a(898,508) a(1163,837) r(778,780) r(1649,1639) a(1024,410) a(982,1597) d(1186) 
	  1 r(651,1640) d(1189) a(898,508) d(856) r(707,608) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) 
	  1 a(1758,452) d(802) r(1312,1353) a(733,1727) d(1757) a(745,1625) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) d(797) 
	  1 a(1758,452) a(1174,1342) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) a(980,1591) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1745) a(837,1650) d(584) a(1024,664) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) r(447,817) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) 
	  1 d(608) a(904,557) r(617,559) d(1732) d(896) r(1165,1300) r(1747,1739) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) r(660,892) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) a(648,581) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) r(1165,1300) r(586,580) 
	  1 d(608) d(440) r(445,427) d(1307) a(405,1211) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) d(769) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) d(455) 
	  1 a(1758,452) r(1744,1750) a(763,885) d(422) r(979,981) r(445,427) d(1307) d(707) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) a(1061,449) 
	  1 a(697,766) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) r(36,37) d(410) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) r(36,37) a(1295,700) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) d(871) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) d(1305) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) a(462,470) d(695) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) d(866) r(893,885) d(781) d(1731) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(37) d(1063) 
	  1 r(651,1640) d(1189) a(898,508) d(856) d(769) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(1189) a(898,508) a(1163,837) d(736) d(660) r(1650,430) r(1089,1088) r(771,762) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) r(779,1301) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) d(903) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) a(462,470) d(814) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) r(1601,1300) r(649,653) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) a(874,673) d(342) d(626) d(1728) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) d(731) r(982,985) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) d(739) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) 
search: generation 9 (sizeof one variant = 0.207678 MB)
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) d(903) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) r(447,817) d(984) 
	  1 r(450,453) d(439) d(441) r(1747,1746) d(1088) 
	  1 r(651,1640) d(1189) a(898,508) d(856) d(769) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) a(1313,1142) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1750,1749) 
	  1 r(651,1640) d(1189) a(898,508) d(856) d(769) d(1119) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) d(1757) d(653) d(899) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) a(1749,715) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) r(1211,740) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) d(1757) d(653) d(700) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) a(428,1141) r(904,1337) d(1185) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) d(983) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) d(1745) a(837,1650) d(584) a(1024,664) r(738,734) 
	  1 d(608) d(440) a(904,557) r(617,559) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) a(1143,1309) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) d(1400) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1745) a(837,1650) d(584) a(1024,664) a(1134,1329) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) a(745,1625) a(1303,1119) 
	  1 a(1758,452) d(802) r(1312,1353) a(733,1727) d(1757) d(880) d(1305) d(1758) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) d(1305) d(1309) 
	  1 a(1758,452) d(802) r(1312,1353) a(733,1727) d(1757) a(745,1625) d(1132) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) d(1305) d(765) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) r(1601,1300) r(649,653) r(880,873) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1132,1106) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) r(1312,1353) a(733,1727) d(1757) d(1180) a(1307,402) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) d(1180) d(1730) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) a(799,1211) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) r(660,892) r(1601,1642) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) r(1163,1168) 
	  1 r(651,1640) d(1189) a(898,508) d(856) d(769) d(818) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) r(816,817) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) d(1058) d(1743) r(803,1770) r(781,427) d(798) a(1061,449) r(1294,546) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) r(779,1301) r(36,37) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) r(779,1301) d(1292) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) a(1061,449) d(733) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) a(778,545) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) d(871) a(855,1315) 
	  1 d(608) a(904,557) r(617,559) d(1732) d(896) r(1165,1300) r(1747,1739) r(1744,1740) 
	  1 d(608) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1735,1740) r(36,37) a(1186,1771) a(865,757) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) d(903) r(1645,1646) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) d(739) d(1066) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) d(739) r(1090,562) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) d(903) d(770) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) d(37) d(815) a(436,1334) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) d(455) r(1132,1178) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) r(1302,1353) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) r(1165,1300) r(586,580) r(817,813) 
	  1 a(1758,452) a(1174,1342) d(1745) r(1312,1353) a(733,1727) d(1757) d(1180) a(871,1081) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) a(837,1650) d(584) d(903) r(584,700) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) d(903) a(897,1162) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) d(1180) r(1169,664) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) a(874,673) d(342) d(626) d(1728) d(838) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) a(1061,449) d(1740) 
	  1 a(697,766) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(834,835) a(448,430) a(462,470) d(695) d(454) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) d(450) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) r(1730,1738) d(1168) 
	  1 a(1133,1191) r(1061,1058) r(1735,1740) d(1301) d(1754) d(862) 
search: generation 10 (sizeof one variant = 0.206665 MB)
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) a(778,545) a(800,1294) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) r(1312,1353) a(733,1727) d(1757) d(1180) a(1307,402) d(1299) 
	  1 r(450,453) d(439) d(441) r(1747,1746) r(617,559) d(1058) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1750,1749) d(745) 
	  1 a(697,766) r(1744,1750) a(763,885) d(422) d(1609) d(467) d(1756) d(1757) d(653) d(700) r(731,448) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(731) d(739) r(1090,562) d(1302) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) r(1402,1278) r(1601,1300) r(649,653) r(880,873) r(837,655) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) r(1601,1300) r(649,653) r(880,873) a(768,799) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) d(731) d(739) r(1090,562) r(1065,1080) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1132,1106) d(438) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(660,892) r(1601,1642) d(341) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1058) r(1625,879) r(412,390) r(1402,1278) d(444) r(660,892) r(1601,1642) d(579) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1132,1106) d(424) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) r(1730,1738) d(1168) d(834) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) d(455) r(1132,1178) d(1311) 
	  1 r(651,1640) d(1189) a(898,508) d(856) d(769) d(1119) a(985,1087) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) d(903) d(410) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) d(450) d(1064) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) r(779,1301) d(1292) d(835) 
	  1 a(1133,1191) r(1061,1058) d(405) r(757,1599) a(37,512) r(779,1301) d(1292) d(1288) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) d(450) r(1066,1065) 
	  1 d(608) d(440) d(872) d(1402) a(1641,740) a(36,685) a(1760,647) d(449) d(875) d(450) a(399,1211) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) d(1400) d(392) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(1732) d(896) r(1165,1300) r(586,580) r(817,813) r(1610,1640) 
	  1 d(608) a(904,557) r(617,559) d(1732) d(896) r(1165,1300) r(1747,1739) r(1744,1740) a(451,1341) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) d(1305) d(765) d(986) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) d(1180) d(1730) d(36) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) d(1757) d(653) d(899) d(860) 
	  1 a(1133,1191) d(1757) a(1062,858) d(1757) d(653) d(899) r(1396,1238) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) d(1757) d(653) d(899) a(693,655) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) r(1312,1353) a(733,1727) d(1757) a(1062,858) d(1757) d(653) d(899) r(1749,1737) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) r(816,817) d(1297) 
	  1 a(1758,452) a(1174,1342) d(1745) a(837,1650) d(584) d(739) d(1066) a(673,1764) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) d(1058) d(1743) r(803,1770) r(781,427) d(798) a(1061,449) d(733) d(586) 
	  1 a(780,737) d(1189) a(898,508) a(1163,837) d(736) d(1088) d(1292) a(428,1141) r(904,1337) d(1185) r(770,760) 
	  1 r(651,1640) d(1189) a(898,508) a(1163,837) a(1647,516) d(1592) d(599) a(874,673) d(342) d(626) d(1728) d(838) d(1727) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) r(1163,1168) a(1306,392) 
	  1 a(780,737) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) r(1402,1278) r(1601,1300) r(649,653) r(880,873) r(762,608) 
	  1 r(651,1640) d(1641) d(1747) r(1313,1156) a(693,561) d(734) d(880) d(1305) d(1309) r(1296,1315) 
	  1 d(608) d(440) a(904,557) r(617,559) d(1058) r(1625,879) r(412,390) d(1730) r(437,341) r(871,881) d(903) r(813,797) 
	  1 d(608) a(904,557) a(1174,1342) d(1745) a(1639,892) r(779,1301) r(36,37) d(855) 
	  1 a(1758,452) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) a(1238,608) d(1400) d(1403) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) a(778,545) d(1288) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) a(1174,1342) d(1745) a(1639,892) a(1600,1192) r(1169,1758) r(1609,1141) a(1300,399) r(1573,1106) a(778,545) r(1399,1762) 
	  1 a(1133,1191) r(1061,1058) d(1189) d(894) a(781,508) d(802) a(449,1278) a(874,673) d(342) d(626) r(1314,1337) r(1132,1106) r(904,444) 
	  1 a(1133,1191) r(1061,1058) r(1735,1740) d(1301) d(1754) d(862) r(1310,1304) 
	  1 a(1758,452) d(802) r(1312,1353) a(733,1727) d(1757) a(745,1625) d(1132) r(877,876) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1203
"Test Suite Evaluations": 133.667

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1166.3
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.096 = 0.0135654%
  compile                             607 224.416 = 31.6044%
  test                               1211 485.566 = 68.382%
  TOTAL                                   710.079 = 60.8828% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:58:49 EDT 2013
shutting down
