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 10
--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-32-169-190 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:37 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           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp0297af.c /tmp/tmpf20b3e.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 = 4.41119)
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.012145 MB)
	  1 d(894) 
	  1 a(1647,1238) 
	  1 d(766) 
	  1 d(696) 
	  1 r(1746,1748) 
	  1 r(860,877) 
	  1 r(1572,982) 
	  1 r(470,1163) 
	  1 d(715) 
	  1 a(765,551) 
	  1 d(467) 
	  1 r(1748,1733) 
	  1 r(423,1141) 
	  1 a(1087,469) 
	  1 d(1067) 
	  1 d(1756) 
	  1 r(651,873) 
	  1 r(977,903) 
	  1 d(760) 
	  1 d(880) 
	  1 d(1141) 
	  1 r(1726,1734) 
	  1 r(733,578) 
	  1 d(1727) 
	  1 r(800,818) 
	  1 d(1641) 
	  1 d(1114) 
	  1 d(762) 
	  1 d(1734) 
	  1 r(1129,1099) 
	  1 d(578) 
	  1 d(445) 
	  1 r(1641,1647) 
	  1 r(1186,1350) 
	  1 r(461,1314) 
	  1 r(1175,1328) 
	  1 r(617,530) 
	  1 a(705,864) 
	  1 r(904,979) 
	  1 original
search: generation 1 (sizeof one variant = 0.203439 MB)
	  1 d(1114) d(1743) 
	  1 d(715) d(874) 
	  1 d(1641) a(1739,764) 
	  1 d(766) a(673,770) 
	  1 r(1175,1328) d(436) 
	  1 r(470,1163) d(892) 
	  1 r(1175,1328) r(760,691) 
	  1 r(470,1163) d(1734) 
	  1 r(1641,1647) r(758,761) 
	  1 d(1641) a(394,1192) 
	  1 r(1641,1647) d(1133) 
	  1 d(1641) a(760,674) 
	  1 r(1748,1733) d(1398) 
	  1 d(760) d(1572) 
	  1 r(1748,1733) a(766,546) 
	  1 d(760) d(745) 
	  1 r(1175,1328) d(1746) 
	  1 d(766) d(578) 
	  1 r(1175,1328) d(1593) 
	  1 d(766) d(983) 
	  1 r(1572,982) d(1397) 
	  1 r(470,1163) d(1174) 
	  1 r(1572,982) d(1297) 
	  1 r(470,1163) a(1130,1242) 
	  1 d(426) 
	  1 d(1067) a(1179,1097) 
	  1 r(1748,1733) d(1736) 
	  1 r(470,1163) d(1403) 
	  1 r(1726,1734) r(1759,635) 
	  1 r(470,1163) d(1024) 
	  1 d(696) a(763,655) 
	  1 r(860,877) a(1642,1328) 
	  1 r(1726,1734) r(1088,1078) 
	  1 r(733,578) a(1297,1238) 
	  1 r(1572,982) r(1303,1340) 
	  1 r(860,877) a(660,745) 
	  1 d(696) d(1396) 
	  1 d(1141) a(1310,461) 
	  1 d(696) a(700,773) 
	  1 d(1141) d(707) 
	  1 r(1748,1733) r(838,873) 
	  1 d(766) r(745,1302) 
	  1 r(1748,1733) d(1130) 
	  1 d(766) a(702,1078) 
	  1 d(1734) r(803,1728) 
	  1 r(860,877) d(1753) 
	  1 d(762) a(1640,416) 
	  1 d(696) d(424) 
	  1 d(1593) 
	  1 d(762) r(780,669) 
	  1 d(467) d(1749) 
	  1 r(1186,1350) r(799,1640) 
	  1 d(467) r(436,786) 
	  1 r(1186,1350) a(342,735) 
	  1 d(715) d(1113) 
	  1 d(1756) d(1141) 
	  1 d(715) r(757,780) 
	  1 d(1756) d(715) 
