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 3
--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 3
--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-245-62-80 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:38:49 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/tmp7b9551.c /tmp/tmp4efec4.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 2.32344)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1749
cilRep: stmts in weighted_path = 276
cilRep: total weight = 169.2
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1749])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.200621 MB)
search: initial population (sizeof one variant = 0.00999165 MB)
	  1 r(1275,1291) 
	  1 a(1706,423) 
	  1 r(1162,437) 
	  1 d(1293) 
	  1 d(759) 
	  1 r(572,757) 
	  1 a(1277,666) 
	  1 a(1729,1168) 
	  1 a(424,1375) 
	  1 d(891) 
	  1 r(1133,456) 
	  1 d(465) 
	  1 r(401,411) 
	  1 r(1729,1224) 
	  1 a(432,497) 
	  1 d(421) 
	  1 d(1741) 
	  1 r(886,890) 
	  1 r(675,1375) 
	  1 a(1126,1112) 
	  1 a(1374,492) 
	  1 a(420,1139) 
	  1 r(416,1168) 
	  1 d(971) 
	  1 d(738) 
	  1 d(1172) 
	  1 a(394,1740) 
	  1 r(572,579) 
	  1 d(465) 
	  1 r(1298,654) 
	  1 r(764,754) 
	  1 r(405,1736) 
	  1 a(1153,579) 
	  1 r(481,506) 
	  1 d(447) 
	  1 r(1261,1737) 
	  1 r(541,1169) 
	  1 r(1175,335) 
	  1 a(540,767) 
	  1 original
search: generation 1 (sizeof one variant = 0.20115 MB)
	  1 d(465) r(898,972) 
	  1 d(891) r(648,495) 
	  1 r(416,1168) r(1337,434) 
	  1 r(481,506) r(1290,1373) 
	  1 d(465) r(885,577) 
	  1 r(1298,654) d(772) 
	  1 d(465) d(387) 
	  1 r(1298,654) d(656) 
	  1 d(759) d(770) 
	  1 r(1175,335) d(897) 
	  1 d(759) r(414,409) 
	  1 r(1175,335) r(676,898) 
	  1 a(394,1740) a(1169,338) 
	  1 d(759) r(1707,1704) 
	  1 r(1729,1224) d(1279) 
	  1 r(1275,1291) d(1742) 
	  1 r(1729,1224) r(759,897) 
	  1 r(1275,1291) r(676,1125) 
	  1 a(432,497) r(1290,1194) 
	  1 d(738) r(442,548) 
	  1 a(424,1375) d(1284) 
	  1 a(1126,1112) d(401) 
	  1 a(424,1375) d(675) 
	  1 a(1126,1112) r(896,973) 
	  1 r(886,890) a(1287,1106) 
	  1 d(738) a(1717,1312) 
	  1 r(886,890) r(1162,407) 
	  1 d(738) d(1286) 
	  1 a(1153,579) r(1147,978) 
	  1 a(1706,423) d(455) 
	  1 d(1741) r(1104,1285) 
	  1 d(465) d(592) 
	  1 d(1741) a(1295,1276) 
	  1 d(465) r(657,690) 
	  1 a(432,497) r(1133,1153) 
	  1 d(447) a(456,394) 
	  1 a(432,497) a(1376,655) 
	  1 d(447) d(1296) 
	  1 a(394,1740) d(440) 
	  1 a(1706,423) a(1172,457) 
	  1 a(394,1740) a(420,1740) 
	  1 a(1706,423) r(1704,440) 
	  1 r(1729,1224) d(892) 
	  1 r(1298,654) d(1731) 
	  1 r(1729,1224) a(1294,1174) 
	  1 r(1298,654) r(774,1116) 
	  1 r(1298,654) d(1163) 
	  1 a(432,497) d(420) 
	  1 r(572,579) d(976) 
	  1 r(1162,437) r(1153,1290) 
	  1 r(572,579) d(753) 
	  1 r(1162,437) a(1724,549) 
	  1 d(891) d(752) 
	  1 d(1172) r(432,443) 
	  1 d(891) r(424,411) 
	  1 d(1172) d(767) 
	  1 r(1133,456) d(1277) 
	  1 d(447) d(972) 
	  1 r(481,506) r(1117,738) 
	  1 a(394,1740) d(335) 
	  1 r(1162,437) r(759,1718) 
	  1 a(420,1139) r(878,758) 
