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 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-112-190-155 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:39 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/tmpbd81fb.c /tmp/tmpb52058.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 = 4.91562)
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.0111189 MB)
	  1 r(1706,1163) 
	  1 r(434,1716) 
	  1 r(1716,1703) 
	  1 r(1740,1738) 
	  1 d(422) 
	  1 r(1739,1733) 
	  1 d(977) 
	  1 r(1118,859) 
	  1 r(642,1108) 
	  1 a(1149,1330) 
	  1 a(871,1299) 
	  1 d(1723) 
	  1 r(1293,1299) 
	  1 d(700) 
	  1 d(687) 
	  1 d(1281) 
	  1 a(1705,593) 
	  1 r(444,433) 
	  1 d(1162) 
	  1 r(611,892) 
	  1 d(701) 
	  1 r(854,831) 
	  1 d(648) 
	  1 a(448,580) 
	  1 r(418,647) 
	  1 r(768,554) 
	  1 d(1292) 
	  1 a(1158,434) 
	  1 d(1082) 
	  1 r(1158,1128) 
	  1 d(754) 
	  1 a(1741,602) 
	  1 d(691) 
	  1 r(1281,1103) 
	  1 d(663) 
	  1 r(1034,1056) 
	  1 r(1149,1279) 
	  1 a(676,455) 
	  1 d(1373) 
	  1 original
search: generation 1 (sizeof one variant = 0.199444 MB)
	  1 r(642,1108) a(808,768) 
	  1 r(434,1716) a(888,551) 
	  1 r(642,1108) d(1272) 
	  1 r(434,1716) d(642) 
	  1 d(648) d(898) 
	  1 r(1158,1128) d(434) 
	  1 a(1158,434) d(1380) 
	  1 r(434,1716) d(1373) 
	  1 a(1158,434) r(752,573) 
	  1 r(434,1716) d(661) 
	  1 d(1723) a(1051,1148) 
	  1 r(1293,1299) r(1723,1295) 
	  1 r(854,831) d(694) 
	  1 r(1293,1299) r(810,811) 
	  1 r(854,831) d(437) 
	  1 r(1293,1299) r(694,511) 
	  1 a(871,1299) d(1273) 
	  1 r(1716,1703) d(1152) 
	  1 a(871,1299) d(1115) 
	  1 r(1716,1703) a(866,812) 
	  1 d(687) r(1285,1173) 
	  1 r(1739,1733) d(466) 
	  1 d(687) d(1286) 
	  1 r(1739,1733) r(1738,1739) 
	  1 d(1292) r(418,1714) 
	  1 d(1082) d(1290) 
	  1 d(1292) r(1711,1723) 
	  1 d(1082) d(1699) 
	  1 d(691) d(1116) 
	  1 d(687) a(893,806) 
	  1 d(691) r(1722,1714) 
	  1 d(687) d(1172) 
	  1 r(434,1716) r(977,972) 
	  1 r(768,554) a(856,869) 
	  1 r(434,1716) r(1140,444) 
	  1 r(768,554) a(1126,431) 
	  1 r(854,831) a(668,756) 
	  1 r(1034,1056) d(1127) 
	  1 d(648) r(420,441) 
	  1 a(448,580) r(1738,1735) 
	  1 d(1373) r(700,667) 
	  1 r(854,831) d(389) 
	  1 d(663) a(1715,538) 
	  1 a(1705,593) a(1698,1377) 
	  1 r(1158,1128) a(1705,400) 
	  1 r(1118,859) r(1112,1288) 
	  1 r(1158,1128) d(979) 
	  1 r(1118,859) r(386,417) 
	  1 a(1158,434) r(424,335) 
	  1 d(977) d(1379) 
	  1 a(1158,434) d(421) 
	  1 d(977) d(36) 
	  1 r(1293,1299) d(761) 
	  1 d(700) r(1163,1740) 
	  1 r(1293,1299) r(888,892) 
	  1 d(700) d(699) 
	  1 r(1293,1299) a(389,335) 
	  1 d(1162) r(445,455) 
	  1 r(1293,1299) r(1338,1017) 
	  1 d(1162) r(337,1711) 
	  1 d(1373) d(1162) 
	  1 a(676,455) a(435,551) 
	  1 d(1373) d(1699) 
	  1 a(676,455) d(832) 
	  1 d(1082) d(421) 
	  1 r(1118,859) d(629) 
