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 5
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests false
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant false
--super-mutant-size 50
--swap-bug false
--swapp 0
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-242-30-130 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:38 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/tmpbf3230.c /tmp/tmp7508ec.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.02533)
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.0121479 MB)
	  1 r(339,873) 
	  1 d(1134) 
	  1 a(1090,1059) 
	  1 a(1737,1340) 
	  1 a(834,1769) 
	  1 d(732) 
	  1 d(1749) 
	  1 r(1186,1098) 
	  1 d(1114) 
	  1 d(1402) 
	  1 a(985,1343) 
	  1 d(1646) 
	  1 a(617,517) 
	  1 r(815,812) 
	  1 a(1289,1144) 
	  1 d(578) 
	  1 a(412,892) 
	  1 a(1132,672) 
	  1 r(797,799) 
	  1 r(1065,1079) 
	  1 r(1640,1647) 
	  1 r(1758,1174) 
	  1 d(1302) 
	  1 r(1175,1315) 
	  1 a(1742,1328) 
	  1 a(977,983) 
	  1 r(390,412) 
	  1 d(737) 
	  1 d(1746) 
	  1 d(654) 
	  1 a(694,812) 
	  1 a(1644,1278) 
	  1 a(1749,551) 
	  1 r(1642,1641) 
	  1 a(651,778) 
	  1 d(1313) 
	  1 r(777,737) 
	  1 d(470) 
	  1 d(446) 
	  1 original
search: generation 1 (sizeof one variant = 0.203715 MB)
	  1 a(1090,1059) r(1315,1749) 
	  1 d(1749) r(774,523) 
	  1 a(1090,1059) a(1164,1356) 
	  1 d(1749) d(599) 
	  1 r(390,412) r(695,582) 
	  1 a(1644,1278) a(1729,461) 
	  1 r(390,412) r(731,1765) 
	  1 a(1644,1278) r(1141,441) 
	  1 a(834,1769) a(702,1341) 
	  1 d(1302) r(1756,453) 
	  1 d(578) d(758) 
	  1 a(1644,1278) a(1058,339) 
	  1 a(694,812) a(1191,1589) 
	  1 d(1313) d(813) 
	  1 a(651,778) d(1168) 
	  1 d(1134) a(453,1185) 
	  1 a(651,778) r(1061,1090) 
	  1 d(1134) r(584,500) 
	  1 a(985,1343) r(1135,1359) 
	  1 r(1186,1098) r(447,1289) 
	  1 d(1114) r(1730,1727) 
	  1 d(1134) a(1731,766) 
	  1 a(834,1769) r(739,667) 
	  1 r(339,873) d(36) 
	  1 a(1289,1144) d(762) 
	  1 r(339,873) a(738,523) 
	  1 r(1065,1079) d(1088) 
	  1 a(1090,1059) d(660) 
	  1 r(1065,1079) a(1024,421) 
	  1 a(1090,1059) d(441) 
	  1 a(985,1343) d(1119) 
	  1 r(1186,1098) d(1144) 
	  1 a(1749,551) r(871,856) 
	  1 r(1572,745) 
	  1 a(1749,551) r(1733,1112) 
	  1 d(880) 
	  1 a(977,983) d(441) 
	  1 a(1132,672) d(461) 
	  1 r(390,412) a(1737,554) 
	  1 d(732) r(1601,1625) 
	  1 r(390,412) d(272) 
	  1 d(732) r(635,777) 
	  1 r(797,799) a(1116,339) 
	  1 d(1402) a(781,394) 
	  1 d(1749) r(446,530) 
	  1 r(1642,1641) d(438) 
	  1 d(1749) a(578,651) 
	  1 r(1642,1641) r(1574,1599) 
	  1 a(1737,1340) a(767,341) 
	  1 d(1134) d(1759) 
	  1 d(1302) d(892) 
	  1 r(797,799) d(1156) 
	  1 r(777,737) r(1644,1648) 
	  1 a(1742,1328) a(758,412) 
	  1 r(777,737) a(654,453) 
	  1 a(1742,1328) d(879) 
