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 5
--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-50-255 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:25 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/tmp6d4be5.c /tmp/tmp6b95f8.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 = 5.57223)
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.0111456 MB)
	  1 r(435,433) 
	  1 d(1114) 
	  1 a(856,1225) 
	  1 a(1719,541) 
	  1 a(756,1278) 
	  1 d(702) 
	  1 d(1700) 
	  1 r(1146,1313) 
	  1 d(661) 
	  1 d(1106) 
	  1 a(421,645) 
	  1 d(465) 
	  1 a(978,759) 
	  1 r(1169,454) 
	  1 a(1159,1169) 
	  1 d(1708) 
	  1 a(445,578) 
	  1 a(1083,1731) 
	  1 r(1293,1285) 
	  1 r(828,864) 
	  1 r(691,497) 
	  1 r(1731,456) 
	  1 d(1125) 
	  1 r(1280,1229) 
	  1 a(401,580) 
	  1 a(1723,1134) 
	  1 r(438,1153) 
	  1 d(1742) 
	  1 d(1716) 
	  1 d(878) 
	  1 a(1291,1176) 
	  1 a(700,338) 
	  1 a(1700,759) 
	  1 r(694,707) 
	  1 a(977,767) 
	  1 d(1154) 
	  1 r(812,1059) 
	  1 d(809) 
	  1 d(385) 
	  1 original
search: generation 1 (sizeof one variant = 0.198265 MB)
	  1 d(1700) d(1698) 
	  1 d(1114) r(1728,420) 
	  1 a(756,1278) a(1737,539) 
	  1 r(435,433) d(1735) 
	  1 a(756,1278) d(466) 
	  1 r(435,433) d(433) 
	  1 d(1114) a(1158,647) 
	  1 a(401,580) d(1108) 
	  1 d(1114) a(666,1735) 
	  1 a(401,580) a(338,812) 
	  1 r(694,707) r(661,779) 
	  1 d(1154) a(755,1709) 
	  1 r(694,707) a(1702,536) 
	  1 d(1154) d(1164) 
	  1 d(1106) a(897,467) 
	  1 d(421) 
	  1 d(1106) r(1149,1103) 
	  1 d(676) 
	  1 d(1125) d(602) 
	  1 r(1146,1313) a(654,1262) 
	  1 a(977,767) r(893,878) 
	  1 d(1708) r(702,574) 
	  1 a(700,338) d(1164) 
	  1 r(1293,1285) d(456) 
	  1 a(700,338) a(1293,418) 
	  1 r(1293,1285) d(1109) 
	  1 d(1154) a(572,555) 
	  1 a(1083,1731) r(972,973) 
	  1 r(1146,1313) d(1052) 
	  1 r(438,1153) d(455) 
	  1 a(700,338) d(766) 
	  1 a(1159,1169) d(464) 
	  1 d(1700) a(769,1730) 
	  1 a(1291,1176) r(386,431) 
	  1 d(1700) r(389,874) 
	  1 a(1291,1176) d(1175) 
	  1 a(421,645) d(1162) 
	  1 a(1719,541) d(1112) 
	  1 a(421,645) d(1126) 
	  1 a(1719,541) r(755,773) 
	  1 a(1700,759) d(1714) 
	  1 r(828,864) d(424) 
	  1 a(1700,759) r(866,831) 
	  1 r(828,864) a(385,667) 
	  1 d(1125) a(1376,407) 
	  1 a(1291,1176) r(1147,1298) 
	  1 r(1293,1285) a(1734,1163) 
	  1 r(812,1059) d(1742) 
	  1 a(421,645) d(676) 
	  1 r(438,1153) r(668,892) 
	  1 r(435,433) r(650,668) 
	  1 a(856,1225) r(973,976) 
	  1 r(435,433) r(1698,1708) 
	  1 a(856,1225) d(440) 
	  1 a(756,1278) d(1730) 
	  1 a(756,1278) r(859,872) 
	  1 a(1723,1134) d(1290) 
	  1 d(1114) d(1154) 
