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 8
--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-195-87-141 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:20 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/tmp595451.c /tmp/tmp9c8464.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.66812)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1778
cilRep: stmts in weighted_path = 352
cilRep: total weight = 222.5
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: gzip.c (code bank/base file; atoms [1,1778])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.203259 MB)
search: initial population (sizeof one variant = 0.0121317 MB)
	  1 d(731) 
	  1 r(1401,1129) 
	  1 r(1740,1748) 
	  1 r(1727,778) 
	  1 r(1402,1211) 
	  1 r(1113,1178) 
	  1 d(608) 
	  1 d(424) 
	  1 r(1734,772) 
	  1 r(1134,700) 
	  1 r(440,451) 
	  1 a(798,1341) 
	  1 d(1298) 
	  1 r(860,866) 
	  1 r(450,1164) 
	  1 a(1756,554) 
	  1 r(898,896) 
	  1 d(1314) 
	  1 r(770,1643) 
	  1 d(736) 
	  1 r(980,905) 
	  1 a(1734,685) 
	  1 d(1164) 
	  1 r(815,816) 
	  1 d(713) 
	  1 d(1296) 
	  1 a(1747,757) 
	  1 d(1301) 
	  1 a(436,774) 
	  1 d(1398) 
	  1 d(1298) 
	  1 a(1731,428) 
	  1 r(1400,656) 
	  1 r(879,838) 
	  1 a(757,492) 
	  1 a(453,608) 
	  1 d(1601) 
	  1 d(797) 
	  1 d(802) 
	  1 original
search: generation 1 (sizeof one variant = 0.203623 MB)
	  1 d(713) a(872,770) 
	  1 a(1727,764) 
	  1 d(713) d(1312) 
	  1 d(760) 
	  1 r(815,816) r(1397,835) 
	  1 d(797) r(757,660) 
	  1 d(424) r(765,562) 
	  1 d(1164) d(1061) 
	  1 d(424) r(758,781) 
	  1 d(1296) r(761,1767) 
	  1 d(424) d(447) 
	  1 d(1296) d(462) 
	  1 d(797) d(1296) 
	  1 r(1734,772) d(448) 
	  1 d(797) d(739) 
	  1 r(1734,772) r(735,1610) 
	  1 r(898,896) r(626,1120) 
	  1 d(1298) r(1178,1352) 
	  1 d(1296) r(1304,1116) 
	  1 a(436,774) r(855,838) 
	  1 d(1296) d(456) 
	  1 a(436,774) r(449,779) 
	  1 d(797) d(652) 
	  1 d(1314) r(1063,1090) 
	  1 d(797) a(772,1211) 
	  1 d(1314) d(1211) 
	  1 r(770,1643) a(978,1573) 
	  1 r(898,896) d(817) 
	  1 r(770,1643) r(1734,555) 
	  1 r(898,896) r(781,421) 
	  1 r(440,451) d(834) 
	  1 d(797) d(1740) 
	  1 r(440,451) r(1191,1192) 
	  1 d(797) r(835,879) 
	  1 a(453,608) r(734,663) 
	  1 d(1601) r(1090,857) 
	  1 a(453,608) d(771) 
	  1 d(1601) r(760,778) 
	  1 d(1296) d(1087) 
	  1 r(440,451) d(599) 
	  1 d(731) a(899,554) 
	  1 a(453,608) d(1737) 
	  1 a(798,1341) d(1725) 
	  1 d(1298) d(579) 
	  1 r(770,1643) r(986,981) 
	  1 a(436,774) r(1403,1599) 
	  1 r(1727,778) r(1741,1732) 
	  1 a(1747,757) a(1726,658) 
	  1 r(1727,778) r(402,882) 
	  1 a(1747,757) d(451) 
	  1 d(1314) d(653) 
	  1 d(802) a(875,740) 
	  1 d(1314) r(777,765) 
	  1 d(802) d(693) 
	  1 d(1296) d(428) 
	  1 d(1298) d(1114) 
	  1 d(1296) a(1185,553) 
	  1 d(1298) d(672) 
	  1 d(731) r(837,1599) 
	  1 d(1296) a(1640,1399) 
	  1 a(1734,685) r(876,874) 
	  1 d(1298) d(1739) 
