WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 5
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 8
--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-102-73-44 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:27 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/tmp82b26b.c /tmp/tmp5be57a.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 3.49557)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1750
cilRep: stmts in weighted_path = 306
cilRep: total weight = 172.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1750])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.199044 MB)
search: initial population (sizeof one variant = 0.0111294 MB)
	  1 d(767) 
	  1 r(1105,1125) 
	  1 r(1698,1720) 
	  1 r(1715,1292) 
	  1 r(1106,1279) 
	  1 r(1051,1058) 
	  1 d(898) 
	  1 d(1711) 
	  1 r(1720,1714) 
	  1 r(1113,1090) 
	  1 r(434,1101) 
	  1 a(1172,1148) 
	  1 d(1377) 
	  1 r(761,645) 
	  1 r(442,422) 
	  1 a(1729,457) 
	  1 r(573,657) 
	  1 d(1288) 
	  1 r(1057,1054) 
	  1 d(1110) 
	  1 r(424,411) 
	  1 a(1719,886) 
	  1 d(1119) 
	  1 r(1169,891) 
	  1 d(690) 
	  1 d(1376) 
	  1 a(1717,657) 
	  1 d(1277) 
	  1 a(1726,751) 
	  1 d(1373) 
	  1 d(1378) 
	  1 a(1715,464) 
	  1 r(1105,1375) 
	  1 r(641,1293) 
	  1 a(1741,467) 
	  1 a(401,1163) 
	  1 d(1262) 
	  1 d(1293) 
	  1 d(1175) 
	  1 original
search: generation 1 (sizeof one variant = 0.199357 MB)
	  1 d(1378) d(1114) 
	  1 r(754,697) 
	  1 d(1378) d(1737) 
	  1 d(1175) 
	  1 a(401,1163) d(1698) 
	  1 r(573,657) a(1163,550) 
	  1 a(401,1163) r(1277,754) 
	  1 r(573,657) a(874,578) 
	  1 d(1711) d(831) 
	  1 d(1175) d(691) 
	  1 d(1711) a(1712,812) 
	  1 d(1175) d(779) 
	  1 a(1726,751) a(874,538) 
	  1 d(1377) r(1113,1090) 
	  1 a(1726,751) r(874,831) 
	  1 d(1377) r(385,446) 
	  1 d(1376) r(421,868) 
	  1 d(1293) d(758) 
	  1 d(1377) d(385) 
	  1 d(1376) d(1055) 
	  1 d(1377) a(756,647) 
	  1 d(1376) d(449) 
	  1 d(1262) a(688,793) 
	  1 d(1293) d(759) 
	  1 d(1262) a(1700,775) 
	  1 d(1293) a(812,807) 
	  1 d(1293) r(573,575) 
	  1 d(1376) d(1116) 
	  1 r(1169,891) r(886,687) 
	  1 r(573,657) d(1722) 
	  1 r(1169,891) a(1701,1722) 
	  1 r(573,657) d(1170) 
	  1 r(1057,1054) d(449) 
	  1 a(1719,886) d(808) 
	  1 r(1057,1054) d(1149) 
	  1 a(1719,886) d(1106) 
	  1 d(767) r(465,554) 
	  1 d(1376) a(1377,1380) 
	  1 d(767) r(763,431) 
	  1 d(1376) d(642) 
	  1 r(1720,1714) r(1707,1712) 
	  1 r(434,1101) r(1733,495) 
	  1 a(1717,657) d(1377) 
	  1 d(690) r(1107,1272) 
	  1 a(1726,751) a(760,1153) 
	  1 d(1711) d(1741) 
	  1 a(1726,751) r(851,865) 
	  1 d(1711) a(667,696) 
	  1 r(434,1101) d(753) 
	  1 d(1119) d(1134) 
	  1 r(434,1101) d(447) 
	  1 d(1119) r(386,407) 
	  1 d(1378) d(676) 
	  1 a(1172,1148) d(687) 
	  1 r(1057,1054) d(1134) 
	  1 a(1715,464) d(436) 
	  1 r(1057,1054) a(759,1278) 
	  1 a(1715,464) a(1057,578) 
	  1 d(767) d(1164) 
	  1 d(1288) d(694) 
	  1 d(767) a(898,1017) 
	  1 d(1288) r(899,978) 
	  1 d(1378) d(1378) 
	  1 a(401,1163) r(859,854) 
	  1 r(434,1101) a(888,1742) 
	  1 r(1715,1292) r(809,794) 