search: generation 2 (sizeof one variant = 0.204389 MB)
	  1 d(880) d(412) 
	  1 a(694,812) a(1191,1589) r(979,981) 
	  1 d(880) r(874,876) 
	  1 a(694,812) a(1191,1589) a(817,1725) 
	  1 r(1186,1098) d(1144) d(693) 
	  1 r(797,799) a(1116,339) d(1238) 
	  1 d(1134) r(871,860) 
	  1 d(880) a(1731,766) d(1760) 
	  1 d(1134) a(1731,766) r(1278,1307) 
	  1 d(880) r(1398,342) 
	  1 r(1065,1079) a(1024,421) d(342) 
	  1 r(1572,745) d(682) 
	  1 r(390,412) d(272) d(1740) 
	  1 d(1134) d(1759) d(871) 
	  1 r(1065,1079) d(1088) r(471,470) 
	  1 r(390,412) d(272) d(779) 
	  1 d(1749) d(660) r(342,1648) 
	  1 a(1090,1059) a(578,651) r(1646,1649) 
	  1 d(1749) a(578,651) r(673,905) 
	  1 a(1090,1059) d(660) d(773) 
	  1 a(694,812) a(1191,1589) r(1400,1597) 
	  1 a(985,1343) r(1135,1359) d(857) 
	  1 d(1134) d(1759) d(799) 
	  1 r(390,412) r(731,1765) r(768,660) 
	  1 d(1134) d(1759) r(1744,1730) 
	  1 r(390,412) r(731,1765) a(878,394) 
	  1 r(1642,1641) r(1574,1599) a(1403,1769) 
	  1 d(1749) d(599) a(789,508) 
	  1 a(1742,1328) d(879) r(769,1302) 
	  1 a(1090,1059) a(1164,1356) d(682) 
	  1 a(834,1769) a(702,1341) r(1064,1077) 
	  1 d(732) r(635,777) d(412) 
	  1 a(834,1769) a(702,1341) d(985) 
	  1 d(732) r(635,777) d(445) 
	  1 a(1289,1144) d(762) d(767) 
	  1 r(390,412) r(731,1765) d(391) 
	  1 a(1289,1144) d(762) d(856) 
	  1 a(1090,1059) d(660) a(1639,1644) 
	  1 a(1090,1059) d(660) r(695,700) 
	  1 r(390,412) r(695,582) r(1131,1356) 
	  1 a(1090,1059) d(660) d(772) 
	  1 r(390,412) r(695,582) d(274) 
	  1 a(1644,1278) r(1141,441) d(1189) 
	  1 r(1186,1098) r(447,1289) r(1040,1024) 
	  1 r(339,873) a(738,523) r(1640,1650) 
	  1 d(732) r(1601,1625) r(1186,1278) 
	  1 d(1134) a(453,1185) r(1644,1647) 
	  1 d(1134) d(1759) d(768) 
	  1 a(1132,672) d(461) r(1758,1573) 
	  1 r(390,412) d(272) d(635) 
	  1 a(1132,672) d(461) r(1760,1758) 
	  1 r(390,412) d(272) r(1119,1304) 
	  1 r(1186,1098) d(1144) d(872) 
	  1 a(834,1769) r(739,667) d(1402) 
	  1 r(1186,1098) d(1144) r(903,984) 
	  1 a(834,1769) r(739,667) a(1066,1753) 
search: generation 3 (sizeof one variant = 0.203468 MB)
	  1 r(390,412) d(272) d(1740) r(1756,1725) 
	  1 d(1134) d(1759) d(871) r(456,1770) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) 
	  1 d(880) a(1731,766) a(1066,1753) d(1753) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) 
	  1 d(880) a(1731,766) d(1760) d(390) 
	  1 a(1289,1144) d(762) d(856) d(1759) r(1744,1730) a(867,673) 
	  1 d(1134) r(763,608) 
	  1 a(1289,1144) d(762) d(856) a(769,762) 
	  1 d(1134) d(1759) r(1744,1730) d(835) 
	  1 r(797,799) a(1116,339) d(1238) d(440) 
	  1 d(1134) d(1759) d(768) d(36) 
	  1 a(694,812) a(1191,1589) r(979,981) d(1040) 
	  1 a(1090,1059) a(578,651) r(1646,1649) d(447) 
	  1 r(1186,1098) r(447,1289) r(1040,1024) a(882,885) 
	  1 a(1090,1059) a(1164,1356) d(682) r(1306,1308) 
	  1 r(1186,1098) r(447,1289) r(1040,1024) a(674,1403) 
	  1 a(1090,1059) a(1164,1356) d(682) d(1313) 
	  1 a(1090,1059) d(1759) d(871) r(462,1753) 
	  1 d(1134) a(1164,1356) d(682) d(780) 
	  1 a(1090,1059) a(1164,1356) d(682) r(445,421) 
	  1 d(1134) d(1759) d(871) r(1747,1739) 
	  1 r(390,412) r(731,1765) a(878,394) r(800,789) 
	  1 a(1090,1059) d(660) d(772) d(694) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) 
	  1 d(1134) d(1759) d(768) r(857,870) 
	  1 d(1749) d(660) d(272) d(1740) d(817) 
	  1 r(390,412) r(342,1648) a(982,436) 
	  1 d(1749) d(660) r(342,1648) a(1301,773) 
	  1 r(390,412) d(272) d(1740) r(1061,1065) 
	  1 a(1289,1144) d(762) d(412) r(766,1759) 
	  1 d(732) r(635,777) d(767) d(1308) 
	  1 a(1289,1144) d(762) d(767) d(1736) 
	  1 d(732) r(635,777) d(412) a(872,877) 
	  1 d(1134) d(1759) r(1744,1730) a(1165,1340) 
	  1 a(985,1343) r(1135,1359) d(857) d(1114) 
	  1 d(1134) d(1759) r(1744,1730) r(426,1647) 
	  1 a(985,1343) r(1135,1359) d(857) d(428) 
	  1 r(390,412) r(1732,1114) 
	  1 d(1134) a(453,1185) r(1644,1647) d(272) d(635) d(1180) 
	  1 r(390,412) d(272) d(635) a(452,660) 
	  1 d(1134) a(453,1185) r(1644,1647) a(897,453) 
	  1 d(1749) d(660) r(342,1648) d(767) 
	  1 d(1134) d(1759) r(1744,1730) r(1592,1598) 
	  1 a(1090,1059) d(660) r(1180,1242) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(773) a(599,667) 
	  1 a(1090,1059) d(660) d(773) a(653,697) 
	  1 a(834,1769) r(739,667) a(1066,1753) r(1163,1241) 
	  1 a(1289,1144) d(762) d(767) r(1644,1647) d(766) 
	  1 d(1134) a(453,1185) r(1748,1735) 
	  1 a(1289,1144) d(762) d(767) r(1402,1311) 
	  1 d(1134) a(453,1185) r(1644,1647) a(429,503) 
	  1 r(390,412) d(272) d(635) a(1116,339) d(1238) r(1173,1188) 
	  1 r(797,799) r(1120,1113) 
	  1 r(390,412) d(272) d(635) r(978,905) 
	  1 r(797,799) a(1116,339) d(1238) d(425) 
	  1 r(1065,1079) d(1088) r(471,470) a(1134,1134) 
	  1 d(1749) a(578,651) r(673,905) a(1743,812) 
	  1 r(1065,1079) d(1088) r(471,470) r(423,1180) 
	  1 d(1749) a(578,651) r(673,905) r(1727,816) 
	  1 a(1132,672) d(461) r(1760,1758) d(660) d(772) a(1599,1400) 
	  1 a(1090,1059) r(835,866) 
	  1 a(1132,672) d(461) r(1760,1758) d(1306) 
	  1 a(1090,1059) d(660) d(772) a(1749,664) 
	  1 a(834,1769) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) 
	  1 r(390,412) d(272) r(1164,426) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) 
	  1 r(390,412) d(272) r(1119,1304) r(984,986) 