search: generation 2 (sizeof one variant = 0.204695 MB)
	  1 d(731) r(837,1599) d(1189) 
	  1 a(453,608) d(771) r(584,1179) 
	  1 r(898,896) r(781,421) d(1314) 
	  1 d(1314) r(1063,1090) r(1178,1355) 
	  1 r(898,896) r(781,421) a(702,498) 
	  1 d(1314) r(1063,1090) r(765,1741) 
	  1 d(713) d(1312) r(438,441) 
	  1 a(436,774) r(449,779) d(766) 
	  1 d(713) a(872,770) r(1758,1087) 
	  1 r(898,896) r(781,421) r(342,471) 
	  1 d(797) d(739) d(700) 
	  1 r(1734,772) r(735,1610) r(862,858) 
	  1 d(1314) d(1211) d(1754) 
	  1 a(1734,685) r(876,874) r(444,516) 
	  1 d(1314) d(1211) d(440) 
	  1 a(1734,685) r(876,874) r(1600,1598) 
	  1 r(770,1643) a(978,1573) a(871,608) 
	  1 a(798,1341) d(1725) r(778,668) 
	  1 r(770,1643) r(1063,1090) r(985,904) 
	  1 d(1314) a(978,1573) a(1401,1141) 
	  1 r(770,1643) a(978,1573) a(1573,608) 
	  1 d(1314) r(1063,1090) r(668,765) 
	  1 r(898,896) d(1120) 
	  1 d(1601) r(1090,857) d(817) d(1297) 
	  1 r(898,896) d(817) r(1165,1399) 
	  1 d(1601) r(1090,857) r(1727,758) 
	  1 d(1298) r(1304,1116) d(402) 
	  1 d(1296) r(1178,1352) d(1745) 
	  1 d(1298) r(1178,1352) r(1751,455) 
	  1 d(1296) r(1304,1116) a(770,582) 
	  1 a(453,608) d(1737) d(1738) 
	  1 d(1164) d(1061) d(761) 
	  1 d(731) r(656,1097) 
	  1 a(436,774) r(1403,1599) a(899,554) a(1639,1601) 
	  1 d(731) a(899,554) r(1238,1330) 
	  1 a(436,774) r(1403,1599) r(402,451) 
	  1 a(453,608) d(771) a(1735,692) 
	  1 r(1734,772) r(735,1610) r(1088,1087) 
	  1 d(797) d(448) d(733) 
	  1 r(1734,772) a(772,1211) d(1129) 
	  1 d(797) a(772,1211) r(882,896) 
	  1 r(1734,772) d(448) r(437,406) 
	  1 d(1296) a(1185,553) r(667,422) 
	  1 a(453,608) d(1737) d(412) 
	  1 d(1296) r(761,1767) d(1753) 
	  1 a(1747,757) d(451) a(1403,662) 
	  1 d(1296) d(1361) 
	  1 d(797) d(739) d(456) a(1311,757) 
	  1 d(1296) d(456) r(1061,1065) 
	  1 d(797) d(739) a(870,1601) 
	  1 d(1296) d(456) r(1305,1288) 
	  1 d(797) d(652) d(442) 
	  1 d(1296) d(456) d(715) 
	  1 r(440,451) d(834) a(1288,1764) 
	  1 d(797) d(1296) d(1726) 
	  1 a(453,608) d(1737) a(1760,1755) 