search: generation 2 (sizeof one variant = 0.201723 MB)
	  1 r(1175,335) r(676,898) d(676) 
	  1 r(1729,1224) d(1279) d(655) 
	  1 a(424,1375) d(1284) a(1296,1313) 
	  1 a(420,1139) r(878,758) d(422) 
	  1 r(572,579) a(1290,772) 
	  1 r(1298,654) d(1163) d(976) a(1145,546) 
	  1 r(572,579) d(976) d(571) 
	  1 r(1298,654) d(1163) a(1294,1330) 
	  1 r(1133,456) d(1277) r(759,897) a(752,1735) 
	  1 r(1729,1224) d(972) 
	  1 r(1133,456) d(1277) r(445,1281) 
	  1 r(1729,1224) r(759,897) r(394,439) 
	  1 d(465) r(657,690) d(1707) 
	  1 d(1741) r(1104,1285) r(1715,1704) 
	  1 a(420,1139) r(878,758) a(1112,411) 
	  1 r(572,579) d(753) r(657,385) 
	  1 a(420,1139) r(878,758) d(1145) 
	  1 r(572,579) d(753) a(481,335) 
	  1 d(759) r(1707,1704) d(546) 
	  1 a(394,1740) d(440) d(438) 
	  1 a(394,1740) r(544,501) 
	  1 d(1741) r(1104,1285) a(1169,338) d(667) 
	  1 a(394,1740) a(1169,338) r(1126,1725) 
	  1 d(1741) r(1104,1285) r(1175,549) 
	  1 d(759) r(1707,1704) a(1287,1106) r(1127,1111) 
	  1 r(886,890) a(655,479) 
	  1 d(759) r(1707,1704) d(766) 
	  1 r(886,890) a(1287,1106) r(1697,1709) 
	  1 r(1729,1224) d(892) d(1707) 
	  1 a(1153,579) r(1147,978) a(412,422) 
	  1 r(1729,1224) d(892) a(1281,434) 
	  1 d(891) r(648,495) a(1696,1168) 
	  1 r(481,506) r(1117,738) d(422) 
	  1 a(394,1740) d(335) d(501) 
	  1 r(481,506) r(1117,738) d(763) 
	  1 a(394,1740) d(335) a(1373,434) 
	  1 r(1298,654) d(656) d(1297) 
	  1 r(1298,654) r(774,1116) a(1146,455) 
	  1 a(1153,579) r(1147,978) a(654,573) 
	  1 d(738) a(1717,1312) a(436,1175) 
	  1 r(1133,456) d(1277) d(1151) 
	  1 r(1275,1291) r(676,1125) r(1163,1289) 
	  1 r(1133,456) d(1277) r(763,1113) 
	  1 r(1275,1291) r(676,1125) r(485,543) 
	  1 r(1298,654) d(1731) d(656) 
	  1 d(465) r(657,690) r(510,443) 
	  1 a(1706,423) a(442,667) 
	  1 r(886,890) r(1162,407) r(1704,440) a(1117,506) 
	  1 a(1706,423) r(1704,440) r(1156,1289) 
	  1 r(886,890) r(1162,407) r(767,890) 
	  1 a(1126,1112) r(414,409) r(1281,1284) 
	  1 d(759) r(896,973) a(485,1742) 
	  1 a(1126,1112) r(896,973) r(765,756) 
	  1 d(759) r(414,409) r(1374,487) 
	  1 a(420,1139) r(878,758) a(1292,1171) 
	  1 d(759) d(770) d(1282) 
	  1 r(1298,654) d(772) r(446,440) 
	  1 d(759) r(414,409) d(1118) 
search: generation 3 (sizeof one variant = 0.202275 MB)
	  1 a(394,1740) d(440) d(438) d(1708) 
	  1 r(572,579) d(753) r(657,385) d(1710) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) 
	  1 a(394,1740) r(544,501) d(1297) 
	  1 r(1298,654) d(772) r(446,440) d(978) 
	  1 a(1126,1112) r(896,973) r(765,756) d(1741) 
	  1 r(1298,654) d(772) r(446,440) r(1114,1194) 
	  1 a(1126,1112) r(896,973) r(765,756) r(449,414) 
	  1 r(1729,1224) d(892) a(1175,1376) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) 
	  1 r(1729,1224) d(892) d(1707) d(1153) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(447) 
	  1 r(481,506) r(1175,549) r(1163,1112) 
	  1 d(1741) r(1104,1285) r(1117,738) d(763) r(574,550) 
	  1 r(481,506) r(1117,738) d(763) a(433,501) 
	  1 d(1741) r(1104,1285) r(1175,549) d(771) 
	  1 d(738) a(1717,1312) a(436,1175) a(1272,444) 
	  1 r(1133,456) d(1277) r(759,897) a(752,1735) r(755,772) 
	  1 r(1298,654) r(774,1116) r(1127,1111) r(573,768) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) 
	  1 r(1298,654) r(774,1116) a(1146,455) r(766,447) 
	  1 d(759) r(1707,1704) a(1287,1106) r(1127,1111) d(1153) 
	  1 r(1729,1224) d(892) a(898,1107) 
	  1 r(572,579) d(976) d(571) d(1707) d(407) 
	  1 r(1729,1224) d(892) d(1707) d(1106) 
	  1 r(572,579) d(976) d(571) r(1275,1147) 
	  1 r(1133,456) d(1277) r(445,1281) d(443) 
	  1 a(420,1139) r(878,758) a(1292,1171) r(1162,574) 
	  1 r(1729,1224) d(1163) a(1294,1330) a(1708,1139) 
	  1 r(1298,654) r(759,897) r(394,439) r(1288,1335) 
	  1 r(1729,1224) r(759,897) r(394,439) d(1708) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1287) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) 
	  1 d(759) a(1290,772) a(579,573) 
	  1 r(572,579) a(1290,772) d(1104) 
	  1 d(759) r(896,973) a(485,1742) r(973,972) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) 
	  1 a(1153,579) r(1147,978) r(432,433) 
	  1 r(1298,654) d(772) r(446,440) r(1337,979) 
	  1 a(1153,579) r(1147,978) a(412,422) r(665,1719) 
	  1 r(481,506) r(1117,738) d(422) d(1337) 
	  1 a(394,1740) d(335) d(501) d(434) 
	  1 a(394,1740) r(544,501) r(540,466) 
	  1 a(1706,423) r(1704,440) r(1156,1289) r(700,771) 
	  1 a(394,1740) r(544,501) r(1708,738) 
	  1 a(1706,423) r(1704,440) r(1156,1289) d(1295) 
	  1 r(886,890) d(656) a(1106,1148) 
	  1 r(1298,654) d(1731) a(655,479) r(387,1280) 
	  1 r(886,890) a(655,479) r(1125,1153) 
	  1 r(1298,654) d(1731) d(656) d(546) 
	  1 r(1729,1224) d(443) 
	  1 r(886,890) a(655,479) d(892) d(1707) a(973,448) 
	  1 r(1729,1224) d(892) d(1707) d(1741) 
	  1 r(886,890) a(655,479) d(656) 
	  1 r(1729,1224) d(972) r(1729,1379) 
	  1 r(886,890) r(1162,407) r(1704,440) a(1117,506) a(1158,1281) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(551) 
	  1 d(1741) r(1104,1285) r(1175,549) d(1373) 
	  1 a(1706,423) a(442,667) d(335) a(1373,434) d(579) 
	  1 a(394,1740) a(761,571) 
	  1 a(1706,423) a(442,667) a(414,577) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) 
	  1 a(394,1740) d(440) d(438) a(1742,1277) 
	  1 d(759) r(896,973) a(485,1742) d(757) 