search: generation 2 (sizeof one variant = 0.19993 MB)
	  1 r(573,657) d(1722) d(1377) d(1289) 
	  1 a(1717,657) r(971,975) 
	  1 r(573,657) d(1722) r(37,36) 
	  1 a(1717,657) d(1377) r(611,648) 
	  1 d(1376) r(1058,1052) 
	  1 r(754,697) d(1055) r(856,873) 
	  1 d(1376) d(1055) r(1727,1725) 
	  1 r(754,697) r(337,1287) 
	  1 a(1719,886) d(1106) d(779) r(810,807) 
	  1 d(1175) d(1295) 
	  1 a(1719,886) d(1106) d(974) 
	  1 d(1175) d(779) r(1115,1108) 
	  1 a(1717,657) r(886,687) a(1113,1102) 
	  1 r(1169,891) d(1377) a(1082,536) 
	  1 a(1717,657) d(1377) d(442) 
	  1 r(1169,891) r(886,687) a(1714,1173) 
	  1 d(1175) d(808) a(758,649) 
	  1 a(1719,886) d(1704) 
	  1 d(1175) r(1034,1033) 
	  1 a(1719,886) d(808) r(867,829) 
	  1 d(1288) d(694) d(888) 
	  1 d(1711) a(667,696) d(1290) 
	  1 d(1175) d(691) d(1055) d(1713) 
	  1 d(1376) a(1740,767) 
	  1 d(1175) d(691) a(394,694) 
	  1 d(1376) d(1055) d(766) 
	  1 a(1726,751) r(851,865) r(809,794) r(764,655) 
	  1 r(1715,1292) d(573) 
	  1 a(1726,751) r(851,865) d(1058) 
	  1 r(1715,1292) r(809,794) r(1726,1731) 
	  1 d(1378) a(874,578) d(1262) 
	  1 r(573,657) d(1378) d(1725) 
	  1 d(1378) d(1378) d(699) 
	  1 r(573,657) a(874,578) a(1712,1140) 
	  1 d(767) a(898,1017) d(445) 
	  1 a(1719,886) d(1106) a(1112,338) 
	  1 d(1377) r(385,446) d(1292) 
	  1 a(1719,886) d(1106) r(1148,860) 
	  1 a(401,1163) d(1698) d(1175) 
	  1 d(1175) d(779) r(878,891) 
	  1 a(401,1163) d(1698) d(890) 
	  1 d(1175) d(779) d(1698) 
	  1 r(573,657) d(1722) d(1698) d(973) 
	  1 a(401,1163) d(667) 
	  1 r(573,657) d(1722) d(757) 
	  1 a(401,1163) d(1698) r(435,444) 
	  1 a(1726,751) a(874,538) d(807) 
	  1 d(767) d(1164) d(1376) 
	  1 d(1288) d(976) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) 
	  1 d(1288) d(694) a(979,1272) 
	  1 a(401,1163) d(1698) d(387) 
	  1 d(1378) d(676) d(444) 
	  1 r(1057,1054) d(1149) r(1290,1312) 
	  1 r(434,1101) d(447) r(756,657) 
	  1 r(1057,1054) d(449) d(435) 
	  1 r(1057,1054) d(449) d(1116) d(1222) 
	  1 d(1376) d(1288) 
	  1 r(1057,1054) d(449) a(1162,1116) 
	  1 d(1376) d(1116) r(1709,1114) 
	  1 d(1175) d(779) d(1262) 
	  1 d(767) d(1164) a(1722,1699) 
	  1 d(1119) d(1134) r(1147,1162) 
	  1 d(1293) a(812,807) d(850) 