search: generation 3 (sizeof one variant = 0.205277 MB)
	  1 d(1296) r(1304,1116) a(770,582) d(617) 
	  1 d(1296) d(456) d(715) a(653,428) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) 
	  1 a(436,774) r(1403,1599) a(899,554) a(1639,1601) a(694,461) 
	  1 r(770,1643) a(978,1573) a(871,608) d(440) r(1735,1738) 
	  1 d(1314) d(1211) r(429,439) 
	  1 r(770,1643) a(978,1573) a(871,608) a(438,693) 
	  1 d(1314) d(1211) d(440) d(1211) 
	  1 d(731) a(899,554) r(1238,1330) d(1192) 
	  1 a(436,774) r(449,779) d(766) d(652) 
	  1 d(1314) r(1063,1090) r(765,1741) r(1597,1309) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) 
	  1 r(898,896) r(1309,1169) 
	  1 d(731) r(656,1097) d(1120) d(668) 
	  1 r(898,896) d(1120) r(1133,1110) 
	  1 d(731) r(656,1097) d(1061) 
	  1 d(1314) r(1063,1090) r(1178,1355) d(838) 
	  1 d(731) a(899,554) r(1238,1330) r(1589,498) 
	  1 d(797) a(772,1211) r(882,896) a(443,583) 
	  1 d(713) d(1312) r(438,441) a(439,769) 
	  1 a(436,774) r(449,779) d(766) d(762) 
	  1 d(713) a(872,770) r(1758,1087) r(428,1298) 
	  1 d(731) r(837,1599) d(1189) d(700) 
	  1 d(797) a(772,1211) r(882,896) r(982,905) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) 
	  1 a(453,608) r(1751,455) r(1134,1078) 
	  1 d(1298) r(1178,1352) r(1751,455) r(1313,1297) 
	  1 a(453,608) d(1737) a(1760,1755) d(599) 
	  1 r(770,1643) r(1063,1090) r(985,904) r(768,672) 
	  1 d(1296) d(456) r(1305,1288) a(1292,864) 
	  1 d(1164) r(882,896) d(1298) 
	  1 d(797) a(772,1211) d(1061) d(761) r(425,405) 
	  1 d(1164) d(1061) d(761) a(608,1169) 
	  1 d(797) a(772,1211) r(882,896) r(1400,414) 
	  1 a(453,608) d(1728) 
	  1 r(1734,772) r(735,1610) r(862,858) d(771) a(1735,692) d(1649) 
	  1 a(453,608) d(771) a(1735,692) d(1293) 
	  1 r(1734,772) r(735,1610) r(862,858) r(1741,1734) 
	  1 d(1296) d(1361) d(904) 
	  1 d(1296) r(1304,1116) a(770,582) d(977) 
	  1 d(731) a(899,554) r(1238,1330) d(1600) 
	  1 d(731) r(656,1097) d(412) 
	  1 r(440,451) d(834) a(1288,1764) r(668,765) a(1066,1330) 
	  1 d(1314) r(1063,1090) a(713,660) 
	  1 r(440,451) d(834) a(1288,1764) r(739,582) 
	  1 d(1314) r(1063,1090) r(668,765) d(984) 
	  1 r(898,896) d(1120) r(443,451) 
	  1 r(898,896) r(781,421) a(702,498) a(1120,745) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) 
	  1 r(1734,772) a(772,1211) d(1129) r(648,1572) 
	  1 d(1296) a(1185,553) r(667,422) a(445,1625) 
	  1 r(1734,772) a(772,1211) d(1129) r(339,449) 
	  1 d(1296) d(456) r(876,874) r(444,516) r(1759,880) 
	  1 a(1734,685) r(1305,1288) r(760,737) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) 
	  1 a(1734,685) r(876,874) r(444,516) a(1759,451) 
search: generation 4 (sizeof one variant = 0.205621 MB)
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) 
	  1 d(1314) d(1211) r(429,439) r(697,835) 
	  1 r(770,1643) a(978,1573) a(871,608) a(438,693) a(453,1361) 
	  1 a(1747,757) d(451) a(1403,662) d(766) d(762) d(1738) 
	  1 a(436,774) r(449,779) a(1741,1169) d(1191) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) d(880) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) 
	  1 a(436,774) r(1403,1599) a(899,554) a(1639,1601) a(694,461) r(775,733) 
	  1 d(797) a(772,1211) r(882,896) r(1400,414) r(733,655) 
	  1 a(453,608) d(1728) a(1292,864) d(781) 
	  1 d(1296) d(456) r(1305,1288) r(762,781) 
	  1 a(453,608) d(1728) r(1133,1191) 
	  1 d(1296) d(456) r(1305,1288) a(1292,864) d(1090) 
	  1 d(1164) d(1061) r(579,651) r(769,647) 
	  1 d(1296) d(456) r(1305,1288) d(761) a(608,1169) r(1304,1328) 
	  1 d(1164) d(1061) d(761) a(608,1169) d(899) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) r(1297,1163) 
	  1 d(797) d(456) r(1305,1288) r(579,651) d(428) 
	  1 d(1296) a(772,1211) r(882,896) a(443,583) r(1730,1729) 
	  1 d(797) a(772,1211) r(882,896) a(443,583) r(817,800) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) a(893,458) 
	  1 d(731) a(1755,553) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(656,1097) d(1061) d(448) 
	  1 d(731) r(656,1097) d(1061) a(1061,1757) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) d(837) 
	  1 d(1296) d(1361) d(904) a(760,1403) 
	  1 d(1314) r(443,451) r(342,1192) 
	  1 r(898,896) d(1120) d(1211) d(440) d(1211) d(705) 
	  1 d(1314) d(1211) d(440) d(1211) d(1740) 
	  1 r(898,896) d(1120) r(443,451) d(1129) 
	  1 d(731) a(899,554) r(1238,1330) d(1192) d(1643) 
	  1 r(440,451) d(834) a(1288,1764) r(739,582) a(1144,428) 
	  1 r(440,451) d(834) a(1288,1764) r(668,765) a(1066,1330) a(771,1761) 
	  1 a(436,774) r(1403,1599) a(899,554) a(1639,1601) a(694,461) a(1131,1278) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) a(1403,662) a(1741,1169) d(781) 
	  1 a(1747,757) d(451) a(1756,1241) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) d(779) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) d(771) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) a(1061,799) 
	  1 a(453,608) r(1751,455) r(1134,1078) d(904) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) d(694) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1067,1059) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) 
	  1 d(1314) r(1063,1090) r(668,765) d(984) a(1734,1162) 
	  1 d(797) a(772,1211) r(882,896) r(982,905) d(1309) 
	  1 d(731) a(899,554) r(1238,1330) r(1589,498) d(702) 
	  1 a(1747,757) r(1134,1078) d(391) 
	  1 a(453,608) r(1751,455) d(451) a(1403,662) a(1741,1169) a(1725,461) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) r(423,691) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) 
	  1 d(713) d(1312) r(438,441) a(439,769) a(1179,1150) 
	  1 r(770,1643) r(1063,1090) r(985,904) r(768,672) d(1582) 
	  1 a(1734,685) r(876,874) a(653,428) r(774,578) 
	  1 d(1296) d(456) d(715) r(444,516) a(1759,451) r(649,663) 
	  1 a(1734,685) r(876,874) r(444,516) a(1759,451) d(759) 
	  1 d(1296) d(456) d(715) a(653,428) r(799,339) 
	  1 a(453,608) d(1728) r(1573,580) 
	  1 d(797) a(772,1211) r(882,896) r(1400,414) a(405,789) 
