WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.5
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "one"
--crossp 0.5
--delp 0.85
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code false
--ignore-equiv-appends false
--ignore-standard-headers false
--ignore-string-equiv-fixes false
--ignore-untyped-returns false
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 0.35
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 3
--pos-weight 0.65
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0.75
--samp-strat "variant"
--sample 0.1
--sample-runs 100
--sanity "yes"
--search "ga"
--seed 4
--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-100-9-128 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:19 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/tmpc17c6a.c /tmp/tmpcab46a.c
cilRep: done preprocessing IO function signatures
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cachingRep: default.cache: loaded
faultlocRep: default.cache: loaded
cilRep: default.cache: loaded
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 1.62229)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1749
cilRep: stmts in weighted_path = 276
cilRep: total weight = 169.2
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1749])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.200621 MB)
search: initial population (sizeof one variant = 0.00998974 MB)
	  1 r(1104,1224) 
	  1 d(1704) 
	  1 d(768) 
	  1 a(675,1175) 
	  1 a(1698,441) 
	  1 d(733) 
	  1 r(456,1724) 
	  1 d(738) 
	  1 r(543,481) 
	  1 r(1163,1127) 
	  1 d(1736) 
	  1 d(409) 
	  1 d(750) 
	  1 d(1701) 
	  1 d(979) 
	  1 r(1700,1699) 
	  1 d(1171) 
	  1 d(1151) 
	  1 d(695) 
	  1 d(456) 
	  1 d(1127) 
	  1 d(419) 
	  1 a(445,548) 
	  1 a(767,1133) 
	  1 r(1718,1708) 
	  1 r(1125,1115) 
	  1 a(338,656) 
	  1 d(897) 
	  1 r(386,400) 
	  1 a(1296,1175) 
	  1 a(1171,447) 
	  1 r(443,439) 
	  1 d(973) 
	  1 d(1372) 
	  1 d(1288) 
	  1 d(977) 
	  1 d(1125) 
	  1 r(446,1175) 
	  1 d(1720) 
	  1 original
search: generation 1 (sizeof one variant = 0.200984 MB)
	  1 d(1127) a(1127,416) 
	  1 d(750) d(441) 
	  1 d(1127) a(439,548) 
	  1 d(750) r(542,548) 
	  1 r(446,1175) d(421) 
	  1 d(750) d(389) 
	  1 r(456,1724) r(411,1313) 
	  1 d(1372) d(1127) 
	  1 d(695) a(412,414) 
	  1 d(768) d(1709) 
	  1 a(767,1133) d(1127) 
	  1 a(675,1175) r(443,414) 
	  1 a(767,1133) r(414,1126) 
	  1 a(675,1175) d(1731) 
	  1 d(1171) a(768,571) 
	  1 a(445,548) a(1379,337) 
	  1 d(1171) d(434) 
	  1 a(445,548) d(970) 
	  1 d(1151) a(1290,1293) 
	  1 r(456,1724) r(1272,774) 
	  1 d(1151) r(1295,1127) 
	  1 r(456,1724) r(418,1279) 
	  1 a(675,1175) r(418,483) 
	  1 d(456) d(1116) 
	  1 a(675,1175) d(1721) 
	  1 d(456) d(1291) 
	  1 d(1151) d(592) 
	  1 d(456) a(896,1126) 
	  1 d(1151) r(1168,1118) 
	  1 r(1163,1127) d(757) 
	  1 d(1151) d(750) 
	  1 r(1163,1127) r(979,896) 
	  1 d(750) d(978) 
	  1 d(456) d(975) 
	  1 d(897) a(492,481) 
	  1 r(443,439) r(1741,494) 
	  1 d(897) a(400,335) 
	  1 r(443,439) d(1106) 
	  1 d(768) d(1105) 
	  1 a(675,1175) d(653) 
	  1 d(768) d(1153) 
	  1 a(675,1175) d(1717) 
	  1 d(1125) r(551,1337) 
	  1 r(543,481) d(448) 
	  1 d(1151) a(1139,455) 
	  1 d(409) r(897,769) 
	  1 d(1151) a(1740,574) 
	  1 d(409) a(738,753) 
	  1 r(1718,1708) d(507) 
	  1 d(409) r(1740,546) 
	  1 a(338,656) r(419,335) 
	  1 r(446,1175) d(1289) 
	  1 a(338,656) d(1716) 
	  1 r(446,1175) r(755,759) 
	  1 d(897) d(768) 
	  1 d(977) a(541,456) 
	  1 d(1151) d(693) 
	  1 r(1700,1699) r(896,975) 
	  1 r(543,481) d(405) 
	  1 d(456) r(335,542) 