search: generation 2 (sizeof one variant = 0.200121 MB)
	  1 r(438,1153) r(702,574) d(1715) 
	  1 d(1708) r(668,892) r(1291,1272) 
	  1 r(438,1153) r(668,892) a(1289,400) 
	  1 d(1708) r(702,574) r(1294,1374) 
	  1 a(700,338) a(1376,407) d(1290) 
	  1 d(1125) a(1293,418) r(691,433) 
	  1 a(700,338) a(1293,418) d(1108) 
	  1 d(1125) a(1376,407) d(1280) 
	  1 a(1723,1134) d(1290) d(1118) 
	  1 a(1719,541) d(1112) d(1733) 
	  1 a(1723,1134) d(1290) d(764) 
	  1 a(1719,541) d(1112) a(1164,1110) 
	  1 r(828,864) d(424) r(1374,1375) 
	  1 a(856,1225) d(440) r(661,828) 
	  1 d(1114) r(866,831) d(1373) 
	  1 a(1700,759) d(1154) r(971,898) 
	  1 d(1114) d(1154) d(1154) 
	  1 a(1700,759) r(866,831) r(580,501) 
	  1 r(435,433) r(650,668) d(337) 
	  1 a(977,767) r(893,878) d(443) 
	  1 r(435,433) r(650,668) r(1149,1225) 
	  1 a(977,767) r(893,878) d(1104) 
	  1 a(856,1225) d(440) r(1172,1099) 
	  1 r(1146,1313) a(654,1262) r(580,759) 
	  1 a(856,1225) d(440) a(1702,1721) 
	  1 r(1146,1313) a(654,1262) d(1296) 
	  1 r(812,1059) d(1742) r(886,485) 
	  1 r(812,1059) d(1742) a(663,667) 
	  1 d(1125) d(602) r(1698,1708) r(1293,1097) 
	  1 r(435,433) d(702) 
	  1 d(1125) d(602) a(754,757) 
	  1 r(435,433) r(1698,1708) a(893,666) 
	  1 a(977,767) r(893,878) d(979) 
	  1 a(1723,1134) d(1290) a(578,572) 
	  1 a(856,1225) d(650) 
	  1 a(401,580) d(1108) d(440) r(979,898) 
	  1 a(856,1225) d(440) r(694,620) 
	  1 a(401,580) d(1108) d(338) 
	  1 a(1719,541) a(1376,407) r(1743,394) 
	  1 d(1125) r(755,773) d(1725) 
	  1 a(1719,541) r(755,773) d(1700) 
	  1 d(1125) a(1376,407) r(1105,1108) 
	  1 r(828,864) d(1735) a(1288,1283) 
	  1 r(435,433) d(424) d(1292) 
	  1 r(828,864) d(424) a(1706,629) 
	  1 r(435,433) d(1735) r(1152,1279) 
	  1 a(1719,541) r(755,773) a(765,438) 
	  1 d(1700) d(1698) d(888) 
	  1 a(401,580) a(338,812) d(859) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) 
	  1 a(1700,759) r(866,831) r(899,972) 
	  1 d(1125) a(1376,407) d(1380) 
	  1 a(1719,541) d(869) 
	  1 d(1114) r(1728,420) r(755,773) d(755) 
	  1 a(1719,541) r(755,773) r(1728,854) 
	  1 d(1114) r(1728,420) d(1163) 
	  1 a(700,338) d(1108) a(829,812) 
	  1 a(401,580) d(1164) r(1286,1115) 
	  1 a(700,338) d(1164) d(667) 
	  1 a(401,580) d(1108) r(976,974) 
	  1 d(1154) a(1376,407) d(1116) 
	  1 d(1125) a(755,1709) d(1279) 
	  1 d(1154) a(755,1709) d(1717) 
	  1 d(1125) a(1376,407) r(761,656) 
	  1 a(1291,1176) r(756,691) 
	  1 a(421,645) d(1126) r(1147,1298) a(1222,1725) 
	  1 a(1291,1176) r(1147,1298) r(1080,479) 
	  1 a(421,645) d(1126) a(1375,1114) 