search: generation 5 (sizeof one variant = 0.206067 MB)
	  1 d(797) a(772,1211) r(882,896) r(1400,414) a(405,789) d(771) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1090) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) 
	  1 d(731) a(899,554) r(1238,1330) d(1192) d(1643) d(1747) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) d(779) d(736) 
	  1 d(797) a(772,1211) r(882,896) r(1400,414) a(405,789) a(667,453) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) 
	  1 d(1296) a(1741,1169) d(837) r(1401,1170) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) d(694) d(1308) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) d(837) d(617) 
	  1 a(1747,757) r(1134,1078) d(391) d(437) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) d(1572) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) a(860,1732) 
	  1 d(1296) d(456) r(1305,1288) a(1292,864) d(1090) d(884) 
	  1 d(1314) d(1211) d(440) d(1211) d(1740) d(1644) 
	  1 r(898,896) d(1120) r(443,451) d(1129) d(1307) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) r(423,691) d(865) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) a(893,458) a(405,561) 
	  1 d(1164) d(1061) r(1134,1078) r(1067,1059) d(708) 
	  1 a(453,608) r(1751,455) d(761) a(608,1169) d(899) d(777) 
	  1 d(1164) d(1061) d(761) a(608,1169) d(899) a(1058,1591) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1067,1059) d(1597) 
	  1 a(453,608) r(1751,455) d(451) r(1573,580) a(1591,430) 
	  1 a(453,608) d(1728) a(1403,662) a(1741,1169) a(1725,461) r(977,984) 
	  1 a(453,608) r(1751,455) d(451) a(1403,662) a(1741,1169) a(1725,461) d(1746) 
	  1 a(453,608) d(1728) r(1573,580) d(1731) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) 
	  1 a(1747,757) d(451) a(1756,1241) d(1300) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) 
	  1 a(1747,757) d(451) a(1756,1241) d(1288) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) d(700) 
	  1 d(713) d(1312) r(438,441) a(439,769) a(1179,1150) a(892,1361) 
	  1 a(1747,757) d(451) d(451) a(1403,662) a(1741,1169) d(771) r(1751,1649) 
	  1 a(1747,757) a(1756,1241) a(903,982) 
	  1 a(1747,757) d(451) a(1756,1241) a(37,715) 
	  1 a(1747,757) d(451) a(1403,662) a(1741,1169) d(771) d(1114) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) d(274) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) 
	  1 r(770,1643) r(1063,1090) r(985,904) r(768,672) d(1582) a(857,436) 
	  1 d(797) d(456) r(1305,1288) r(579,651) d(428) d(855) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1740,1081) 
	  1 d(1296) d(1361) d(904) a(760,1403) r(1292,1342) 
	  1 a(453,608) d(1728) r(1573,580) d(649) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) 
	  1 d(797) a(772,1211) r(882,896) r(1400,414) a(405,789) r(716,651) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(656,1097) d(1061) d(448) r(1132,1098) 
	  1 a(453,608) r(1591,984) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) d(1112) 