search: generation 2 (sizeof one variant = 0.204292 MB)
	  1 d(1067) a(1179,1097) d(392) 
	  1 r(860,877) a(1642,1328) a(860,419) 
	  1 d(762) d(1150) 
	  1 d(426) r(780,669) r(1089,1080) 
	  1 d(762) r(780,669) d(1754) 
	  1 d(426) r(892,856) 
	  1 d(696) r(1288,1398) 
	  1 r(1748,1733) d(1736) d(424) r(715,1098) 
	  1 d(696) d(424) d(1114) 
	  1 r(1748,1733) d(1736) r(436,513) 
	  1 r(1175,1328) d(1141) r(1059,1079) 
	  1 d(1756) d(1593) a(798,405) 
	  1 r(1175,1328) d(1593) d(767) 
	  1 d(1756) d(1141) a(424,493) 
	  1 r(1726,1734) r(1088,1078) d(1736) d(452) 
	  1 r(1748,1733) r(768,584) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) 
	  1 r(1748,1733) d(1736) r(1156,834) 
	  1 r(1726,1734) r(1088,1078) d(1302) 
	  1 d(766) d(578) d(778) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) 
	  1 d(760) d(734) 
	  1 r(1572,982) r(1303,1340) d(799) 
	  1 d(760) d(1572) r(674,1340) 
	  1 r(1748,1733) d(1398) d(1191) 
	  1 r(1748,1733) d(1398) r(1644,1647) 
	  1 r(1748,1733) d(1736) d(814) 
	  1 r(1572,982) d(1297) r(1643,1648) 
	  1 r(1186,1350) a(342,735) d(772) 
	  1 d(1641) a(1739,764) a(862,715) 
	  1 d(696) d(1396) d(1305) 
	  1 r(1186,1350) r(799,1640) a(599,733) 
	  1 r(1572,982) d(1297) a(1759,881) 
	  1 d(1641) a(1739,764) r(838,877) 
	  1 d(766) d(983) a(745,462) 
	  1 d(766) d(578) d(427) 
	  1 d(766) d(983) a(856,1164) 
	  1 d(766) d(578) d(773) 
	  1 d(762) a(1640,416) d(439) 
	  1 d(1141) a(1310,461) r(1180,1304) 
	  1 d(762) a(1640,416) d(649) 
	  1 d(1141) a(1310,461) r(674,858) 
	  1 d(696) a(700,773) r(894,897) 
	  1 r(1186,1350) r(799,1640) a(1119,662) 
	  1 d(1141) d(707) d(812) 
	  1 r(1748,1733) d(1736) r(773,668) 
	  1 r(860,877) a(1174,484) 
	  1 r(470,1163) d(1734) d(1753) r(439,732) 
	  1 r(860,877) d(1753) r(716,773) 
	  1 r(470,1163) d(1734) a(456,498) 
	  1 r(470,1163) d(892) d(1087) 
	  1 r(1186,1350) a(342,735) d(661) 
	  1 r(470,1163) d(892) d(578) 
	  1 r(1186,1350) a(342,735) d(765) 
	  1 d(1593) d(449) 
	  1 d(426) d(1640) 
	  1 d(1593) d(983) 
	  1 d(426) d(898) 
	  1 d(766) d(423) 
	  1 r(1175,1328) d(436) d(983) d(758) 
	  1 d(766) d(983) a(446,513) 
	  1 r(1175,1328) d(436) a(1089,1771) 
search: generation 3 (sizeof one variant = 0.203718 MB)
	  1 r(1572,982) r(1303,1340) d(799) d(1736) r(1156,834) d(837) 
	  1 r(1748,1733) d(1402) 
	  1 r(1572,982) r(1303,1340) d(799) r(390,456) 
	  1 r(1748,1733) d(1736) r(1156,834) d(1750) 
	  1 d(766) d(423) d(697) 
	  1 d(1641) a(1739,764) a(862,715) d(1289) 
	  1 d(766) d(423) a(1731,546) 
	  1 d(1641) a(1739,764) a(862,715) d(1743) 
	  1 r(1186,1350) a(342,735) d(772) a(1059,484) 
	  1 d(1141) a(1310,461) r(674,858) d(1297) 
	  1 d(766) d(983) r(693,429) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) 
	  1 d(766) d(983) a(856,1164) a(745,1241) 
	  1 d(696) d(1396) d(1305) r(1314,1156) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(772) r(875,879) 
	  1 r(1186,1350) a(342,735) a(1129,1168) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(425) 
	  1 r(1186,1350) a(342,735) d(772) r(1191,1119) 
	  1 d(696) a(700,773) r(894,897) d(456) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) 
	  1 r(470,1163) d(892) r(454,441) 
	  1 r(1572,982) d(1297) a(1759,881) d(1087) r(1600,1601) 
	  1 r(470,1163) d(892) d(1087) r(584,1104) 
	  1 r(1572,982) d(1297) a(1759,881) d(1731) 
	  1 d(760) d(734) a(652,694) 
	  1 r(1186,1350) a(342,735) d(661) r(339,1175) 
	  1 d(1141) d(707) a(1649,1769) a(1173,1173) 
	  1 r(1726,1734) r(1088,1078) d(812) a(1734,1328) 
	  1 d(1141) d(707) d(812) r(867,877) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(1747,1731) 
	  1 d(696) d(1396) d(1736) d(814) d(815) 
	  1 r(1748,1733) d(1305) d(1737) 
	  1 d(696) d(1396) d(1305) d(1129) 
	  1 r(1748,1733) d(1736) d(814) r(1725,1108) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) 
	  1 r(1186,1350) d(983) a(446,513) a(649,584) 
	  1 d(766) d(983) a(446,513) r(781,1189) 
	  1 r(1186,1350) r(799,1640) a(1119,662) r(1749,1744) 
	  1 d(426) r(780,669) r(1089,1080) d(1141) 
	  1 d(1141) a(1310,461) r(674,858) d(1174) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) 
	  1 d(696) r(1582,1593) 
	  1 d(1593) d(983) r(586,390) 
	  1 d(696) d(424) d(1114) a(1729,652) 
	  1 r(1748,1733) d(1398) r(1644,1647) a(778,626) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) 
	  1 d(762) d(1150) a(456,498) d(879) 
	  1 r(470,1163) d(1734) d(875) 
	  1 d(762) d(1150) a(1744,416) 
	  1 r(470,1163) d(1734) a(456,498) a(342,266) 
	  1 d(1593) d(449) d(1734) a(456,498) a(654,858) 
	  1 r(470,1163) a(1040,266) 
	  1 d(1593) d(449) r(391,451) 
	  1 r(470,1163) d(1734) a(456,498) a(668,673) 
	  1 d(762) d(1150) a(798,405) r(705,669) 
	  1 d(1756) d(1593) r(599,1314) 
	  1 d(762) d(1150) a(1311,1174) 
	  1 d(1756) d(1593) a(798,405) d(1188) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) 
	  1 d(696) r(425,423) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(776) 
	  1 d(696) d(1396) d(1305) d(816) 
	  1 r(1572,982) r(1303,1340) d(799) d(1298) 
	  1 r(1186,1350) a(342,735) d(661) d(1129) 
	  1 d(1756) d(1593) a(798,405) d(437) 
	  1 r(1186,1350) r(799,1640) a(599,733) d(702) 
