WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 8
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 9
--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-194-158-143 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/tmp74fa3f.c /tmp/tmp25ced0.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 6.74973)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1778
cilRep: stmts in weighted_path = 352
cilRep: total weight = 222.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1778])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.203259 MB)
search: initial population (sizeof one variant = 0.0121317 MB)
	  1 a(733,1733) 
	  1 r(884,885) 
	  1 a(1130,1173) 
	  1 a(1733,1731) 
	  1 r(1610,1639) 
	  1 a(274,1293) 
	  1 d(1738) 
	  1 d(978) 
	  1 d(1749) 
	  1 d(757) 
	  1 a(1757,446) 
	  1 a(713,584) 
	  1 r(1119,1175) 
	  1 a(983,697) 
	  1 r(467,460) 
	  1 r(1289,437) 
	  1 d(774) 
	  1 r(402,446) 
	  1 d(770) 
	  1 r(765,898) 
	  1 a(428,1115) 
	  1 r(578,759) 
	  1 a(447,1753) 
	  1 r(1725,1765) 
	  1 a(779,691) 
	  1 a(1156,1737) 
	  1 d(778) 
	  1 a(1180,881) 
	  1 a(1121,1329) 
	  1 d(1304) 
	  1 r(1744,1736) 
	  1 r(660,1114) 
	  1 d(779) 
	  1 a(904,555) 
	  1 d(738) 
	  1 a(429,1753) 
	  1 r(423,779) 
	  1 r(1744,1737) 
	  1 r(838,877) 
	  1 original
search: generation 1 (sizeof one variant = 0.203664 MB)
	  1 r(578,759) a(1168,1572) 
	  1 r(578,759) d(1024) 
	  1 d(738) a(764,1189) 
	  1 r(1744,1736) d(1296) 
	  1 d(1304) r(1061,1059) 
	  1 a(429,1753) r(905,984) 
	  1 d(1304) r(1738,1746) 
	  1 a(429,1753) r(1625,983) 
	  1 a(1757,446) a(422,1341) 
	  1 r(1119,1175) r(716,735) 
	  1 r(1725,1765) r(860,858) 
	  1 a(904,555) r(1727,556) 
	  1 r(1725,1765) d(579) 
	  1 a(904,555) r(696,1077) 
	  1 r(765,898) d(737) 
	  1 r(1744,1736) d(1162) 
	  1 r(765,898) d(1061) 
	  1 r(1744,1736) d(1625) 
	  1 a(1733,1731) d(1169) 
	  1 r(1289,437) d(1310) 
	  1 a(1733,1731) d(893) 
	  1 r(1289,437) d(867) 
	  1 a(1130,1173) r(1162,1211) 
	  1 r(765,898) r(1141,1741) 
	  1 a(1130,1173) d(879) 
	  1 r(765,898) d(1058) 
	  1 r(1744,1736) d(422) 
	  1 d(1738) a(1740,523) 
	  1 a(733,1733) a(856,1150) 
	  1 d(738) r(1731,1734) 
	  1 d(1304) r(1179,694) 
	  1 d(778) r(702,734) 
	  1 a(733,1733) d(1401) 
	  1 d(757) r(817,801) 
	  1 a(733,1733) d(1760) 
	  1 d(757) d(1308) 
	  1 d(1738) r(461,1337) 
	  1 a(1130,1173) r(1113,1303) 
	  1 d(1304) r(1064,1090) 
	  1 r(1725,1765) a(425,503) 
	  1 a(983,697) d(859) 
	  1 r(1610,1639) d(1315) 
	  1 a(983,697) a(1755,501) 
	  1 r(1610,1639) r(1740,1731) 
	  1 a(1156,1737) d(713) 
	  1 a(983,697) d(669) 
	  1 d(774) a(1065,1601) 
	  1 a(983,697) r(1303,1308) 
	  1 d(774) r(1314,1296) 
	  1 a(983,697) d(1731) 
	  1 a(713,584) a(1592,1341) 
	  1 a(904,555) d(445) 
	  1 a(429,1753) r(1737,1765) 
	  1 a(1121,1329) d(617) 
	  1 r(838,877) a(1174,1135) 
	  1 a(1733,1731) a(1737,1278) 
	  1 r(838,877) a(985,837) 
	  1 a(1733,1731) d(892) 