search: generation 6 (sizeof one variant = 0.206466 MB)
	  1 d(1298) r(1178,1352) d(1737) d(815) a(448,656) r(735,429) r(1150,1081) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(1760,1755) d(815) a(448,656) d(274) d(452) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) d(274) d(1726) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(776) 
	  1 a(1747,757) d(451) d(451) a(1403,662) a(1741,1169) d(771) r(1751,1649) r(766,1730) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) a(860,1732) r(685,517) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) r(1574,1591) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1740,1081) d(1185) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) d(1129) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) r(735,429) a(899,414) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(857) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) 
	  1 a(1747,757) d(451) d(451) a(1403,662) a(1741,1169) d(771) r(1751,1649) r(1089,1079) 
	  1 a(453,608) d(1728) r(1573,580) d(762) a(801,1769) a(1573,1601) d(856) 
	  1 a(436,774) r(449,779) d(766) d(649) d(672) 
	  1 a(453,608) d(1728) r(1573,580) d(649) r(652,1189) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) 
	  1 d(1296) d(456) d(460) 
	  1 a(453,608) r(1751,455) d(451) r(1573,580) a(1591,430) r(1305,1288) r(579,651) d(694) d(1308) d(763) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) d(694) d(1308) a(1398,559) 
	  1 a(453,608) r(1751,455) d(451) r(1573,580) a(1591,430) r(1114,1305) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) r(770,981) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) r(884,899) 
	  1 d(1164) d(1061) r(1134,1078) r(1067,1059) d(708) a(653,1572) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) d(875) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(1648) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) d(700) d(617) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1740,1081) a(892,837) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) d(1572) r(979,903) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) r(1312,1299) 
	  1 a(453,608) r(1751,455) d(761) a(608,1169) d(899) d(777) a(735,443) 
	  1 a(1747,757) a(904,1341) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1403) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1132) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) d(1129) d(1307) r(779,897) 
	  1 r(898,896) d(1120) r(443,451) a(1601,799) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) 
	  1 r(898,896) d(1120) r(443,451) d(1129) d(1307) a(904,667) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) d(779) d(736) d(736) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) r(454,456) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) d(779) d(736) a(342,443) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(656,1097) d(1061) d(448) r(1132,1098) d(1396) 
	  1 r(770,1643) r(1063,1090) r(985,904) r(768,672) d(1582) a(857,436) d(1292) 
	  1 a(453,608) d(1728) r(1573,580) d(649) d(1747) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) r(446,797) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) d(586) 
	  1 a(453,608) d(1728) r(1573,580) d(649) r(1610,1642) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) 
	  1 d(1296) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(1732,1749) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) 
	  1 d(1164) d(1061) r(1134,1078) r(1067,1059) d(708) d(903) 
	  1 a(1747,757) d(451) a(1756,1241) d(1288) r(786,835) 
search: generation 7 (sizeof one variant = 0.207605 MB)
	  1 d(1296) a(1185,553) d(766) d(762) a(801,1769) a(1573,1601) r(884,899) a(651,430) 
	  1 a(436,774) r(449,779) r(667,422) d(1059) d(779) d(736) d(736) r(733,763) 
	  1 d(1296) a(1185,553) r(667,422) d(1059) d(779) d(736) d(736) d(800) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) r(884,899) r(707,693) 
	  1 a(453,608) d(1728) r(1573,580) d(762) a(801,1769) a(1573,1601) d(856) r(456,1058) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) r(770,981) a(1310,1288) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) d(1129) r(855,881) 
	  1 d(1164) d(1061) r(1134,1078) r(1067,1059) d(708) d(903) a(584,647) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) a(865,1759) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(1760,1755) d(815) a(448,656) d(274) d(452) d(682) a(451,1734) a(1750,581) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(1760,1755) d(815) a(448,656) d(274) d(452) d(391) 
	  1 r(898,896) d(1120) r(443,451) d(1129) d(1307) a(904,667) a(1142,672) 
	  1 a(453,608) r(1751,455) d(761) a(608,1169) d(899) d(777) a(735,443) r(1749,1729) 
	  1 r(770,1643) r(1063,1090) a(1756,1241) d(1288) r(786,835) d(470) 
	  1 a(1747,757) d(451) r(985,904) d(660) d(37) r(813,812) r(797,793) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) 
	  1 a(1747,757) d(451) a(1756,1241) d(1288) r(786,835) r(1755,1766) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) d(984) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) d(769) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(443,508) r(735,429) a(899,414) d(893) 
	  1 a(1747,757) d(451) a(1756,1241) d(815) a(448,656) r(735,429) r(770,981) d(648) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) r(770,981) d(1648) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) r(735,429) a(899,414) r(1309,1311) 
	  1 a(453,608) r(1751,455) d(451) r(1573,580) a(1591,430) r(1114,1305) a(1061,858) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1132) d(412) 
	  1 d(1296) d(456) r(1305,1288) a(884,341) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) r(579,651) d(694) d(1308) a(1398,559) r(651,556) 
	  1 d(1296) d(456) r(1305,1288) r(579,651) d(694) d(1308) a(1398,559) d(447) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) d(1750) 
	  1 a(453,608) d(1728) r(1573,580) d(649) d(1747) r(1170,1351) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) r(1312,1299) a(760,1403) a(1754,1609) r(1294,485) a(859,500) 
	  1 d(1296) d(1361) d(904) r(1300,1121) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) r(1312,1299) a(894,1591) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) r(1734,1737) 
	  1 a(1747,757) d(451) d(451) a(1403,662) a(1741,1169) d(771) r(1751,1649) r(1089,1079) r(608,1730) 
	  1 d(1296) d(456) d(460) r(1162,339) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) d(1150) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) r(1063,1090) r(985,904) d(660) d(37) d(700) d(617) a(837,647) 
	  1 r(770,1643) a(1573,1601) d(702) r(1292,1238) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) d(700) d(617) r(1129,1174) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) d(456) d(460) d(471) 
	  1 d(1296) d(1400) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(1396,444) 
	  1 d(1296) d(456) d(460) d(838) 
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) d(586) d(446) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(776) a(1758,458) 
	  1 d(1296) d(1312) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) a(674,557) 
	  1 d(713) d(1312) d(1174) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) d(1729) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) a(837,546) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(857) r(1574,1589) 