search: generation 3 (sizeof one variant = 0.200889 MB)
	  1 d(1114) r(1728,420) d(1163) d(761) 
	  1 a(856,1225) d(440) r(694,620) r(1056,1033) 
	  1 d(1125) d(1164) d(667) d(851) 
	  1 a(700,338) d(602) a(754,757) d(1057) 
	  1 d(1125) d(602) a(754,757) d(1149) 
	  1 a(700,338) d(1164) d(667) r(1741,338) 
	  1 r(435,433) d(1054) 
	  1 d(1125) a(1376,407) r(761,656) r(650,668) r(1149,1225) d(701) 
	  1 r(435,433) r(650,668) r(1149,1225) a(385,556) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) 
	  1 d(1125) d(869) d(1102) 
	  1 a(1719,541) a(1376,407) r(761,656) r(892,891) 
	  1 d(1125) a(1376,407) r(761,656) r(700,629) 
	  1 a(1719,541) d(869) r(1739,1741) 
	  1 r(828,864) d(424) a(1706,629) d(1296) 
	  1 a(1719,541) r(755,773) d(1700) d(441) 
	  1 d(1125) a(1376,407) d(1280) d(578) 
	  1 r(1146,1313) a(654,1262) d(1296) d(1378) 
	  1 a(977,767) r(893,878) d(979) d(809) 
	  1 r(435,433) r(650,668) r(1149,1225) r(1296,1277) 
	  1 a(977,767) r(893,878) d(979) r(466,464) 
	  1 r(435,433) r(650,668) r(1149,1225) d(666) 
	  1 a(401,580) d(1108) r(976,974) r(1134,1721) 
	  1 a(401,580) d(1164) r(1286,1115) d(898) 
	  1 a(401,580) d(1164) r(1286,1115) r(760,771) 
	  1 r(1146,1313) a(654,1262) r(580,759) r(1293,1107) 
	  1 a(1723,1134) d(1290) d(764) d(434) 
	  1 d(1125) a(1376,407) d(1380) a(1118,739) 
	  1 a(1719,541) d(1112) d(1280) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) 
	  1 a(856,1225) d(440) r(661,828) d(865) 
	  1 a(856,1225) d(440) r(1172,1099) d(1287) 
	  1 a(856,1225) d(440) r(1172,1099) a(1060,335) 
	  1 d(1125) a(1376,407) d(1380) d(440) a(1702,1721) d(1157) 
	  1 a(856,1225) r(448,447) 
	  1 d(1125) a(1376,407) d(1380) r(1108,510) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) 
	  1 a(1291,1176) r(756,691) d(1164) 
	  1 a(1719,541) a(1376,407) r(1743,394) r(578,871) 
	  1 d(1114) r(1728,420) r(755,773) d(755) d(811) 
	  1 a(1291,1176) r(756,691) a(662,753) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) d(1699) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) 
	  1 r(435,433) r(650,668) d(337) a(387,1195) 
	  1 d(1114) d(1154) d(1154) d(867) 
	  1 r(435,433) r(650,668) d(337) a(979,666) 
	  1 d(1114) d(1154) d(1154) d(975) 
	  1 d(1708) d(1108) r(417,451) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) 
	  1 d(1708) r(668,892) r(1291,1272) r(808,809) 
	  1 a(700,338) a(1293,418) d(1108) r(757,707) 
	  1 a(1719,541) a(755,1709) d(1717) d(1277) 
	  1 d(1154) d(869) d(1338) 
	  1 a(1719,541) d(869) r(1106,1374) 
	  1 d(1154) a(755,1709) d(1717) a(1115,1117) 
	  1 r(1146,1313) a(654,1262) d(1296) r(1299,1711) 
	  1 a(401,580) d(1164) r(1286,1115) a(1146,479) 
search: generation 4 (sizeof one variant = 0.200958 MB)
	  1 d(1154) d(869) d(1338) a(1703,456) 
	  1 a(700,338) d(602) a(754,757) d(1057) d(421) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) 
	  1 a(1719,541) a(1376,407) d(1164) r(1286,1115) d(898) r(761,756) 
	  1 a(401,580) r(1743,394) r(578,871) a(1708,1017) 
	  1 a(1719,541) a(1376,407) r(1743,394) r(578,871) d(1282) 
	  1 a(401,580) d(1164) r(1286,1115) d(898) d(1711) 
	  1 d(1125) a(1376,407) r(761,656) r(650,668) r(1149,1225) d(701) r(1175,1099) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1154,1176) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) d(1699) d(441) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) 
	  1 a(1719,541) d(869) r(1106,1374) a(754,757) d(1057) a(1712,551) 
	  1 a(700,338) d(602) r(763,972) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) 
	  1 a(700,338) d(602) a(754,757) d(1057) r(1147,1101) 
	  1 d(1154) a(755,1709) d(1717) a(1115,1117) d(1698) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) a(972,690) 
	  1 a(700,338) d(602) r(756,691) d(1164) d(337) 
	  1 a(1291,1176) a(754,757) d(1057) d(1278) 
	  1 a(700,338) d(602) a(754,757) d(1057) d(629) 
	  1 a(1291,1176) r(756,691) d(1164) a(1374,1098) 
	  1 r(1146,1313) a(654,1262) d(1296) r(1299,1711) a(1164,1110) d(1338) a(1289,1278) 
	  1 a(1719,541) d(1112) d(394) 
	  1 r(1146,1313) a(654,1262) d(1296) r(1299,1711) r(1295,1104) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(443) 
	  1 a(401,580) d(1164) r(1286,1115) a(1146,479) r(1292,1127) 
	  1 a(1719,541) d(1112) d(1280) r(699,574) 
	  1 a(401,580) d(1108) r(976,974) r(1291,1272) r(1723,1147) r(648,764) 
	  1 a(700,338) a(1293,418) r(668,892) r(1134,1721) d(1276) 
	  1 a(401,580) d(1108) r(976,974) r(1134,1721) r(1147,1284) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) 
	  1 d(1154) d(869) d(389) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) 
	  1 d(1154) d(869) d(1338) a(864,501) 
	  1 a(1719,541) d(869) r(1106,1374) d(1172) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) d(1289) 
	  1 d(1125) d(869) d(1102) d(1140) 
	  1 d(1154) d(869) d(1338) d(761) 
	  1 r(435,433) d(1054) r(668,438) 
	  1 a(1719,541) d(1112) d(1280) d(1707) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1705) 
	  1 a(1719,541) d(1112) d(1280) d(1377) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) 
	  1 a(700,338) d(1699) r(1722,1723) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) d(1699) d(869) 
	  1 a(700,338) a(1293,418) d(1108) r(757,707) d(1125) 
	  1 a(1719,541) d(1112) d(810) 
	  1 d(1114) d(1154) d(1154) d(975) d(1280) r(437,409) 
	  1 a(1719,541) d(1112) d(1280) a(849,411) 
	  1 d(1114) d(1154) d(1154) d(975) r(807,811) 
	  1 d(1708) r(668,892) r(1291,1272) d(761) r(679,892) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) 
	  1 d(1708) r(668,892) r(1291,1272) r(808,809) r(1114,1110) 
	  1 d(1114) r(1728,420) d(1163) d(761) a(1152,1114) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) 
	  1 a(1719,541) d(1729) 
	  1 a(1719,541) d(1112) d(1280) d(980) 
	  1 a(1719,541) d(1112) d(1280) r(629,462) 
	  1 a(1719,541) r(755,773) d(1700) a(1287,1158) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(441) a(1083,1134) 
	  1 a(1719,541) r(755,773) d(1700) d(441) d(1716) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) 