search: generation 2 (sizeof one variant = 0.204547 MB)
	  1 d(738) a(764,1189) d(1315) r(894,897) 
	  1 r(1610,1639) d(274) 
	  1 d(738) a(764,1189) r(1211,1647) 
	  1 r(1610,1639) d(1315) r(1753,1399) 
	  1 r(1744,1736) d(1296) d(339) 
	  1 a(1156,1737) d(713) d(647) 
	  1 a(983,697) r(760,626) 
	  1 r(838,877) a(985,837) r(1303,1308) r(892,272) 
	  1 a(983,697) r(1303,1308) r(599,517) 
	  1 r(838,877) a(985,837) r(449,716) 
	  1 a(1121,1329) d(617) r(781,738) 
	  1 r(1610,1639) d(1315) r(1301,1131) 
	  1 r(1725,1765) a(425,503) d(1731) r(767,661) 
	  1 a(983,697) d(979) 
	  1 r(1725,1765) a(425,503) d(1754) 
	  1 a(983,697) d(1731) a(818,450) 
	  1 r(1610,1639) d(1315) r(872,875) 
	  1 a(1733,1731) d(893) r(1113,1361) 
	  1 a(1130,1173) a(1725,768) 
	  1 r(765,898) d(737) d(879) r(859,879) 
	  1 a(1130,1173) d(879) d(799) 
	  1 r(765,898) d(737) r(1647,1609) 
	  1 r(1289,437) a(669,1753) 
	  1 a(904,555) d(445) d(1310) d(894) 
	  1 r(1289,437) d(1310) d(785) 
	  1 a(904,555) d(445) r(1310,1238) 
	  1 r(1725,1765) r(1141,1741) d(855) 
	  1 r(765,898) r(860,858) r(378,877) 
	  1 r(1725,1765) r(860,858) d(1162) 
	  1 r(765,898) r(1141,1741) r(1058,1041) 
	  1 d(1304) r(1738,1746) d(1403) 
	  1 r(1725,1765) r(860,858) r(584,1163) 
	  1 d(1304) a(1168,1572) d(897) 
	  1 r(578,759) r(1064,1090) d(694) 
	  1 d(1304) r(1064,1090) r(797,798) 
	  1 r(578,759) a(1168,1572) r(1748,1731) 
	  1 a(983,697) a(1755,501) d(859) 
	  1 d(1738) r(461,1337) r(870,856) 
	  1 a(983,697) a(1755,501) r(682,272) 
	  1 d(1738) r(461,1337) d(1067) 
	  1 r(578,759) a(1168,1572) a(1089,892) 
	  1 r(1725,1765) r(860,858) d(1116) 
	  1 d(738) a(764,1189) d(467) 
	  1 r(1610,1639) r(1740,1731) a(274,555) 
	  1 d(1304) r(1179,694) d(857) 
	  1 d(1304) r(1179,694) r(715,1770) 
	  1 a(904,555) r(696,1077) a(1087,1758) 
	  1 a(1733,1731) d(892) r(470,1061) 
	  1 r(765,898) d(1058) r(1314,1338) 
	  1 a(1130,1173) d(879) r(1112,1334) 
	  1 d(774) r(1314,1296) a(446,460) 
	  1 r(765,898) d(1058) a(789,523) 
	  1 a(1130,1173) r(1113,1303) d(390) 
	  1 r(765,898) d(1058) r(1312,1294) 
	  1 d(774) a(1065,1601) d(578) 
	  1 d(1304) r(1061,1059) r(1757,543) 
	  1 d(774) a(1065,1601) d(866) 
	  1 d(1304) r(1061,1059) a(892,700) 