search: generation 4 (sizeof one variant = 0.200717 MB)
	  1 r(886,890) a(1287,1106) r(1697,1709) d(551) d(442) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) a(1713,1703) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(551) a(1293,1163) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) r(653,1151) 
	  1 a(394,1740) d(335) r(1741,649) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(501) d(434) d(1722) 
	  1 a(394,1740) d(335) d(501) d(434) r(1174,1287) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) 
	  1 d(1741) r(1104,1285) r(1117,738) d(763) r(574,550) d(764) 
	  1 r(1729,1224) r(759,897) r(394,439) d(1708) a(667,750) 
	  1 r(1729,1224) d(892) d(1707) d(1153) d(765) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(762,1333) 
	  1 r(481,506) r(1117,738) d(763) a(433,501) d(1728) 
	  1 r(572,579) d(976) d(571) d(1707) d(407) d(979) 
	  1 d(1741) d(693) 
	  1 r(481,506) r(1117,738) d(422) d(1337) r(1104,1285) r(1175,549) d(1373) r(1284,1278) 
	  1 d(1741) r(1104,1285) r(1175,549) d(1373) a(1712,492) 
	  1 r(481,506) r(1117,738) d(422) d(1337) a(337,540) 
	  1 r(481,506) r(1117,738) d(422) d(1337) r(1728,700) 
	  1 a(1126,1112) r(896,973) r(765,756) r(449,414) d(648) 
	  1 r(1729,1224) d(892) d(1707) d(1741) r(649,764) 
	  1 a(394,1740) d(440) d(438) a(1742,1277) r(572,657) 
	  1 a(394,1740) r(446,440) d(978) a(1278,1696) 
	  1 r(1298,654) d(772) a(761,571) r(1111,1292) 
	  1 a(394,1740) a(761,571) r(1279,1224) 
	  1 r(1298,654) d(772) r(446,440) d(978) r(487,422) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) d(1105) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(1297) 
	  1 r(1298,654) d(772) r(446,440) d(978) a(656,1117) 
	  1 r(1729,1224) d(1163) a(1294,1330) a(1708,1139) r(1146,1298) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) r(896,973) a(485,1742) d(1718) d(440) 
	  1 r(572,579) a(420,418) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) a(1282,653) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) d(1163) 
	  1 r(1729,1224) d(443) r(1288,1145) 
	  1 d(759) r(896,973) a(485,1742) d(757) d(1281) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) 
	  1 r(1729,1224) d(892) r(755,769) 
	  1 r(1729,1224) d(892) a(1175,1376) d(750) 
	  1 r(1729,1224) d(892) a(1175,1376) a(978,750) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) 
	  1 a(1706,423) r(1704,440) r(649,506) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) a(1294,1295) 
	  1 a(1706,423) r(1704,440) r(1156,1289) d(1295) d(1175) 
	  1 a(394,1740) r(544,501) r(540,466) d(434) a(654,501) 
	  1 a(394,1740) d(335) d(501) r(1285,1108) 
	  1 a(394,1740) r(544,501) r(540,466) d(36) 
	  1 a(394,1740) d(335) d(501) d(434) d(1379) 
	  1 d(759) r(896,973) a(485,1742) r(973,972) r(1113,1282) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) 
	  1 r(572,579) d(976) d(571) d(1707) d(407) a(1729,434) 
	  1 a(394,1740) r(544,501) r(1708,738) r(889,892) 
	  1 a(1153,579) r(1147,978) r(432,433) a(1287,1106) r(1127,1111) d(1153) r(485,494) 
	  1 d(759) r(1707,1704) d(444) 
	  1 a(1153,579) r(1147,978) r(432,433) d(1729) 
	  1 d(759) r(1707,1704) a(1287,1106) r(1127,1111) d(1153) r(1277,1261) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(335) a(1373,434) r(1175,1112) a(412,416) 
	  1 a(394,1740) r(540,547) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) 