search: generation 4 (sizeof one variant = 0.205407 MB)
	  1 a(1090,1059) r(835,866) d(36) d(1759) 
	  1 d(1134) d(1759) d(768) a(865,838) 
	  1 a(1090,1059) r(835,866) d(979) 
	  1 d(1134) d(1759) d(768) d(36) d(1572) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) d(272) d(635) r(978,905) d(425) 
	  1 r(390,412) r(654,578) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) r(648,877) 
	  1 r(390,412) d(272) d(635) r(978,905) d(1398) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) d(685) 
	  1 a(834,1769) a(460,667) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) 
	  1 a(834,1769) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) a(1116,780) 
	  1 a(1090,1059) d(660) d(773) d(272) r(1164,426) r(734,579) 
	  1 r(390,412) a(653,697) d(1648) 
	  1 a(1090,1059) d(660) d(773) a(653,697) a(1132,1338) 
	  1 r(390,412) d(272) r(1164,426) d(1294) 
	  1 a(834,1769) r(739,667) d(1133) 
	  1 r(797,799) a(1116,339) d(1238) d(440) a(1066,1753) a(896,1398) d(1120) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) 
	  1 r(797,799) a(1116,339) d(1238) d(440) r(626,446) 
	  1 r(390,412) d(272) d(1308) a(453,1328) 
	  1 d(732) r(635,777) d(767) d(635) r(978,905) r(402,705) 
	  1 r(390,412) d(272) d(635) r(978,905) r(706,658) 
	  1 d(732) r(635,777) d(767) d(1308) r(1737,1082) 
	  1 d(1134) d(1759) r(1744,1730) r(1592,1598) d(1609) 
	  1 a(1289,1144) d(762) d(767) d(1736) a(763,1725) 
	  1 d(1134) a(453,1185) r(1644,1647) d(272) d(635) d(1180) d(1741) 
	  1 a(1090,1059) d(660) d(772) a(1749,664) r(391,436) 
	  1 d(880) a(1731,766) a(1066,1753) d(1753) r(758,654) 
	  1 d(1134) a(453,1185) r(1644,1647) a(897,453) a(1294,1342) 
	  1 a(985,1343) r(1135,1359) d(857) d(1114) r(1304,1100) 
	  1 r(390,412) d(272) d(1740) r(1061,1065) r(1302,1180) 
	  1 a(985,1343) r(1135,1359) d(857) d(1114) d(1178) 
	  1 r(390,412) d(272) d(1740) r(1061,1065) d(1306) 
	  1 r(390,412) r(1732,1114) r(857,870) r(647,1101) 
	  1 d(1134) d(1759) d(768) a(1135,562) 
	  1 r(390,412) r(1732,1114) a(816,817) 
	  1 d(1134) d(1759) d(768) r(857,870) d(1114) 
	  1 a(1090,1059) d(660) r(1180,1242) r(1744,1739) 
	  1 a(985,1343) r(1135,1359) d(857) d(428) a(1116,1338) 
	  1 d(1749) d(660) r(342,1648) a(1301,773) a(635,762) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) 
	  1 d(880) a(1731,766) a(1066,1753) d(1753) d(706) 
	  1 a(1289,1144) d(762) d(856) a(769,762) d(1116) 
	  1 d(880) r(1040,1024) a(674,1403) d(1735) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) 
	  1 d(880) a(1731,766) a(1066,1753) d(1753) d(391) 
	  1 r(1186,1098) r(447,1289) r(1040,1024) a(674,1403) r(685,766) 
	  1 d(1749) d(660) r(1756,1725) r(775,664) 
	  1 r(390,412) d(272) d(1740) r(342,1648) a(1301,773) r(730,341) 
	  1 d(1749) d(660) r(342,1648) a(1301,773) r(896,897) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) d(1067) 
	  1 r(390,412) r(1732,1114) r(449,685) 
	  1 d(1134) d(1759) d(768) r(857,870) d(668) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) d(980) 
	  1 d(1134) a(453,1185) r(1644,1647) d(772) d(694) d(835) 
	  1 a(1090,1059) d(660) a(897,453) d(730) 
	  1 d(1134) a(453,1185) r(1644,1647) a(897,453) d(341) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) 
	  1 a(834,1769) r(739,667) d(1759) r(1744,1730) d(835) r(1573,859) 
	  1 d(1134) d(1759) r(1744,1730) d(835) a(1727,779) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) 