search: generation 8 (sizeof one variant = 0.20698 MB)
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) r(674,1077) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) d(456) d(460) d(471) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) r(1186,1168) 
	  1 a(436,774) d(456) d(1300) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) d(456) d(460) d(471) d(1141) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) d(424) 
	  1 r(770,1643) r(1063,1090) d(390) 
	  1 d(1296) d(456) d(460) r(1162,339) a(1756,1241) d(1288) r(786,835) d(470) r(1186,1304) 
	  1 r(770,1643) r(1063,1090) a(1756,1241) d(1288) r(786,835) d(470) r(776,779) 
	  1 d(1296) d(456) d(460) r(1162,339) d(456) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) a(682,417) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1132) d(412) a(441,1743) 
	  1 d(1298) r(1178,1352) d(1737) d(274) d(452) d(682) a(451,1734) a(1750,581) d(685) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(1760,1755) d(815) a(448,656) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) r(647,1650) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) d(978) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) a(1760,1755) d(815) a(448,656) d(274) d(452) d(682) a(451,1734) a(1750,581) r(651,1734) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) r(450,1041) 
	  1 a(436,774) r(449,779) d(815) a(448,656) r(735,429) d(776) a(1758,458) a(1306,500) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(776) a(1758,458) d(897) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) 
	  1 d(1296) a(899,512) a(462,1573) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) 
	  1 d(1296) d(1400) a(815,1763) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(454,410) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(1288) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) d(456) d(460) d(471) r(1065,1061) 
	  1 a(436,774) d(1729) r(769,1278) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) d(1150) r(392,893) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) d(1150) d(455) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) d(1729) d(661) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(1396,444) d(1144) 
	  1 a(436,774) r(449,779) r(667,422) d(1059) d(779) d(736) d(736) r(733,763) d(656) 
	  1 a(453,608) r(1751,455) a(448,656) r(1751,455) r(1134,1078) r(1063,1079) d(706) d(586) d(446) a(391,660) 
	  1 a(453,608) r(735,429) d(776) a(892,552) r(1731,1737) 
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) d(1753) 
	  1 a(453,608) r(1751,455) r(1134,1078) r(1063,1079) d(706) d(586) d(446) d(471) 
	  1 a(436,774) d(653) a(436,1725) a(392,1338) d(1751) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) d(586) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) a(1397,685) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) d(781) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1132) d(412) r(1120,1301) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) d(707) 
	  1 a(1747,757) d(451) r(985,904) d(660) d(37) r(813,812) r(797,793) r(451,1591) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(760,582) 
	  1 a(1747,757) d(451) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) d(1299) 
	  1 d(1298) r(1178,1352) a(1756,1241) d(1288) r(786,835) r(1755,1766) r(1732,1163) 
	  1 a(1747,757) d(451) a(1756,1241) d(1288) r(786,835) r(1755,1766) r(866,864) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) a(1734,1361) 
	  1 d(1296) d(1361) d(904) a(760,1403) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(776) a(1758,458) a(1309,446) 
	  1 d(1298) a(1754,1609) r(1294,485) d(984) a(453,1771) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) d(984) d(1116) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) a(448,656) r(735,429) d(776) a(1758,458) r(978,982) 
	  1 a(453,608) d(1728) r(1573,580) d(762) a(801,1769) a(1573,1601) d(856) r(456,1058) r(705,736) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) r(1312,1168) 
	  1 r(770,1643) a(1573,1601) d(702) r(1292,1238) r(760,608) d(436) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) d(694) 
	  1 r(770,1643) a(1573,1601) d(702) r(1292,1238) d(427) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) 
	  1 d(1296) d(456) d(460) d(838) d(897) 
	  1 r(770,1643) r(1063,1090) a(1756,1241) d(1288) r(786,835) d(470) a(1396,500) 