search: generation 5 (sizeof one variant = 0.202039 MB)
	  1 r(1146,1313) a(654,1262) a(1173,1094) r(1722,1715) d(1128) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) d(1699) d(869) d(849) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) d(1699) d(869) a(702,707) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) 
	  1 d(1125) d(593) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) 
	  1 d(1125) d(869) d(1102) d(1140) r(756,753) 
	  1 a(1719,541) d(1112) d(1280) d(1377) a(1705,492) 
	  1 a(700,338) d(440) a(1702,1721) d(1728) d(1173) d(443) 
	  1 a(856,1225) d(602) r(763,972) a(1262,812) 
	  1 a(700,338) d(602) r(763,972) r(891,892) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) a(1127,1098) 
	  1 d(1708) r(668,892) r(1291,1272) d(761) r(679,892) d(446) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) r(593,412) 
	  1 a(856,1225) d(440) r(578,871) a(1708,1017) d(1126) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) r(758,1034) 
	  1 a(401,580) r(1743,394) r(578,871) a(1708,1017) d(691) 
	  1 a(1719,541) d(1112) d(1280) d(1279) a(1126,416) a(972,690) r(754,701) 
	  1 d(1125) a(755,1709) d(980) a(1374,1107) 
	  1 a(1719,541) d(1112) d(1280) d(980) d(1162) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) a(972,690) d(667) 
	  1 a(401,580) d(1164) r(1286,1115) a(1146,479) r(1738,1741) 
	  1 d(1154) d(869) d(1338) a(864,501) r(1292,1127) d(1128) 
	  1 a(401,580) d(1164) r(1286,1115) a(1146,479) r(1292,1127) r(1704,1336) 
	  1 d(1154) d(869) d(1338) a(864,501) r(446,439) 
	  1 a(1719,541) d(1112) d(1280) a(1262,1158) 
	  1 d(1125) a(1376,407) r(761,656) r(650,668) r(1149,1225) d(701) r(1175,1099) d(1112) d(1280) a(687,699) d(1716) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) 
	  1 d(1125) a(1376,407) r(761,656) r(650,668) r(1149,1225) d(701) r(1175,1099) d(338) 
	  1 d(1154) d(869) d(1338) r(1728,420) d(1163) r(808,809) d(758) a(433,1225) 
	  1 d(1114) d(761) r(761,699) 
	  1 d(1154) d(869) d(1338) d(761) d(754) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) 
	  1 r(1146,1313) d(849) 
	  1 a(700,338) d(602) r(756,691) d(1164) d(337) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(1082) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) 
	  1 a(700,338) d(602) r(756,691) d(1164) d(337) r(448,856) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) a(1725,507) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) d(1727) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) 
	  1 d(1154) d(869) d(1338) a(1703,456) d(1741) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(1705) r(1701,1700) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(893) d(1723) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1705) r(975,977) 
	  1 a(1719,541) d(869) r(1106,1374) a(754,757) d(1057) a(1712,551) r(1159,1175) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) 
	  1 a(1719,541) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) r(977,976) 
	  1 a(700,338) d(1112) d(1280) a(1378,1723) a(1116,541) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) 
	  1 d(1708) r(668,892) r(1291,1272) d(761) r(679,892) r(1052,1083) 
	  1 a(700,338) d(1699) r(1722,1723) d(421) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1279) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(679,762) 
	  1 r(1146,1313) a(654,1262) d(443) r(696,497) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) 
	  1 r(1146,1313) a(654,1262) d(1296) r(1299,1711) r(1295,1104) r(423,1119) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(443) d(1373) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1703,456) a(1737,763) 
	  1 d(1154) d(874) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(36) 
	  1 d(1154) d(869) d(1338) a(1703,456) r(1146,690) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) d(389) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) d(976) 