search: generation 2 (sizeof one variant = 0.200026 MB)
	  1 a(676,455) d(832) a(812,806) 
	  1 r(854,831) a(668,756) r(1377,1294) 
	  1 r(854,831) a(668,756) r(897,973) 
	  1 d(687) d(1172) a(1700,431) 
	  1 d(1373) d(1699) d(385) 
	  1 r(1716,1703) d(1152) d(1159) 
	  1 d(1082) d(1290) d(808) 
	  1 d(977) d(36) d(1153) 
	  1 d(687) r(1285,1173) d(1051) 
	  1 r(1293,1299) r(1723,1295) r(418,765) 
	  1 d(977) a(1107,734) 
	  1 r(1293,1299) r(810,811) d(1379) r(1284,1094) 
	  1 d(977) d(1379) a(385,444) 
	  1 r(1293,1299) r(810,811) r(874,864) 
	  1 r(768,554) r(424,335) d(1741) 
	  1 a(1158,434) a(1126,431) a(1108,1377) 
	  1 r(768,554) a(1126,431) a(1148,1730) 
	  1 a(1158,434) r(424,335) d(1293) 
	  1 d(977) r(1285,1173) a(1175,1736) 
	  1 d(687) d(1379) d(338) 
	  1 d(977) d(1379) d(1297) 
	  1 d(687) r(1285,1173) r(338,1716) 
	  1 a(871,1299) d(1115) d(886) 
	  1 a(871,1299) d(1115) d(808) 
	  1 a(871,1299) d(1115) r(1282,1333) 
	  1 a(871,1299) d(1115) d(620) 
	  1 r(1293,1299) a(389,335) d(1278) 
	  1 d(1373) r(700,667) a(1146,438) 
	  1 a(448,580) r(1738,1735) d(1278) 
	  1 r(1293,1299) d(761) d(1116) 
	  1 a(448,580) r(1738,1735) r(37,36) 
	  1 r(1293,1299) d(761) a(1057,418) 
	  1 r(434,1716) d(1373) r(338,795) 
	  1 d(687) d(1286) r(791,779) 
	  1 d(1373) d(1162) a(888,551) a(897,439) 
	  1 r(434,1716) d(1295) 
	  1 d(1373) d(1162) d(769) 
	  1 r(434,1716) a(888,551) a(1708,479) 
	  1 d(691) d(1116) d(1297) 
	  1 d(1082) d(421) a(876,555) 
	  1 a(676,455) a(435,551) d(1734) 
	  1 r(1739,1733) r(1738,1739) a(1742,551) 
	  1 d(691) r(1722,1714) a(768,1699) 
	  1 d(687) r(1285,1173) r(448,762) 
	  1 d(691) r(1722,1714) a(899,602) 
	  1 d(687) r(1285,1173) a(1716,1728) 
	  1 r(434,1716) r(977,972) a(892,611) 
	  1 r(768,554) a(856,869) r(1106,1158) 
	  1 r(1158,1128) a(1705,400) d(1172) a(753,775) 
	  1 d(687) d(1146) 
	  1 r(1158,1128) a(1705,400) d(1057) 
	  1 d(687) d(1172) a(335,434) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) 
	  1 d(691) a(1705,1176) 
	  1 d(1373) d(1162) r(893,888) 
	  1 d(691) r(1722,1714) r(444,409) 
	  1 a(676,455) r(978,979) 
	  1 r(854,831) d(437) d(832) d(978) 
	  1 a(676,455) d(832) d(757) 
	  1 r(854,831) d(437) r(389,974) 