search: generation 5 (sizeof one variant = 0.206306 MB)
	  1 a(834,1769) r(739,667) d(272) d(1740) r(1756,1725) r(867,873) d(667) 
	  1 r(390,412) d(1760) a(1129,1297) a(1121,757) r(453,716) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) d(467) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) 
	  1 a(1090,1059) d(660) d(773) a(653,697) a(1132,1338) d(422) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) r(781,1592) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) a(1129,1297) a(1121,757) d(1142) 
	  1 a(834,1769) r(739,667) d(1760) a(1741,770) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) r(817,815) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1397,672) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(1041) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(449,445) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) d(685) d(816) 
	  1 d(880) r(1040,1024) a(674,1403) d(1735) r(1040,1024) a(674,1403) r(685,766) a(1143,1078) 
	  1 r(1186,1098) r(447,1289) d(905) 
	  1 d(880) r(1040,1024) a(674,1403) d(1735) r(1730,1739) 
	  1 r(1186,1098) r(447,1289) r(1040,1024) a(674,1403) r(685,766) d(1066) 
	  1 r(390,412) d(272) d(1740) r(342,1648) a(1301,773) r(730,341) r(1191,1296) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) d(980) r(1162,1593) 
	  1 a(1289,1144) d(762) d(856) a(769,762) d(1116) r(767,775) 
	  1 a(985,1343) r(1135,1359) d(857) d(1114) r(1304,1100) d(1179) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) d(1067) a(767,513) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1121) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) r(1731,1746) 
	  1 d(1134) a(453,1185) r(1644,1647) a(897,453) a(1294,1342) d(882) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1642) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) a(1116,339) d(1238) d(440) r(626,446) d(1736) 
	  1 r(797,799) d(1639) r(760,780) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(985,552) 
	  1 r(797,799) a(1116,339) d(1238) d(440) r(626,446) d(1307) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) 
	  1 r(390,412) d(272) d(1740) r(1061,1065) r(1302,1180) d(1134) 
	  1 r(390,412) a(653,697) d(1648) d(660) d(773) d(272) r(1164,426) r(734,579) a(1185,683) 
	  1 a(1090,1059) d(462) 
	  1 r(390,412) a(653,697) d(1648) r(1735,1747) 
	  1 a(1090,1059) d(660) d(773) d(272) r(1164,426) r(734,579) d(1397) 
	  1 d(1134) r(1162,444) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) d(1759) d(768) r(857,870) d(668) r(651,713) 
	  1 d(1134) d(1759) d(768) r(857,870) d(668) d(799) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) r(1289,800) 
	  1 d(1134) d(1067) d(1582) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) d(1759) d(768) a(1135,562) d(765) 
	  1 d(1134) d(1759) d(768) a(1135,562) d(813) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) d(1067) r(1299,1188) 
	  1 r(390,412) a(653,697) d(1648) r(341,766) d(673) 
	  1 d(1134) d(1760) a(1129,1297) d(1133) 
	  1 r(390,412) a(653,697) d(1648) r(763,778) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) d(447) 
	  1 r(390,412) d(272) d(1308) r(1737,1082) r(739,685) 
	  1 d(732) r(635,777) d(767) d(1308) a(453,1328) d(682) 
	  1 r(390,412) d(272) d(1308) a(453,1328) r(693,1134) 
	  1 d(732) r(635,777) d(767) d(1308) r(1737,1082) r(878,856) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) r(648,877) d(867) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) r(648,877) d(471) 
	  1 a(1289,1144) d(762) d(767) d(1736) a(763,1725) a(1192,1098) 
	  1 r(390,412) r(1732,1114) r(449,685) r(758,738) 