search: generation 6 (sizeof one variant = 0.202122 MB)
	  1 r(1146,1313) d(407) a(1721,763) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) r(1722,1715) d(1128) a(1033,629) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) 
	  1 a(1719,541) d(1112) d(1280) d(980) d(1162) d(422) 
	  1 a(856,1225) d(440) r(578,871) a(1708,1017) d(1126) r(1298,1283) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) r(755,1225) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) a(1127,1098) r(438,751) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) a(691,703) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) r(602,420) 
	  1 d(1154) d(869) d(1338) d(761) d(754) r(1714,1715) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) 
	  1 a(1719,541) r(1106,1374) d(1338) r(572,772) r(389,809) a(1743,411) 
	  1 a(1719,541) d(869) d(1112) d(1280) a(1378,1723) a(1157,502) d(874) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) r(1158,1169) 
	  1 a(1719,541) d(1112) a(1703,456) a(1737,763) d(898) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1703,456) a(1737,763) d(866) 
	  1 a(700,338) d(602) r(756,691) d(1164) d(337) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(1082) a(1700,405) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) r(1195,1115) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(1705) d(1280) d(1112) d(1280) a(687,699) d(1126) a(1703,1125) 
	  1 a(1719,541) d(1112) r(1701,1700) d(1728) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(1705) r(1701,1700) d(763) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) 
	  1 a(856,1225) d(440) r(446,439) d(394) 
	  1 d(1154) d(869) d(1338) a(864,501) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) r(647,555) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(655,879) 
	  1 d(1154) d(869) d(1338) a(864,501) r(446,439) r(1742,1126) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) a(972,690) d(667) d(1283) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) a(1128,1273) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) d(1710) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) a(1127,1098) r(1289,1332) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) a(668,1728) 
	  1 d(1125) a(755,1709) d(1279) a(1126,416) a(972,690) d(667) d(876) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(641,431) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) 
	  1 a(1719,541) d(1112) d(1280) d(1377) a(1705,492) d(764) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) 
	  1 a(856,1225) d(440) a(1262,812) r(829,864) 
	  1 a(856,1225) d(602) r(763,972) r(661,828) a(1164,1110) r(1708,1721) d(1699) d(869) d(849) a(1699,668) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) d(1699) d(869) d(849) r(1698,1705) 
	  1 a(856,1225) d(602) r(763,972) a(1262,812) r(1701,1717) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(753,679) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) d(389) d(756) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1703,456) a(1737,763) r(887,876) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) 
	  1 a(700,338) d(602) r(763,972) r(891,892) r(893,886) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) r(593,412) d(1153) 
search: generation 7 (sizeof one variant = 0.202656 MB)
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) a(1722,812) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(593,412) d(573) r(697,1051) 
	  1 a(700,338) d(602) a(687,699) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(980) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) r(899,979) 
	  1 a(856,1225) d(440) r(1698,1705) a(1738,580) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) d(1699) d(869) d(849) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) r(573,602) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) d(449) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) d(1699) d(869) d(849) r(1698,1705) r(455,550) 
	  1 a(1719,541) d(1112) a(1703,456) a(1737,763) d(898) r(1157,1279) 
	  1 a(856,1225) d(440) a(1262,812) r(829,864) d(1703) 
	  1 a(700,338) d(602) r(756,691) d(1164) d(337) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(1082) a(1700,405) d(1725) 
	  1 a(1719,541) r(1106,1374) d(1338) r(572,772) r(389,809) a(1743,411) r(851,829) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) 
	  1 a(1719,541) d(1272) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(888) 
	  1 a(1719,541) d(1112) r(1701,1700) d(1728) d(1163) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) r(1262,811) a(1276,1376) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) d(893) r(1159,1291) d(434) r(809,792) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) r(424,439) 
	  1 d(1154) d(869) d(1338) d(761) d(754) r(1714,1715) r(1128,1336) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) d(1125) 
	  1 a(1719,541) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1708,1705) 
	  1 a(1719,541) d(1112) d(1280) d(1112) r(1701,1700) d(1728) a(1147,831) 
	  1 a(1719,541) d(1112) r(1701,1700) d(1728) d(1055) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(756) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) r(1158,1169) d(676) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1126,1091) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) r(1158,1169) a(654,663) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(602) r(763,972) r(891,892) r(893,886) a(898,1158) 
	  1 a(700,338) d(975) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) 
	  1 a(700,338) d(602) r(763,972) r(891,892) r(893,886) a(829,1108) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) d(389) d(756) d(424) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) a(1164,1110) r(1708,1721) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) a(422,647) 
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) a(668,1728) a(1380,1113) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) r(448,554) 
	  1 r(1146,1313) d(763) r(405,546) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(1705) r(1701,1700) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) d(1726) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(1705) r(1701,1700) d(763) r(446,494) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) r(456,576) 
	  1 d(1154) d(869) d(1338) d(761) d(754) r(1714,1715) d(580) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) 
	  1 a(1719,541) d(1112) d(1280) d(980) d(1162) d(422) r(1140,487) 
	  1 a(1719,541) d(869) d(1112) d(1280) a(1378,1723) a(1157,502) d(874) a(1710,679) 
	  1 a(856,1225) d(440) r(1291,1272) r(1723,1147) d(1743) d(1195) a(668,1728) r(401,809) 
	  1 a(700,338) a(1293,418) r(668,892) a(1702,1721) d(1728) d(1173) a(1127,1098) r(438,751) r(1713,1722) 
	  1 a(856,1225) d(440) a(1702,1721) d(1728) d(1173) a(1127,1098) r(438,751) r(578,667) 
	  1 a(700,338) a(1293,418) r(668,892) r(1291,1272) r(1723,1147) d(1743) d(1195) a(668,1728) d(1052) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) a(1173,760) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) a(760,773) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) r(646,1737) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) 
	  1 a(700,338) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) 
	  1 a(1719,541) d(602) a(687,699) r(593,412) d(573) d(1291) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) a(1147,1289) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) 