search: generation 3 (sizeof one variant = 0.200786 MB)
	  1 r(768,554) d(1115) r(1282,1333) d(1376) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) 
	  1 r(768,554) r(424,335) d(1741) r(1373,1273) 
	  1 a(871,1299) d(1115) r(1282,1333) a(1149,507) 
	  1 a(871,1299) d(1115) d(620) a(446,335) 
	  1 a(871,1299) d(1115) d(808) d(335) 
	  1 r(768,554) a(1126,431) a(1148,1730) r(765,697) 
	  1 a(676,455) d(832) a(812,806) r(696,810) 
	  1 d(687) d(1172) a(1700,431) d(389) 
	  1 r(1293,1299) a(389,335) d(1278) d(1295) 
	  1 r(768,554) a(856,869) r(1106,1158) a(441,443) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) 
	  1 r(768,554) r(424,335) d(1741) d(1146) r(387,1117) 
	  1 d(687) d(1722) 
	  1 r(768,554) r(424,335) d(1741) d(389) 
	  1 d(687) d(1146) a(897,755) 
	  1 d(1082) d(1290) d(808) d(1737) 
	  1 a(448,580) r(1738,1735) r(37,36) a(1152,575) 
	  1 a(676,455) d(769) a(1164,1169) 
	  1 d(1373) d(1162) r(978,979) r(578,451) 
	  1 a(676,455) r(978,979) d(1738) 
	  1 d(1373) d(1162) d(769) a(892,387) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) 
	  1 r(434,1716) a(888,551) d(1140) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) a(1708,479) r(887,892) 
	  1 r(434,1716) a(888,551) a(1708,479) a(972,1375) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) a(691,690) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) 
	  1 r(1739,1733) r(1738,1739) a(1742,551) d(1706) 
	  1 d(1082) d(421) d(1152) d(1159) r(763,420) 
	  1 r(1716,1703) a(876,555) r(1285,1277) 
	  1 d(1082) d(421) a(876,555) r(650,501) 
	  1 r(1716,1703) d(1152) d(1159) a(1721,654) 
	  1 r(768,554) a(856,869) r(1106,1158) r(870,867) 
	  1 r(1293,1299) d(761) d(1116) d(806) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) 
	  1 r(1293,1299) d(761) d(1116) a(455,495) 
	  1 d(977) d(36) d(1153) d(437) r(389,974) d(1116) 
	  1 r(854,831) d(446) 
	  1 d(977) d(36) d(1153) a(1722,405) 
	  1 r(854,831) d(437) r(389,974) d(449) 
	  1 r(1293,1299) d(761) a(1057,418) d(1104) 
	  1 r(1293,1299) r(810,811) d(1379) r(1284,1094) r(977,974) 
	  1 r(768,554) a(1126,431) a(1711,629) 
	  1 r(434,1716) d(1295) a(1148,1730) d(1222) 
	  1 r(768,554) a(1126,431) a(1148,1730) r(418,697) 
	  1 r(434,1716) d(1295) r(1720,1723) 
	  1 r(854,831) d(1115) d(808) r(335,1281) 
	  1 a(871,1299) d(437) r(389,974) d(440) 
	  1 r(854,831) d(437) r(389,974) d(655) 
	  1 a(871,1299) d(1115) d(808) r(1112,1104) 
	  1 r(1293,1299) r(810,811) r(874,864) d(1056) 
	  1 d(687) r(1285,1173) r(448,762) d(979) 
	  1 d(687) r(1285,1173) a(1716,1728) d(757) 
	  1 d(977) d(36) d(1153) r(758,1290) 
	  1 d(687) r(1285,1173) a(1716,1728) r(1380,409) 
	  1 d(687) d(1379) d(338) r(850,828) 