search: generation 3 (sizeof one variant = 0.204778 MB)
	  1 r(765,898) r(1141,1741) r(1058,1041) d(1572) 
	  1 d(1304) r(1179,694) d(857) r(879,857) 
	  1 d(774) r(1314,1296) r(1063,1077) 
	  1 d(774) a(1065,1601) d(866) a(446,460) d(1625) 
	  1 d(774) r(1314,1296) a(446,460) a(1131,1342) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) 
	  1 a(1130,1173) d(879) d(799) r(652,855) 
	  1 r(765,898) d(737) r(1647,1609) r(1737,1735) 
	  1 a(983,697) a(1288,1310) 
	  1 a(983,697) d(979) d(1731) a(818,450) r(1175,1295) 
	  1 a(983,697) d(1731) a(818,450) d(866) 
	  1 a(983,697) d(979) d(1168) 
	  1 a(904,555) d(445) r(1179,694) d(857) a(816,423) 
	  1 d(1304) d(1310) d(894) d(1299) 
	  1 a(904,555) d(445) d(1310) d(894) r(892,1107) 
	  1 d(1304) r(1179,694) d(857) a(874,1189) 
	  1 r(1289,437) d(1310) r(454,441) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) 
	  1 r(1289,437) d(1310) d(785) r(1402,1170) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) 
	  1 r(578,759) a(1168,1572) d(449) 
	  1 r(1744,1736) d(1296) d(339) r(1732,1106) 
	  1 r(578,759) a(1168,1572) r(1748,1731) r(779,1353) 
	  1 r(1744,1736) d(1296) d(339) d(647) d(1297) 
	  1 a(1156,1737) d(713) r(1403,472) 
	  1 r(1744,1736) d(1296) d(339) a(668,1751) 
	  1 a(1156,1737) d(713) d(647) r(586,1191) 
	  1 r(1725,1765) a(425,503) r(599,517) d(798) 
	  1 a(983,697) r(1303,1308) d(1731) r(767,661) r(467,462) 
	  1 r(1725,1765) a(425,503) d(1731) r(767,661) d(1174) 
	  1 a(983,697) r(1303,1308) r(599,517) a(1315,770) 
	  1 d(738) r(1314,1338) r(451,557) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) 
	  1 d(738) a(764,1189) r(1211,1647) r(1396,1131) 
	  1 r(765,898) d(1058) r(1314,1338) r(1041,1090) 
	  1 r(1744,1736) d(1296) d(339) d(716) 
	  1 d(1304) a(1168,1572) d(897) r(426,1088) 
	  1 d(1304) r(1064,1090) r(797,798) r(1757,543) a(878,450) 
	  1 d(1304) r(1061,1059) r(874,866) 
	  1 d(1304) r(1064,1090) r(797,798) a(1756,1329) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) 
	  1 a(1733,1731) d(1747) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) 
	  1 r(765,898) d(737) r(1647,1609) r(874,878) 
	  1 r(838,877) a(985,837) r(449,716) d(732) 
	  1 a(983,697) a(1755,501) d(859) a(1644,1641) 
	  1 r(1725,1765) r(1141,1741) d(855) r(1179,694) d(857) d(1745) 
	  1 d(1304) d(1646) 
	  1 r(1725,1765) r(1141,1741) d(855) a(857,1340) 
	  1 d(1304) r(1179,694) d(857) a(647,392) 
	  1 r(1725,1765) r(1211,1647) r(586,683) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) 
	  1 r(1725,1765) r(860,858) d(1162) r(1309,1246) 
	  1 d(738) a(764,1189) r(1211,1647) d(1753) 
	  1 r(1725,1765) r(1757,552) 
	  1 d(1304) a(1168,1572) d(897) r(860,858) r(584,1163) a(429,1289) 
	  1 r(1725,1765) r(860,858) r(584,1163) d(446) 
	  1 d(1304) a(1168,1572) d(897) d(1278) 
	  1 r(1725,1765) a(425,503) d(1731) r(767,661) r(440,342) 
	  1 d(738) a(764,1189) d(1315) r(894,897) r(1748,1737) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) 
	  1 r(838,877) r(1647,1609) d(1758) 
	  1 r(765,898) d(737) r(1647,1609) r(758,705) 
	  1 r(838,877) a(985,837) r(449,716) r(769,978) 
	  1 r(1725,1765) a(425,503) d(1754) r(1312,1294) r(579,652) 
	  1 r(765,898) d(1058) a(695,1734) 
	  1 r(1725,1765) a(425,503) d(1754) d(1725) 
	  1 r(765,898) d(1058) r(1312,1294) a(892,693) 