search: generation 8 (sizeof one variant = 0.202819 MB)
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) r(424,439) r(1715,807) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) r(1134,1698) 
	  1 a(700,338) d(1164) d(667) r(1741,338) a(1740,649) d(389) d(756) d(424) r(439,701) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1704,759) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) d(1379) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) a(1718,506) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1276,1119) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) a(1173,760) r(1718,1723) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) r(1158,1169) d(676) a(1295,455) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) r(1288,1110) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) a(1147,1289) a(1280,1333) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) r(754,771) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(446) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(1378,1276) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) r(1708,1721) r(1722,1715) d(1126) r(1712,1710) a(760,773) r(1146,1093) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) d(434) r(809,792) a(764,546) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) d(893) r(1159,1291) d(464) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) r(1743,580) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) d(893) r(1159,1291) d(434) r(809,792) d(1710) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(758) r(1712,1717) r(1299,389) d(1741) a(337,443) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) r(448,554) d(1740) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) r(448,554) r(694,1094) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(765) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1108,1298) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(701) a(759,1153) a(1728,1380) r(1722,1699) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) d(1698) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) r(1115,1106) d(389) r(456,602) r(1377,494) a(655,739) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) a(759,1153) a(1728,1380) d(1289) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) r(456,1051) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) d(442) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) 
	  1 a(1719,541) a(1378,1723) a(1157,502) r(1262,811) a(1722,812) a(767,667) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) a(1722,812) a(754,642) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) d(1278) 
	  1 a(700,338) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) r(1262,811) a(1722,812) r(667,406) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1377,1230) 
	  1 a(700,338) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) d(760) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) a(1722,812) r(702,734) 
	  1 a(1719,541) d(1112) r(1701,1700) d(1728) d(1055) d(1743) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1126,1091) d(861) 
	  1 a(1719,541) d(602) a(687,699) r(593,412) d(573) d(1291) r(1704,1703) 
	  1 a(1719,541) d(602) a(687,699) r(593,412) d(573) d(1291) r(697,1051) d(971) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(593,412) d(573) a(769,1229) 
	  1 a(1719,541) d(602) a(687,699) r(593,412) d(573) d(1291) a(1697,668) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(593,412) d(573) r(697,1051) a(1276,1093) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) a(1147,1289) a(1293,1147) 
	  1 a(1719,541) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1708,1705) r(1033,1080) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) 
	  1 a(1719,541) d(1112) a(1164,1110) r(1281,1175) a(1159,335) d(443) a(700,1277) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1289,1126) 
	  1 a(1719,541) d(1112) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(1109,1108) 
	  1 d(1154) d(869) d(1338) d(761) d(754) r(1714,1715) d(580) a(666,593) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) d(580) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) r(1706,456) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1290,1094) 