search: generation 4 (sizeof one variant = 0.205592 MB)
	  1 d(762) d(1150) r(390,456) d(1165) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) r(394,1764) 
	  1 d(762) d(1150) a(456,498) d(879) a(1402,1106) 
	  1 r(1572,982) r(1303,1340) d(799) r(390,456) r(873,878) 
	  1 d(766) d(799) d(1736) r(1156,834) d(837) d(578) 
	  1 r(1572,982) r(1303,1340) d(423) d(697) r(427,422) 
	  1 d(766) d(423) d(697) r(412,986) 
	  1 r(1572,982) r(1303,1340) d(799) d(1736) r(1156,834) d(837) r(391,339) 
	  1 d(1141) d(707) a(1649,1769) d(983) a(446,513) r(781,1189) d(776) 
	  1 d(766) a(1173,1173) d(412) 
	  1 d(1141) d(707) a(1649,1769) a(1173,1173) r(733,599) 
	  1 d(766) d(983) a(446,513) r(781,1189) r(673,658) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) r(899,897) 
	  1 r(1186,1350) r(799,1640) a(599,733) d(702) a(1642,818) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) 
	  1 r(1748,1733) d(1402) d(1310) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) 
	  1 r(1186,1350) a(1133,1173) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) d(770) 
	  1 r(1186,1350) a(342,735) d(661) r(339,1175) r(1609,871) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) 
	  1 r(1748,1733) d(1305) d(856) 
	  1 d(766) d(423) d(697) d(1737) d(1400) 
	  1 r(1748,1733) d(1305) d(1737) r(1141,473) 
	  1 d(766) d(423) d(697) r(660,1304) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(814) r(1725,1108) r(649,599) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(772) r(875,879) d(778) 
	  1 r(1748,1733) d(1736) d(814) r(1725,1108) r(428,557) 
	  1 d(766) d(1288) 
	  1 d(696) d(1396) d(1736) d(814) d(815) d(983) r(693,429) r(1572,1165) 
	  1 d(766) d(983) r(693,429) d(706) 
	  1 d(696) d(1396) d(1736) d(814) d(815) d(1649) 
	  1 d(696) d(1396) d(1736) d(814) d(815) a(1592,1650) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) 
	  1 d(766) d(423) d(697) a(878,419) 
	  1 d(762) d(1150) a(456,498) d(879) r(456,1108) 
	  1 d(1756) d(1593) a(1741,1078) 
	  1 d(1593) d(983) r(586,390) r(599,1314) d(1192) 
	  1 d(1756) d(1593) r(599,1314) d(982) 
	  1 d(1593) d(983) r(586,390) a(1024,1341) 
	  1 d(696) d(1396) d(837) a(904,1189) 
	  1 r(1572,982) r(1303,1340) d(799) d(1736) r(1156,834) d(1305) a(856,1164) d(773) d(441) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) d(1730) 
	  1 r(1572,982) r(1303,1340) d(799) d(1736) r(1156,834) d(837) r(37,36) 
	  1 r(1748,1733) d(1305) d(1737) a(1738,1241) 
	  1 d(762) d(1150) a(1311,1174) d(713) 
	  1 d(696) a(700,773) r(894,897) d(456) d(1133) 
	  1 d(760) d(734) a(652,694) d(1729) 
	  1 d(696) a(700,773) r(894,897) d(456) r(1758,984) 
	  1 d(760) d(734) a(652,694) r(1065,1077) 
	  1 r(1748,1733) d(1305) d(1737) d(977) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) d(765) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) 
	  1 d(762) d(1150) a(1311,1174) d(1396) d(1305) r(816,785) r(1156,1101) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(1297) 
	  1 d(762) d(1150) a(1311,1174) d(443) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) 
	  1 r(470,1163) d(1734) d(875) a(1133,675) 
	  1 r(470,1163) d(1734) r(461,1111) d(425) r(1302,1315) 
	  1 r(1572,982) r(1303,1340) d(1572) a(456,498) a(342,266) r(1116,1293) 
	  1 r(470,1163) d(1734) a(456,498) a(342,266) a(1189,375) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(425) d(1062) 