search: generation 4 (sizeof one variant = 0.205948 MB)
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) r(884,892) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) d(428) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) d(449) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) d(584) 
	  1 a(1733,1731) d(1747) r(835,881) 
	  1 r(1725,1765) a(425,503) d(1731) r(767,661) r(440,342) a(1298,1400) 
	  1 a(1156,1737) d(985) 
	  1 r(1725,1765) r(1757,552) d(713) r(1403,472) d(1610) 
	  1 a(1156,1737) d(713) r(1403,472) d(768) 
	  1 r(1725,1765) r(1757,552) a(443,1757) 
	  1 a(904,555) d(445) r(1179,694) d(857) a(816,423) d(884) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) r(834,835) 
	  1 d(1304) r(1064,1090) a(1041,417) 
	  1 d(1304) d(1310) d(894) d(1299) r(797,798) r(1757,543) a(878,450) d(454) 
	  1 d(1304) r(1064,1090) r(797,798) r(1757,543) a(878,450) r(1302,1115) 
	  1 d(1304) d(1310) d(894) d(1299) a(1180,1301) 
	  1 a(1130,1173) r(1113,1303) r(1757,552) a(780,1650) 
	  1 r(1725,1765) d(390) d(785) r(668,765) r(399,1346) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(1402) 
	  1 r(1725,1765) r(1757,552) d(660) 
	  1 d(1304) r(1179,694) d(857) a(647,392) d(462) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1601) 
	  1 a(1130,1173) d(879) d(799) r(586,1191) d(424) 
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) 
	  1 a(1156,1737) d(713) d(647) r(586,1191) r(1645,1639) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) 
	  1 r(765,898) d(737) r(1647,1609) r(1737,1735) a(764,667) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(892,1107) d(1730) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(732) 
	  1 a(904,555) d(445) d(1310) d(894) r(892,1107) r(1186,1401) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) r(1591,982) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) 
	  1 a(983,697) a(1288,1310) d(693) 
	  1 a(1130,1173) r(1113,1303) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) 
	  1 d(738) d(785) r(668,765) r(1597,1764) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) 
	  1 d(738) a(764,1189) r(1211,1647) d(1753) r(1169,1747) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) 
	  1 r(1744,1736) d(1296) d(339) r(1732,1106) a(731,1758) 
	  1 d(1304) d(1310) d(894) d(1299) a(879,635) 
	  1 r(838,877) a(985,837) r(449,716) d(732) r(834,858) 
	  1 r(765,898) d(1058) r(1312,1294) a(892,693) r(1061,1088) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) r(769,1079) 
	  1 d(774) r(1314,1296) r(1063,1077) r(893,884) 
	  1 d(774) r(1314,1296) a(446,460) a(1131,1342) a(1309,674) 
	  1 a(904,555) d(445) d(1310) d(894) r(892,1107) d(1116) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) r(1312,1115) 
	  1 a(1130,1173) r(1179,694) d(857) a(874,1189) r(1750,1744) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(437) 
	  1 d(1304) r(1179,694) d(857) a(874,1189) d(661) 
search: generation 5 (sizeof one variant = 0.206228 MB)
	  1 a(1130,1173) d(879) d(390) d(834) d(584) d(1063) 
	  1 a(1130,1173) r(1113,1303) d(799) r(652,855) a(801,664) r(897,884) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(1298) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) d(584) a(1732,765) 
	  1 d(774) a(1065,1601) d(713) d(647) r(652,855) a(904,1734) d(776) 
	  1 a(1156,1737) d(866) a(1729,1245) r(1312,1115) d(862) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) r(1312,1115) d(876) 
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) d(1642) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) 
	  1 a(904,555) d(445) d(1310) d(894) r(892,1107) d(1116) a(1758,1077) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(1170) 
	  1 a(904,555) d(445) d(1310) d(894) r(892,1107) d(1116) d(733) 
	  1 a(1130,1173) a(897,1024) d(1165) d(865) 
	  1 d(1304) r(1061,1059) r(1757,543) r(1113,1303) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) d(979) 
	  1 a(1130,1173) r(1113,1303) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) r(866,834) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) r(697,882) 
	  1 a(1733,1731) d(1747) r(835,881) r(773,394) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) d(428) r(1725,709) 
	  1 a(1130,1173) d(776) 
	  1 r(1725,1765) r(1757,552) a(443,1757) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) d(1295) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) r(797,814) 
	  1 r(1725,1765) r(1757,552) a(443,1757) a(1749,1090) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) 
	  1 a(1130,1173) d(879) a(451,709) d(1601) r(656,764) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1601) d(695) 
	  1 a(1130,1173) d(879) d(799) r(586,1191) d(424) r(1278,781) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) r(1639,1311) r(977,979) 
	  1 a(983,697) a(1288,1310) d(668) r(978,977) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) r(705,780) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) r(1645,1640) 
	  1 a(1156,1737) d(985) d(776) 
	  1 d(774) r(1314,1296) r(1063,1077) r(893,884) r(339,1121) 
	  1 a(904,555) d(445) d(1310) d(745) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(894) r(668,765) r(1730,1746) r(1609,1295) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(892,730) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) d(584) r(816,799) 
	  1 d(774) r(1314,1296) r(1063,1077) r(893,884) a(1170,1337) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(776,774) 
	  1 d(1304) r(1312,1115) r(649,700) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) r(1312,1115) r(730,449) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) d(892) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) d(449) d(1729) 
	  1 r(1744,1736) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) r(454,427) 
	  1 a(1130,1173) r(1113,1303) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) r(731,1354) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(905) 
	  1 a(1130,1173) r(1113,1303) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) r(837,1150) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(1402) d(1174) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(437) a(763,523) 
	  1 r(1725,1765) d(390) d(785) r(668,765) r(399,1346) a(579,652) 
	  1 a(1733,1731) d(1747) r(835,881) d(454) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) d(1309) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) a(1238,1301) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) 
	  1 a(1130,1173) r(1113,1303) r(1757,552) a(780,1650) r(903,982) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) r(1734,1731) 
	  1 a(1130,1173) d(1310) d(894) d(1299) a(879,635) a(455,507) 
	  1 d(1304) d(1310) d(894) d(1299) a(879,635) a(977,713) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) d(1645) 