search: generation 9 (sizeof one variant = 0.203125 MB)
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1126,1091) d(861) d(808) 
	  1 a(700,338) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) a(1108,338) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) r(1262,811) a(1722,812) r(667,406) d(976) 
	  1 a(700,338) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) r(1262,811) a(1722,812) r(667,406) d(897) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) r(1702,1720) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(758) r(1712,1717) r(1299,389) d(1741) a(337,443) d(691) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) r(1083,831) 
	  1 a(1719,541) d(1112) d(1280) a(449,646) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) a(1147,1289) a(1293,1147) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) a(1374,1336) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(876,892) 
	  1 a(700,338) d(602) a(687,699) r(593,412) d(573) a(1147,1289) a(1293,1147) a(1277,666) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) r(1288,1110) a(1114,1290) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) r(1158,1169) d(676) a(1295,455) d(611) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1276,1119) r(1721,1701) 
	  1 a(1719,541) d(1102) d(1140) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) a(417,879) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) d(1272) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1276,1119) d(1723) 
	  1 a(1719,541) d(869) r(1106,1374) d(701) a(759,1153) a(1728,1380) r(1722,1699) r(893,888) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) r(445,873) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) a(580,418) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(701) a(759,1153) a(1728,1380) r(1722,1699) d(434) 
	  1 a(1719,541) d(1112) r(1701,1700) d(1728) d(1055) d(1743) a(703,806) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1704,759) r(977,898) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(758) r(1712,1717) r(1299,389) d(1741) a(337,443) d(446) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) d(1279) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) d(394) 
	  1 d(1114) r(1728,420) d(1163) d(1108) d(758) r(1712,1717) r(1299,389) d(1741) d(446) d(1293) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(446) d(439) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) r(578,1113) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(1222,550) 
	  1 a(1719,541) d(1112) r(754,771) d(1291) 
	  1 r(1146,1313) a(654,1262) a(1173,1094) a(1293,418) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) r(754,771) r(810,791) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(1054,1083) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) r(424,439) r(1715,807) r(878,893) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) r(1115,1106) d(389) r(456,602) r(1377,494) a(655,739) r(666,873) 
	  1 a(856,1225) d(440) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(701) a(759,1153) a(1728,1380) r(456,1051) r(1056,1033) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) r(1722,1715) a(654,1262) a(1173,1094) r(1722,1715) d(1128) r(1720,1705) r(448,554) d(1740) a(433,553) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(1146) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) d(434) a(642,754) r(1134,1698) r(794,792) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) r(1134,1698) d(762) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) d(1112) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(593,412) d(573) r(697,1051) a(1276,1093) a(1374,1292) 
	  1 a(1719,541) d(1112) d(1280) d(1377) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) d(1379) r(1702,1714) 
	  1 a(1719,541) d(869) r(763,972) r(891,892) d(860) r(891,892) d(887) r(887,879) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) d(1146) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) a(1148,549) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) d(1295) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(702) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(446) d(434) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(446) r(1287,1291) 
	  1 d(1114) r(1728,420) d(1163) r(808,809) d(758) r(1712,1717) r(1299,389) d(1741) d(765) r(455,548) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) a(407,1158) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) d(1125) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) r(641,455) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) r(755,1725) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) r(1273,412) r(1702,1716) d(1278) d(1742) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) d(1718) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) d(1297) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) d(1278) d(1706) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) r(1706,456) a(1701,1272) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) d(864) 