search: generation 5 (sizeof one variant = 0.205721 MB)
	  1 d(1593) d(983) r(586,390) r(599,1314) d(1192) r(1141,736) 
	  1 r(1572,982) r(1303,1340) d(423) d(697) r(427,422) d(1309) 
	  1 r(470,1163) d(1734) a(1649,1769) d(586) d(1741) 
	  1 r(1726,1734) r(1088,1078) a(456,498) r(1062,1065) d(1297) r(874,881) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) 
	  1 d(696) d(1396) d(1736) d(814) d(815) a(1592,1650) r(1133,1179) 
	  1 d(1593) d(983) r(586,390) r(599,1314) d(1192) a(1741,1761) 
	  1 r(1572,982) r(1303,1340) d(1572) r(461,1111) d(772) r(875,879) d(778) a(341,561) 
	  1 d(762) d(1150) a(1311,1174) d(443) d(706) 
	  1 d(766) a(1173,1173) d(412) d(1129) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(1170) 
	  1 r(1748,1733) d(1305) d(1737) d(1396) d(1305) a(856,1164) d(773) r(899,897) d(1238) 
	  1 d(696) a(1738,1241) d(1730) 
	  1 r(1748,1733) d(1305) d(1737) a(1738,1241) d(761) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) r(899,897) r(1024,786) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) 
	  1 r(1186,1350) r(799,1640) a(599,733) d(702) a(1642,818) d(1186) 
	  1 r(1748,1733) d(1305) d(1737) d(977) d(1746) 
	  1 d(1593) d(983) r(586,390) r(599,1314) d(1192) a(685,1329) 
	  1 d(696) a(700,773) r(894,897) d(1310) a(1142,1156) 
	  1 r(1748,1733) d(1402) d(456) r(1758,984) r(1142,1354) 
	  1 d(696) a(700,773) r(894,897) d(456) r(1758,984) d(1170) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) r(1179,1753) 
	  1 d(1593) d(983) d(424) d(1114) r(1745,1736) 
	  1 r(1186,1350) a(1133,1173) a(803,402) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) d(1150) a(1311,1174) d(713) r(1755,1762) 
	  1 d(762) r(394,1764) d(884) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) r(394,1764) r(1067,1058) 
	  1 d(762) d(1150) a(1311,1174) d(713) d(802) 
	  1 r(1748,1733) d(734) a(652,694) d(1729) r(682,802) 
	  1 d(760) d(1305) d(856) a(429,651) 
	  1 r(1748,1733) d(1305) d(856) a(1112,770) 
	  1 d(760) d(734) a(652,694) d(1729) r(599,1189) 
	  1 d(762) d(1150) a(1311,1174) d(713) r(1743,1130) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) r(1192,661) 
	  1 d(1593) d(983) r(586,390) a(1024,1341) d(897) 
	  1 r(1748,1733) d(1402) d(1310) r(1288,774) 
	  1 d(766) d(423) d(697) a(878,419) d(707) a(1649,1769) a(1173,1173) r(733,599) d(1168) 
	  1 d(1141) a(1729,1211) 
	  1 d(766) d(423) d(697) a(878,419) r(608,1609) 
	  1 d(1141) d(707) a(1649,1769) a(1173,1173) r(733,599) d(771) 
	  1 r(1572,982) r(1303,1340) d(1572) a(456,498) d(1150) a(1311,1174) d(1396) d(1305) r(816,785) r(1156,1101) a(738,682) 
	  1 d(762) a(342,266) r(1116,1293) a(1746,761) 
	  1 r(1572,982) r(1303,1340) d(1572) a(456,498) a(342,266) r(1116,1293) r(1180,1117) 
	  1 d(762) d(1150) a(1311,1174) d(1396) d(1305) r(816,785) r(1156,1101) d(425) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) r(713,1609) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(732) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) r(1640,1648) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) r(437,445) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) d(1304) a(412,421) r(1185,1592) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) 
	  1 d(766) a(1173,1173) r(1062,1065) d(1297) d(1308) 
	  1 r(470,1163) d(1734) a(456,498) d(412) r(422,452) 
	  1 d(766) a(1173,1173) d(412) a(1295,608) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(1306,493) 
	  1 d(766) d(423) d(697) r(1760,1759) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) 
	  1 d(766) d(423) d(697) r(412,986) d(1312) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(865,860) 