search: generation 4 (sizeof one variant = 0.202153 MB)
	  1 r(1739,1733) r(1738,1739) a(1742,551) d(1706) r(1737,1738) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) 
	  1 d(977) d(36) d(1153) d(437) r(389,974) d(1116) a(831,416) 
	  1 r(1293,1299) r(810,811) r(874,864) d(1056) d(886) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) a(1157,691) 
	  1 r(1293,1299) d(761) d(1116) d(806) d(1277) 
	  1 d(687) d(1146) a(897,755) r(335,1703) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) a(667,688) 
	  1 r(768,554) r(424,335) d(1741) d(389) d(1110) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) d(433) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1376) r(1118,1332) 
	  1 r(768,554) d(1115) r(696,810) a(1738,812) 
	  1 a(676,455) d(832) a(812,806) r(696,810) a(1739,1699) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) 
	  1 d(1082) d(421) d(1152) d(1159) r(763,420) r(337,645) 
	  1 r(1293,1299) r(810,811) d(1379) r(1284,1094) r(977,974) r(1157,1172) 
	  1 r(768,554) a(1126,431) a(1148,1730) r(765,697) a(886,893) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(668,443) 
	  1 a(676,455) r(448,762) d(979) d(1134) 
	  1 d(687) r(1285,1173) d(769) a(1164,1169) r(1154,1289) 
	  1 a(676,455) d(769) a(1164,1169) d(1276) 
	  1 d(687) r(1285,1173) r(448,762) d(979) d(578) 
	  1 d(1082) d(421) a(876,555) r(650,501) a(699,886) 
	  1 d(1373) d(1162) r(978,979) r(578,451) a(1176,1172) 
	  1 r(1293,1299) a(389,335) d(1115) r(1282,1333) a(1149,507) a(1738,444) 
	  1 a(871,1299) d(1278) d(1295) a(1283,1706) 
	  1 r(1293,1299) a(389,335) d(1278) d(1295) r(655,411) 
	  1 a(871,1299) d(1115) r(1282,1333) a(1149,507) r(763,422) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) d(769) a(1164,1169) a(449,694) 
	  1 a(676,455) d(769) a(1164,1169) a(764,1374) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) a(1708,479) r(887,892) d(760) 
	  1 r(1716,1703) d(1152) d(1159) a(1721,654) d(1728) 
	  1 r(854,831) d(1115) d(808) r(335,1281) r(1710,1701) 
	  1 r(768,554) a(856,869) r(1106,1158) d(808) r(1112,1104) d(1711) 
	  1 a(871,1299) d(1115) r(870,867) r(752,697) 
	  1 r(768,554) a(856,869) r(1106,1158) r(870,867) d(1140) 
	  1 a(871,1299) d(1115) d(808) r(1112,1104) r(1742,1153) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) 
	  1 r(1293,1299) r(810,811) r(874,864) r(1373,1273) a(703,1173) 
	  1 r(768,554) r(424,335) d(1741) r(1373,1273) r(1114,1290) 
	  1 r(1293,1299) r(810,811) r(874,864) d(1056) r(1116,1280) 
	  1 r(768,554) a(856,869) d(1112) 
	  1 a(676,455) d(769) a(1164,1169) r(1106,1158) d(878) d(602) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) a(572,1699) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) d(699) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) d(1104) r(696,869) 
	  1 r(1293,1299) r(1699,335) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1104,1725) 
	  1 r(1293,1299) d(761) a(1057,418) d(1104) a(1287,441) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) d(620) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) a(442,1273) 
search: generation 5 (sizeof one variant = 0.201811 MB)
	  1 r(768,554) a(856,869) r(1106,1158) d(878) a(442,1273) r(978,897) 
	  1 a(871,1299) d(1115) r(870,867) r(752,697) r(1172,1118) 
	  1 a(676,455) d(832) a(812,806) r(696,810) a(1739,1699) d(1698) 
	  1 d(687) r(1285,1173) d(769) a(1164,1169) r(1154,1289) r(978,897) 
	  1 d(1082) d(421) d(1152) d(1159) r(763,420) r(337,645) r(1278,694) 
	  1 r(854,831) d(1115) d(808) r(335,1281) r(1710,1701) a(1732,1108) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) d(1162) 
	  1 d(1082) d(421) d(1152) d(1159) r(763,420) r(337,645) a(1169,447) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) 
	  1 a(871,1299) d(1278) d(1295) a(1283,1706) d(1697) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) 
	  1 r(854,831) d(437) a(1739,1699) a(1148,774) 
	  1 a(676,455) d(832) a(812,806) r(696,810) a(1739,1699) d(973) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) a(433,417) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) d(1104) r(696,869) d(1164) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) 
	  1 r(854,831) d(1115) d(808) r(335,1281) r(1710,1701) r(1103,485) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) d(699) d(1379) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) a(878,657) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1054) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) a(1293,1334) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(1297) 
	  1 r(768,554) r(424,335) d(1741) r(1373,1273) r(1114,1290) r(1380,1716) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) 
	  1 r(1293,1299) a(389,335) d(1278) d(1295) r(655,411) d(892) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) d(1278) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) a(1157,691) r(756,773) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) d(1055) 
	  1 r(768,554) r(424,335) d(1741) d(389) d(1110) r(886,770) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) 
	  1 r(1739,1733) r(1738,1739) a(1104,1725) r(1273,1742) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1104,1725) d(1162) 
	  1 r(1739,1733) r(1738,1739) a(1742,551) d(1706) r(1737,1738) d(812) 
	  1 a(871,1299) r(1282,1333) d(1376) a(1083,1377) a(755,338) 
	  1 r(768,554) d(1115) r(424,335) d(1741) r(1114,1293) d(620) a(1714,545) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) d(620) d(1374) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) d(1278) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) 
	  1 r(768,554) a(856,869) r(1106,1158) d(808) r(1112,1104) d(1711) d(1376) r(1118,1332) r(897,975) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1376) r(1118,1332) d(1709) 
	  1 r(768,554) a(856,869) r(1106,1158) d(808) r(1112,1104) d(1711) r(886,550) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(1375,1721) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) d(447) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(856,868) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(466,1277) 
	  1 d(977) r(1285,1173) d(1162) r(1722,1714) d(1730) a(1708,479) r(887,892) d(760) d(1713) 
	  1 d(1373) a(1175,1736) d(1262) d(1731) d(1735) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) 
	  1 d(1373) d(1162) r(1722,1714) d(1730) a(1708,479) r(887,892) d(760) r(864,854) 
	  1 a(676,455) d(832) a(812,806) r(696,810) a(1739,1699) d(1148) 
	  1 a(676,455) d(832) a(812,806) r(696,810) a(1739,1699) r(1134,1295) 