search: generation 2 (sizeof one variant = 0.201916 MB)
	  1 d(750) d(978) d(538) 
	  1 d(456) a(896,1126) d(654) 
	  1 d(1151) d(693) a(1127,416) d(1105) 
	  1 d(1127) a(699,407) 
	  1 d(1151) d(693) r(448,1162) 
	  1 d(1127) a(1127,416) r(1298,449) 
	  1 d(456) a(896,1126) a(754,592) 
	  1 r(456,1724) r(411,1313) a(457,335) 
	  1 d(456) a(896,1126) a(752,421) 
	  1 r(456,1724) r(411,1313) d(1194) 
	  1 d(695) d(1717) d(401) 
	  1 a(675,1175) a(412,414) r(411,665) 
	  1 d(695) a(412,414) d(1701) 
	  1 a(675,1175) d(1717) a(1298,1292) 
	  1 a(675,1175) a(1740,1271) 
	  1 r(543,481) d(448) d(653) d(338) 
	  1 a(675,1175) d(653) a(667,666) 
	  1 r(543,481) d(448) r(1736,1737) 
	  1 d(1151) d(693) d(759) 
	  1 d(750) d(389) r(437,389) 
	  1 r(456,1724) r(411,1313) d(1374) 
	  1 a(675,1175) r(443,414) r(750,1285) 
	  1 r(456,1724) r(1272,774) r(1221,501) 
	  1 a(445,548) d(970) d(1708) 
	  1 d(768) d(1709) d(466) 
	  1 d(750) d(441) r(401,1106) 
	  1 d(1151) r(1295,1127) r(539,1737) 
	  1 a(767,1133) r(414,1126) r(1697,1717) 
	  1 d(456) d(1148) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) 
	  1 d(456) d(975) r(1722,482) 
	  1 a(675,1175) r(418,483) r(768,762) 
	  1 a(767,1133) r(414,1126) d(1724) 
	  1 r(456,1724) r(1272,774) r(700,758) 
	  1 d(1151) d(592) r(750,1372) 
	  1 d(897) d(768) a(758,1276) 
	  1 d(1151) a(1290,1293) a(412,414) d(1729) 
	  1 d(695) d(772) 
	  1 d(1151) a(1290,1293) r(1290,1158) 
	  1 d(695) a(412,414) r(1280,1379) 
	  1 r(443,439) d(1106) r(755,770) 
	  1 d(456) a(896,1126) a(416,897) 
	  1 d(1151) d(401) 
	  1 r(1700,1699) r(896,975) r(1295,1127) d(421) 
	  1 d(1151) r(1295,1127) d(1147) 
	  1 r(1700,1699) r(896,975) r(1721,1715) 
	  1 r(446,1175) d(1289) a(655,1107) 
	  1 d(1171) d(434) r(706,545) 
	  1 a(445,548) d(970) a(1720,667) 
	  1 d(897) d(768) d(572) 
	  1 r(1163,1127) d(757) r(1740,546) a(761,572) 
	  1 d(409) a(1719,655) 
	  1 r(1163,1127) d(757) r(759,1163) 
	  1 d(409) r(1740,546) r(1297,1161) 
	  1 d(1127) a(439,548) r(1288,1272) 
	  1 d(750) d(441) r(1276,890) 