search: generation 6 (sizeof one variant = 0.207043 MB)
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(856) a(429,651) d(768) 
	  1 d(760) d(1305) r(266,981) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) 
	  1 d(760) d(1305) d(856) a(429,651) r(449,1397) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) r(894,897) d(456) r(1758,984) d(1170) d(1063) 
	  1 d(696) a(700,773) d(800) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) r(1116,1113) 
	  1 d(696) a(700,773) r(894,897) d(456) r(1758,984) d(1170) a(1164,551) 
	  1 r(1726,1734) r(1088,1078) a(456,498) r(1062,1065) d(1297) r(874,881) a(1300,786) 
	  1 r(1748,1733) d(1305) d(1737) a(1738,1241) d(761) r(1644,1646) 
	  1 r(1186,1350) a(1133,1173) d(705) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) a(803,402) r(1067,1063) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(1189,410) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) d(707) 
	  1 d(696) d(1396) d(1305) a(856,1164) d(773) r(899,897) r(1024,786) r(855,866) 
	  1 d(1593) d(983) r(586,390) a(1024,1341) d(897) a(870,1293) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) 
	  1 r(1748,1733) d(734) a(652,694) d(1729) r(682,802) r(702,774) 
	  1 d(762) a(437,664) d(1759) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) r(394,1764) d(884) d(342) 
	  1 d(762) r(394,1764) d(884) r(399,1329) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(1185,860) 
	  1 d(766) a(1173,1173) d(412) d(1129) d(1090) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(437) 
	  1 r(1186,1350) r(799,1640) a(599,733) d(702) r(647,1141) r(713,1609) r(780,700) 
	  1 d(1593) d(983) d(424) d(1114) a(1642,818) d(1186) d(266) 
	  1 r(1186,1350) r(799,1640) a(599,733) d(702) a(1642,818) d(1186) r(1643,1649) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) r(713,1609) a(878,731) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) r(1601,696) a(1130,516) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) d(865) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1130,1399) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1734,1764) 
	  1 d(696) d(1396) d(1736) d(814) d(815) a(1592,1650) r(1133,1179) a(898,428) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) r(1179,1753) r(1143,1763) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(443) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) r(1179,1753) d(862) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) 
	  1 d(762) r(394,1764) d(884) d(1058) 
	  1 d(696) d(799) a(456,498) d(879) r(394,1764) r(1067,1058) d(855) 
	  1 r(1572,982) r(1303,1340) a(1738,1241) d(1730) a(1132,1341) 
	  1 d(696) a(1738,1241) d(1730) a(456,513) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) r(394,1764) r(1067,1058) r(1090,1338) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) a(667,738) 
	  1 d(762) d(1150) a(1311,1174) d(713) d(802) r(1062,1065) d(1297) a(437,664) d(813) 
	  1 r(470,1163) d(1734) a(456,498) r(1179,866) 
	  1 d(762) d(1150) a(1311,1174) d(713) d(802) d(767) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) d(1600) 
	  1 r(470,1163) d(1734) r(437,445) r(410,859) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(1306,493) d(1064) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) r(437,445) d(1156) 
	  1 r(1748,1733) d(1305) d(1737) d(977) d(1746) r(37,36) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(1170) d(761) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) r(1730,1750) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) r(442,449) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(739) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) a(837,780) 