search: generation 9 (sizeof one variant = 0.20763 MB)
	  1 d(1298) r(1178,1352) d(1737) d(274) d(452) d(682) a(451,1734) a(1750,581) d(685) a(1066,682) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) r(1639,1179) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(769,1278) d(713) 
	  1 a(436,774) d(1729) r(1296,1188) a(894,1338) r(757,693) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) r(875,834) 
	  1 a(436,774) d(1729) r(769,1278) a(865,876) 
	  1 d(1296) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(986) 
	  1 d(1296) d(1361) d(904) d(456) d(460) r(1162,339) d(456) a(1188,1342) 
	  1 d(1296) d(456) d(460) r(1162,339) d(456) r(879,860) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(1141) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) d(781) d(865) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) a(1755,617) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) d(443) 
	  1 a(436,774) d(1729) r(769,1278) d(584) 
	  1 d(713) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) a(1736,1573) 
	  1 r(770,1643) r(1063,1090) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) d(781) r(1729,1744) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) d(781) d(429) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) r(1066,1080) 
	  1 r(770,1643) r(857,877) a(682,417) r(1186,1246) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) d(785) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) a(770,661) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) a(682,417) d(878) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(700) d(768) d(1150) d(455) a(1186,426) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(706) d(586) r(1293,473) a(1734,1361) d(706) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) a(1734,1361) a(705,655) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) d(1192) d(700) d(768) d(1150) d(455) a(1736,1769) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) d(424) r(1306,1353) 
	  1 a(1747,757) d(451) a(1403,662) d(456) r(1305,1288) r(579,651) d(694) d(1174) d(1132) d(412) a(441,1743) d(1754) 
	  1 d(1296) r(449,779) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1064) 
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(1296) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(871) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1750) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(1396,444) d(1144) a(800,675) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) d(586) r(1756,635) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) d(456) d(460) d(471) d(1141) d(1400) 
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) r(674,1077) r(1090,1120) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) a(1130,1130) 
	  1 r(770,1643) a(436,1725) a(765,1211) d(424) d(1178) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) d(424) a(1304,658) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) a(1725,764) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(448,656) r(735,429) d(776) a(892,552) r(674,1077) d(1133) 
	  1 a(453,608) r(1751,455) a(392,1338) d(763) r(899,892) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(428) 
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) r(674,1077) r(1361,558) 
	  1 d(713) d(1312) r(438,441) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(661) d(1729) d(661) r(667,1725) 
	  1 d(1298) r(1178,1352) d(1737) a(1760,1755) d(815) r(1134,1078) r(1063,1079) d(706) d(586) r(1293,473) d(978) d(1734) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) a(1734,1397) 
	  1 d(1296) d(1361) d(439) d(882) r(860,878) a(467,692) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) r(1168,1329) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(882) 
	  1 r(770,1643) r(1063,1090) d(390) d(739) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(1288) a(986,422) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) a(801,1769) a(1573,1601) d(702) d(442) d(739) a(1746,1338) 
	  1 a(436,774) r(449,779) d(766) d(762) d(984) d(1116) r(1142,1100) 
	  1 d(1296) d(1361) d(904) a(760,1403) a(1754,1609) r(1294,485) d(984) d(1116) d(983) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) d(1732) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) a(735,1143) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) r(1732,1058) 
	  1 d(1296) d(456) d(460) r(1162,339) a(1756,1241) d(1288) r(786,835) d(470) r(454,410) d(1305) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(1186,1304) r(1750,1726) 
	  1 d(1296) d(456) d(460) r(1162,339) a(1756,1241) d(1288) r(786,835) d(470) r(1186,1304) d(766) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(454,410) d(797) 