search: generation 3 (sizeof one variant = 0.2022 MB)
	  1 r(446,1175) d(1289) a(655,1107) a(752,439) 
	  1 a(675,1175) a(1740,1271) d(974) 
	  1 r(446,1175) d(1289) a(655,1107) d(974) 
	  1 a(675,1175) a(1740,1271) r(407,1261) 
	  1 r(456,1724) r(411,1313) a(1298,1292) d(752) 
	  1 a(675,1175) d(1717) a(457,335) a(434,1724) 
	  1 r(456,1724) r(411,1313) a(457,335) d(1739) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) 
	  1 d(750) d(970) d(1708) a(385,501) 
	  1 a(445,548) d(389) r(437,389) a(738,774) 
	  1 d(750) d(389) r(437,389) r(432,451) 
	  1 a(445,548) d(970) d(1708) r(653,481) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) a(466,1376) 
	  1 d(1151) r(1295,1127) d(1147) r(1125,1312) 
	  1 d(1151) d(592) r(750,1372) d(755) 
	  1 d(456) a(896,1126) a(754,592) r(1736,1740) 
	  1 d(768) d(1709) d(466) r(769,733) 
	  1 d(695) d(772) r(422,385) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) 
	  1 d(695) a(412,414) r(1280,1379) r(1133,896) 
	  1 r(1163,1127) d(757) d(1276) 
	  1 d(897) d(768) d(572) r(759,1163) a(438,656) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) 
	  1 d(897) d(768) d(572) r(754,1330) 
	  1 a(675,1175) r(418,483) d(759) a(1280,455) 
	  1 d(1151) d(693) d(975) a(1171,337) r(773,1722) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) r(449,446) 
	  1 d(1151) d(693) d(759) d(419) 
	  1 r(1700,1699) r(896,975) r(1295,1127) d(421) d(1112) 
	  1 d(456) a(896,1126) a(754,592) d(1145) 
	  1 a(675,1175) r(443,414) d(1724) a(1117,1172) 
	  1 a(767,1133) r(414,1126) r(750,1285) d(1171) 
	  1 a(675,1175) r(443,414) r(750,1285) r(479,571) 
	  1 a(767,1133) r(414,1126) d(1724) r(1713,1712) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) 
	  1 a(445,548) r(1722,482) r(551,1272) 
	  1 d(456) d(975) r(1722,482) a(1107,1108) 
	  1 a(445,548) d(970) a(1720,667) r(675,574) 
	  1 a(675,1175) d(1717) a(1298,1292) r(770,733) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1296) 
	  1 a(675,1175) d(653) r(1724,979) 
	  1 a(675,1175) r(443,414) r(750,1285) d(977) 
	  1 a(675,1175) d(653) a(667,666) a(1112,405) 
	  1 r(1163,1127) d(757) d(693) d(759) r(887,890) 
	  1 d(1151) r(759,1163) r(387,422) 
	  1 r(1163,1127) d(757) r(759,1163) d(36) 
	  1 d(1151) d(693) d(759) d(419) 
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) 
	  1 d(750) d(978) d(538) r(1741,418) 
	  1 d(897) d(768) a(758,1276) d(441) r(401,1106) d(422) 
	  1 d(750) r(1111,1285) 
	  1 d(897) d(768) a(758,1276) d(701) 
	  1 d(750) d(441) r(401,1106) a(761,700) 
	  1 r(456,1724) a(896,1126) a(752,421) d(675) 
	  1 d(456) r(1272,774) r(1221,501) a(389,1298) 
	  1 r(456,1724) r(1272,774) r(1221,501) r(1740,1697) 
	  1 d(456) a(896,1126) a(752,421) d(977) 
	  1 d(1151) a(1290,1293) a(412,414) d(1729) d(1162) 
	  1 a(675,1175) a(1740,1271) r(891,889) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) 
	  1 d(768) d(1709) d(466) d(756) 
search: generation 4 (sizeof one variant = 0.202633 MB)
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) a(751,1728) 
	  1 d(1151) d(693) d(759) d(419) r(572,754) 
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) d(571) 
	  1 d(1151) d(693) d(759) d(419) r(649,495) 
	  1 a(675,1175) r(422,385) a(1283,1335) 
	  1 d(695) d(772) r(418,483) d(975) a(1171,337) r(449,446) r(573,700) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) r(449,446) d(457) 
	  1 d(695) d(772) r(422,385) r(1728,1729) 
	  1 r(543,481) d(653) r(1724,979) d(400) 
	  1 a(675,1175) d(448) d(653) d(338) r(764,695) a(494,550) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) d(543) 
	  1 a(675,1175) d(653) r(1724,979) r(1728,698) 
	  1 r(456,1724) r(411,1313) a(1298,1292) d(752) r(416,1727) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) 
	  1 a(445,548) d(970) d(1708) r(653,481) a(1175,665) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) 
	  1 d(750) d(389) r(437,389) r(432,451) d(1296) a(774,549) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1296) a(1376,1118) 
	  1 d(750) d(389) r(437,389) r(432,451) a(886,1730) 
	  1 a(767,1133) r(414,1126) r(750,1285) d(1171) r(892,891) 
	  1 d(897) d(768) a(758,1276) d(701) a(1113,448) 
	  1 d(1151) r(759,1163) r(387,422) r(537,501) 
	  1 d(750) d(441) r(401,1106) a(761,700) a(400,772) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) r(550,450) 
	  1 d(897) d(768) a(758,1276) d(701) r(756,592) 
	  1 a(675,1175) d(1717) a(1298,1292) r(1280,1312) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(770,733) a(1709,454) 
	  1 a(675,1175) d(1717) a(1298,1292) r(770,733) r(1712,1711) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) d(1729) d(1162) a(766,774) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) r(539,495) 
	  1 d(1151) a(1290,1293) a(412,414) d(1729) d(1162) d(1171) 
	  1 d(768) d(1709) d(466) d(756) a(1280,455) a(435,766) 
	  1 a(675,1175) r(418,483) d(759) a(665,649) 
	  1 d(768) d(1709) d(466) d(756) a(400,761) 
	  1 a(675,1175) r(418,483) d(759) a(1280,455) r(455,432) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) 
	  1 a(675,1175) r(418,483) d(975) a(1290,1293) a(412,414) d(1729) d(1162) d(1737) 
	  1 d(1151) a(1290,1293) a(412,414) d(1729) d(1162) a(1272,1330) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) a(466,1376) r(891,890) 
	  1 d(1151) d(693) d(759) d(419) a(1271,1107) 
	  1 r(1163,1127) d(757) d(1276) a(1286,1729) 
	  1 d(750) d(978) d(538) r(1741,418) d(970) 
	  1 a(675,1175) r(418,483) d(759) a(1280,455) r(693,1293) 
	  1 a(675,1175) r(1280,1379) d(1726) a(1172,1139) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) 
	  1 a(675,1175) d(653) r(1724,979) r(1720,1715) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(1169,1117) 
	  1 d(750) r(1111,1285) d(1221) 
	  1 d(1151) d(693) d(759) d(419) a(1271,1703) 
	  1 d(750) r(1111,1285) a(1158,446) 
	  1 d(1151) d(693) d(759) d(419) a(1106,497) 
	  1 a(445,548) d(389) r(437,389) a(738,774) a(1703,579) 
	  1 a(445,548) d(970) d(1708) r(653,481) d(423) 
	  1 r(456,1724) a(654,579) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(896,1126) a(752,421) d(675) r(572,759) 
	  1 r(456,1724) a(896,1126) a(752,421) d(675) a(757,447) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) r(1704,543) 