search: generation 7 (sizeof one variant = 0.207344 MB)
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1301,1297) 
	  1 d(760) d(1305) d(856) a(429,651) r(449,1397) d(661) r(339,1175) r(1759,1610) d(651) a(837,780) r(738,775) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) a(837,780) r(669,732) 
	  1 d(760) d(1305) d(856) a(429,651) r(449,1397) r(766,1354) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) d(1749) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) 
	  1 d(760) d(1305) r(266,981) r(647,1141) r(713,1609) a(878,731) d(456) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) r(713,1609) a(878,731) r(737,668) 
	  1 d(760) d(1305) r(266,981) r(815,812) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) a(673,777) 
	  1 d(1593) d(983) d(424) d(1114) a(1642,818) d(1186) d(266) a(1313,436) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) d(648) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) d(707) r(1759,1610) a(685,653) d(443) r(1591,1088) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(443) r(980,977) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) d(707) r(1731,1742) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) d(739) d(1063) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(739) r(1399,1105) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) a(798,422) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) 
	  1 r(470,1163) d(1734) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) r(1736,1749) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) 
	  1 r(470,1163) d(1734) r(437,445) r(410,859) r(410,813) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(696,1573) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) a(738,661) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) a(803,402) r(1067,1063) r(1058,1065) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) r(815,800) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(339,1175) r(1759,1610) a(685,653) d(437) r(745,648) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(1185,860) d(814) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(1185,860) r(1130,1295) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(437) d(799) 
	  1 r(1186,1350) a(1133,1173) d(705) r(731,762) 
	  1 d(760) d(1305) r(266,981) a(1116,768) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(668) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) r(1730,1750) r(1730,1735) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) r(1730,1750) d(866) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) d(429) 
	  1 r(1726,1734) a(412,421) a(859,342) d(1188) r(694,739) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1130,1399) d(1648) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1130,1399) a(661,738) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) d(803) 
	  1 r(1186,1350) d(767) 
	  1 d(762) r(394,1764) d(884) d(1058) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) d(1396) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) 
	  1 d(762) r(1189,410) d(651) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(394,1764) d(884) r(399,1329) r(764,608) 
	  1 d(762) r(394,1764) d(884) r(399,1329) r(427,447) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(1189,410) r(983,985) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(1185,860) a(1643,1645) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) r(394,1764) d(884) d(342) r(761,876) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) d(707) a(467,484) 
	  1 r(470,1163) d(1734) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) r(1750,1743) 
	  1 d(766) r(799,1640) a(456,498) r(1179,866) r(801,800) 
	  1 r(470,1163) d(1734) a(456,498) r(1179,866) d(763) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) a(450,437) 
	  1 d(1593) d(983) d(424) d(1114) a(1642,818) d(1186) d(266) r(793,786) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(1185,860) a(1297,697) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) r(394,1764) r(1067,1058) r(1090,1338) a(439,1398) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) d(705) r(1601,696) a(1734,1764) a(1647,1110) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1734,1764) a(697,1403) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) r(394,1764) r(1067,1058) r(1090,1338) d(440) 
search: generation 8 (sizeof one variant = 0.205497 MB)
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) r(394,1764) d(884) d(342) r(761,876) d(1113) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) d(648) d(440) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) a(798,422) a(892,1737) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) d(739) d(1063) r(1185,1059) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) r(875,879) r(1314,1311) d(442) a(870,779) a(673,777) r(402,1142) 
	  1 r(1748,1733) d(1736) d(772) d(442) a(870,779) a(673,777) r(857,878) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) a(673,777) d(1165) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) a(673,777) d(872) 
	  1 d(760) d(1305) r(266,981) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1130,1399) a(661,738) d(1114) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) r(1601,696) a(1130,1399) a(661,738) r(1064,1088) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(1297) a(437,664) r(1185,860) a(1297,697) r(652,654) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(648) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(694) 
	  1 r(470,1163) d(1734) a(456,498) r(1062,1065) d(1297) a(437,664) r(1185,860) a(1297,697) d(1189) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) d(1760) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(696,1573) d(461) 
	  1 r(1572,982) r(1303,1340) d(799) a(456,498) d(879) d(705) r(1601,696) a(1734,1764) a(1647,1110) d(1041) 
	  1 d(762) d(1150) a(798,405) r(705,669) d(877) r(412,986) d(1300) a(1403,1024) d(739) d(1063) a(985,1328) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(586) a(1573,554) d(707) a(467,484) a(669,1245) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) a(390,447) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) d(1162) 
	  1 r(470,1163) d(1734) a(456,498) r(1179,866) d(763) r(877,837) 
	  1 d(760) d(1305) r(266,981) a(1116,768) a(1067,1601) 
	  1 d(762) r(394,1764) d(884) r(399,1329) r(427,447) r(731,655) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) d(873) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1301,1297) r(773,1642) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) r(1759,904) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1301,1297) r(1572,780) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) d(1131) d(429) a(429,402) 
	  1 d(760) d(1305) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) r(866,868) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) a(873,430) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) d(429) a(738,1110) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) 
	  1 r(470,1163) d(1734) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) r(1750,1743) a(1288,1315) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(1189,410) r(983,985) r(876,879) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) r(410,859) a(439,454) r(579,775) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(1062) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) d(785) 
	  1 d(760) d(1305) r(266,981) r(647,1141) r(713,1609) a(878,731) d(456) r(1650,472) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) d(803) d(1120) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) a(685,653) d(668) r(1650,551) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) 
	  1 d(760) d(1305) d(856) a(429,651) r(449,1397) d(661) r(339,1175) r(1759,1610) d(651) a(837,780) r(738,775) a(1730,507) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(394,1764) d(884) r(399,1329) r(764,608) d(857) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) r(1730,1750) r(1730,1735) a(1133,799) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) 