search: generation 3 (sizeof one variant = 0.200699 MB)
	  1 a(401,1163) d(1698) r(435,444) r(1338,1728) 
	  1 d(1175) d(691) a(394,694) d(979) 
	  1 r(573,657) a(874,578) a(1712,1140) a(702,417) 
	  1 r(1169,891) r(886,687) a(1714,1173) d(688) 
	  1 r(434,1101) d(447) r(756,657) r(1286,1229) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) 
	  1 r(434,1101) d(447) r(756,657) d(1289) 
	  1 a(1717,657) d(1377) r(611,648) a(1163,1294) 
	  1 a(1719,886) d(808) r(867,829) r(1373,1285) 
	  1 a(401,1163) d(1698) r(435,444) d(973) 
	  1 d(1378) d(1378) d(699) d(440) 
	  1 d(1376) d(1116) r(1709,1114) r(1708,1700) 
	  1 r(1715,1292) d(779) d(1262) r(407,1733) 
	  1 d(1175) d(573) d(1705) 
	  1 r(1715,1292) d(573) d(400) 
	  1 d(1175) d(779) d(1262) r(1297,1314) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) 
	  1 d(1376) d(1055) d(766) a(702,1163) 
	  1 d(1175) d(769) 
	  1 d(1376) d(1116) r(1709,1114) d(779) r(878,891) r(1082,1080) 
	  1 d(1175) d(779) r(878,891) d(645) 
	  1 d(1376) d(1116) r(1709,1114) r(1115,1093) 
	  1 a(1717,657) r(971,975) d(972) 
	  1 d(1293) a(812,807) d(850) d(886) 
	  1 a(1719,886) d(1106) d(974) d(888) r(978,980) 
	  1 d(1288) d(694) a(1125,1284) 
	  1 a(1719,886) d(1106) d(974) d(764) 
	  1 d(1288) d(694) d(888) d(1116) 
	  1 r(754,697) d(1055) r(856,873) d(1698) d(694) r(1152,1164) d(1376) 
	  1 a(401,1163) a(1118,556) 
	  1 r(754,697) d(1055) r(856,873) r(752,771) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) 
	  1 d(1378) d(676) d(1702) 
	  1 a(1719,886) d(1106) r(1148,860) d(444) d(448) 
	  1 d(1378) d(676) d(444) d(1700) 
	  1 a(1719,886) d(1106) r(1148,860) r(423,1378) 
	  1 d(1377) r(385,446) d(1292) d(860) 
	  1 d(1288) d(976) d(1159) 
	  1 d(767) d(1164) d(1376) r(754,667) 
	  1 a(401,1163) d(667) r(1034,1081) 
	  1 r(434,1101) d(447) r(756,657) d(444) a(1278,759) 
	  1 d(1378) d(676) d(1163) 
	  1 r(434,1101) d(447) r(756,657) a(1080,1051) 
	  1 d(1378) d(676) d(444) a(892,441) 
	  1 d(1175) d(691) a(1170,507) 
	  1 r(754,697) r(337,1287) d(1055) d(1713) d(759) 
	  1 d(1175) d(691) d(1055) d(1713) d(641) 
	  1 r(754,697) r(337,1287) d(1117) 
	  1 d(1378) a(874,578) d(1262) a(865,867) 
	  1 d(1376) d(1055) r(1727,1725) r(1152,1134) 
	  1 a(1719,886) d(1106) r(1148,860) d(850) d(1110) 
	  1 d(1293) a(812,807) a(1707,546) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) 
	  1 d(1293) a(812,807) d(850) a(647,335) 
	  1 r(434,1101) d(387) r(764,1728) 
	  1 a(401,1163) d(1698) d(447) r(756,657) a(1296,1735) 
	  1 r(434,1101) d(447) r(756,657) a(400,751) 
	  1 a(401,1163) d(1698) d(387) d(1083) 
	  1 a(1719,886) d(1106) a(1112,338) r(441,1380) 
	  1 a(1719,886) d(1106) a(1112,338) d(386) 
search: generation 4 (sizeof one variant = 0.200471 MB)
	  1 r(1715,1292) d(573) r(699,574) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) d(400) r(1737,1739) 
	  1 r(1715,1292) d(573) d(400) r(1103,764) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) a(1715,759) 
	  1 r(434,1101) a(832,645) 
	  1 r(754,697) r(337,1287) d(1055) d(1713) d(759) d(447) r(756,657) d(1289) d(1128) 
	  1 r(434,1101) d(447) r(756,657) d(1289) d(768) 
	  1 r(754,697) r(337,1287) d(1055) d(1713) d(759) d(1113) 
	  1 r(434,1101) d(447) r(756,657) a(1080,1051) d(437) 
	  1 r(1715,1292) d(573) d(400) a(440,548) 
	  1 d(1376) d(1055) d(766) a(1125,1284) d(1719) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) 
	  1 d(1376) d(1055) d(766) a(702,1163) r(810,793) 
	  1 d(1288) d(694) a(1125,1284) d(464) 
	  1 r(573,657) a(874,578) a(1712,1140) a(702,417) d(1698) r(435,444) d(973) r(1294,1091) 
	  1 a(401,1163) a(440,879) 
	  1 r(573,657) a(874,578) a(1712,1140) a(702,417) d(1711) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) 
	  1 d(1378) d(676) d(1163) a(1294,1290) 
	  1 d(767) d(1164) d(1376) r(754,667) r(1164,1222) 
	  1 r(1715,1292) d(573) d(400) d(859) 
	  1 d(1376) d(1116) r(1709,1114) d(779) r(878,891) r(1082,1080) d(1290) 
	  1 a(401,1163) d(1698) r(435,444) r(1338,1728) d(1732) 
	  1 r(434,1101) d(447) r(756,657) a(1080,1051) r(465,449) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1090) 
	  1 d(1378) d(676) d(1702) r(441,1162) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1118) 
	  1 d(1378) d(676) d(1702) d(701) 
	  1 d(1288) d(694) a(865,867) r(419,337) 
	  1 d(1378) a(874,578) d(1262) d(888) d(1116) d(1128) 
	  1 d(1288) d(694) d(888) d(1116) d(1293) 
	  1 d(1378) a(874,578) d(1262) a(865,867) a(1127,1098) 
	  1 r(1715,1292) d(779) d(1262) r(407,1733) r(611,648) a(1163,1294) r(753,760) 
	  1 a(1717,657) d(1377) r(405,810) 
	  1 r(1715,1292) d(779) d(1262) r(407,1733) r(580,1153) 
	  1 a(1717,657) d(1377) r(611,648) a(1163,1294) d(1176) 
	  1 a(401,1163) a(1118,556) r(765,768) 
	  1 d(1378) d(676) d(1702) d(696) 
	  1 a(401,1163) a(1118,556) r(1127,1294) 
	  1 d(1378) d(676) d(1702) d(755) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) d(439) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) d(1052) 
	  1 d(767) d(1164) d(792) 
	  1 r(434,1101) d(447) r(756,657) d(444) a(1278,759) d(1376) r(754,667) d(979) 
	  1 d(767) d(1164) d(1376) r(754,667) a(807,442) 
	  1 r(434,1101) d(447) r(756,657) d(444) a(1278,759) a(1710,465) 
	  1 a(1719,886) d(808) r(867,829) r(1373,1285) r(1276,1127) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) a(1273,1117) 
	  1 d(1175) d(779) d(1262) r(1297,1314) r(1157,1312) 
	  1 d(1293) a(812,807) d(850) a(647,335) d(1147) 
	  1 r(434,1101) r(1700,1706) d(1080) 
	  1 a(1719,886) d(1106) r(1148,860) d(447) r(756,657) d(1289) r(808,791) 
	  1 r(434,1101) d(447) r(756,657) d(1289) r(1081,1080) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) 
	  1 a(1719,886) d(1106) r(699,577) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) d(974) d(888) r(978,980) r(974,898) 
	  1 a(1719,886) d(1106) d(974) d(888) r(978,980) d(620) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1713,1722) 
	  1 d(1378) d(676) d(444) d(1700) a(1060,773) 
	  1 r(434,1101) d(387) r(764,1728) a(1288,1277) 
	  1 r(754,697) r(337,1287) d(1117) r(764,1728) d(647) 
	  1 r(434,1101) d(387) r(1716,1704) 
	  1 r(754,697) r(337,1287) d(1117) d(679) 
	  1 r(434,1101) d(387) r(764,1728) a(892,421) 