search: generation 5 (sizeof one variant = 0.203283 MB)
	  1 d(1151) a(1290,1293) a(412,414) r(1169,1295) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) r(544,550) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) d(1294) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) 
	  1 a(675,1175) d(759) a(665,649) a(1118,1276) 
	  1 a(675,1175) r(418,483) d(653) r(1724,979) r(1728,698) r(1139,1228) 
	  1 a(675,1175) d(653) r(1724,979) r(1728,698) d(435) 
	  1 a(675,1175) r(418,483) d(759) a(665,649) r(970,977) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) d(543) a(1740,541) 
	  1 d(750) d(389) r(437,389) r(432,451) d(1296) a(774,549) d(1721) 
	  1 d(1151) d(693) d(759) d(419) a(758,1276) d(701) r(756,592) a(758,1705) 
	  1 d(897) d(768) r(649,495) d(546) 
	  1 d(1151) d(693) d(759) d(419) r(649,495) d(1112) 
	  1 d(897) d(768) a(758,1276) d(701) r(756,592) d(657) 
	  1 r(456,1724) a(400,761) r(774,1111) 
	  1 d(768) d(1709) d(466) d(756) a(654,579) r(386,438) 
	  1 r(456,1724) a(654,579) r(891,887) 
	  1 d(768) d(1709) d(466) d(756) a(400,761) r(1376,456) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) 
	  1 d(695) d(772) r(418,483) d(975) a(1171,337) r(449,446) r(573,700) r(1296,1152) 
	  1 d(695) d(772) r(422,385) r(1728,1729) a(690,665) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) 
	  1 a(445,548) a(768,1152) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) r(449,446) d(457) d(970) d(1708) r(653,481) d(423) d(443) 
	  1 a(445,548) d(970) d(1708) r(653,481) d(423) a(1711,1704) 
	  1 a(675,1175) r(418,483) d(975) a(1171,337) r(449,446) d(457) d(549) 
	  1 r(456,1724) a(896,1126) a(752,421) d(675) a(757,447) d(1161) 
	  1 d(750) d(978) d(538) r(1741,418) d(970) r(1375,769) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) r(974,898) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) r(1715,1706) 
	  1 d(750) r(1111,1285) d(1221) a(418,1172) 
	  1 d(750) r(539,495) r(492,1260) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) r(1111,1285) d(1221) r(1271,1284) 
	  1 d(750) r(1111,1285) d(1221) d(1699) 
	  1 r(456,1724) r(411,1313) a(457,335) d(898) r(539,495) r(1114,1286) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) a(1171,337) a(466,1376) r(1715,1707) a(655,754) 
	  1 d(1151) r(571,690) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) d(337) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) r(666,1275) 
	  1 d(456) d(975) d(970) a(1720,667) a(1158,446) r(1700,1712) 
	  1 d(750) r(1111,1285) a(1158,446) r(667,1313) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(455,690) 
	  1 d(897) d(768) d(572) a(1169,1117) r(974,898) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(690,885) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(1169,1117) d(577) 
	  1 d(456) d(975) d(970) a(466,1376) r(1715,1707) d(765) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) r(676,541) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) r(481,492) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) 
	  1 a(675,1175) d(653) r(1724,979) a(1286,1729) d(400) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) 
	  1 a(675,1175) d(653) r(1724,979) r(1720,1715) d(1278) 
	  1 r(1163,1127) d(757) d(1276) a(1286,1729) r(1113,1228) 
	  1 a(445,548) d(571) r(414,763) 
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) d(970) d(1708) r(653,481) d(423) r(667,1715) 
	  1 a(445,548) d(970) d(1708) r(653,481) d(423) d(541) 
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) d(571) a(1720,405) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) r(1700,1707) r(1291,1284) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(665) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) d(337) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) 
search: generation 6 (sizeof one variant = 0.205033 MB)
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) r(538,550) d(571) a(1720,405) a(468,761) 
	  1 r(456,1724) r(411,1313) d(1374) r(1294,1377) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) d(759) 
	  1 r(456,1724) r(411,1313) d(1374) r(538,550) d(571) a(1720,405) r(435,449) 
	  1 d(750) a(1290,1293) a(412,414) r(1169,1295) d(551) 
	  1 d(1151) r(1111,1285) d(1221) d(1699) d(422) 
	  1 d(750) r(1111,1285) d(1221) d(1699) a(400,690) 
	  1 d(1151) a(1290,1293) a(412,414) r(1169,1295) d(37) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) 
	  1 a(445,548) d(970) d(1708) d(572) a(1169,1117) r(974,898) r(752,750) 
	  1 d(897) d(768) d(572) a(1169,1117) r(974,898) r(891,878) 
	  1 a(445,548) d(970) d(1708) r(653,481) d(423) d(541) d(700) 
	  1 d(1151) a(412,414) r(1169,1295) d(1153) 
	  1 d(1151) a(1290,1293) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) d(448) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) d(1705) 
	  1 d(1151) a(1290,1293) a(412,414) r(1169,1295) d(772) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) r(1700,1707) r(1291,1284) r(1172,438) 
	  1 d(456) d(975) d(970) a(1720,667) a(1158,446) r(1700,1712) a(978,1133) 
	  1 d(750) r(1111,1285) r(676,541) d(432) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) a(654,762) a(1715,1697) r(666,1275) r(973,898) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) r(666,1275) d(1379) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) r(676,541) d(754) 
	  1 a(675,1175) d(653) r(1724,979) r(1728,698) d(435) d(1376) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) r(676,541) r(1378,1126) 
	  1 a(445,548) a(768,1152) d(1375) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) 
	  1 a(675,1175) d(653) r(1724,979) a(1286,1729) d(400) r(389,1125) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) r(973,978) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) a(400,434) r(1700,1707) r(1291,1284) r(972,978) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) d(1372) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) r(1700,1707) r(1291,1284) d(1708) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) r(655,1697) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) d(1730) a(763,1741) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) r(772,756) 
	  1 d(1151) r(1295,1333) 
	  1 d(456) d(975) d(970) a(1720,667) a(1158,446) r(1700,1712) a(1290,1293) a(412,414) r(1104,1133) r(544,550) d(36) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) r(544,550) d(1700) 
	  1 d(456) d(975) d(970) a(1720,667) a(1158,446) r(1700,1712) r(579,971) 
	  1 d(456) d(1726) a(400,434) d(337) r(1118,1126) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(400,434) d(337) r(437,449) 
	  1 d(897) d(768) d(572) a(455,690) r(1290,1111) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) r(754,1330) d(761) r(1715,1706) r(970,972) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) r(1715,1706) d(389) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(455,690) a(665,1698) 
	  1 d(897) d(768) a(758,1276) d(701) r(756,592) d(657) d(1702) 
	  1 d(750) r(1111,1285) d(1221) a(418,1172) a(1702,1703) 
	  1 a(445,548) d(571) r(754,1330) d(761) a(1730,1714) r(579,695) 
	  1 d(897) d(768) d(572) r(414,763) d(975) 
	  1 a(445,548) d(571) r(414,763) a(886,1740) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) d(468) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) d(543) a(1740,541) a(446,1276) 
	  1 d(750) r(539,495) r(492,1260) d(1261) 
	  1 d(750) r(1111,1285) a(1158,446) r(667,1313) r(1714,1169) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) 