search: generation 6 (sizeof one variant = 0.206388 MB)
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) r(652,855) a(801,664) r(897,884) d(880) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) 
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) d(1642) d(815) 
	  1 a(1130,1173) r(1113,1303) d(799) r(652,855) a(801,664) r(897,884) a(391,453) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) r(1639,1311) r(977,979) a(1168,1304) 
	  1 a(1130,1173) r(1113,1303) d(390) d(785) r(668,765) d(437) a(763,523) r(1121,1117) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1601) d(695) d(838) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(905) r(837,581) 
	  1 d(1304) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) a(1726,1769) 
	  1 r(765,898) d(737) r(1647,1609) r(1113,1303) d(390) r(685,1582) r(1293,1143) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) a(450,484) 
	  1 d(738) d(1310) d(894) d(1299) a(879,635) a(977,713) d(1175) 
	  1 d(1304) a(764,1189) r(860,858) d(1162) a(1402,1246) d(449) d(1729) r(778,649) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) d(449) d(1729) d(708) 
	  1 d(1304) d(1310) d(894) d(1299) a(879,635) a(977,713) r(1156,1079) 
	  1 d(1304) r(1312,1115) r(649,700) d(769) 
	  1 r(1725,1765) r(1757,552) a(443,1757) r(1113,1303) d(390) d(785) r(668,765) r(1168,1357) d(1295) d(424) 
	  1 a(904,555) d(445) d(1310) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1396) 
	  1 r(765,898) d(737) r(1647,1609) d(893) d(894) r(668,765) r(1730,1746) a(871,696) r(1133,1329) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(448) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) 
	  1 a(1156,1737) d(985) d(776) r(767,661) 
	  1 a(1130,1173) d(1310) d(894) d(1299) a(879,635) a(455,507) r(738,732) 
	  1 d(774) r(1314,1296) r(1063,1077) r(893,884) r(339,1121) a(1087,375) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) d(428) r(1725,709) d(760) 
	  1 a(904,555) d(445) d(1310) d(745) d(857) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) r(697,882) r(874,879) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(1309) a(1754,663) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) d(648) a(776,1162) r(705,780) r(653,1121) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) r(705,780) r(682,461) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) d(1309) a(896,769) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(1170) r(789,1058) 
	  1 d(774) r(1314,1296) r(1063,1077) r(893,884) r(339,1121) r(816,785) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) d(584) a(1732,765) d(894) r(668,765) r(1730,1746) r(1609,1295) r(1116,1306) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(894) r(668,765) r(1730,1746) r(1609,1295) r(1645,1649) 
	  1 a(1130,1173) r(1113,1303) d(390) d(834) d(584) a(1732,765) d(872) 
	  1 d(774) a(1065,1601) d(866) a(1729,1245) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(776,774) r(696,1101) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) 
	  1 r(1744,1736) d(390) a(764,1189) r(1211,1647) d(1753) r(1312,1350) r(454,427) r(405,555) 
	  1 a(1130,1173) d(879) a(451,709) d(1601) r(656,764) a(779,1770) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) 
	  1 r(765,898) d(1058) a(764,1189) r(1211,1647) d(648) a(776,1162) r(705,780) d(871) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) r(697,882) r(1735,1739) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) d(1309) a(394,405) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(685,1582) d(1170) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) r(1749,1733) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) 