search: generation 6 (sizeof one variant = 0.204782 MB)
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1642) r(898,897) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1121) d(1059) 
	  1 a(1289,1144) d(762) d(767) d(1736) a(763,1725) a(1192,1098) a(1725,1078) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) d(447) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) 
	  1 r(797,799) a(896,1398) d(1639) a(776,1601) a(1737,682) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1592) 
	  1 r(797,799) d(1639) r(760,780) a(1402,779) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) r(586,649) 
	  1 d(732) r(635,777) d(767) d(1308) a(453,1328) d(682) a(444,417) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) d(708) 
	  1 d(732) r(635,777) d(767) d(1308) a(453,1328) d(682) a(870,392) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1758) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1397,672) a(862,436) 
	  1 d(1134) d(1760) d(462) a(774,410) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) 
	  1 d(1134) d(1760) a(1129,1297) d(1133) d(1754) 
	  1 a(1090,1059) d(462) r(1297,1238) 
	  1 a(834,1769) r(739,667) a(470,703) 
	  1 r(390,412) a(653,697) d(1648) r(1735,1747) a(1066,1753) a(896,1398) d(1639) a(776,1601) r(1129,1133) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) 
	  1 r(390,412) a(653,697) d(1648) r(1735,1747) r(1113,1355) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) 
	  1 r(390,412) a(653,697) a(453,1328) r(693,1134) r(394,761) 
	  1 r(390,412) d(272) d(1308) a(453,1328) r(693,1134) a(651,392) 
	  1 r(390,412) a(653,697) d(1648) r(341,766) d(673) d(1572) 
	  1 d(732) r(635,777) d(767) d(1308) r(1737,1082) r(878,856) d(460) 
	  1 d(1134) r(1162,444) d(661) 
	  1 a(834,1769) r(739,667) d(1133) a(766,697) 
	  1 d(1134) d(1760) a(1129,1297) d(1760) a(1741,770) r(651,662) 
	  1 a(834,1769) r(739,667) d(1760) a(1741,770) r(669,693) 
	  1 d(1134) d(1760) a(1129,1297) d(1133) d(470) 
	  1 r(797,799) d(1639) r(760,780) d(780) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) r(1289,800) d(1746) 
	  1 d(880) r(1040,1024) a(674,1403) d(1735) r(1040,1024) a(674,1403) r(685,766) a(1143,1078) r(1131,1312) 
	  1 a(834,1769) a(702,1341) r(1064,1077) a(1649,740) r(648,877) d(867) r(802,814) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) d(447) r(462,757) 
	  1 d(1134) a(1129,1297) a(1121,757) r(1397,672) a(866,523) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1397,672) d(439) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) d(447) a(37,1727) 
	  1 r(390,412) d(272) d(1740) d(1591) 
	  1 r(390,412) a(653,697) d(1648) r(763,778) r(1061,1065) r(1302,1180) d(1134) r(1731,1745) 
	  1 r(390,412) d(272) d(1740) r(1061,1065) r(1302,1180) d(1134) r(1112,1180) 
	  1 r(390,412) a(653,697) d(1648) r(763,778) d(696) 
	  1 d(732) r(635,777) d(767) d(1308) d(1753) d(1590) r(1597,444) d(896) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) a(453,1328) d(682) d(455) 
	  1 d(732) r(635,777) d(767) d(1308) a(453,1328) d(682) a(986,780) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) 
	  1 r(390,412) d(272) r(1119,1304) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) r(867,874) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1179) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(1041) d(648) 
	  1 r(797,799) d(1639) r(760,780) d(470) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) d(685) d(816) r(428,1640) 
	  1 a(1090,1059) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) r(1141,521) 
	  1 r(390,412) d(660) d(773) a(1129,1297) r(341,766) d(410) d(1295) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) a(1294,653) 
	  1 a(1090,1059) d(462) r(1178,1401) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) a(702,1341) r(1064,1077) r(1119,1304) r(660,1058) d(685) d(816) a(978,799) 