search: generation 7 (sizeof one variant = 0.204137 MB)
	  1 r(1163,1127) d(761) a(1730,1714) d(759) d(1712) 
	  1 d(897) d(768) d(572) r(754,1330) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) r(1106,1147) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) d(1107) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) d(759) a(667,456) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) r(1715,1706) d(389) d(761) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(447,1698) 
	  1 d(897) d(768) d(572) r(1337,1151) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) 
	  1 d(897) d(768) d(572) r(754,1330) d(761) a(1730,1714) d(468) r(1283,1115) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) a(655,1379) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) a(654,762) a(1715,1697) r(666,1275) r(973,898) a(1290,1293) a(412,414) r(1169,1295) d(772) a(1697,1729) 
	  1 d(1151) r(387,444) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) a(654,762) a(1715,1697) r(666,1275) r(973,898) d(1113) 
	  1 d(1151) a(1290,1293) a(412,414) r(1169,1295) d(772) d(482) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(436,411) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) d(667) 
	  1 d(1151) a(1171,337) r(754,1330) d(761) d(1730) r(1742,1377) d(1707) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) 
	  1 d(750) r(1111,1285) a(1377,1152) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) a(654,762) a(1715,1697) r(666,1275) d(1379) d(657) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) r(666,1275) d(1379) a(974,1126) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) d(769) 
	  1 a(445,548) a(446,1276) r(542,550) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) d(543) a(1740,541) a(768,1152) d(1375) r(1699,1714) 
	  1 a(445,548) a(768,1152) d(1375) a(700,1730) 
	  1 r(543,481) d(448) d(653) d(338) r(764,695) d(543) a(1740,541) a(446,1276) d(445) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) d(1221) d(1699) a(400,690) r(1730,1377) 
	  1 d(750) r(1111,1285) a(1114,1333) d(1194) d(421) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) 
	  1 d(750) r(1111,1285) d(1221) d(1699) a(400,690) d(1221) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(387) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) r(973,978) a(1718,455) 
	  1 d(750) r(1111,1285) a(1158,446) r(667,1313) r(1714,1169) d(1721) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) r(666,1275) d(1379) a(482,1298) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) d(1146) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) d(448) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) r(666,1275) d(1379) d(649) 
	  1 d(897) d(768) r(1295,1333) a(435,1727) 
	  1 d(1151) r(653,481) d(423) d(541) r(1698,1735) a(1709,389) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) 
	  1 d(1151) r(1295,1333) a(447,439) 
	  1 d(750) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) d(1741) 
	  1 r(1163,1127) r(1111,1285) r(676,541) d(432) d(546) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) d(448) 
	  1 d(1151) a(1290,1293) a(753,1729) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(542,1261) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) d(676) 
	  1 d(897) d(768) r(653,481) d(423) d(541) a(1283,1298) a(1105,1295) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) r(1698,1735) a(480,401) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) a(656,695) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) r(1284,1116) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) a(1696,494) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1376) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) d(1372) a(1716,547) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) d(1372) d(1714) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) 
	  1 d(1151) a(1171,337) r(1104,1133) a(675,1337) r(494,1260) r(1152,443) 
	  1 d(1151) a(1290,1293) a(412,414) a(1720,667) a(654,762) a(1715,1697) r(676,541) r(1378,1126) a(1704,758) 
	  1 d(1151) a(1171,337) a(1720,667) a(654,762) a(1715,1697) r(676,541) r(1378,1126) a(420,656) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) 