search: generation 7 (sizeof one variant = 0.205533 MB)
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) 
	  1 d(1304) r(1061,1059) r(1757,543) d(1738) a(1644,1338) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) a(764,674) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) r(427,411) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1642) r(696,1296) d(977) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) a(1134,730) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1601) d(695) d(838) r(770,1189) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) d(579) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) r(893,899) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1024) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) 
	  1 r(765,898) d(737) r(1647,1609) d(893) d(894) r(668,765) r(1730,1746) a(871,696) r(1133,1329) a(1142,1106) 
	  1 d(1304) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) a(1726,1769) d(1402) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) d(428) r(1725,709) d(760) a(1741,1611) 
	  1 d(738) a(764,1189) r(860,858) d(1162) a(1402,1246) d(449) d(1729) d(708) a(707,1734) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(448) a(1760,730) 
	  1 d(738) d(1310) d(894) d(1299) a(879,635) a(977,713) d(1175) r(1062,1065) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(1396) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(685,1582) d(1170) r(1211,1756) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(696,469) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(1398,658) a(737,584) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) 
	  1 a(1130,1173) d(1310) d(894) d(1299) a(879,635) a(455,507) r(738,732) r(451,1297) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(834,877) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) a(1066,1245) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(715,709) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) d(880) a(776,266) 
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) r(652,855) a(801,664) r(897,884) a(1143,786) a(694,1763) d(1170) r(789,1058) r(882,896) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(1170) r(789,1058) r(1760,1757) 
	  1 a(1156,1737) d(713) d(647) r(652,855) a(904,1734) r(652,855) a(801,664) r(897,884) d(880) r(1400,776) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) 
	  1 a(1156,1737) d(985) d(776) r(767,661) d(405) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) 
	  1 a(1733,1731) d(893) r(1113,1361) d(669) d(428) r(1725,709) d(760) a(876,865) 
	  1 a(1130,1173) r(1113,1303) d(445) d(1310) d(745) d(857) r(1749,1731) 
	  1 a(904,555) d(799) d(1642) r(696,1296) d(426) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) d(776) 
	  1 a(904,555) d(445) d(1310) d(745) d(857) r(1648,1646) 
	  1 a(904,555) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) a(857,1288) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) d(737) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) d(1295) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) a(460,713) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) d(668) r(1639,1311) r(697,882) r(1735,1739) d(872) 
	  1 a(983,697) a(1288,1310) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) a(450,484) r(706,695) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) a(450,484) r(797,813) 
	  1 a(983,697) a(1288,1310) d(668) r(1639,1311) r(697,882) r(1735,1739) a(1129,1108) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) d(1309) a(896,769) d(1062) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) d(445) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(1582) 
	  1 r(1744,1736) d(904) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) a(445,1245) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) 
search: generation 8 (sizeof one variant = 0.20743 MB)
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) 
	  1 d(1304) r(1061,1059) r(1757,543) a(1143,786) a(694,1763) d(871) a(1114,1361) r(715,709) a(1582,1328) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(715,709) a(1163,501) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) a(647,453) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) a(764,674) a(446,1361) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(1582) a(884,1245) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1135) d(1024) d(617) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1024) d(682) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(1398,658) a(737,584) r(391,446) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) r(1063,1090) 
	  1 r(765,898) d(737) d(1601) a(1399,516) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1144) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) d(702) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) r(696,1296) d(426) r(1758,422) 
	  1 a(904,555) d(799) d(1642) d(1738) r(427,411) a(635,716) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) r(427,411) d(442) 
	  1 a(904,555) d(799) d(1642) r(696,1296) d(426) r(793,818) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) d(1131) 
	  1 d(1304) r(1061,1059) a(1114,1361) d(733) r(1309,1296) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) a(896,661) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) r(1170,1100) 
	  1 r(765,898) d(737) a(985,837) r(449,716) a(451,709) d(1601) d(695) d(838) r(770,1189) r(758,730) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(715,709) d(1144) 
	  1 d(738) d(1310) d(1024) r(1572,683) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(894) d(1299) a(879,635) a(977,713) d(1175) r(1062,1065) d(758) 
	  1 d(738) d(1310) d(894) d(1299) a(879,635) a(977,713) d(1175) r(1062,1065) a(1754,730) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1024) d(816) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(834,877) d(986) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) r(893,899) d(1639) 
	  1 d(1304) r(1061,1059) r(1757,543) d(471) r(1744,1749) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) r(649,770) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) r(1299,1119) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) a(1725,1740) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) d(579) a(771,732) 
	  1 d(1304) r(1061,1059) r(1757,543) d(1738) a(1644,1338) r(1600,1590) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) r(427,411) a(1640,516) 
	  1 d(738) d(1310) d(894) d(1299) a(879,635) a(977,713) d(1175) r(1062,1065) d(1163) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(780) 
	  1 a(1130,1173) r(1113,1303) d(445) d(1310) d(745) d(274) a(1133,447) r(734,599) a(668,781) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(857) r(1749,1731) a(1573,584) 
	  1 a(1130,1173) r(1113,1303) d(445) d(1310) d(745) d(857) r(1749,1731) r(442,449) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) d(339) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) d(342) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) d(1119) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) a(694,1763) d(871) a(1114,1361) r(1396,1106) d(801) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) r(1132,1174) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) a(461,1399) 
	  1 d(1304) r(1113,1303) r(1130,1108) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) r(660,768) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) r(1292,1170) 
	  1 a(1156,1737) d(985) d(776) r(767,661) d(405) d(1135) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) d(651) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) a(696,469) r(737,652) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(696,469) d(1592) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) r(767,715) 
	  1 a(904,555) d(668) r(1398,1329) d(785) r(668,765) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) d(737) d(647) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(445) r(648,816) r(706,713) d(1188) a(857,1288) r(672,778) 
	  1 a(904,555) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) a(857,1288) r(838,865) 
	  1 r(765,898) d(737) r(1647,1609) d(893) r(1113,1361) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(702,672) d(449) d(737) d(865) 