search: generation 9 (sizeof one variant = 0.206462 MB)
	  1 d(760) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) d(1058) 
	  1 d(766) d(1305) r(266,981) r(815,812) d(1041) r(1572,1590) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) r(1156,1645) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) a(814,1192) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(694) d(1760) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) r(777,654) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) d(757) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1301,1297) r(773,1642) a(1643,768) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) a(1133,412) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) r(437,453) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) a(390,447) d(635) 
	  1 d(766) r(1759,904) r(1402,1162) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) r(1759,904) r(1292,1297) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) a(390,447) r(1732,661) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) a(786,798) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) d(1748) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(1305) d(856) a(429,651) d(1131) d(429) a(738,1110) d(1180) 
	  1 d(760) a(1743,745) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(456) 
	  1 d(760) d(1305) d(856) a(429,651) d(1131) d(429) a(738,1110) r(1305,1105) 
	  1 d(760) d(1305) r(266,981) r(647,1141) r(713,1609) a(878,731) d(456) r(1650,472) d(608) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(460) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) a(873,430) d(1131) d(429) a(429,402) a(617,378) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) a(977,417) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) a(873,430) r(342,1112) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) d(1131) d(429) a(429,402) d(694) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(694) d(1737) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) d(648) d(440) r(1132,1334) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1114) a(817,626) d(1162) r(1642,1649) 
	  1 d(1593) d(983) d(424) d(1301) a(696,412) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(1726) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) d(1162) d(1067) 
	  1 r(1748,1733) d(1736) d(772) r(875,879) r(1314,1311) d(442) a(870,779) a(673,777) d(872) d(1597) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(394,1764) d(884) r(399,1329) r(764,608) d(857) d(1315) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) d(803) d(1120) d(272) 
	  1 r(470,1163) d(1734) a(456,498) r(1179,866) d(763) r(877,837) d(865) 
	  1 r(1726,1734) r(1088,1078) d(1736) r(437,445) r(410,859) a(439,454) d(446) a(1131,1294) 
	  1 r(1748,1733) a(1649,1769) r(696,1573) d(461) r(1361,452) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(696,1573) d(461) d(818) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) d(652) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1090,700) a(1087,1078) a(873,430) d(1309) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1301,1297) r(1572,780) d(702) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1301,1297) r(1572,780) d(1180) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) a(873,430) d(1755) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) r(1731,1726) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) d(1760) a(442,378) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) d(1188) d(803) d(1120) r(1397,1751) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) d(461) d(785) d(648) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(978,1185) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(378) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) a(739,776) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(1314,470) 
	  1 r(1748,1733) d(1310) d(1737) d(1294) r(767,675) a(660,458) 
	  1 r(1748,1733) d(1402) d(1402) d(1310) d(1737) d(1294) r(767,675) d(773) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) a(685,1164) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) d(410) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) d(1131) d(429) a(429,402) r(669,626) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) d(873) d(707) 