search: generation 5 (sizeof one variant = 0.203134 MB)
	  1 a(1153,579) r(1147,978) r(432,433) r(1704,440) r(1156,1289) d(1295) d(1175) d(706) 
	  1 a(1706,423) a(1287,1106) r(1127,1111) d(1153) r(485,494) d(1373) 
	  1 a(1153,579) r(1147,978) r(432,433) a(1287,1106) r(1127,1111) d(1153) r(485,494) d(1291) 
	  1 a(1706,423) r(1704,440) r(1156,1289) d(1295) d(1175) a(897,1107) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) d(1714) 
	  1 d(1741) d(693) r(386,437) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) 
	  1 d(1741) d(693) d(418) 
	  1 d(759) d(551) a(1293,1163) d(1719) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) 
	  1 d(759) r(896,973) a(485,1742) d(757) d(1281) d(1108) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(551) a(1293,1163) r(1704,897) 
	  1 d(1741) d(693) a(770,878) 
	  1 r(1298,654) d(772) a(761,571) r(1111,1292) d(978) 
	  1 a(394,1740) r(649,506) r(1378,1282) 
	  1 a(1706,423) r(1704,440) r(540,547) a(1709,1172) 
	  1 a(394,1740) r(540,547) r(1735,438) 
	  1 a(1706,423) r(1704,440) r(649,506) a(1157,1698) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) 
	  1 r(1729,1224) d(892) d(1707) d(771) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1713) 
	  1 r(1729,1224) d(892) d(1707) d(1741) r(649,764) a(1106,1294) 
	  1 r(1729,1224) d(1163) a(1294,1330) a(1708,1139) r(1146,1298) d(1726) 
	  1 r(1729,1224) d(892) r(755,769) d(974) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) d(1105) d(1372) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(501) d(434) d(1722) r(1286,1271) 
	  1 a(394,1740) d(335) d(501) r(1285,1108) a(485,1742) d(1718) r(577,1736) a(1290,1106) 
	  1 r(572,579) r(896,973) d(1738) 
	  1 a(394,1740) d(335) d(501) r(1285,1108) d(389) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) 
	  1 a(394,1740) d(335) d(1297) r(401,655) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(1297) d(892) 
	  1 a(394,1740) d(335) d(501) d(434) r(1174,1287) a(1735,487) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) 
	  1 d(759) r(1707,1704) d(444) r(1111,1292) r(1111,1115) 
	  1 r(1298,654) d(772) a(761,571) r(1111,1292) a(1728,507) 
	  1 d(759) r(1707,1704) d(444) d(1377) 
	  1 d(1741) d(693) d(1293) 
	  1 a(1153,579) r(1147,978) r(432,433) a(1287,1106) r(1127,1111) d(1153) r(485,494) r(977,897) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) 
	  1 a(394,1740) r(544,501) r(540,466) d(434) a(654,501) r(389,1148) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) d(444) r(887,885) 
	  1 d(759) r(1707,1704) r(653,1151) d(465) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) r(653,1151) d(1738) 
	  1 d(759) r(1707,1704) d(444) r(1376,698) 
	  1 d(759) r(1707,1704) d(772) r(446,440) d(978) r(487,422) r(1162,409) 
	  1 r(1298,654) d(444) d(770) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) 
	  1 r(1298,654) d(772) r(446,440) d(978) r(487,422) d(1277) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) 
	  1 a(1706,423) d(750) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1278,1276) 
	  1 a(1706,423) r(1704,440) r(649,506) r(449,337) 
	  1 a(1153,579) r(1147,978) r(432,433) a(1283,665) 
	  1 r(1298,654) d(772) r(446,440) d(978) a(656,1117) d(1729) d(1737) 
	  1 a(1153,579) r(1147,978) r(432,433) d(1729) r(572,750) 
	  1 r(1298,654) d(772) r(446,440) d(978) a(656,1117) r(1712,1700) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(466,455) 
	  1 a(1126,1112) r(896,973) r(765,756) r(449,414) d(648) r(1286,1374) 
	  1 a(394,1740) d(335) a(1373,434) d(36) d(548) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) a(1157,1740) 
	  1 a(394,1740) r(544,501) r(540,466) d(36) r(1722,544) 
	  1 a(1126,1112) r(896,973) r(765,756) r(449,414) d(648) r(751,757) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) d(1105) a(414,479) 