search: generation 6 (sizeof one variant = 0.202441 MB)
	  1 r(768,554) r(978,897) d(1173) 
	  1 d(687) r(1285,1173) d(769) a(1164,1169) r(1154,1289) r(424,335) d(1741) d(1154) d(971) r(422,451) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) d(694) 
	  1 d(687) r(1285,1173) d(769) a(1164,1169) r(1154,1289) r(978,897) d(766) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) a(407,739) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) r(1296,1331) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) r(765,654) 
	  1 r(1739,1733) r(1738,1739) a(1104,1725) r(1273,1742) a(465,548) 
	  1 a(676,455) d(1273) r(643,663) a(1723,1374) 
	  1 a(676,455) d(769) a(1164,1169) d(769) a(1164,1169) d(1273) a(1725,454) a(1106,1225) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) d(1157) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) d(438) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) a(878,657) a(1080,793) 
	  1 r(768,554) a(856,869) d(445) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) d(1278) r(1106,1158) d(808) r(1112,1104) d(1711) r(886,550) d(754) 
	  1 r(768,554) a(856,869) r(1106,1158) d(808) r(1112,1104) d(1711) r(886,550) d(808) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) d(1278) r(762,1697) 
	  1 a(676,455) d(1297) d(1280) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(448) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(1297) d(1707) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(763,1280) 
	  1 r(854,831) d(1115) d(808) d(1104) r(696,869) d(1164) r(892,891) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) r(335,1281) r(1710,1701) r(1103,485) r(811,792) 
	  1 r(854,831) d(1115) d(808) r(335,1281) r(1710,1701) r(1103,485) a(447,775) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) d(1104) r(696,869) d(1164) d(762) 
	  1 d(687) r(1285,1173) d(769) a(1164,1169) r(1154,1289) r(978,897) d(386) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) d(1287) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1054) d(593) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) d(620) d(1374) r(420,437) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(417,1126) 
	  1 r(768,554) a(856,869) r(1106,1158) d(808) r(1112,1104) d(1711) d(1376) r(1118,1332) r(897,975) r(809,810) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) d(1278) r(648,769) r(1115,1289) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(980,977) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) d(1278) a(1741,763) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) d(1742) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) d(1055) a(654,1729) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) a(1157,691) r(756,773) a(1117,1293) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(1297) d(1297) 
	  1 r(768,554) a(856,869) a(642,696) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) a(442,1273) r(978,897) r(1738,1734) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) d(441) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(1732) a(419,774) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) r(1126,1149) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) d(668) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) r(1739,1733) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(1375,1721) a(455,580) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) d(1278) a(464,620) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(1375,1721) r(1338,1282) 