search: generation 10 (sizeof one variant = 0.207968 MB)
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(1296) r(713,761) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(765,1211) d(424) a(1304,658) r(445,430) 
	  1 a(436,774) a(765,1211) d(424) d(1178) a(765,1141) 
	  1 r(770,1643) a(436,1725) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) a(682,417) d(878) r(763,715) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) a(682,417) d(878) r(470,484) 
	  1 r(770,1643) a(436,1725) a(765,1211) d(424) d(1178) r(1650,1062) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(871) d(771) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) a(1755,617) d(1119) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) r(1066,1080) r(789,977) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(769,1278) d(713) a(648,740) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(770,661) r(877,866) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) a(1396,444) d(1144) a(800,675) d(673) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(1396,444) d(1144) a(800,675) r(855,868) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(1296,1188) a(894,1338) a(770,661) d(979) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(871) a(1592,458) 
	  1 d(1296) r(1186,1304) r(1750,1726) a(1087,667) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(1186,1304) r(1750,1726) d(1112) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(871) r(695,736) 
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) a(467,692) r(1745,1726) 
	  1 d(1296) d(1361) d(439) d(882) r(860,878) d(1296) r(1087,547) 
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(1296) a(1757,1330) 
	  1 d(1296) d(1361) d(439) d(882) r(860,878) a(467,692) d(1065) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) r(1639,1179) a(1396,459) 
	  1 d(713) d(1312) r(438,441) a(439,769) r(1189,486) r(1751,455) r(1134,1078) r(1063,1079) r(635,664) r(449,1143) r(1090,1625) d(781) d(865) r(1753,856) 
	  1 a(1747,757) d(451) a(1756,1241) a(443,508) d(865) a(1396,444) d(1144) a(800,675) r(448,378) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) d(586) r(1756,635) r(875,838) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) d(1732) r(855,877) d(1740) d(439) d(882) d(707) d(1064) d(584) 
	  1 d(1296) r(449,779) d(617) r(447,812) 
	  1 a(436,774) r(449,779) d(766) d(762) a(801,1769) a(1573,1601) d(702) d(442) d(739) d(1732) r(867,860) 
	  1 d(1296) r(449,779) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1064) d(733) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) r(735,429) d(776) a(892,552) r(674,1077) r(1090,1120) d(879) 
	  1 a(453,608) r(1751,455) a(448,656) d(439) d(882) r(860,878) r(1639,1179) r(412,1357) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) r(1639,1179) r(674,513) 
	  1 a(453,608) r(1751,455) a(448,656) r(735,429) d(776) a(892,552) r(674,1077) r(1090,1120) r(410,654) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) r(1066,1080) d(879) 
	  1 a(436,774) d(1729) r(769,1278) a(865,876) r(1131,1142) 
	  1 d(1296) d(1361) d(904) d(456) d(460) r(1162,339) d(456) a(1188,1342) a(713,786) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) a(899,512) r(454,410) d(797) a(772,654) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(1288) a(986,422) d(1742) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) r(857,877) d(586) r(1756,635) r(1112,1315) 
	  1 a(436,774) d(456) r(1305,1288) r(579,651) r(1297,1163) d(1134) a(892,421) d(1361) d(904) a(760,1403) d(653) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(440) a(1130,1130) r(768,375) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) a(1734,1397) a(1059,700) 
	  1 r(770,1643) r(857,877) d(1729) r(769,1278) a(865,876) d(649) 
	  1 a(436,774) a(682,417) r(1186,1246) a(1168,1180) 
	  1 r(770,1643) r(857,877) a(682,417) r(1186,1246) a(1310,608) 
	  1 a(436,774) d(1729) r(769,1278) a(865,876) r(1115,763) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) r(860,878) r(1639,1179) d(452) 
	  1 a(436,774) d(1729) r(769,1278) a(865,876) a(765,774) 
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(439) d(882) d(707) d(1750) r(1599,1572) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(682) a(451,1734) d(1400) d(1141) d(1296) d(1731) 
	  1 d(1296) r(1304,1116) a(770,582) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) d(1296) r(1116,1175) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1750) r(1064,1024) 
	  1 r(770,1643) r(1063,1090) r(985,904) d(660) d(37) r(813,812) r(760,608) d(1288) a(986,422) d(1745) 
	  1 d(1296) r(449,779) d(766) d(762) a(801,1769) d(682) a(451,1734) d(1400) d(1141) a(735,1143) d(816) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(428) d(669) 
	  1 d(1296) d(1750) a(818,761) 
	  1 d(1296) r(1304,1116) a(770,582) d(617) r(855,877) d(1740) d(439) d(882) d(707) d(1750) a(779,1241) 
	  1 d(1296) d(1361) d(904) a(760,1403) d(653) a(436,1725) a(392,1338) d(763) d(428) a(1402,1764) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1243
"Test Suite Evaluations": 138.111

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1093.38
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.177 = 0.028194%
  compile                             627 196.280 = 31.2916%
  test                               1250 430.804 = 68.6802%
  TOTAL                                   627.261 = 57.3683% (avg CPU usage)
gzip-bug-2010-02-19-3eb6091d69-884ef6d16c.tar.gz
Thu Sep 26 14:57:39 EDT 2013
shutting down