search: generation 6 (sizeof one variant = 0.205731 MB)
	  1 d(759) r(1707,1704) d(444) d(1377) r(466,455) d(653) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) d(1290) 
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(466,455) a(335,1708) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) r(577,1736) d(546) d(447) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(1148,1111) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) r(1172,698) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(974) r(387,1297) 
	  1 r(1729,1224) d(892) r(755,769) d(1281) d(419) r(443,424) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) d(759) 
	  1 r(1729,1224) d(892) r(755,769) d(974) a(1175,1297) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) d(1106) 
	  1 d(1741) d(693) a(770,878) d(1153) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) a(1725,1145) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(700,765) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) d(1714) d(483) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) a(1175,1376) a(1175,1376) d(1171) a(1104,733) r(418,420) 
	  1 r(1729,1224) d(892) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) a(1175,1278) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) a(1145,1740) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) 
	  1 r(1298,654) d(772) d(979) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) a(761,571) r(1111,1292) a(1728,507) d(1124) 
	  1 r(1298,654) d(772) a(761,571) r(1111,1292) a(1728,507) a(456,1107) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) 
	  1 d(759) d(551) a(1293,1163) d(1719) d(1133) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) 
	  1 a(1706,423) r(1704,440) r(649,506) r(449,337) a(897,970) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(886,549) 
	  1 a(1706,423) r(1704,440) r(649,506) r(449,337) d(446) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(385,665) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) d(751) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) d(1735) 
	  1 a(394,1740) d(335) a(1373,434) d(36) d(548) d(1115) 
	  1 a(394,1740) d(335) d(1297) r(401,655) d(885) 
	  1 r(572,579) r(896,973) d(1738) a(1740,1736) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(770) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) 
	  1 d(759) r(1707,1704) a(1287,1106) a(1146,455) d(1699) d(1105) a(414,479) a(763,416) 
	  1 r(1298,654) d(772) d(764) 
	  1 d(1741) d(693) a(770,878) a(761,571) a(405,766) a(1133,1297) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) r(1283,1286) 
	  1 d(1741) d(693) a(770,878) r(975,971) 
	  1 r(1298,654) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) d(1728) 
	  1 a(394,1740) d(772) a(761,571) a(405,766) a(1705,1374) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) a(442,405) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) r(1115,1113) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1278,1276) a(481,541) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1146,1374) 
	  1 d(759) r(1707,1704) d(444) d(1377) d(1156) 
	  1 a(1706,423) a(1287,1106) r(1127,1111) d(1153) r(485,494) d(1373) d(1717) 
	  1 d(759) d(551) a(1293,1163) d(1719) d(757) d(1281) d(1108) r(759,577) 
	  1 d(759) r(896,973) a(485,1742) r(1171,1114) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) 
	  1 d(759) r(896,973) a(485,1742) d(757) d(1281) d(1108) a(543,758) 
	  1 r(886,890) d(37) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) a(1158,465) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(1297,1174) 
	  1 a(1706,423) d(750) r(763,400) 
search: generation 7 (sizeof one variant = 0.203165 MB)
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(700,765) r(438,1271) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) d(1739) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(385,665) r(701,770) 
	  1 a(1706,423) r(1704,440) r(649,506) r(449,337) a(897,970) a(436,454) 
	  1 d(759) d(551) a(1293,1163) d(1719) d(36) d(548) d(1115) d(1292) 
	  1 a(394,1740) d(335) a(1373,434) r(507,480) d(480) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) 
	  1 a(394,1740) d(335) a(1373,434) d(36) d(548) d(1115) d(1278) 
	  1 r(1298,654) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) d(1728) d(1721) 
	  1 d(759) r(1707,1704) d(444) d(1377) d(1156) a(510,1272) 
	  1 r(1298,654) d(335) a(1373,434) r(1175,1112) a(541,448) a(773,655) d(1728) d(891) 
	  1 d(759) r(1707,1704) d(444) d(1377) d(1156) r(666,1726) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(974) r(387,1297) a(1295,1281) 
	  1 r(886,890) d(37) r(1736,1739) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) r(690,572) 
	  1 d(1741) d(693) a(770,878) a(761,571) a(405,766) a(1133,1297) d(1169) 
	  1 d(1741) d(693) a(770,878) a(761,571) a(405,766) a(1133,1297) a(1111,758) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) d(1106) r(436,442) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(1297,1139) 
	  1 r(886,890) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(1297,1174) r(977,975) 
	  1 r(886,890) d(506) 
	  1 d(1741) d(693) a(770,878) d(1153) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) d(1168) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) 
	  1 d(1741) d(693) a(770,878) d(1153) r(767,769) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(974) r(387,1297) r(1171,1114) d(706) 
	  1 d(759) r(896,973) a(485,1742) r(772,891) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(974) r(387,1297) d(592) 
	  1 d(759) r(896,973) a(485,1742) r(1171,1114) r(1696,481) 
	  1 d(759) a(1158,465) a(756,897) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) 
	  1 d(759) r(896,973) a(485,1742) r(1171,1114) d(738) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) a(1158,465) d(976) 
	  1 r(572,579) r(896,973) d(1738) a(1740,1736) a(1157,1291) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(385,665) r(541,1718) 
	  1 d(759) d(551) a(1293,1163) r(763,400) a(653,733) 
	  1 a(1706,423) d(750) d(1719) a(886,549) d(1294) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(886,549) d(975) 
	  1 a(1706,423) d(750) r(763,400) r(1169,1288) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(770) r(1722,1296) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) 
	  1 a(394,1740) r(544,501) r(540,466) r(466,455) a(335,1708) d(1728) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(1175,1112) a(541,448) a(1175,1163) d(405) r(750,1708) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(1161,1293) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(466,455) a(335,1708) d(675) 
	  1 d(759) d(405) d(754) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) d(482) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(761,420) 
	  1 d(759) r(1707,1704) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) r(1375,1739) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) 
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) d(1194) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) d(1285) 
	  1 a(394,1740) d(335) a(1373,434) a(485,1742) r(1171,1114) r(432,451) 
	  1 d(759) r(896,973) d(36) d(548) d(1115) r(699,675) 
	  1 a(394,1740) d(335) a(1373,434) d(36) d(548) d(1115) d(506) 
	  1 d(759) r(896,973) a(485,1742) r(1171,1114) d(36) 
	  1 a(394,1740) r(649,506) r(1378,1282) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(485,487) 
	  1 r(572,579) a(1298,1118) r(1298,656) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) d(1281) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) a(1145,1740) r(573,577) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) d(1735) r(695,443) 