search: generation 7 (sizeof one variant = 0.202697 MB)
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) d(1157) r(444,480) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) 
	  1 r(854,831) d(1115) d(808) r(335,1281) r(1710,1701) r(1103,485) a(447,775) a(432,432) 
	  1 r(768,554) d(1115) r(1282,1333) d(1376) a(1083,1377) d(1278) r(648,769) r(1115,1289) r(1147,1091) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) r(1126,1149) r(1159,1113) 
	  1 a(676,455) d(1297) d(1280) d(1276) 
	  1 a(871,1299) r(887,886) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) r(424,335) d(1741) r(1114,1293) d(620) d(1374) r(420,437) a(1739,455) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) d(620) d(1374) r(420,437) d(1293) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) d(870) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(1375,1721) r(1338,1282) d(971) r(765,654) r(668,806) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(400) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(1375,1721) r(1338,1282) r(874,871) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) r(765,654) d(1169) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) a(386,548) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) r(1723,539) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) a(765,677) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) d(1157) a(645,1736) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) a(878,657) a(1080,793) a(978,556) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) a(878,657) a(1080,793) d(1051) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) r(1739,1733) a(1195,1107) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) 
	  1 a(676,455) r(424,335) d(1741) d(1154) d(971) r(765,654) r(1060,1054) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) r(765,654) r(1112,1158) 
	  1 a(676,455) d(1273) r(643,663) a(1723,1374) a(1149,1157) 
	  1 a(676,455) r(578,899) a(1157,691) r(756,773) a(1117,1293) d(449) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) r(643,663) d(878) d(650) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) a(1157,691) r(756,773) a(1117,1293) d(602) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) d(668) d(36) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) r(1739,1733) r(1057,1081) 
	  1 r(768,554) r(978,897) d(1173) r(1108,766) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) a(876,446) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(432) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(1281) 
	  1 r(854,831) d(437) r(389,974) r(1126,1149) d(1164) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) d(655) r(434,547) r(755,662) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) r(1126,1149) r(806,1723) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) d(438) d(1711) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) r(1296,1331) r(407,868) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) d(441) a(394,774) 
	  1 a(676,455) d(769) a(1164,1169) d(769) a(1164,1169) d(1273) a(1725,454) a(1106,1225) r(668,401) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) d(1104) r(696,869) d(1164) d(762) r(1741,542) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) r(971,975) d(1734) a(753,771) r(401,668) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) d(1104) r(696,869) d(1164) d(762) r(1294,1101) 
	  1 r(768,554) a(856,869) d(445) r(580,509) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) d(1055) a(654,1729) r(667,701) 
	  1 a(871,1299) r(424,335) d(1741) r(1114,1293) d(620) d(1374) r(420,437) r(433,443) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(1732) a(419,774) r(645,577) 
search: generation 8 (sizeof one variant = 0.20233 MB)
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) 
	  1 a(676,455) r(578,899) a(1157,691) r(756,773) a(1117,1293) d(449) d(797) 
	  1 r(1716,1703) r(643,663) d(878) d(650) r(867,850) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(755) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) r(643,663) d(878) d(650) a(676,572) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) d(650) 
	  1 r(768,554) a(1725,454) d(1157) a(645,1736) d(811) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) d(1157) a(645,1736) r(1107,1378) 
	  1 r(768,554) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) r(1119,1147) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) d(757) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) r(1723,539) r(1169,773) 
	  1 r(1293,1299) a(389,335) d(1278) r(578,899) a(1157,691) r(756,773) a(1117,1293) d(602) r(448,648) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) r(1739,1733) r(1057,1081) r(1726,1725) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(1112,1158) a(1152,1292) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) r(765,654) a(1725,454) d(1157) r(444,480) a(1293,1175) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(1725,454) d(1157) r(444,480) r(580,980) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(971) r(765,654) r(1112,1158) r(1380,1102) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(876,887) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) a(1112,431) 
	  1 a(676,455) d(832) a(812,806) a(886,555) a(611,1725) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(1374,1377) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(642,662) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) r(1296,1331) r(407,868) r(886,1718) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) d(1055) a(654,1729) r(667,701) d(701) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) d(417) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) r(891,878) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(432) d(972) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) a(878,657) a(1080,793) d(1051) r(691,417) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) d(761) a(1057,418) r(971,975) d(1734) a(753,771) r(401,668) d(385) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) r(424,335) d(1741) r(1114,1293) d(620) d(1374) r(420,437) a(1739,455) a(1112,806) 
	  1 a(676,455) r(578,899) a(1157,691) r(756,773) a(1117,1293) d(449) d(440) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) 
	  1 r(854,831) d(1732) a(419,774) r(645,577) a(1376,464) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(1732) a(419,774) r(645,577) d(867) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(1378) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) d(878) a(442,1273) r(978,897) r(1152,1108) d(870) r(1128,1125) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) d(870) r(667,441) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) a(765,677) d(466) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) r(753,620) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) d(793) 
	  1 a(448,580) r(1738,1735) r(1373,1273) r(1114,1290) a(876,446) a(667,1729) 
	  1 r(768,554) r(424,335) d(1741) d(1056) r(1373,1273) r(1114,1290) a(876,446) r(437,406) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) a(878,657) a(1080,793) d(1051) d(973) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(400) d(1083) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) r(1126,1149) r(1159,1113) d(978) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) a(878,657) a(1080,793) a(978,556) d(764) 