search: generation 10 (sizeof one variant = 0.203408 MB)
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) d(434) a(642,754) r(1134,1698) r(794,792) r(899,897) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(758) r(1712,1717) r(1299,389) d(1741) a(337,443) d(446) a(808,465) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(702) a(769,1338) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) r(424,439) r(1715,807) r(878,893) r(650,1272) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) r(445,873) r(1714,1719) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) a(580,1153) r(1262,811) a(1722,812) r(667,406) d(976) r(874,831) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) r(1728,420) r(1299,389) d(1741) d(765) d(702) d(1377) 
	  1 d(1114) d(1706) r(1700,1714) r(1707,1706) r(755,1725) a(759,412) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) r(755,1725) a(975,1277) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(702) r(1283,1103) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) r(1706,456) a(1701,1272) a(1164,751) 
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) d(1290) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) d(434) a(642,754) r(1134,1698) r(794,792) r(753,774) 
	  1 a(1719,541) d(1112) r(754,771) d(1291) d(1118) 
	  1 a(1719,541) d(1102) d(1140) d(1338) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) r(1158,1169) d(676) a(1295,455) d(611) a(1114,655) 
	  1 a(1719,541) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) a(417,879) r(1699,679) 
	  1 a(1719,541) d(1102) d(1140) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1379) d(1719) a(765,1173) a(417,879) d(1157) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(869) d(1338) a(1164,1110) r(1158,1169) d(676) a(1295,455) d(611) r(975,977) 
	  1 a(401,580) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) r(1083,831) a(1277,898) 
	  1 a(401,580) r(1743,394) r(661,828) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) a(1280,1286) 
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) r(1115,1106) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) r(1722,1715) d(407) a(1222,1154) r(860,854) r(1712,1719) r(1083,831) r(761,648) 
	  1 d(1114) r(578,1113) d(1195) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) r(1728,420) d(1163) d(1108) d(758) r(1712,1717) r(1299,389) d(1741) d(446) d(1293) d(650) 
	  1 d(1114) r(1728,420) d(1163) d(1108) d(758) r(1712,1717) r(1299,389) d(1741) d(446) d(1293) r(1708,1719) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) r(578,1113) a(854,1272) 
	  1 a(700,338) d(1112) d(1280) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(876,892) a(1294,1285) 
	  1 a(1719,541) d(1112) d(1280) d(1112) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) a(1108,338) r(1277,546) 
	  1 a(700,338) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) a(1108,338) a(423,1127) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(876,892) a(976,465) 
	  1 a(1719,541) d(1706) r(1700,1714) r(1707,1706) d(1718) d(898) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) d(1295) a(1288,1100) 
	  1 a(1719,541) d(869) r(1106,1374) r(975,971) d(1112) d(1280) r(763,972) r(891,892) d(860) r(891,892) d(887) d(1295) a(1705,502) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) d(1718) d(1740) 
	  1 a(401,580) r(1743,394) r(1116,1127) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) r(578,1113) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) a(1728,465) 
	  1 a(401,580) r(1743,394) r(661,828) a(668,1728) d(420) a(573,1273) r(465,892) r(433,447) 
	  1 d(1114) r(1728,420) d(1163) d(1108) r(757,707) r(1115,1106) d(389) r(456,602) r(1377,494) r(650,434) r(578,1113) a(401,768) 
	  1 a(1719,541) d(1112) d(1280) d(1146) d(767) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) a(1378,1723) a(1157,502) r(1262,811) r(424,439) r(1715,807) r(878,893) d(1297) 
	  1 a(1719,541) d(1112) d(1280) a(1378,1723) a(1157,502) r(1262,811) r(424,439) r(1715,807) r(878,893) d(1109) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(1146) a(1104,1106) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) a(1108,338) a(387,755) 
	  1 a(700,338) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1700,1714) r(1707,1706) d(1297) d(1119) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) d(1297) a(1116,1152) 
	  1 a(700,338) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) a(1108,338) a(1109,580) 
	  1 a(1719,541) d(869) r(763,972) r(891,892) d(860) r(891,892) d(887) r(887,879) d(439) 
	  1 a(1719,541) d(1112) d(1280) d(1377) d(869) d(1102) d(1140) r(1281,1175) a(1159,335) d(443) r(1276,1119) d(1723) a(887,1375) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(701) a(759,1153) a(1728,1380) r(1722,1699) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) r(445,873) a(1164,394) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(434) r(702,755) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(701) a(759,1153) a(1728,1380) r(1722,1699) d(434) d(1172) 
	  1 a(401,580) r(1743,394) r(661,828) a(1164,1110) r(1708,1721) d(1338) r(572,772) r(389,809) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(401,554) r(1374,1278) r(445,873) a(1172,1709) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(702) d(1294) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(1338) r(1273,412) r(1702,1716) d(1278) d(1742) d(1281) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) r(1273,412) r(1702,1716) d(1278) d(1742) d(1152) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(702) a(792,507) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) r(1702,1716) a(1109,1313) r(1054,1083) d(442) 
	  1 d(1114) r(1728,420) r(1299,389) d(1741) d(765) d(702) r(422,385) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) d(1338) d(1296) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) r(1134,1698) d(762) r(1106,1117) 
	  1 d(1125) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) a(407,1158) d(435) 
	  1 a(1719,541) d(869) r(1106,1374) d(1338) r(572,772) d(1338) d(1296) r(1299,1711) r(1295,1104) a(439,1699) d(1706) r(1700,1714) r(1707,1706) a(407,1158) d(420) 
	  1 d(1125) a(1376,407) r(761,656) d(1712) d(893) r(1159,1291) d(434) a(642,754) r(1134,1698) d(762) r(1702,1704) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) d(864) a(832,418) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) r(1273,412) r(1702,1716) d(1278) d(1742) d(1058) 
	  1 a(1719,541) d(1112) d(1280) d(1112) d(1280) a(687,699) d(1126) r(1273,412) d(1112) r(1701,1700) d(1728) r(1729,457) r(1104,1299) d(864) d(593) 
	  1 a(1719,541) d(1112) d(1280) d(869) d(1338) a(1164,1110) d(1338) r(1273,412) r(1702,1716) d(1278) d(1742) d(891) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1299
"Test Suite Evaluations": 216.5

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1054.52
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             659 182.825 = 27.4371%
  test                               1303 483.474 = 72.5562%
  TOTAL                                   666.343 = 63.1888% (avg CPU usage)
gzip-bug-2009-10-09-1a085b1446-118a107f2d.tar.gz
Thu Sep 26 14:57:00 EDT 2013
shutting down