search: generation 5 (sizeof one variant = 0.202134 MB)
	  1 d(1378) a(874,578) d(1262) a(865,867) a(1127,1098) r(763,1159) 
	  1 d(1288) d(694) d(888) d(1116) d(1293) d(971) 
	  1 d(1378) d(676) d(1702) d(696) d(1737) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1090) d(433) 
	  1 r(434,1101) d(447) r(756,657) a(1080,1051) r(465,449) r(593,869) 
	  1 d(1376) d(1055) d(766) a(1125,1284) d(1719) d(1106) r(1148,860) r(1700,1706) r(874,854) d(1295) 
	  1 a(1719,886) r(754,757) 
	  1 d(1376) d(1055) d(766) a(1125,1284) d(1719) d(629) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(810,792) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) a(1715,759) a(1737,1338) 
	  1 d(1376) d(1055) d(766) a(1125,1284) d(1719) a(641,417) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) d(974) d(888) r(978,980) r(974,898) d(1737) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1118) d(829) 
	  1 r(754,697) r(337,1287) d(1055) d(1713) d(759) d(1113) d(764) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) 
	  1 r(573,657) a(874,578) a(1712,1140) a(702,417) d(1711) d(872) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) d(439) r(1376,774) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1090) r(1699,629) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) 
	  1 a(1719,886) d(1106) a(1140,418) r(891,893) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) d(1338) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(892,890) 
	  1 r(434,1101) d(447) r(756,657) d(444) a(1278,759) a(1710,465) a(1170,691) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) d(400) r(1737,1739) r(1162,1159) 
	  1 a(401,1163) d(1698) r(435,444) r(456,897) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) d(400) r(1737,1739) a(891,1163) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) 
	  1 r(434,1101) d(1176) r(1170,1281) 
	  1 a(1717,657) d(1377) r(611,648) a(1163,1294) d(447) r(756,657) a(1080,1051) d(437) d(793) 
	  1 r(434,1101) d(447) r(756,657) a(1080,1051) d(437) r(1290,1272) 
	  1 a(1717,657) d(1377) r(611,648) a(1163,1294) d(1176) a(1719,1735) 
	  1 r(754,697) r(337,1287) d(1055) d(1713) d(759) d(447) r(756,657) d(1289) d(1128) a(1056,831) 
	  1 a(1719,886) d(1106) d(974) d(888) r(978,980) d(620) d(977) 
	  1 r(434,1101) d(447) r(756,657) d(444) a(1278,759) d(1376) r(754,667) d(979) d(1128) 
	  1 r(434,1101) d(447) r(756,657) d(1289) r(1081,1080) d(1719) 
	  1 d(1378) a(874,578) d(1262) d(888) d(1116) d(1128) d(434) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) 
	  1 r(434,1101) r(1700,1706) d(1080) r(980,975) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) d(1262) 
	  1 r(1715,1292) a(1114,446) 
	  1 r(434,1101) d(387) r(764,1728) a(892,421) d(573) d(400) a(440,548) a(642,657) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) 
	  1 r(434,1101) d(387) r(764,1728) a(892,421) r(1338,888) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) 
	  1 d(1378) d(676) d(1702) d(755) d(36) 
	  1 d(767) d(1164) d(1376) r(754,667) r(1164,1222) d(654) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) 
	  1 d(1378) r(1152,1299) 
	  1 d(767) d(1164) d(792) r(1115,1330) 
	  1 d(1378) d(676) d(1702) d(696) d(1059) 