search: generation 8 (sizeof one variant = 0.204906 MB)
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(761,420) d(690) 
	  1 d(759) r(896,973) a(485,1742) r(1171,1114) d(36) a(889,738) 
	  1 d(759) d(551) a(1293,1163) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(405,1311) 
	  1 d(759) d(1719) a(886,549) d(975) d(1706) 
	  1 d(759) d(551) a(1293,1163) d(1719) a(886,549) d(975) r(756,648) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) d(416) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) d(1739) r(1728,1115) 
	  1 a(394,1740) r(544,501) r(540,466) r(466,455) a(335,1708) d(1728) a(1726,1728) 
	  1 d(1741) d(693) a(770,878) d(1153) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) d(1168) r(405,1706) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(1292,1147) 
	  1 d(1741) d(693) a(770,878) a(761,571) a(405,766) a(1133,1297) d(1169) r(418,483) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(1291,1126) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(1161,1293) d(974) 
	  1 d(759) a(1158,465) a(756,897) d(433) 
	  1 d(759) r(1707,1704) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) r(1375,1739) a(439,432) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(974) r(387,1297) d(592) d(1704) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) a(1158,465) d(976) a(449,456) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(433,446) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) d(1106) r(436,442) a(1698,1696) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) d(750) 
	  1 a(394,1740) r(466,455) a(335,1708) d(675) r(675,434) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) d(1737) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) a(387,733) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(466,455) a(335,1708) d(675) a(1286,412) 
	  1 r(886,890) d(37) d(1377) a(1279,442) d(1194) a(693,1724) 
	  1 d(759) r(1707,1704) d(444) r(1736,1739) d(449) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) 
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) d(1194) a(1127,441) 
	  1 r(886,890) a(400,1698) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) a(1145,1740) r(573,577) d(506) d(752) 
	  1 r(886,890) d(506) a(1296,455) 
	  1 r(1298,654) d(772) r(446,440) a(412,422) r(409,485) r(1156,1289) d(1295) a(1152,1374) d(1741) r(649,764) d(975) a(1145,1740) r(573,577) d(770) 
	  1 a(394,1740) r(544,501) r(540,466) r(466,455) a(335,1708) d(1728) r(1706,1707) 
	  1 r(1729,1224) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) d(1285) r(442,546) 
	  1 a(1706,423) d(750) d(444) r(539,1105) d(654) d(482) a(1105,1125) 
	  1 d(759) r(1707,1704) d(1719) a(886,549) d(1294) a(1379,1162) 
	  1 a(1706,423) d(750) d(1719) a(886,549) d(1294) r(972,976) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) d(482) d(1285) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) d(1735) r(772,891) a(764,1703) 
	  1 d(759) r(896,973) a(485,1742) r(695,443) d(1697) 
	  1 r(1298,654) d(772) a(761,571) a(405,766) d(1735) r(695,443) d(481) 
	  1 d(759) r(896,973) a(485,1742) r(772,891) a(706,574) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) r(648,337) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) r(1281,1335) 
	  1 a(394,1740) d(335) d(444) d(1377) a(1279,442) r(1272,887) d(898) 
	  1 r(1729,1224) a(1373,434) a(485,1742) r(1171,1114) r(432,451) r(394,446) 
	  1 a(394,1740) d(335) a(1373,434) a(485,1742) r(1171,1114) r(432,451) r(414,468) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) d(763) 
	  1 d(759) a(1158,465) r(1378,1282) a(1298,1118) d(1281) d(764) 
	  1 a(394,1740) r(649,506) a(756,897) d(1718) 
	  1 d(759) a(1158,465) a(756,897) d(974) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) d(1281) d(1285) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) d(1106) r(436,442) d(1117) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(738,574) 