search: generation 9 (sizeof one variant = 0.207663 MB)
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(1582) a(884,1245) d(1728) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) r(1163,1312) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(1738) r(427,411) a(635,716) a(1168,1743) 
	  1 a(904,555) d(799) d(1642) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) r(738,608) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) r(1180,1135) 
	  1 a(904,555) d(799) d(1642) d(1738) r(427,411) a(635,716) d(668) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) d(1238) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) d(579) a(771,732) d(452) 
	  1 r(1744,1736) d(1296) d(339) r(834,877) d(986) a(661,421) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1748,1731) a(1143,786) d(1119) d(471) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) d(1119) r(1132,1293) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(834,877) d(986) d(1745) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(801,664) d(274) a(1133,447) r(734,599) d(339) r(1142,1099) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) a(896,661) d(453) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) a(896,661) a(767,769) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) d(339) d(799) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(857) r(1749,1731) a(1573,584) d(446) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) a(896,661) a(1294,1342) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(780) r(1300,1246) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(780) d(272) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) d(1729) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) a(1725,1740) a(798,1751) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) r(467,471) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) r(438,447) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) a(1725,1740) r(1162,1645) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1135) d(1024) d(617) r(862,874) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) r(872,875) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(1310) d(745) d(857) r(1749,1731) r(442,449) a(880,1771) 
	  1 a(1130,1173) r(1113,1303) d(445) r(1726,1749) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(428) 
	  1 a(1130,1173) r(1113,1303) d(445) d(1310) d(745) d(857) r(1749,1731) r(442,449) d(814) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1135) d(1024) d(617) a(1751,1192) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) a(647,453) r(584,1080) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) a(764,674) a(446,1361) a(897,608) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) d(342) d(653) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) d(339) a(876,419) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) r(427,411) a(1640,516) d(982) 
	  1 r(765,898) d(737) r(1132,1174) r(1314,1399) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(1398,658) a(737,584) r(391,446) r(461,529) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(1398,658) a(737,584) r(391,446) d(669) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) r(1132,1174) a(737,1759) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1642) r(696,1296) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(1582) a(884,1245) r(760,586) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) r(1063,1090) d(904) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) r(660,768) d(1738) a(764,674) a(446,1361) d(1647) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1758) 
	  1 d(1304) r(1113,1303) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) r(660,768) r(1742,1725) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1738) a(764,674) a(446,1361) r(1134,471) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) a(1398,658) r(1090,736) r(1299,1119) a(695,1192) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) d(702) d(1168) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) r(1292,1170) r(1165,1241) 
	  1 a(904,555) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) a(857,1288) r(838,865) d(1574) 
	  1 d(738) d(1310) d(894) d(1299) a(879,635) a(977,713) d(1175) r(1062,1065) d(1163) r(649,762) 
	  1 d(1304) r(1061,1059) r(1757,543) d(1738) a(1644,1338) r(1600,1590) d(1749) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) r(696,1739) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) d(897) r(1647,1646) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) r(1142,1309) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) d(450) 