search: generation 10 (sizeof one variant = 0.206936 MB)
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) a(873,430) d(1131) d(429) a(429,402) a(617,378) r(1311,1114) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) d(873) d(707) r(1156,734) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) d(873) d(707) d(1729) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) r(1062,1065) d(1297) a(1306,493) r(1090,700) a(1087,1078) a(873,430) d(1131) d(429) a(429,402) a(617,378) r(705,672) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) r(777,654) d(1180) r(1087,983) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(1305) d(856) a(429,651) d(1131) d(429) a(738,1110) r(1304,1330) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) r(777,654) a(1747,450) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(1305) d(856) a(429,651) d(1131) d(429) a(738,1110) d(1180) d(455) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(456) d(447) 
	  1 d(1593) d(983) d(424) d(1114) a(817,626) d(1162) d(1067) d(882) 
	  1 d(760) r(767,675) a(685,1164) r(1725,402) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) a(1743,745) a(1189,1336) 
	  1 d(760) a(1743,745) r(1309,1180) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) a(685,1164) a(1185,655) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) a(685,1164) a(865,436) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) r(1759,904) r(1292,1297) a(695,430) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) r(767,675) a(660,458) d(1144) 
	  1 r(1748,1733) d(1310) d(1737) d(1294) a(1306,493) r(1090,700) d(461) d(1301) d(460) r(1162,498) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(460) r(682,1111) 
	  1 r(1748,1733) d(1310) d(1737) d(1294) r(767,675) a(660,458) d(985) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(394,1764) d(884) r(399,1329) r(764,608) d(857) d(1301) d(1726) d(461) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1315) d(1746) 
	  1 r(1186,1350) a(1133,1173) a(803,402) r(394,1764) d(884) r(399,1329) r(764,608) d(857) d(1315) d(578) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(1726) r(651,731) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) d(1131) d(429) a(429,402) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(1314,470) r(705,762) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) r(669,626) d(1302) 
	  1 d(766) r(799,1640) a(1119,662) r(1314,1311) a(456,498) d(856) a(429,651) d(1131) d(429) a(429,402) r(669,626) d(470) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(1314,470) r(1114,1296) 
	  1 d(762) r(394,1764) d(884) d(652) r(1646,1641) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) d(1058) d(1313) r(1759,904) r(1292,1297) r(1133,1310) 
	  1 d(762) r(394,1764) d(884) d(1058) d(1313) r(1759,904) r(1292,1297) r(1750,1727) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) d(652) r(768,469) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) d(1396) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) d(757) r(767,675) d(410) a(37,1141) 
	  1 r(1748,1733) d(1402) d(1310) d(1737) d(1294) r(767,675) d(410) d(1192) 
	  1 d(760) d(1305) r(266,981) r(815,812) d(1041) d(757) d(661) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(978,1185) r(799,860) 
	  1 d(766) r(1759,904) r(1402,1162) d(1024) 
	  1 d(766) d(1305) r(266,981) r(815,812) d(1041) r(1572,1590) r(584,1771) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(446) d(652) r(986,982) 
	  1 r(1748,1733) d(1736) r(436,513) r(445,378) d(36) a(342,735) r(1090,700) a(1087,1078) a(873,430) d(1309) d(697) 
	  1 r(1748,1733) a(1649,1769) r(696,1573) d(461) r(1361,452) d(696) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) r(777,654) r(405,1770) 
	  1 r(1748,1733) d(1402) d(1402) d(1310) d(1737) d(1294) r(767,675) d(773) r(1589,1572) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) r(1731,1726) d(1597) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) r(1731,1726) a(1150,1240) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) a(1024,553) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) d(648) d(440) r(1132,1334) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) r(1731,1726) a(871,651) 
	  1 r(1186,1350) a(1133,1173) r(647,1141) a(342,735) d(661) r(339,1175) r(1759,1610) d(661) r(339,1175) r(1759,1610) a(685,653) d(1399) r(617,1354) r(442,417) r(1731,1726) r(738,675) 
	  1 d(1593) d(983) d(424) d(1114) r(647,1141) a(342,735) d(661) r(339,1175) d(648) d(440) r(1132,1334) d(1180) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(1726) r(1185,1080) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(694) d(1737) d(761) 
	  1 r(1748,1733) d(1736) r(437,445) r(410,859) a(439,454) d(694) d(1737) r(1742,1735) 
	  1 d(766) r(799,1640) a(1119,662) d(1304) a(412,421) a(859,342) r(1121,1143) d(586) a(1573,554) a(803,402) r(1067,1063) d(1732) r(1740,1736) d(36) a(342,735) d(661) r(339,1175) r(1759,1610) d(651) r(660,472) d(1755) a(1751,444) a(978,1185) d(773) 
	  1 r(1748,1733) d(1736) r(437,445) d(1297) a(1306,493) r(1090,700) d(461) d(1301) d(460) a(1639,1759) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) r(815,812) d(893) d(456) r(856,858) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) r(1650,472) d(608) d(1732) 
	  1 d(760) d(1305) r(266,981) r(647,1141) r(713,1609) a(878,731) d(456) d(1739) r(777,654) r(1064,1088) 
	  1 r(1726,1734) r(1088,1078) a(1649,1769) d(1396) d(1305) r(816,785) d(705) d(651) r(760,739) r(1304,1336) d(1739) r(777,654) r(648,527) 
	  1 d(760) d(1305) r(266,981) r(647,1141) r(713,1609) a(878,731) d(456) r(1650,472) d(608) d(871) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1285
"Test Suite Evaluations": 142.778

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1102.94
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.145 = 0.0226455%
  compile                             652 204.489 = 32.0358%
  test                               1293 433.680 = 67.9415%
  TOTAL                                   638.313 = 57.873% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:58:00 EDT 2013
shutting down