search: generation 6 (sizeof one variant = 0.202382 MB)
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) d(1702) d(696) d(1737) r(37,36) 
	  1 d(1378) d(676) r(810,792) d(971) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(810,792) r(1742,1152) 
	  1 d(1378) d(676) d(1702) d(696) d(1737) r(1113,1176) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) d(439) r(1376,774) a(766,1277) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1118) d(829) d(1286) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(892,890) r(401,1283) 
	  1 a(401,1163) d(1698) r(435,444) d(1106) r(1148,860) r(1700,1706) r(874,854) r(810,792) d(797) 
	  1 a(1719,886) r(456,897) d(441) 
	  1 a(401,1163) d(1698) r(435,444) r(456,897) d(1034) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(810,792) d(419) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) d(696) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) d(1338) r(977,978) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) d(1262) d(1272) 
	  1 a(1719,886) d(1106) a(1140,418) r(891,893) r(1222,1723) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) d(1284) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1033) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) a(971,575) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1080) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) 
	  1 d(767) d(1164) d(1376) r(754,667) r(1164,1222) d(654) d(442) a(1726,456) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) r(1081,1056) 
	  1 d(767) d(1164) d(1376) r(754,667) r(1164,1222) d(654) d(761) 
	  1 a(1719,886) r(754,757) d(1290) 
	  1 a(401,1163) d(1698) r(435,444) r(456,897) r(978,980) 
	  1 r(434,1101) r(1700,1706) d(1080) d(807) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) r(980,975) d(793) 
	  1 r(434,1101) r(1700,1706) d(1080) r(980,975) d(976) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) a(1373,455) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) r(661,1313) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) a(1715,759) a(1737,1338) r(1057,1080) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) 
	  1 r(434,1101) d(387) r(764,1728) a(892,421) d(573) d(400) a(440,548) a(642,657) a(979,760) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) d(854) 
	  1 r(1715,1292) d(400) d(859) d(1283) r(1291,1115) 
	  1 r(1715,1292) d(573) d(573) d(400) d(859) d(1283) d(455) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) d(978) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) 
	  1 d(1378) d(676) d(1702) d(755) d(36) r(423,1114) 
	  1 d(1378) r(1152,1299) r(1153,412) 
	  1 d(1288) d(400) a(440,548) d(442) a(1104,602) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) d(1159) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(1083) 
	  1 d(1378) d(676) d(1702) d(755) d(36) r(1115,1286) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) d(1338) r(1733,480) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) d(1262) a(1262,1331) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) a(971,886) 
	  1 r(434,1101) d(1080) r(1059,1034) a(418,540) 
	  1 r(434,1101) r(1700,1706) r(1700,1706) d(1080) r(1059,1034) a(443,464) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1110) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) r(1721,1714) 
	  1 d(1378) d(676) d(1702) d(696) d(1059) a(440,487) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) d(1059) 
search: generation 7 (sizeof one variant = 0.200793 MB)
	  1 r(434,1101) r(1700,1706) d(1080) d(807) r(1146,1272) 
	  1 a(1717,657) d(1377) r(611,648) a(464,806) r(1113,1118) d(829) d(1286) d(1719) 
	  1 r(434,1101) d(1176) r(1170,1281) r(1700,1706) d(1080) d(807) a(1707,1708) 
	  1 r(434,1101) d(1080) d(1127) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1080) a(1278,650) 
	  1 r(434,1101) r(1700,1706) d(1080) d(807) d(891) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) d(753) 
	  1 r(1715,1292) d(573) d(400) r(810,792) r(1742,1152) r(977,972) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) r(810,792) r(1742,1152) d(578) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) a(688,677) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1033) r(1299,524) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) d(1262) d(1272) r(1060,1083) 
	  1 r(1715,1292) d(573) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) d(642) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) 
	  1 r(1715,1292) d(400) d(859) d(1283) r(1291,1115) d(387) 
	  1 r(434,1101) r(1700,1706) d(1080) d(807) d(1109) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) d(810) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) r(661,1313) d(1134) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(974,972) 
	  1 d(767) d(1164) d(1376) r(754,667) r(1716,1704) d(1709) a(971,575) r(887,893) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) a(971,575) d(1116) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) r(980,975) d(793) d(886) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) d(1119) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) d(1702) d(696) d(1737) r(37,36) r(972,971) 
	  1 a(401,1163) d(1698) r(435,444) r(420,423) a(1715,759) a(1737,1338) r(1057,1080) a(1126,1116) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) d(1338) r(977,978) a(1712,444) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) a(971,575) a(752,1277) 
	  1 r(434,1101) d(1080) r(1059,1034) a(418,540) d(765) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) 
	  1 r(1715,1292) d(573) d(573) d(400) d(859) d(1283) d(455) a(769,1375) 
	  1 d(1378) d(676) d(1702) d(755) d(36) r(1115,1286) r(700,688) 
	  1 a(401,1163) d(1698) d(694) r(1152,1164) d(1699) d(439) r(1376,774) a(766,1277) d(1719) 
	  1 r(1715,1292) d(573) d(573) d(400) d(859) d(1110) d(1148) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) 
	  1 r(1715,1292) d(573) d(573) d(400) d(859) d(1283) d(455) r(874,871) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1110) a(1374,1154) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) a(1373,455) d(441) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) d(854) r(1282,1099) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) d(854) d(1725) 
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) a(1373,455) a(1175,457) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) r(1720,1703) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) d(854) r(868,854) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) r(661,1313) r(1157,1291) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) a(687,1374) 
	  1 d(1288) d(668) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) d(1159) d(400) a(440,548) d(442) a(1104,602) a(694,1376) 
	  1 d(1288) d(400) a(440,548) d(442) a(1104,602) r(1293,1094) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) d(1159) a(1107,879) 
	  1 a(401,1163) d(1698) r(435,444) d(973) a(792,447) d(1262) a(1262,1331) r(1272,850) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) a(971,886) a(1125,1276) 