search: generation 9 (sizeof one variant = 0.204458 MB)
	  1 a(1706,423) d(750) d(444) r(539,1105) d(654) d(482) a(1105,1125) a(773,412) 
	  1 d(759) a(1158,465) r(1378,1282) a(1298,1118) d(1281) d(764) r(1377,1194) 
	  1 r(886,890) r(1161,1293) d(974) r(544,545) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) d(506) a(1296,455) r(1194,1374) 
	  1 r(886,890) d(506) a(1296,455) d(1118) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(1161,1293) d(974) r(978,979) 
	  1 a(1706,423) d(750) d(444) r(539,1105) d(654) d(482) a(1105,1125) r(1378,1282) a(1298,1118) d(1281) d(1285) r(755,698) 
	  1 a(394,1740) r(649,506) r(1714,492) 
	  1 a(1706,423) d(750) d(444) r(539,1105) d(654) d(482) a(1105,1125) r(1288,1224) 
	  1 a(394,1740) r(649,506) r(1378,1282) a(1298,1118) d(1281) d(1285) d(1297) 
	  1 a(394,1740) d(1221) r(466,455) a(335,1708) d(675) a(1286,412) r(1294,1125) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) r(544,501) r(540,466) r(466,455) a(335,1708) d(1728) a(1726,1728) r(975,972) 
	  1 a(394,1740) r(544,501) r(540,466) r(466,455) a(335,1708) d(1728) a(1726,1728) d(480) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(466,455) a(335,1708) d(675) a(1286,412) d(457) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) d(1295) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) a(1158,465) d(976) a(449,456) d(1706) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) d(1737) a(444,878) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) r(648,337) a(1286,695) 
	  1 a(394,1740) d(335) a(1373,434) a(485,1742) r(1171,1114) r(432,451) r(1292,1147) r(411,1376) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(414,468) r(690,510) 
	  1 a(394,1740) d(335) a(1373,434) a(485,1742) r(1171,1114) r(432,451) r(414,468) r(418,539) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(1292,1147) r(648,1113) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) a(1715,394) r(436,443) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) d(1716) a(738,574) d(572) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(738,574) r(772,649) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) a(1281,1379) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) a(551,758) 
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) d(1194) a(1127,441) d(1126) 
	  1 a(1706,423) d(750) a(1739,387) 
	  1 r(886,890) d(506) a(1296,455) a(1287,1106) d(1106) r(436,442) a(1715,394) r(434,667) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) r(419,433) 
	  1 r(886,890) d(506) a(1296,455) d(1169) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) d(482) d(1285) d(1724) 
	  1 d(759) r(1707,1704) d(892) a(1175,1376) a(1175,1376) d(1171) a(1104,733) d(424) r(1375,1739) a(439,432) r(1272,537) 
	  1 a(1706,423) d(1704) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(1292,1147) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) d(405) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) d(1172) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(1292,1147) a(657,764) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(1291,1126) r(577,550) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) d(768) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) d(414) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) d(405) r(1161,1293) d(974) d(885) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) a(440,1175) 
	  1 d(759) d(551) a(1293,1163) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(405,1311) a(750,416) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) d(1704) 
	  1 a(394,1740) r(544,501) r(1174,1287) d(418) d(1106) r(436,442) d(1117) d(675) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) d(1106) r(436,442) d(1117) r(750,1285) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) r(1711,1701) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(507,480) d(1716) a(738,574) d(485) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(1171,1114) r(439,1333) r(433,446) r(1706,1719) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(433,446) r(1287,1337) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(738,574) r(666,1175) 
	  1 r(886,890) d(37) d(1377) a(1279,442) r(1272,887) d(763) d(771) 
	  1 r(1729,1224) d(444) r(1736,1739) r(337,1737) d(975) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) r(466,457) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) d(763) d(1735) 
	  1 a(394,1740) r(466,455) a(335,1708) a(400,1698) r(655,1127) 
	  1 r(886,890) d(675) r(675,434) r(442,1158) 
	  1 a(394,1740) r(466,455) a(335,1708) d(675) r(675,434) r(1372,1156) 
	  1 r(886,890) a(400,1698) r(1118,1294) 
	  1 r(886,890) a(400,1698) a(485,1742) r(695,443) d(1697) r(1727,483) 
	  1 d(759) r(896,973) r(765,759) 
	  1 r(886,890) a(400,1698) d(878) 
	  1 d(759) r(896,973) a(485,1742) r(695,443) d(1697) d(1709) 