search: generation 8 (sizeof one variant = 0.204025 MB)
	  1 a(675,1175) d(449) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) d(1146) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) r(690,465) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) r(1261,773) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) 
	  1 d(1151) d(1106) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(1280) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) d(544) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) 
	  1 a(675,1175) r(1700,1707) d(448) d(1161) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) d(448) d(656) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) r(546,1700) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(655,1379) d(1707) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) d(1278) r(1706,1699) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) d(483) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) a(655,1379) r(457,510) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(750) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) r(1289,1171) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) r(1696,897) 
	  1 d(897) d(768) d(572) r(754,1330) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) r(1106,1147) d(1114) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) r(1711,1720) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) d(769) a(1124,550) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) d(1107) a(878,666) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) r(973,978) a(1718,455) d(1282) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) d(1171) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) d(423) d(541) r(1698,1735) r(436,411) r(462,457) 
	  1 d(897) d(768) r(653,481) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) a(1712,655) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) r(701,573) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(436,411) d(1106) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(387) r(442,886) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) d(752) 
	  1 a(445,548) r(1280,1379) d(1726) d(1372) d(1714) a(648,1740) 
	  1 d(695) a(412,414) a(768,1152) d(1375) a(700,1730) d(1725) 
	  1 a(445,548) a(768,1152) d(1375) a(700,1730) d(422) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) d(1372) d(1714) r(1172,1705) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(542,1261) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) d(756) 
	  1 a(675,1175) r(1147,462) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(542,1261) d(1168) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) d(1375) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(424,766) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(774,1298) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) d(434) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) d(1126) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) d(442) d(481) r(1106,1147) d(773) 
	  1 d(897) d(768) d(572) r(754,1330) d(757) r(759,1163) d(1175) a(878,550) r(1718,1720) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) r(1739,1736) 
	  1 d(897) d(768) d(572) r(754,1330) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) r(1106,1147) r(1728,544) 
	  1 d(1151) a(1171,337) r(754,1330) d(761) d(1730) r(1742,1377) d(1707) d(421) 
	  1 a(445,548) a(446,1276) r(542,550) a(771,1272) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) r(36,37) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) r(441,654) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) d(1147) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) r(423,1281) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) r(1698,1735) a(480,401) a(753,1729) d(755) 
	  1 d(1151) a(1290,1293) d(1714) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) r(1698,1735) a(480,401) d(1698) 
	  1 d(1151) a(1290,1293) a(753,1729) r(1736,1738) 
	  1 d(695) a(412,414) d(423) d(541) r(1698,1735) r(1722,495) d(466) 
	  1 d(897) d(768) r(653,481) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) r(414,542) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) a(1146,1283) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) r(648,547) 
	  1 d(897) d(768) r(653,481) d(423) a(1283,1335) r(1729,757) a(1283,1298) d(676) d(1163) 
	  1 a(675,1175) r(422,385) d(541) r(1698,1735) r(1297,1288) r(436,437) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(892,494) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) d(676) a(424,540) 