search: generation 9 (sizeof one variant = 0.200715 MB)
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(642,662) a(752,696) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) r(338,872) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) a(1118,549) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) r(761,703) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) d(1706) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) d(650) r(387,446) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) d(650) d(1701) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) d(663) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) d(655) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(878) a(442,1273) r(978,897) r(1152,1108) d(870) r(667,441) d(1284) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) r(1730,1094) d(1732) 
	  1 a(676,455) d(1297) d(1280) d(1276) d(699) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) r(602,688) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) a(1731,1080) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) r(891,878) a(1147,538) 
	  1 r(768,554) a(1725,454) d(1157) a(645,1736) d(811) d(891) 
	  1 a(676,455) d(1017) r(1057,1017) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) a(1708,479) r(887,892) d(1080) d(1732) a(878,657) a(1080,793) a(978,556) d(764) a(1164,441) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) a(878,657) a(1080,793) a(978,556) d(764) a(759,455) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) a(1740,1738) 
	  1 r(854,831) d(853) d(1059) d(467) d(1287) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(1732) a(419,774) r(645,577) a(1376,464) a(1169,441) 
	  1 r(854,831) d(1732) a(419,774) r(645,577) a(1376,464) a(1172,509) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) d(1104) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) r(643,663) a(1723,1374) d(1742) d(1701) a(762,577) 
	  1 r(768,554) d(1273) d(1739) r(1739,1733) d(432) r(1718,1704) r(1262,1289) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) r(973,974) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) d(1114) 
	  1 r(768,554) a(856,869) r(1106,1158) r(1738,1735) r(1373,1273) r(1114,1290) a(876,446) a(667,1729) d(828) 
	  1 a(448,580) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) d(466) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) 
	  1 a(448,580) r(1738,1735) r(1373,1273) r(1114,1290) a(876,446) a(667,1729) d(655) 
	  1 r(768,554) r(424,335) d(1741) d(1154) d(400) d(1083) r(1115,1294) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) r(436,449) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) r(1296,1331) r(407,868) r(886,1718) a(643,370) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) a(1718,467) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) d(1152) r(643,663) d(878) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(1374,1377) d(1159) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(755) d(386) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(755) d(1743) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(1374,1377) d(1711) 
	  1 a(676,455) a(1708,479) d(878) d(1059) a(976,536) r(1126,1149) r(1159,1113) d(978) r(36,37) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) r(753,620) d(978) 
	  1 a(676,455) a(1708,479) r(887,892) d(1080) d(1732) r(1739,1733) r(1057,1081) r(1726,1725) r(385,414) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(794,808) 
	  1 r(768,554) r(424,335) d(1741) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) d(696) 
	  1 a(448,580) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) d(760) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) d(1292) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) r(449,443) 
	  1 r(854,831) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(694,887) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(1378) d(1113) 
	  1 r(854,831) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(1378) r(1708,1709) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) d(432) 
	  1 r(1293,1299) a(389,335) d(1278) d(769) a(1164,1169) d(1273) r(643,663) d(878) d(650) a(676,572) d(389) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) r(1728,851) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) d(417) r(793,1720) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) d(443) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) a(611,1725) r(977,973) 
	  1 a(676,455) d(832) a(812,806) a(886,555) d(1742) d(1701) r(873,831) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) r(1714,1709) 
	  1 a(676,455) d(832) a(812,806) a(886,555) a(611,1725) d(1297) 