search: generation 7 (sizeof one variant = 0.206845 MB)
	  1 a(834,1769) r(739,667) d(1760) a(1741,770) r(669,693) d(410) 
	  1 a(1090,1059) d(462) r(1178,1401) r(452,447) 
	  1 d(1134) d(1760) a(1129,1297) d(1133) d(470) r(1307,1211) 
	  1 a(834,1769) r(739,667) a(470,703) a(1129,672) 
	  1 d(880) r(1040,1024) a(674,1403) d(1735) r(1040,1024) a(674,1403) r(685,766) a(1143,1078) r(1131,1312) d(860) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) d(652) r(1289,800) d(1746) d(770) 
	  1 a(1090,1059) d(660) d(772) d(694) r(1735,1726) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) r(1289,800) d(1746) a(859,1400) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) d(447) d(440) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) 
	  1 d(732) r(635,777) d(767) d(1308) a(453,1328) d(682) a(986,780) a(1646,617) 
	  1 r(390,412) a(653,697) d(1648) r(763,778) r(1061,1065) r(1302,1180) d(1134) r(1731,1745) r(1114,1100) 
	  1 r(797,799) d(1298) 
	  1 a(834,1769) r(739,667) d(1133) a(766,697) a(896,1398) d(1639) a(776,1601) a(1737,682) r(599,899) 
	  1 r(797,799) a(896,1398) d(1639) a(776,1601) a(1737,682) d(1300) 
	  1 a(834,1769) r(739,667) d(1133) a(766,697) a(1642,617) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) a(453,1328) d(682) d(455) d(1170) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) 
	  1 r(1186,1098) a(1744,447) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) d(760) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) d(1751) 
	  1 d(1134) d(1760) a(1129,1297) r(341,766) d(447) a(37,1727) r(1112,1298) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) d(781) 
	  1 a(1090,1059) a(1129,1297) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1179) r(978,904) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) a(705,447) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1179) r(898,882) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(876) a(635,472) 
	  1 r(1186,1098) r(447,1289) r(798,816) d(447) r(462,757) a(653,1162) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) d(447) r(462,757) a(903,451) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(579,779) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) r(980,981) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) d(892) 
	  1 r(797,799) d(1639) r(760,780) a(1402,779) r(812,1573) 
	  1 a(1090,1059) d(462) a(1090,1753) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1121) d(1059) r(1297,1238) d(739) 
	  1 a(1090,1059) d(462) r(1297,1238) d(817) 
	  1 a(1090,1059) d(660) d(773) a(653,697) d(460) d(1121) d(1059) d(668) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) a(1736,453) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(586,649) r(1144,1329) 
	  1 r(390,412) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) r(586,649) r(695,675) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(772,675) 
	  1 d(732) r(635,777) d(1041) d(648) r(1144,1330) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) 
	  1 d(732) r(635,777) d(767) d(1308) r(1737,1082) r(878,856) d(460) a(877,692) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(1041) d(648) r(1119,1311) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) d(1163) 
	  1 r(797,799) d(1639) r(760,780) d(470) r(1289,800) d(1746) d(617) 
	  1 a(1090,1059) d(660) d(772) d(694) d(652) r(1289,800) d(1746) d(1112) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(1134,1300) r(1141,521) d(1742) 
	  1 a(1090,1059) d(272) d(1740) r(1756,1725) r(867,873) a(776,1601) d(1113) d(455) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) 
	  1 a(1090,1059) d(272) d(1740) r(1756,1725) r(867,873) a(1134,1300) r(1141,521) d(425) 
	  1 r(1186,1098) r(447,1289) d(462) r(1178,1401) r(1315,1642) 
	  1 a(1090,1059) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1758) d(1088) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1758) d(803) 
	  1 a(1090,1059) d(462) r(1178,1401) a(1728,439) 
search: generation 8 (sizeof one variant = 0.207085 MB)
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(1302,1308) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(586,649) r(1144,1329) r(799,903) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) d(1758) r(450,1024) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(462,757) a(903,451) r(897,885) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) d(447) r(462,757) a(903,451) d(1640) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1739) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) 
	  1 a(1090,1059) d(876) a(635,472) d(1649) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(876) a(635,472) r(648,472) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(428,789) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1306,1163) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) r(445,448) 
	  1 r(797,799) d(1639) r(760,780) d(470) r(1289,800) d(1591) d(1144) d(870) 
	  1 r(390,412) d(272) d(1740) d(1746) d(617) a(834,1361) 
	  1 r(797,799) d(1639) r(760,780) d(470) r(1289,800) d(1746) d(617) d(899) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) a(732,691) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1170,1117) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) a(835,1293) 
	  1 a(834,1769) r(739,667) d(1133) a(766,697) a(1642,617) d(1303) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1179) r(898,882) r(405,517) 
	  1 a(1090,1059) d(1725) r(702,798) 
	  1 r(1186,1098) d(1133) a(775,818) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1170) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1308) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) r(733,662) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(772,675) r(1293,885) 
	  1 a(834,1769) r(739,667) d(1760) a(599,1398) d(700) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(772,675) r(897,899) 
	  1 a(1090,1059) d(462) r(1297,1238) d(817) r(1040,1078) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) r(1742,1739) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) d(781) d(672) 
	  1 r(797,799) d(1639) r(760,780) a(1402,779) r(812,1573) r(884,897) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) a(450,557) 
	  1 a(1090,1059) d(660) d(772) d(694) r(1735,1726) d(760) d(449) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) 
	  1 a(1090,1059) d(660) d(772) d(694) r(1735,1726) r(760,656) 
	  1 a(1090,1059) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1758) d(1088) r(1310,1121) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(392) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) d(760) d(731) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(391) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) a(706,706) 
	  1 r(1186,1098) r(447,1289) r(798,816) d(447) r(462,757) a(653,1162) a(865,1398) 
	  1 r(1186,1098) a(1744,447) r(739,703) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) a(705,447) d(745) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) r(732,663) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) r(785,813) 
	  1 r(1186,1098) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1758) d(803) d(815) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(876) a(635,472) a(773,675) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(1590) 
	  1 r(390,412) d(272) d(1308) d(1024) d(402) r(423,1729) d(1238) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) r(893,884) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) r(1738,1736) 