search: generation 9 (sizeof one variant = 0.203925 MB)
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) d(1378) 
	  1 d(750) d(733) a(738,1379) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) r(466,455) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) d(1379) 
	  1 d(1151) a(1290,1293) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) r(1711,1720) d(1162) 
	  1 d(695) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) r(1104,1375) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) a(1278,1118) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) r(1711,1720) r(979,974) 
	  1 d(1151) a(1290,1293) a(502,1373) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(1171,1312) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) a(446,767) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) d(1718) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) r(1736,1738) d(1700) 
	  1 d(1151) a(1290,1293) a(753,1729) d(1375) r(1146,1278) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) d(1375) r(733,1372) 
	  1 d(1151) a(1290,1293) a(753,1729) r(1736,1738) a(1741,539) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) d(972) 
	  1 d(1151) a(1290,1293) a(774,1298) a(1294,1379) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(774,1298) d(774) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(975,974) 
	  1 d(897) d(768) r(653,481) d(423) d(541) a(1114,1333) d(1194) r(1147,416) d(1147) r(1127,1229) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) r(1698,1735) r(1297,1288) a(424,766) d(1296) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(424,766) r(1285,1292) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) d(1147) d(1174) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) r(1261,773) a(434,545) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) r(1711,1720) r(487,770) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) r(973,978) a(1718,455) d(1282) a(1153,1169) 
	  1 d(897) d(768) r(653,481) a(1298,1292) d(389) a(434,416) a(655,1373) d(1175) r(579,1288) a(1712,655) d(1283) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) a(1290,1293) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) d(441) 
	  1 d(1151) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(1280) a(400,436) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(1280) a(495,481) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) r(434,1171) 
	  1 a(675,1175) d(1717) a(1298,1292) d(389) a(434,416) a(655,1373) r(973,978) a(1718,455) d(1282) a(439,441) 
	  1 d(1151) a(1290,1293) a(753,1729) r(1736,1738) a(1705,695) 
	  1 d(1151) a(1290,1293) d(1714) d(1709) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) d(1278) r(1706,1699) a(1742,506) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) r(441,654) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) d(1147) d(497) 
	  1 d(695) a(412,414) r(1280,1379) r(443,335) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) r(441,654) d(761) 
	  1 d(695) a(412,414) r(1280,1379) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) d(1194) r(1147,416) d(1147) d(1742) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) a(1731,538) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) d(483) a(1295,577) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) d(483) d(750) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) d(1161) 
	  1 d(897) d(768) r(653,481) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) r(758,764) r(414,542) d(756) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) d(769) a(1124,550) r(1280,1115) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) r(538,423) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) d(442) d(481) r(1106,1147) d(773) d(481) d(1107) a(878,666) d(1139) 
	  1 r(1163,1127) d(757) r(759,1163) d(1175) a(878,550) d(442) d(481) d(1107) a(878,666) r(754,1112) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) d(442) d(481) r(1106,1147) d(773) r(1139,764) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) d(1372) d(1714) r(1172,1705) r(405,506) 
	  1 a(675,1175) r(1700,1707) d(448) d(1161) a(1697,446) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) d(572) 
	  1 r(1163,1127) d(757) d(1276) r(1297,1288) d(1126) d(750) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) d(1126) a(441,547) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) a(761,1728) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) d(1171) d(433) 
	  1 d(1151) a(1290,1293) a(753,1729) r(1736,1738) d(443) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) r(546,1700) a(648,676) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) d(1171) d(1296) 
	  1 a(675,1175) r(1147,462) r(1729,757) a(1283,1298) d(676) a(424,540) a(483,750) 
	  1 a(675,1175) r(422,385) a(1283,1335) d(1706) 
	  1 a(675,1175) r(1147,462) r(648,1727) 
	  1 a(675,1175) r(422,385) a(1283,1335) r(1729,757) a(1283,1298) d(676) a(424,540) a(898,1714) 