search: generation 10 (sizeof one variant = 0.203569 MB)
	  1 r(854,831) d(853) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) d(466) d(1164) 
	  1 a(448,580) r(887,892) d(1059) d(467) d(1287) a(1706,439) 
	  1 r(854,831) d(853) d(1059) d(467) d(1287) d(1726) 
	  1 a(448,580) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) d(466) r(891,888) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) a(1708,479) r(887,892) d(1080) d(1732) a(878,657) a(1080,793) a(978,556) d(764) a(1164,441) d(466) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) a(702,457) 
	  1 r(854,831) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(694,887) a(797,774) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) r(973,974) a(1728,1741) 
	  1 r(854,831) r(971,975) d(1055) r(1704,406) d(769) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) r(1725,1112) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(694,887) d(418) 
	  1 r(854,831) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(694,887) r(1107,1288) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) d(400) 
	  1 a(448,580) r(1738,1735) r(37,36) r(1273,849) d(1739) r(1739,1733) d(432) r(1718,1704) r(973,974) d(766) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) r(1714,1709) r(1106,1281) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(1732) a(419,774) r(645,577) a(1376,464) a(1169,441) r(1033,1058) 
	  1 r(768,554) d(1273) d(1739) r(1739,1733) d(432) r(1718,1704) r(1262,1289) d(886) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) a(856,869) r(1106,1158) d(878) d(1059) a(976,536) a(1113,1229) d(423) d(650) r(387,446) r(1732,1728) 
	  1 r(854,831) d(853) d(1059) d(467) d(1287) d(1743) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) r(338,872) d(1740) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) a(1740,1738) d(1164) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) d(417) r(793,1720) a(796,423) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) r(436,449) a(1152,657) 
	  1 r(1716,1703) d(1152) r(643,663) r(1742,1169) d(1277) d(1017) a(1740,1738) d(977) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) a(1118,549) r(1289,1222) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) a(1118,549) d(449) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) a(1740,1738) d(1154) 
	  1 a(676,455) d(832) a(812,806) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) d(655) a(1083,546) 
	  1 r(854,831) d(437) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) r(1728,851) r(1701,1713) 
	  1 a(676,455) d(832) a(812,806) r(1282,1333) d(1106) r(1106,1158) r(643,663) r(1742,1169) d(1277) d(1017) r(1728,851) d(1276) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) d(655) d(1140) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) r(687,831) d(703) r(389,409) d(755) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) d(1059) d(467) d(1104) r(1170,1134) 
	  1 r(768,554) r(424,335) d(1741) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) d(1104) r(654,523) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) d(1711) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) d(443) a(1164,1169) d(1273) r(643,663) d(878) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(1374,1377) d(1711) d(394) 
	  1 a(676,455) d(769) d(1128) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) d(443) d(1700) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(1374,1377) d(1711) a(864,739) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) d(443) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) r(891,878) a(1147,538) r(699,755) 
	  1 r(1716,1703) d(1152) a(1113,1157) 
	  1 a(676,455) d(769) a(1164,1169) d(1273) r(643,663) d(878) a(886,555) r(1714,1704) d(443) r(854,869) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) r(891,878) a(1147,538) a(1739,1699) 
	  1 r(854,831) d(853) d(1059) d(467) d(1287) d(417) 
	  1 a(676,455) d(832) a(812,806) a(886,555) a(611,1725) d(1297) r(1287,1157) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(643,663) a(1723,1374) d(1742) d(1701) d(1114) r(767,973) 
	  1 r(768,554) d(1273) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(794,808) d(1719) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(794,808) d(768) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) d(1114) r(445,768) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) d(1118) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) r(436,449) r(762,1117) r(1699,456) r(1730,1094) d(1732) a(1713,511) 
	  1 r(854,831) d(437) r(389,974) d(655) r(434,547) r(762,1117) r(1699,456) r(1730,1094) d(1732) r(464,971) 
	  1 r(1716,1703) d(1152) d(1159) d(1720) a(1742,551) d(1706) r(1737,1738) r(648,769) r(791,807) d(1108) d(1114) r(436,449) a(1286,1332) 
	  1 a(676,455) d(1297) d(1280) d(1276) r(1730,1094) a(1731,1080) r(1714,1698) 
	  1 a(448,580) d(1056) d(1154) r(1726,1732) d(853) d(1059) d(467) d(760) d(1278) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(1714,1709) d(1698) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) r(667,1723) r(642,662) a(752,696) r(1051,1058) 
	  1 a(676,455) d(832) a(812,806) r(696,810) r(389,974) d(655) r(971,975) d(1734) a(753,771) r(667,1723) r(642,662) a(752,696) r(1082,1033) 
	  1 r(768,554) d(1273) r(643,663) a(1723,1374) d(1742) d(1701) r(1714,1709) r(1162,1336) 
	  1 d(977) r(1285,1173) a(1175,1736) d(1262) d(1731) r(756,657) r(971,975) d(1055) r(1704,406) d(769) a(1164,1169) d(1273) r(643,663) r(1742,1169) d(1277) a(1719,1718) r(794,808) r(764,972) 
	  1 r(768,554) a(856,869) r(1106,1158) r(887,892) d(1080) d(437) r(389,974) d(655) r(971,975) a(433,417) d(37) r(687,831) d(703) r(389,409) r(797,654) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1221
"Test Suite Evaluations": 203.5

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1002.84
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             615 170.181 = 27.3637%
  test                               1225 451.691 = 72.6286%
  TOTAL                                   621.920 = 62.0151% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:56:23 EDT 2013
shutting down