search: generation 9 (sizeof one variant = 0.208075 MB)
	  1 r(1186,1098) d(1133) a(775,818) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1170) a(1133,443) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) r(1742,1739) d(1361) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) r(732,663) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) a(835,1293) d(1643) 
	  1 r(1186,1098) r(1134,410) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) r(732,663) r(773,700) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) a(835,1293) r(441,416) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) d(1396) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(391) d(1301) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(760,780) d(470) a(599,1398) a(1601,419) r(834,866) 
	  1 r(797,799) d(1639) r(462,757) a(903,451) r(897,885) a(1304,412) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(462,757) a(903,451) r(897,885) a(856,881) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) a(697,462) 
	  1 a(1090,1059) d(660) d(772) d(694) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) a(455,715) 
	  1 r(1186,1098) r(1735,1726) r(760,656) d(882) 
	  1 a(1090,1059) d(660) d(772) d(694) r(1735,1726) r(760,656) r(1089,1087) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) d(733) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(772,675) r(897,899) r(1732,760) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1306,1163) d(874) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(391) r(1133,1346) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(876) a(635,472) r(648,472) a(586,733) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1649) d(274) 
	  1 a(1090,1059) d(876) a(635,472) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) a(1156,1336) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) r(1116,1189) 
	  1 a(1090,1059) d(876) a(635,472) d(1649) a(1185,1348) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(1302,1308) r(392,766) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) r(661,898) r(661,1591) d(816) d(428) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) d(467) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(1302,1308) d(1062) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) r(445,448) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) a(1164,1188) 
	  1 r(797,799) d(412) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) r(445,448) a(1090,672) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) r(452,1242) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) r(1742,1739) d(761) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) r(1738,1736) r(715,892) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) r(1738,1736) a(1164,660) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) r(1742,1739) r(708,759) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) d(781) d(672) a(1736,864) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(462,757) a(903,451) r(897,885) a(768,453) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1133) a(775,818) a(705,447) d(745) d(1640) 
	  1 a(1090,1059) a(1129,1297) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(1590) d(656) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(1590) a(661,412) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) a(705,447) d(745) d(764) 
	  1 a(834,1769) d(462) r(1297,1238) d(817) r(1040,1078) a(903,757) 
	  1 a(1090,1059) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) r(767,736) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) d(1311) 
	  1 a(1090,1059) d(462) r(1297,1238) d(817) r(1040,1078) r(685,1101) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1739) r(1310,1133) 
	  1 r(1186,1098) d(1133) a(775,818) d(1725) r(732,663) a(1306,1359) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(392) r(424,416) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) a(732,691) r(674,1132) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) d(1735) 
	  1 a(834,1769) r(739,667) d(1760) d(1308) d(733) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1308) a(1309,703) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) a(1731,406) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(462,757) a(903,451) r(897,885) d(778) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) d(781) d(672) r(764,1134) 
	  1 r(390,412) d(272) d(1740) d(1591) d(272) d(1740) d(1591) d(1144) r(1306,1163) a(452,1759) 
	  1 r(390,412) d(1144) r(1170,1117) d(1728) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1170,1117) r(1650,546) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1306,1163) a(1312,1346) 
	  1 r(390,412) d(272) r(1119,1304) r(798,816) r(713,982) d(767) d(1308) r(1737,1082) r(878,856) d(460) r(1728,1735) r(1742,1739) r(882,892) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) a(674,1330) 