search: generation 10 (sizeof one variant = 0.197803 MB)
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) r(434,1171) r(389,573) 
	  1 d(695) a(412,414) r(1280,1379) d(1726) r(754,1330) d(761) d(1730) r(1742,1377) d(769) a(1124,550) r(1280,1115) r(548,1125) 
	  1 a(675,1175) r(1700,1707) d(448) r(1297,1288) d(1126) a(441,547) a(1168,1698) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) d(1161) a(1697,446) d(435) 
	  1 a(675,1175) r(1700,1707) d(448) d(1161) a(1697,446) d(1168) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) d(1126) a(441,547) r(1379,574) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) a(446,767) d(444) 
	  1 a(675,1175) r(1700,1707) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) r(546,1700) a(648,676) d(1106) 
	  1 d(1151) a(1290,1293) a(502,1373) a(675,1337) r(494,1260) d(1278) d(483) d(750) d(756) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(1127,1111) 
	  1 d(1151) a(1290,1293) a(502,1373) d(1710) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) d(483) d(750) r(1727,444) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) a(1278,1118) d(1738) 
	  1 d(750) d(733) a(738,1379) r(1736,1739) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(975,974) r(387,439) 
	  1 d(750) d(733) a(738,1379) d(494) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) d(483) a(1295,577) r(434,655) 
	  1 d(750) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) d(1379) r(1710,1717) 
	  1 a(675,1175) r(1700,1707) d(448) d(1161) a(1697,446) r(1117,441) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) d(572) a(1145,1228) 
	  1 d(695) a(412,414) r(1280,1379) r(443,335) d(394) 
	  1 d(897) d(768) r(653,481) d(423) d(541) a(1114,1333) d(1194) r(1147,416) d(1147) r(1127,1229) d(1706) 
	  1 a(675,1175) r(443,414) r(750,1285) a(667,666) r(1700,1707) r(1113,1329) r(1153,1284) d(754) d(1375) r(733,1372) a(447,411) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) a(1731,538) r(890,891) 
	  1 d(1151) a(1290,1293) a(424,766) r(1285,1292) d(480) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) d(1378) d(1278) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) r(1111,1285) a(654,762) a(1715,1697) d(1146) a(577,338) d(1378) r(1724,1337) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(424,766) r(1285,1292) d(446) 
	  1 d(1151) a(1290,1293) a(412,414) d(1709) r(407,540) 
	  1 d(1151) a(1290,1293) d(1714) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) a(1278,1118) r(1147,756) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(405,1312) d(1125) a(1278,1118) r(655,592) 
	  1 d(1151) a(1290,1293) d(1714) d(1709) a(1696,507) 
	  1 d(1151) a(675,1147) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(1171,1312) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) d(1171) d(1296) r(1281,1332) 
	  1 d(1151) a(1171,337) a(466,1376) r(1715,1707) a(1126,1333) a(1377,1106) r(1152,973) d(1171) d(1296) d(890) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(1171,1312) a(773,405) 
	  1 d(750) r(1111,1285) r(676,541) d(432) d(1275) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(1280) a(495,481) d(1133) 
	  1 d(456) d(975) d(970) a(1720,667) a(654,762) a(1715,1697) a(1114,1333) r(338,573) a(1290,667) d(442) d(481) r(1106,1147) d(773) d(481) d(1107) a(878,666) d(1139) a(1379,1312) 
	  1 d(1151) a(1290,1293) r(1297,1115) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(424,766) r(1285,1292) a(753,1729) r(1736,1738) d(443) d(466) 
	  1 d(1151) a(1290,1293) a(753,1729) r(1736,1738) d(443) r(571,753) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1297,1288) a(424,766) r(1285,1292) r(1718,1701) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(1114,1114) d(1718) a(1717,762) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) d(1278) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) a(1731,538) d(1107) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) d(972) d(495) 
	  1 d(1151) a(1290,1293) a(412,414) r(1113,1329) r(1153,1284) d(754) d(1116) r(975,974) a(1107,1271) 
	  1 d(695) a(412,414) d(653) r(1724,979) a(1715,1157) r(1104,1133) d(676) d(1279) d(1162) r(1711,1720) r(487,770) d(400) 
	  1 d(1151) a(1290,1293) a(502,1373) d(437) 
	  1 a(675,1175) r(1700,1707) d(448) d(1161) a(1697,446) a(1156,649) 
	  1 d(1151) a(1290,1293) a(412,414) r(1104,1133) a(675,1337) r(494,1260) a(1288,1313) d(733) r(466,455) a(571,547) 
	  1 d(897) d(768) r(653,481) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) d(1161) r(1292,1272) 
	  1 r(1163,1127) d(423) d(541) r(1698,1735) r(1722,495) a(774,1298) d(774) a(1378,1297) 
	  1 d(897) d(768) r(653,481) d(423) d(541) r(1698,1735) r(1722,495) a(774,1298) d(774) d(1157) 
	  1 r(1163,1127) d(757) d(1276) r(1720,1715) a(676,1162) d(1730) r(1113,1329) r(574,1289) r(754,1330) d(761) a(1730,1714) d(468) d(445) a(890,1139) d(1161) d(1379) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1291
"Test Suite Evaluations": 322.75

Compile Failures: 0
Wall-Clock Seconds Elapsed: 901.254
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.056 = 0.0102749%
  compile                             651 155.408 = 28.3931%
  test                               1293 391.879 = 71.5966%
  TOTAL                                   547.343 = 60.7308% (avg CPU usage)
gzip-bug-2009-09-26-a1d3d4019d-f17cbd13a1.tar.gz
Thu Sep 26 14:54:21 EDT 2013
shutting down