search: generation 10 (sizeof one variant = 0.204332 MB)
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) d(1194) a(1127,441) d(1126) d(447) 
	  1 r(886,890) d(675) r(675,434) r(442,1158) r(1725,1731) 
	  1 a(394,1740) r(466,455) a(335,1708) a(1373,434) r(1175,1112) d(1221) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) d(1737) a(444,878) d(772) 
	  1 a(394,1740) d(335) d(675) r(675,434) r(1372,1156) d(1722) 
	  1 a(394,1740) r(466,455) a(335,1708) d(675) r(675,434) r(1372,1156) r(400,492) 
	  1 a(394,1740) d(335) a(1373,434) r(1175,1112) d(1221) r(649,506) r(1378,1282) a(1298,1118) r(1283,1174) d(1737) a(444,878) d(1701) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) d(768) r(898,975) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(1291,1126) r(577,550) a(1116,1335) 
	  1 a(1706,423) d(750) a(1287,1106) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) d(1295) r(1116,1161) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) d(1106) r(436,442) a(1715,394) r(419,433) d(759) 
	  1 a(1706,423) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) r(419,433) a(1162,1330) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) d(1295) a(441,457) 
	  1 r(1298,654) d(1163) a(400,1698) d(878) a(423,337) 
	  1 r(886,890) a(1294,1330) d(1221) d(501) d(434) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) d(1704) r(1277,1104) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) d(1704) d(654) 
	  1 r(886,890) a(400,1698) d(878) a(433,738) 
	  1 r(886,890) d(675) r(675,434) r(442,1158) r(1715,1720) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) d(414) r(1145,770) 
	  1 d(759) r(1707,1704) d(444) r(539,1105) d(654) d(482) d(1285) d(1724) a(760,648) 
	  1 a(394,1740) r(649,506) r(1714,492) a(1372,411) 
	  1 r(886,890) d(506) a(1296,455) d(1169) d(394) d(414) r(1711,1701) a(1379,1114) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(1286) 
	  1 r(886,890) d(506) a(1296,455) d(1169) a(545,1162) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) r(1711,1701) d(1113) 
	  1 a(1706,423) d(1704) d(432) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(414) r(1711,1701) d(1290) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) r(436,442) a(1715,394) r(434,667) r(1708,400) 
	  1 r(886,890) d(506) a(1296,455) a(1287,1106) d(1106) r(648,337) a(1286,695) d(892) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) r(648,337) a(1286,695) d(1738) 
	  1 r(886,890) d(506) a(1296,455) a(1287,1106) d(1106) r(436,442) a(1715,394) r(434,667) r(1294,1297) 
	  1 a(1706,423) d(750) a(1287,1106) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(1171,1114) r(439,1333) r(1291,1126) r(577,550) r(769,738) 
	  1 r(1298,654) d(1163) a(1294,1330) d(1221) d(501) d(434) r(1174,1287) d(418) r(1697,1709) d(1707) r(773,436) d(1736) r(1704,440) r(649,506) a(1722,1373) r(896,973) a(485,1742) r(507,480) d(1716) a(738,574) d(485) r(675,700) 
	  1 d(759) d(551) a(1293,1163) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(405,1311) a(750,416) a(446,444) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(1171,1114) r(439,1333) r(433,446) r(1706,1719) a(1703,654) 
	  1 r(886,890) r(507,480) d(1716) a(738,574) r(666,1175) d(1696) 
	  1 d(759) d(551) a(1293,1163) d(1719) d(37) r(1736,1739) r(337,1737) r(466,457) r(760,573) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) r(466,457) a(890,1277) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(738,574) r(666,1175) d(977) 
	  1 d(759) d(551) a(1293,1163) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(405,1311) a(750,416) a(655,690) 
	  1 r(886,890) a(1287,1106) r(1697,1709) r(896,973) a(485,1742) d(757) d(1281) d(419) r(753,762) r(411,1721) r(1292,1147) d(750) a(1287,1106) d(1106) r(436,442) a(1715,394) d(405) a(1115,1373) 
	  1 a(394,1740) r(544,501) r(540,466) r(1175,1112) a(541,448) a(1175,1163) r(1707,1704) d(444) r(539,1105) d(654) d(394) d(1221) d(1295) d(970) 
	  1 d(759) r(896,973) a(485,1742) r(695,443) d(1697) d(1709) a(337,766) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) a(1729,1731) 
	  1 r(886,890) r(1161,1293) d(974) r(544,545) d(763) d(1735) a(889,479) 
	  1 r(1729,1224) d(444) d(1377) a(1279,442) r(1272,887) d(763) d(1735) d(1717) 
	  1 r(886,890) r(1161,1293) d(974) r(544,545) d(446) 
	  1 r(886,890) a(400,1698) a(485,1742) r(695,443) d(1697) r(1727,483) d(1705) 
	  1 d(759) r(1707,1704) d(444) d(1377) a(1279,442) d(1194) a(1127,441) d(1126) r(539,1293) 
	  1 a(394,1740) r(649,506) r(1714,492) r(1379,1117) 
	  1 d(759) d(551) a(1293,1163) d(1719) r(507,480) d(1716) a(738,574) r(666,1175) r(763,976) 
	  1 r(886,890) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) a(551,758) d(1722) 
	  1 r(572,579) r(896,973) a(485,1742) d(37) r(1736,1739) r(337,1737) d(768) r(1153,1224) 
	  1 r(886,890) d(37) r(1736,1739) r(337,1737) d(768) d(449) 
	  1 r(572,579) r(896,973) a(485,1742) d(1718) r(577,1736) d(546) a(977,1276) r(698,577) r(772,978) a(551,758) d(975) 
	  1 a(394,1740) r(544,501) r(1174,1287) d(418) d(1106) r(436,442) d(1117) d(675) r(1736,1735) 
	  1 a(394,1740) d(335) a(1373,434) a(485,1742) r(1171,1114) r(432,451) r(1292,1147) r(411,1376) a(447,733) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1275
"Test Suite Evaluations": 318.75

Compile Failures: 0
Wall-Clock Seconds Elapsed: 857.688
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.288 = 0.054711%
  compile                             645 150.572 = 28.5619%
  test                               1277 376.316 = 71.3833%
  TOTAL                                   527.176 = 61.4642% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:53:08 EDT 2013
shutting down