search: generation 8 (sizeof one variant = 0.203066 MB)
	  1 d(767) d(1164) d(1376) r(754,667) d(755) r(1289,1312) a(1373,455) a(1175,457) a(1378,1099) 
	  1 r(434,1101) r(1700,1706) d(1080) d(807) d(1109) d(1720) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) d(668) d(335) 
	  1 d(1288) r(661,1313) d(1134) a(666,507) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) r(661,1313) d(1134) r(1704,779) 
	  1 d(1288) d(668) r(1374,422) 
	  1 r(1715,1292) d(573) d(573) d(400) d(859) d(1283) d(455) r(874,871) d(754) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) d(810) r(810,811) 
	  1 r(434,1101) r(1700,1706) d(1080) a(1034,694) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) d(1159) d(400) a(440,548) d(442) a(1104,602) a(694,1376) r(1059,1034) d(1283) d(455) r(971,978) d(1373) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) 
	  1 d(1288) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) d(1159) d(400) a(440,548) d(442) a(1104,602) a(694,1376) a(1285,1332) 
	  1 d(1378) d(676) d(1702) d(755) d(36) r(1115,1286) r(700,688) d(696) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1033) r(1299,524) a(1719,1741) 
	  1 r(1715,1292) d(573) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) d(642) r(1112,1164) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1741,876) 
	  1 d(767) d(1080) r(1059,1034) d(1283) d(455) r(971,978) r(1729,1102) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) a(437,642) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) a(1172,578) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) d(753) d(420) 
	  1 r(434,1101) d(1176) r(1170,1281) r(1700,1706) d(1080) d(807) a(1707,1708) d(455) 
	  1 d(1288) d(694) a(440,548) d(442) a(1104,602) r(1293,1094) d(893) 
	  1 d(1288) d(400) a(702,1163) a(1140,418) d(1338) r(977,978) a(1712,444) d(897) 
	  1 d(1288) d(694) a(702,1163) a(1140,418) d(1338) r(977,978) a(1712,444) a(401,1083) 
	  1 d(1288) d(400) a(440,548) d(442) a(1104,602) r(1293,1094) d(1742) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) r(661,1313) d(1134) a(1376,879) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) a(1294,1699) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1080) a(1278,650) d(394) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) a(688,677) r(1159,1154) 
	  1 r(434,1101) d(1080) d(1127) d(1153) 
	  1 d(1378) d(676) d(1702) d(755) d(36) r(1115,1286) r(700,688) d(703) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(811,807) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) d(1720) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) d(810) 
	  1 r(434,1101) d(387) r(1716,1704) d(1709) a(971,575) d(1116) r(446,868) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1033) r(1299,524) r(418,979) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) d(1119) d(465) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) a(688,677) r(972,898) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) d(1119) a(449,457) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) 
	  1 d(1288) d(694) d(647) d(810) r(831,1294) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) d(647) d(810) a(810,654) 
	  1 d(1288) d(694) a(1125,1284) d(464) d(439) a(1373,455) d(441) r(418,1102) 
	  1 d(1378) d(676) d(1702) d(765) a(1706,806) 
	  1 r(434,1101) d(1080) r(1059,1034) a(418,540) r(1164,1222) a(769,494) d(1059) a(1060,707) r(689,751) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) a(1705,502) 
	  1 r(434,1101) d(1080) r(1059,1034) a(418,540) d(765) r(37,36) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(650) r(593,1699) a(898,812) 
	  1 r(1715,1292) d(573) d(400) a(440,548) r(1082,1056) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(757) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(753,667) d(1149) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(974,972) r(888,886) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(974,972) a(1374,441) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) d(1720) 