search: generation 10 (sizeof one variant = 0.208297 MB)
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) r(661,898) r(661,1591) d(816) d(428) r(1131,1294) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) d(467) r(1308,1309) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(392) r(424,416) r(1312,1132) 
	  1 a(834,1769) r(739,667) d(1760) d(1760) a(1129,1297) r(341,766) r(713,982) d(1041) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) a(1598,648) d(1311) a(1238,1131) 
	  1 r(1186,1098) r(1134,410) a(1169,554) 
	  1 d(1134) d(1760) a(653,697) d(460) d(1024) d(402) r(423,1729) d(391) d(1301) r(1180,1192) 
	  1 r(797,799) d(1639) r(731,1756) 
	  1 r(797,799) d(412) r(760,780) d(470) a(599,1398) a(1601,419) a(697,462) d(706) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) a(697,462) d(1639) 
	  1 r(797,799) d(412) a(1168,683) 
	  1 a(1090,1059) d(876) a(635,472) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(1639) r(760,780) r(661,898) r(661,1591) d(816) d(428) d(1313) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(342) a(1758,1343) r(442,426) a(1156,1336) a(695,674) 
	  1 a(1090,1059) d(876) a(635,472) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) a(1156,1336) d(1754) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) r(661,898) r(661,1591) d(816) d(428) a(410,1751) 
	  1 a(834,1769) r(739,667) d(1760) a(1129,1297) a(1121,757) r(1173,1105) d(1307) r(772,675) r(897,899) r(1732,760) r(801,798) 
	  1 a(834,1769) r(739,667) a(1066,1753) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(1302,1308) d(1062) d(341) 
	  1 a(1090,1059) a(1129,1297) d(1133) a(775,818) d(781) d(672) a(1736,864) a(772,553) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) r(452,1242) a(1289,554) 
	  1 a(1090,1059) d(876) a(635,472) d(1649) r(1302,1308) r(392,766) r(871,838) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) a(1185,1348) d(1751) 
	  1 a(1090,1059) d(876) a(635,472) d(1649) a(1185,1348) a(876,498) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(1302,1308) r(392,766) a(378,439) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1306,1163) a(1312,1346) d(1599) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) a(835,1293) r(441,416) r(1747,1731) 
	  1 r(797,799) d(412) d(764) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) d(467) d(608) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) d(467) a(1024,456) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1739) r(1310,1133) d(410) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) r(1306,1163) d(874) d(1066) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1739) r(1310,1133) d(734) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(760,656) d(882) d(867) 
	  1 r(1186,1098) r(1735,1726) d(1758) d(1308) a(1309,703) r(1397,1338) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1308) a(1309,703) r(412,1100) 
	  1 r(1186,1098) r(1735,1726) r(760,656) d(882) d(412) 
	  1 r(390,412) d(272) d(1308) d(1648) r(897,885) a(1304,412) r(1121,1119) 
	  1 r(797,799) d(1639) r(462,757) a(903,451) r(341,766) d(673) r(661,898) r(661,1591) r(1738,1736) a(1164,660) d(1744) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) r(1738,1736) a(1164,660) d(1301) 
	  1 r(797,799) d(1639) r(462,757) a(903,451) r(897,885) a(1304,412) a(1402,1189) 
	  1 r(797,799) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) r(452,1242) d(341) 
	  1 r(390,412) d(272) d(1308) d(1648) r(341,766) d(673) r(661,898) r(661,1591) d(816) d(467) r(771,780) 
	  1 r(390,412) d(272) d(1740) d(1591) d(1144) a(732,691) r(674,1132) r(1744,1737) 
	  1 a(1090,1059) d(876) a(635,472) d(1639) r(760,780) d(37) r(447,1289) a(1731,766) a(1066,1753) d(1753) d(1590) r(1597,444) d(342) a(1758,1343) r(442,426) a(1156,1336) r(1750,1732) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) r(341,766) d(447) r(462,757) a(903,451) r(897,885) a(856,881) d(1751) 
	  1 a(1090,1059) d(462) r(1297,1238) d(817) r(1040,1078) r(685,1101) d(785) 
	  1 r(797,799) d(1639) r(462,757) a(903,451) r(897,885) a(1304,412) a(423,1361) 
	  1 a(1090,1059) d(462) r(1297,1238) d(817) r(1040,1078) r(685,1101) r(1040,1077) 
	  1 r(1186,1098) r(447,1289) d(1113) d(733) a(426,402) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) d(733) d(394) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) d(733) a(1743,1727) 
	  1 r(1186,1098) r(447,1289) r(798,816) r(713,982) d(1041) d(876) d(760) d(1113) d(733) a(1211,682) 
	  1 a(834,1769) r(739,667) a(1066,1753) a(896,1398) d(1639) a(776,1601) d(1113) a(1734,1735) r(445,448) d(1639) r(760,780) d(470) a(599,1398) a(1601,419) a(1164,1188) r(1748,1740) 
	  1 a(1090,1059) d(660) d(773) a(1129,1297) r(341,766) d(410) a(1589,1400) d(1758) d(1739) r(1310,1133) r(1186,1134) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1252
"Test Suite Evaluations": 139.111

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1128.37
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.132 = 0.0208102%
  compile                             632 197.707 = 31.271%
  test                               1260 434.398 = 68.7081%
  TOTAL                                   632.237 = 56.0307% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:58:27 EDT 2013
shutting down