search: generation 10 (sizeof one variant = 0.207175 MB)
	  1 d(1304) r(1061,1059) r(1300,1246) a(1289,1090) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(780) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) r(438,447) d(860) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) r(438,447) a(776,1737) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(780) r(1300,1246) d(1735) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) r(1180,1135) r(1189,484) 
	  1 a(904,555) d(799) d(1642) d(1738) r(427,411) a(635,716) d(668) a(875,557) 
	  1 r(765,898) d(737) a(1398,658) a(737,584) r(391,446) d(669) r(904,781) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1135) d(1024) d(617) r(862,874) r(1115,672) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1135) d(1024) d(617) r(862,874) a(708,1156) 
	  1 r(765,898) d(737) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) a(1398,658) a(737,584) r(391,446) d(669) d(884) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) r(1142,1309) d(1757) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) a(647,453) r(584,1080) r(429,427) 
	  1 a(1130,1173) r(1113,1303) r(1142,1099) r(773,1643) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(801,664) d(274) a(1133,447) r(734,599) d(339) d(799) d(1601) d(780) r(1300,1246) d(1403) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(780) r(1300,1246) d(762) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(801,664) d(274) a(1133,447) r(734,599) d(339) r(1142,1099) d(652) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) r(467,471) r(878,876) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) r(427,411) a(1640,516) d(982) r(745,446) 
	  1 d(1304) d(1738) r(427,411) a(635,716) d(668) d(471) 
	  1 a(904,555) d(799) d(1642) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) a(647,453) r(584,1080) d(272) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) a(647,453) r(584,1080) d(1179) 
	  1 a(904,555) d(799) d(1642) d(1738) r(427,411) a(635,716) d(668) r(390,342) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) d(1758) a(872,559) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) r(438,447) r(462,554) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) d(815) 
	  1 d(1304) r(1113,1303) d(390) d(669) d(428) r(1725,709) d(1135) d(1573) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) r(696,1739) r(777,736) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) a(897,1024) d(1165) r(1741,1726) d(1738) d(1601) d(1759) r(696,1739) a(1113,837) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) d(579) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) d(897) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) a(768,1289) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) r(1647,1646) d(1173) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) d(897) r(1647,1646) r(1609,549) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) r(857,879) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) d(1165) r(1741,1726) d(1738) a(985,837) r(449,716) d(799) r(586,1191) d(424) d(1744) a(451,1757) r(984,982) r(1063,1090) d(904) d(1403) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) r(1292,1170) r(1165,1241) a(1114,1403) 
	  1 a(1130,1173) r(1113,1303) d(799) d(1601) d(695) d(838) r(739,770) r(1292,1170) r(1165,1241) a(685,652) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1135) d(1573) d(897) r(1142,1309) d(1113) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(1738) r(427,411) a(635,716) d(1066) r(903,980) d(1310) d(745) d(857) r(1749,1731) r(442,449) a(880,1771) d(759) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) a(1168,1743) r(1748,1739) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(1738) r(427,411) a(635,716) a(1168,1743) d(897) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(1310) d(745) d(857) r(1749,1731) r(442,449) a(880,1771) r(702,1078) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) r(1132,1174) a(737,1759) r(837,390) 
	  1 r(1744,1736) d(1296) d(339) d(579) a(771,732) d(452) r(1065,1040) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) a(871,696) d(876) d(579) a(771,732) d(452) r(652,1646) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) r(1396,1106) r(1132,1174) a(737,1759) a(880,765) 
	  1 d(1304) r(1061,1059) r(1757,543) a(897,1024) a(1300,1180) d(1573) d(1173) r(438,447) a(1648,392) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(428) d(1170) 
	  1 r(1744,1736) d(1296) d(339) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) d(339) a(876,419) a(781,1751) 
	  1 a(1130,1173) d(879) d(799) r(834,877) d(986) a(661,421) d(1311) 
	  1 r(1744,1736) d(1296) d(339) r(834,877) d(986) a(661,421) r(981,904) 
	  1 a(1130,1173) d(879) d(799) r(652,855) a(801,664) d(274) a(1133,447) r(734,599) d(339) a(876,419) a(1040,422) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(428) a(1134,1759) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(1310) d(745) d(857) r(1749,1731) r(442,449) a(880,1771) r(425,405) 
	  1 r(1744,1736) d(1296) d(339) r(1748,1731) a(1143,786) a(694,1763) d(871) a(1114,1361) d(733) a(896,661) a(1294,1342) d(862) 
	  1 a(904,555) d(668) r(1398,1329) d(785) r(668,765) r(648,816) r(706,713) d(1188) a(857,1288) r(838,865) d(1574) r(775,580) 
	  1 d(1304) r(1113,1303) d(817) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) r(1180,1135) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) d(660) 
	  1 d(1304) r(1113,1303) d(390) r(685,1582) a(897,1024) d(1165) r(1741,1726) d(1738) d(879) d(695) d(838) r(739,770) d(390) d(785) r(668,765) r(648,816) r(739,599) r(448,444) r(1067,1078) a(1296,1162) a(1132,554) r(981,984) 
	  1 a(904,555) d(445) d(1310) d(894) r(668,765) r(1730,1746) d(669) d(428) r(1725,709) d(1744) a(451,1757) a(1398,658) a(737,584) d(865) r(1180,1135) a(1361,1293) 
	  1 d(1304) r(1113,1303) d(390) a(1742,1734) d(471) r(467,471) r(422,560) 
	  1 a(1733,1731) d(893) r(1113,1361) a(871,696) d(452) d(1066) r(903,980) d(428) r(648,789) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1261
"Test Suite Evaluations": 140.111

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1135.23
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             639 204.850 = 31.481%
  test                               1268 445.802 = 68.51%
  TOTAL                                   650.710 = 57.3193% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:58:35 EDT 2013
shutting down