search: generation 9 (sizeof one variant = 0.202985 MB)
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) a(1118,764) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(757) r(876,878) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) d(400) a(440,548) d(650) a(759,456) d(757) d(1117) 
	  1 d(767) d(1709) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(1164,775) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(757) r(758,443) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) d(753) d(420) r(1737,1735) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) r(980,975) d(793) r(753,667) d(1149) a(436,405) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(753,667) d(1149) r(1105,1281) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) d(753) d(420) r(422,439) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) d(1034) r(974,973) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) r(593,1699) d(1164) d(436) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) d(971) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) r(444,1719) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(602,1148) r(891,879) r(1741,876) d(1119) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(753,667) d(1149) a(1734,494) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(753,667) d(1149) d(860) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1741,876) a(1731,806) 
	  1 r(434,1101) r(1700,1706) d(1080) d(807) d(1109) d(1720) r(878,892) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) d(752) 
	  1 d(1378) d(676) d(1702) d(755) d(400) a(440,548) d(650) a(759,456) a(437,642) a(439,759) 
	  1 d(767) a(654,679) d(668) d(335) a(1726,1229) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) d(668) d(335) r(439,449) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) a(437,642) a(810,494) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) r(1127,677) 
	  1 r(434,1101) d(1080) r(1059,1034) a(418,540) d(765) r(37,36) a(1726,658) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(811,807) r(897,974) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1159,1292) r(752,773) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(650,448) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(811,807) r(400,779) 
	  1 d(1378) d(676) d(1176) r(1170,1281) d(1080) a(1278,650) d(394) d(446) 
	  1 r(434,1101) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) a(1705,502) r(1278,734) 
	  1 d(1378) d(676) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) a(1705,502) d(1378) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1080) a(1278,650) d(394) r(1294,1113) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) d(1283) d(455) r(971,978) a(1172,578) d(779) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) r(980,975) d(793) r(974,972) a(1374,441) a(759,1723) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(974,972) a(1374,441) r(1106,1376) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) a(1172,578) a(1140,1114) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) d(1119) d(465) d(1727) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) d(442) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) d(1081) 
	  1 r(1715,1292) d(573) d(400) d(859) d(1283) a(971,411) d(1119) d(465) r(1125,1054) 
	  1 r(1715,1292) a(1104,602) r(1293,1094) d(893) r(386,449) 
	  1 d(1288) d(694) a(440,548) d(442) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(1718,1698) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(1108,441) 
	  1 d(1288) d(694) a(440,548) d(442) a(1104,602) r(1293,1094) d(893) a(37,1699) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(753,697) 
	  1 r(434,1101) r(1700,1706) d(1080) a(1034,694) d(417) 
	  1 d(767) d(1080) r(1059,1034) d(400) a(440,548) d(650) a(759,456) r(1159,1292) d(335) 
	  1 r(434,1101) r(1700,1706) d(1283) d(455) r(971,978) r(1729,1102) d(974) 
	  1 d(767) d(1080) r(1059,1034) d(1283) d(455) r(971,978) r(1729,1102) a(602,423) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) d(1713) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) d(753) d(420) r(420,370) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) d(1720) d(1710) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) d(756) a(420,1742) r(753,667) a(1294,1699) a(676,511) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) r(753,667) d(1720) r(893,876) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) d(1720) a(1715,1707) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) a(1294,1699) d(629) 
	  1 d(767) d(400) a(440,548) d(650) r(1283,1104) 
	  1 r(1715,1292) d(573) d(400) a(440,548) r(1082,1056) a(759,456) d(757) d(1054) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(757) d(400) 
	  1 r(1715,1292) d(573) d(400) a(440,548) r(1082,1056) r(760,451) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(1159,1292) r(978,975) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(753,667) d(1720) r(1299,1295) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) d(1720) r(437,433) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) r(449,385) 
	  1 d(1288) d(694) d(647) d(810) r(831,1294) r(687,1058) 
	  1 r(434,1101) d(1176) r(1170,1281) r(1700,1706) d(1080) d(807) a(1707,1708) d(455) d(467) 
search: generation 10 (sizeof one variant = 0.203525 MB)
	  1 r(434,1101) r(1700,1706) a(856,550) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) r(444,1719) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) d(1081) r(572,772) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) d(1081) a(870,1140) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) r(444,1719) d(1290) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(1164,775) a(1734,1313) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) d(400) a(440,548) d(650) a(759,456) d(757) d(1117) a(443,421) 
	  1 d(767) r(971,978) r(1729,1102) d(974) d(1157) 
	  1 r(434,1101) r(1700,1706) d(1283) d(455) a(654,679) d(668) d(335) a(1726,1229) d(1730) 
	  1 d(767) a(654,679) d(668) d(335) a(1726,1229) a(1103,1159) 
	  1 r(434,1101) r(1700,1706) d(1283) d(455) r(971,978) r(1729,1102) d(974) a(464,1134) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) a(1705,502) r(1278,734) d(1719) 
	  1 r(434,1101) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) d(793) r(974,972) a(1374,441) r(1106,1376) d(794) 
	  1 r(434,1101) d(387) d(755) r(1289,1312) r(980,975) d(793) r(974,972) a(1374,441) r(1106,1376) a(593,658) 
	  1 r(434,1101) d(1702) r(1164,1222) a(769,494) d(1059) a(1060,707) a(1705,502) r(1278,734) a(761,1173) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(1108,441) a(1728,555) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(753,697) d(808) 
	  1 d(1378) d(676) d(1702) d(755) a(654,679) d(668) d(335) r(439,449) a(1697,1222) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(650,448) d(443) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) d(400) a(440,548) d(650) a(759,456) d(757) d(1117) r(407,1100) 
	  1 d(1288) d(694) a(440,548) d(442) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(1718,1698) a(1081,1148) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(874,854) a(440,548) d(442) d(647) r(980,975) d(793) r(753,667) d(1149) a(436,405) d(1293) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) d(1720) r(437,433) r(1376,1106) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) d(1720) r(437,433) r(1718,1723) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) r(980,975) d(793) r(753,667) d(1149) a(436,405) r(694,1279) 
	  1 d(1378) d(676) d(1702) a(1731,806) r(1706,667) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1741,876) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) d(1720) d(1710) r(654,891) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) d(1720) d(1710) d(1289) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1741,876) a(1731,806) r(1734,1740) 
	  1 a(1719,886) d(1106) r(1148,860) r(1700,1706) r(874,854) a(440,548) d(442) d(647) r(980,975) d(793) r(753,667) d(1149) a(436,405) r(1108,1721) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1159,1292) r(752,773) a(1083,405) 
	  1 d(767) d(400) d(443) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(811,807) r(400,779) a(440,548) d(650) a(759,456) d(757) d(400) d(1158) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) d(757) d(400) d(1288) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(811,807) r(400,779) r(887,890) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) a(1294,1699) d(629) r(701,703) 
	  1 d(767) d(400) a(440,548) d(650) a(759,456) a(437,642) a(810,494) a(1162,467) 
	  1 r(1715,1292) d(1720) r(893,876) d(760) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) r(753,667) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) d(752) r(456,1330) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) d(752) a(1176,1288) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) r(753,667) d(1720) r(893,876) d(1699) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(753,667) a(1294,1699) d(629) a(1293,1224) 
	  1 r(434,1101) r(1700,1706) d(1080) r(1059,1034) d(1283) d(455) r(971,978) d(1034) r(444,1719) r(1294,1333) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) a(1118,764) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(1159,1292) r(978,975) a(759,501) 
	  1 r(1715,1292) d(1285) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) a(1118,764) d(1113) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(1159,1292) r(978,975) d(1288) 
	  1 d(767) d(1164) d(792) d(676) d(1702) d(696) r(1704,447) r(602,1148) r(891,879) r(1159,1292) r(752,773) a(400,806) 
	  1 d(1378) d(676) d(1702) d(755) r(420,423) d(400) r(1737,1739) r(890,891) r(752,611) a(829,409) d(1720) d(1710) r(1146,440) 
	  1 r(434,1101) r(1700,1706) d(1080) a(1034,694) d(417) a(765,650) 
	  1 d(1288) d(694) a(440,548) d(442) d(573) d(400) a(440,548) d(650) r(593,1699) d(1164) r(1718,1698) r(1285,1290) 
	  1 r(434,1101) d(1176) r(1170,1281) d(1080) a(1278,650) d(394) r(1294,1113) d(455) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(650,448) a(465,886) 
	  1 r(434,1101) r(1700,1706) d(886) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) d(752) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(1164,775) a(1222,764) 
	  1 r(434,1101) r(1700,1706) d(400) a(440,548) d(650) a(759,456) r(1159,1292) a(1164,775) r(762,691) 
	  1 r(1715,1292) d(573) d(400) a(440,548) d(442) a(1125,1284) d(464) d(439) a(1373,455) d(441) d(864) d(752) d(440) 
	  1 r(434,1101) r(1700,1706) d(1080) a(1034,694) d(417) d(400) 
	  1 r(1715,1292) d(573) d(694) a(702,1163) r(1148,860) r(1700,1706) r(874,854) d(756) a(420,1742) r(1159,1292) r(978,975) r(768,510) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1254
"Test Suite Evaluations": 209

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1000.13
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.200 = 0.0314209%
  compile                             636 172.431 = 27.1228%
  test                               1258 463.113 = 72.8458%
  TOTAL                                   635.744 = 63.5656% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:56:08 EDT 2013
shutting down
