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 2
--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 1
--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-142-31 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:38:10 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/tmp97ab7b.c /tmp/tmpc4bdc5.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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 101.17)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1006
cilRep: stmts in weighted_path = 340
cilRep: total weight = 216.8
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: inflate.c (code bank/base file; atoms [1,1006])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.103333 MB)
search: initial population (sizeof one variant = 0.0115499 MB)
	  1 r(746,945) 
	  1 r(1001,999) 
	  1 r(901,917) 
	  1 r(558,535) 
	  1 d(750) 
	  1 r(556,554) 
	  1 d(226) 
	  1 r(339,323) 
	  1 r(403,293) 
	  1 a(916,914) 
	  1 a(412,744) 
	  1 d(746) 
	  1 r(788,929) 
	  1 d(565) 
	  1 d(466) 
	  1 d(374) 
	  1 a(908,879) 
	  1 r(975,976) 
	  1 d(779) 
	  1 r(401,318) 
	  1 d(567) 
	  1 r(419,340) 
	  1 d(403) 
	  1 a(898,594) 
	  1 r(747,383) 
	  1 r(562,535) 
	  1 d(878) 
	  1 a(776,931) 
	  1 d(420) 
	  1 r(776,844) 
	  1 d(913) 
	  1 a(537,555) 
	  1 d(583) 
	  1 r(374,354) 
	  1 d(365) 
	  1 r(377,398) 
	  1 r(772,282) 
	  1 a(930,723) 
	  1 d(324) 
	  1 original
search: generation 1 (sizeof one variant = 0.103682 MB)
	  1 d(466) r(364,285) 
	  1 d(420) r(785,749) 
	  1 d(466) d(789) 
	  1 d(420) r(936,356) 
	  1 r(339,323) d(555) 
	  1 d(324) r(939,943) 
	  1 r(339,323) r(381,394) 
	  1 d(324) d(336) 
	  1 r(776,844) r(914,874) 
	  1 r(339,323) a(927,728) 
	  1 r(776,844) a(439,584) 
	  1 r(339,323) a(556,547) 
	  1 r(403,293) d(576) 
	  1 r(788,929) r(337,277) 
	  1 d(878) r(895,788) 
	  1 r(901,917) r(369,284) 
	  1 d(878) r(565,432) 
	  1 r(901,917) d(943) 
	  1 a(898,594) d(574) 
	  1 r(788,929) d(732) 
	  1 d(403) d(767) 
	  1 r(377,398) d(900) 
	  1 d(403) d(744) 
	  1 r(377,398) a(329,369) 
	  1 r(419,340) a(913,844) 
	  1 r(788,929) d(553) 
	  1 r(419,340) d(720) 
	  1 r(788,929) r(250,932) 
	  1 r(403,293) a(930,879) 
	  1 d(583) d(756) 
	  1 r(403,293) r(566,580) 
	  1 d(583) r(885,581) 
	  1 a(930,723) a(907,895) 
	  1 r(1001,999) d(368) 
	  1 a(930,723) a(904,732) 
	  1 r(1001,999) d(567) 
	  1 d(365) r(332,400) 
	  1 a(908,879) d(365) 
	  1 d(365) a(939,553) 
	  1 a(908,879) d(254) 
	  1 r(556,554) r(924,926) 
	  1 r(419,340) d(731) 
	  1 r(1001,999) d(766) 
	  1 d(226) d(396) 
	  1 r(1001,999) d(925) 
	  1 d(226) a(739,350) 
	  1 d(403) d(907) 
	  1 d(420) r(247,355) 
	  1 d(746) a(783,933) 
	  1 d(324) a(571,541) 
	  1 r(776,844) a(439,935) 
	  1 d(420) r(391,262) 
	  1 d(466) r(970,968) 
	  1 d(565) a(418,385) 
	  1 d(466) r(290,927) 
	  1 d(565) r(374,382) 
	  1 r(788,929) d(278) 
	  1 r(562,535) r(344,352) 
	  1 a(412,744) d(399) 
	  1 r(403,293) d(255) 
	  1 a(412,744) d(393) 
	  1 r(403,293) r(937,967) 
	  1 a(776,931) d(319) 
	  1 d(779) d(247) 
search: generation 2 (sizeof one variant = 0.104613 MB)
	  1 a(412,744) d(399) r(350,728) 
	  1 a(908,879) d(365) d(321) 
	  1 r(776,844) d(399) r(378,244) 
	  1 a(412,744) a(439,584) d(279) 
	  1 r(776,844) a(439,584) r(574,570) 
	  1 a(412,744) d(399) r(337,376) 
	  1 r(788,929) a(439,935) r(577,593) 
	  1 r(776,844) r(337,277) d(716) 
	  1 r(788,929) r(337,277) d(739) 
	  1 r(776,844) a(439,935) d(944) 
	  1 r(419,340) a(913,844) d(741) 
	  1 r(901,917) r(369,284) r(924,763) 
	  1 d(403) d(744) d(228) 
	  1 d(746) a(783,933) a(568,539) 
	  1 r(1001,999) r(789,852) 
	  1 d(420) r(785,749) d(766) a(976,550) 
	  1 r(1001,999) d(766) a(244,350) 
	  1 d(420) r(785,749) r(395,334) 
	  1 d(324) r(939,943) d(366) 
	  1 r(403,293) r(937,967) r(576,554) 
	  1 d(746) a(783,933) a(563,998) 
	  1 d(466) r(970,968) d(362) 
	  1 d(746) a(783,933) d(954) 
	  1 d(466) r(970,968) r(534,557) 
	  1 d(466) r(364,285) a(427,553) 
	  1 a(412,744) d(393) r(387,271) 
	  1 d(466) r(364,285) d(565) 
	  1 a(412,744) d(393) d(529) 
	  1 d(226) d(396) d(336) d(243) 
	  1 d(324) d(412) 
	  1 d(226) d(396) r(232,898) 
	  1 d(324) d(336) d(754) 
	  1 a(898,594) d(574) a(367,289) 
	  1 r(776,844) a(439,584) r(999,992) 
	  1 a(898,594) d(574) d(923) 
	  1 r(339,323) d(555) a(292,396) 
	  1 r(403,293) r(937,967) d(898) 
	  1 a(930,723) a(904,732) a(565,534) 
	  1 r(403,293) r(937,967) a(779,716) 
	  1 a(930,723) a(904,732) a(971,975) 
	  1 r(339,323) a(927,728) r(365,389) 
	  1 r(339,323) a(927,728) r(576,475) 
	  1 r(339,323) r(381,394) r(319,328) 
	  1 r(377,398) a(329,369) a(256,414) 
	  1 r(419,340) d(731) r(421,397) 
	  1 r(419,340) d(720) a(979,242) 
	  1 r(776,844) r(914,874) d(738) 
	  1 a(930,723) a(904,732) r(1002,991) 
	  1 r(776,844) a(439,584) a(894,918) 
	  1 r(419,340) a(913,844) d(777) 
	  5 d(878) r(895,788) a(238,778) 
	  1 d(565) a(418,385) r(929,878) 
	  1 r(776,844) a(439,584) r(330,232) 
	  4 d(565) r(374,382) r(938,293) 
	  4 r(776,844) a(439,584) d(352) 
	  4 d(565) r(374,382) d(898) 
search: generation 3 (sizeof one variant = 0.105089 MB)
	  0 d(324) d(412) a(377,245) 
	  1 d(746) a(783,933) d(954) r(891,932) 
	  0 r(339,323) d(555) a(292,396) a(306,336) 
	  0 r(419,340) a(913,844) d(777) r(383,235) 
	  1 a(412,744) a(439,584) d(352) d(574) 
	  5 r(776,844) d(399) r(337,376) r(748,757) 
	  4 a(412,744) d(399) r(337,376) d(550) 
	  4 r(776,844) a(439,584) d(352) d(590) 
	  5 r(419,340) d(720) a(979,242) d(913) 
	/root/mountpoint-genprog/genprog-many-bugs/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/000151/inflate.c  d(226) d(396) r(232,898) d(330)  fails to compile
	  0 d(226) d(396) r(232,898) d(330) 
	  5 r(788,929) r(337,277) d(739) a(894,918) a(563,590) 
	  1 r(776,844) a(439,584) d(417) 
	  5 r(788,929) r(337,277) d(739) r(573,435) 
	  1 r(776,844) a(439,584) a(894,918) d(916) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) 
	  4 r(776,844) a(976,550) r(368,230) 
	  0 d(420) r(785,749) d(766) a(976,550) r(979,973) 
	  0 r(776,844) a(439,584) d(352) r(761,857) 
	  0 r(419,340) a(913,844) d(777) a(383,328) 
	  0 d(466) r(364,285) d(565) d(589) 
	  1 a(930,723) a(904,732) a(565,534) d(910) 
	  0 a(930,723) a(904,732) a(565,534) d(560) 
	  1 r(339,323) d(555) a(292,396) a(529,581) 
	  1 r(776,844) a(439,584) d(352) d(334) 
	  1 a(412,744) a(439,584) d(279) d(364) 
	  1 r(339,323) d(555) a(292,396) r(581,552) 
	  0 r(339,323) d(555) d(365) d(321) d(357) 
	  0 a(908,879) a(292,396) d(402) 
	  0 r(339,323) d(555) a(292,396) d(581) 
	  1 a(908,879) d(365) d(321) a(721,550) 
	  4 r(339,323) d(555) a(292,396) r(937,967) d(898) r(396,236) 
	  0 r(403,293) d(400) 
	  0 r(339,323) d(555) a(292,396) r(880,900) 
	  4 r(403,293) r(937,967) d(898) r(371,226) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) 
	  1 d(466) d(898) a(250,229) 
	  0 d(565) r(374,382) d(898) a(384,885) 
	  5 d(466) r(970,968) r(534,557) d(583) 
	  4 r(776,844) a(439,584) r(574,570) r(284,326) 
	  5 d(324) r(939,943) d(366) a(750,925) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) 
	  1 r(419,340) a(913,844) d(536) 
	  1 d(420) r(785,749) r(395,334) r(954,958) 
	  5 r(419,340) a(913,844) d(777) r(335,393) 
	  5 d(466) r(970,968) d(362) d(352) 
	/root/mountpoint-genprog/genprog-many-bugs/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/000186/inflate.c  d(226) d(396) r(232,898) d(389)  fails to compile
	  0 d(226) d(396) r(232,898) d(389) 
	  1 a(930,723) a(904,732) a(971,975) a(326,772) 
	  1 d(746) a(783,933) a(563,998) r(230,363) 
	/root/mountpoint-genprog/genprog-many-bugs/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/000189/inflate.c  r(403,293) r(895,788) a(238,778) r(938,368)  fails to compile
	  0 r(403,293) r(895,788) a(238,778) r(938,368) 
	  5 d(878) r(937,967) r(576,554) d(537) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) 
	  4 d(878) r(895,788) a(238,778) r(974,970) 
	  5 d(324) d(412) r(324,292) 
	  1 a(898,594) d(574) d(923) r(776,323) 
	  5 r(776,844) a(439,584) d(352) d(775) 
	  0 a(930,723) a(904,732) r(1002,991) r(333,394) 
search: generation 4 (sizeof one variant = 0.105703 MB)
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) 
	  4 d(878) r(398,263) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(335,286) 
	  5 d(878) r(937,967) r(576,554) d(537) d(306) 
	  0 d(466) d(898) a(250,229) d(885) 
	  1 r(419,340) d(720) a(979,242) d(913) d(334) 
	  1 r(776,844) d(913) d(555) 
	  0 r(419,340) d(720) a(979,242) a(439,584) d(352) d(590) d(252) 
	  4 r(776,844) a(439,584) d(352) d(590) r(538,543) 
	  1 r(419,340) d(720) a(979,242) d(913) r(426,430) 
	  1 a(412,744) a(439,584) d(279) d(364) r(764,559) 
	  4 d(878) r(937,967) r(576,554) d(537) d(556) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) 
	  5 a(930,723) a(904,732) a(565,534) d(910) r(466,879) 
	  4 r(339,323) d(555) a(292,396) r(937,967) d(898) r(396,236) r(727,869) 
	  1 a(930,723) a(904,732) a(565,534) d(910) a(400,328) 
	  4 r(339,323) d(555) a(292,396) r(937,967) d(898) r(396,236) d(331) 
	  4 r(419,340) a(913,844) d(777) r(335,393) a(587,252) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) d(534) 
	  5 r(419,340) d(366) a(750,925) r(283,304) 
	  4 d(324) r(939,943) a(913,844) d(777) r(335,393) r(393,387) 
	  5 r(419,340) a(913,844) d(777) r(335,393) r(571,593) 
	  4 d(324) r(939,943) d(366) a(750,925) a(734,925) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(582) 
	  4 r(776,844) a(439,584) d(352) d(590) d(789) 
	  4 r(403,293) r(937,967) r(576,554) r(337,376) r(748,757) r(404,406) 
	  4 r(776,844) d(399) a(564,294) d(762) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) d(384) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) 
	  1 d(324) d(412) r(324,292) d(571) 
	  1 r(788,929) r(337,277) d(739) a(894,918) a(563,590) a(385,322) 
	  5 d(878) r(937,967) r(576,554) d(537) a(384,232) 
	  1 r(776,844) r(534,557) d(930) d(411) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) 
	  1 r(776,844) a(439,584) d(417) d(954) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(350,399) 
	  1 r(776,844) a(439,584) d(352) d(334) a(412,327) 
	  4 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) 
	  4 r(776,844) a(439,584) d(352) d(334) r(909,859) 
	  0 r(776,844) a(439,584) r(574,570) r(284,326) r(913,930) 
	  4 d(565) r(374,382) r(970,968) r(534,557) d(930) r(352,267) 
	  5 d(466) r(970,968) r(534,557) d(583) d(521) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) 
	  1 r(776,844) a(319,332) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) d(905) 
	  4 r(776,844) a(439,584) d(352) d(775) r(906,912) 
	  4 a(908,879) r(789,861) 
	  1 r(776,844) a(439,584) d(417) d(365) d(321) a(721,550) a(784,466) 
	  4 a(908,879) d(365) d(321) a(721,550) d(759) 
	  1 r(776,844) a(439,584) d(417) a(324,298) 
	  0 a(930,723) a(439,584) d(279) d(364) d(928) 
	  1 a(412,744) a(904,732) a(565,534) d(910) r(422,300) 
	  5 a(930,723) a(904,732) a(565,534) d(910) d(903) 
	  4 a(412,744) a(439,584) d(279) d(364) a(922,877) 
	  0 r(776,844) d(583) r(351,409) 
	  0 d(466) r(970,968) r(534,557) a(439,584) d(352) d(775) r(774,548) 
	  5 r(776,844) a(439,584) d(352) d(775) a(559,1005) 
	  4 d(466) r(970,968) r(534,557) d(583) d(321) 
search: generation 5 (sizeof one variant = 0.10393 MB)
	  5 d(565) r(374,382) r(970,968) a(439,584) a(587,252) r(787,723) 
	  5 r(419,340) a(913,844) d(777) r(335,393) d(417) a(946,540) r(247,340) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(905) 
	  4 r(419,340) a(913,844) d(777) r(335,393) a(587,252) d(978) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) a(351,305) 
	  4 d(878) r(937,967) r(576,554) d(537) d(306) d(365) 
	  5 a(930,723) a(904,732) a(565,534) d(910) d(903) d(431) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) 
	  5 r(776,844) d(399) a(564,294) d(762) a(290,269) 
	  4 r(776,844) a(439,584) d(352) d(590) d(789) r(278,416) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(283,285) 
	  5 d(324) r(939,943) d(366) a(750,925) a(734,925) r(929,864) 
	  4 a(930,723) a(904,732) a(565,534) d(910) a(400,328) r(755,745) 
	  5 r(419,340) d(366) a(750,925) r(283,304) r(366,401) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) d(534) r(376,391) 
	  4 a(930,723) a(904,732) a(565,534) d(910) d(903) r(279,292) 
	  4 r(419,340) a(913,844) d(777) r(335,393) r(571,593) d(414) 
	  4 r(419,340) a(913,844) d(777) r(335,393) r(571,593) a(410,347) 
	  5 r(788,929) r(337,277) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) d(429) 
	  4 r(776,844) d(399) r(292,388) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) 
	  4 r(776,844) d(399) a(564,294) d(762) d(353) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(333,998) 
	  4 a(930,723) a(904,732) a(565,534) d(910) d(903) a(920,280) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) a(561,244) 
	  0 r(776,844) a(439,584) d(352) d(334) r(909,859) r(990,993) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) r(915,891) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(903,859) 
	  5 r(788,929) r(337,277) d(739) a(439,584) d(417) d(365) d(321) a(721,550) a(784,466) a(878,910) 
	  5 r(776,844) r(573,435) d(373) d(998) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) 
	  0 r(776,844) a(439,584) d(417) d(365) d(321) a(721,550) a(784,466) r(936,227) 
	  0 r(419,340) d(720) a(979,242) d(913) r(426,430) a(420,327) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) d(384) a(919,870) 
	  5 r(776,844) r(939,943) a(913,844) d(777) r(335,393) r(393,387) r(563,551) 
	  4 d(324) a(439,584) d(352) d(590) d(789) r(1000,536) 
	  1 r(776,844) a(439,584) d(352) d(590) d(789) d(757) 
	  5 d(324) r(939,943) a(913,844) d(777) r(335,393) r(393,387) d(747) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) d(352) d(334) a(412,327) d(238) 
	  1 r(776,844) a(439,584) r(576,554) d(537) r(343,326) r(583,540) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(908,856) 
	  0 r(776,844) a(439,584) d(352) d(334) a(412,327) r(412,234) 
	  4 r(776,844) a(439,584) d(352) d(590) r(538,543) d(418) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(288,921) 
	  4 r(776,844) d(399) r(396,236) r(727,869) a(325,306) 
	  4 r(339,323) d(555) a(292,396) r(937,967) d(898) r(337,376) r(748,757) d(904) d(387) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) 
	  5 r(339,323) d(555) a(292,396) r(937,967) d(898) r(396,236) r(727,869) r(903,785) 
	  4 d(878) r(937,967) r(576,554) d(537) d(556) r(576,554) a(564,294) r(405,289) r(900,732) 
	  5 r(403,293) r(937,967) a(901,306) 
	  4 d(878) r(937,967) r(576,554) d(537) d(556) a(327,370) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) d(958) 
search: generation 6 (sizeof one variant = 0.106488 MB)
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(333,998) d(426) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) d(898) r(337,376) r(748,757) d(904) d(387) a(968,944) 
	  5 r(339,323) d(555) a(292,396) r(937,967) r(283,285) d(905) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(283,285) a(439,722) 
	  5 r(339,323) d(555) a(292,396) r(937,967) d(898) r(337,376) r(748,757) d(904) d(387) d(533) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) a(392,749) r(722,372) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) d(775) r(580,558) r(342,368) d(967) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(399,370) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(903,859) d(585) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(903,859) r(428,430) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(419,282) 
	  4 r(776,844) r(939,943) r(233,378) 
	  1 r(776,844) d(399) a(564,294) d(762) d(353) a(913,844) d(777) r(335,393) r(393,387) r(563,551) a(989,993) 
	  4 r(776,844) r(939,943) a(913,844) d(777) r(335,393) r(393,387) r(563,551) d(333) 
	  4 r(776,844) d(399) a(564,294) d(762) d(353) a(279,381) 
	  0 r(788,929) r(337,277) d(417) a(946,540) r(247,340) a(573,280) 
	  1 r(419,340) a(913,844) d(777) r(335,393) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) a(897,730) 
	  4 r(788,929) r(337,277) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) a(409,378) 
	  5 r(419,340) a(913,844) d(777) r(335,393) d(417) a(946,540) r(247,340) d(242) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) r(342,368) d(873) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) d(429) d(576) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) d(429) r(721,733) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(745,909) 
	  5 a(930,723) a(904,732) a(565,534) d(910) d(903) d(431) d(267) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) d(958) r(920,927) 
	  5 d(878) d(561) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) r(937,967) r(576,554) d(537) d(306) d(365) a(561,250) 
	  4 d(878) r(937,967) r(576,554) d(537) d(306) d(365) d(895) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(333,998) d(759) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(903,859) r(930,853) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) a(567,567) 
	  1 r(788,929) r(337,277) r(343,326) r(908,856) r(270,283) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(908,856) d(483) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) 
	  4 r(776,844) r(939,943) a(913,844) d(777) r(335,393) a(475,1000) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) d(396) 
	  5 r(776,844) r(939,943) a(913,844) d(777) r(335,393) r(393,387) r(563,551) r(377,294) 
	  4 d(878) r(937,967) a(325,306) d(926) 
	  0 r(776,844) d(399) r(396,236) r(727,869) r(576,554) d(537) d(418) a(564,294) d(762) d(938) a(391,348) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(747) 
	  1 r(776,844) d(399) r(396,236) r(727,869) a(325,306) d(281) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) d(352) d(334) a(412,327) d(238) d(369) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) d(429) a(256,343) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) 
	  4 a(930,723) a(904,732) a(565,534) d(910) d(903) r(279,292) a(910,267) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(333,998) r(405,289) a(351,305) r(989,565) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(562,440) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(333,998) d(786) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) a(351,305) a(284,230) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) a(561,244) r(366,286) 
	  4 r(788,929) r(337,277) d(739) a(439,584) d(417) d(365) d(321) a(721,550) a(784,466) a(878,910) a(228,331) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) r(572,470) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(757,766) 
	  0 r(419,340) a(913,844) d(777) r(247,340) a(920,1004) 
	  0 r(419,340) a(913,844) d(777) r(335,393) d(417) a(946,540) r(335,393) r(571,593) d(414) d(909) 
	  0 r(419,340) a(913,844) d(777) r(335,393) r(571,593) d(414) r(874,869) 
	  0 r(419,340) a(913,844) d(777) r(335,393) d(417) a(946,540) r(247,340) r(975,945) 
	  1 d(565) a(564,294) d(762) d(938) d(286) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(905) a(873,744) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(905) d(764) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) 
search: generation 7 (sizeof one variant = 0.107126 MB)
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) r(342,368) d(873) a(428,245) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(409) d(330) r(562,521) 
	  0 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(904) a(392,749) r(409,227) a(763,552) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(926,897) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) a(1000,423) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) a(913,923) 
	  4 r(776,844) r(939,943) r(233,378) a(944,995) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(399,370) r(911,858) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) d(429) d(576) d(946) 
	  4 r(788,929) r(337,277) r(343,326) r(283,285) a(439,722) d(895) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) r(586,554) a(411,322) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) d(406) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(283,285) a(439,722) d(903) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) d(354) 
	  4 r(776,844) r(939,943) a(913,844) d(777) r(335,393) a(475,1000) r(875,784) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) a(256,343) r(722,738) 
	  4 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) d(429) d(762) d(938) d(891) d(261) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) d(350) 
	  4 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) d(429) a(256,343) r(521,876) 
	  4 d(565) r(374,382) r(970,968) r(534,557) a(439,584) d(352) a(392,749) r(722,372) d(227) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(930) a(333,402) r(342,368) d(873) a(352,406) 
	  4 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) r(342,368) d(873) r(383,250) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) a(392,749) r(722,372) d(767) 
	  5 r(339,323) d(555) a(292,396) r(937,967) d(898) r(337,376) r(748,757) d(904) d(387) d(533) d(552) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) 
	  1 r(419,340) a(913,844) d(777) r(335,393) d(417) a(946,540) r(247,340) d(242) d(267) 
	  5 r(403,293) r(937,967) r(576,554) r(576,554) d(537) r(343,326) r(908,856) d(483) r(362,251) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) a(564,294) r(405,289) d(958) r(920,927) r(566,483) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) d(958) r(920,927) a(566,774) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(908,856) d(483) a(352,405) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) a(287,369) 
	  5 r(419,340) a(913,844) d(777) r(335,393) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) a(897,730) r(721,861) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) a(333,283) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) r(913,867) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) 
	  5 d(878) d(417) a(946,540) r(903,859) r(428,430) a(946,969) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(903,859) r(428,430) a(1000,475) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(252,472) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(551) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) d(587) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(562,440) r(335,393) a(475,1000) a(326,346) 
	  5 r(776,844) r(939,943) a(913,844) d(777) d(281) 
	  5 r(403,293) r(937,967) r(576,554) a(564,294) r(562,440) r(344,293) 
	  5 r(776,844) r(939,943) a(913,844) d(777) r(335,393) a(475,1000) r(349,319) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(757,766) r(336,245) 
	  5 d(565) d(426) d(396) r(399,362) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) d(396) a(904,762) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(757,766) r(958,971) 
	  5 d(565) r(374,382) r(970,968) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) r(409,243) 
	  4 r(776,844) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(745,909) a(336,319) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(745,909) r(939,979) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) r(261,398) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) 
	  5 r(403,293) r(937,967) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) a(392,749) r(722,372) d(766) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) a(392,749) r(722,372) r(917,885) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) r(562,440) r(568,471) 
	  1 d(420) r(785,749) d(766) a(439,584) r(580,558) r(342,368) a(228,354) d(401) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(573) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) r(577,593) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) 
search: generation 8 (sizeof one variant = 0.107147 MB)
	  4 r(776,844) r(939,943) r(233,378) r(325,329) a(403,244) 
	  5 r(776,844) r(939,943) r(233,378) a(944,995) r(907,779) 
	  4 r(776,844) r(939,943) r(233,378) a(944,995) r(390,285) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) d(395) 
	  4 r(776,844) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(573) d(740) 
	  4 d(565) r(374,382) r(970,968) r(939,943) r(233,378) r(325,329) a(554,294) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(366,367) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(573) d(364) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) a(256,343) r(722,738) d(716) 
	  4 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(227,746) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) r(586,554) a(411,322) r(369,243) 
	  4 d(420) r(785,749) r(395,334) d(919) a(943,552) r(375,362) a(553,579) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) 
	  5 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) r(586,554) a(411,322) r(375,275) 
	  4 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) d(787) 
	  5 d(878) r(937,967) r(576,554) d(537) d(418) r(576,554) a(564,294) r(405,289) d(958) r(920,927) a(566,774) d(553) 
	  4 r(403,293) r(937,967) r(576,554) a(564,294) r(405,289) d(958) r(920,927) a(566,774) r(439,470) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) a(913,923) d(762) 
	  5 r(776,844) r(939,943) a(913,844) d(777) d(281) r(494,557) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(745,909) r(939,979) r(343,295) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(926,897) d(579) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) d(396) a(904,762) d(399) 
	  5 d(565) r(374,382) r(970,968) r(534,557) d(930) a(333,402) r(342,368) d(873) a(428,245) r(554,549) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) d(930) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) d(406) r(368,240) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) d(406) d(419) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) d(400) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) d(560) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(575,432) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(414,776) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(247,294) 
	  4 d(565) d(938) d(758) r(732,739) d(990) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(342,393) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) r(282,328) 
	  4 d(878) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(891) d(350) a(250,594) 
	  5 r(776,844) r(939,943) a(913,844) d(777) r(335,393) d(537) r(343,326) r(908,856) d(483) a(352,405) d(971) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) a(475,1000) r(349,319) r(288,332) 
	  4 r(776,844) r(939,943) a(913,844) d(777) r(335,393) a(475,1000) r(349,319) r(876,860) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) r(343,326) r(908,856) d(483) a(352,405) d(290) 
	  4 r(419,340) a(913,844) d(777) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) d(354) a(977,258) 
	  4 r(776,844) r(335,393) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) a(897,730) r(721,861) a(734,873) 
	  4 r(419,340) a(913,844) d(777) r(335,393) d(739) a(894,918) a(563,590) a(385,322) a(408,1003) a(897,730) r(721,861) d(289) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) d(354) r(931,909) 
	  4 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(879,267) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) a(392,749) r(722,372) r(917,885) r(875,750) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) a(584,568) 
	  1 d(878) d(417) a(946,540) r(903,859) r(428,430) a(946,969) d(895) 
	  0 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) r(577,593) a(393,594) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(944,976) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) r(939,979) a(891,924) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) r(745,909) r(939,979) a(758,895) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(905,904) 
	  5 d(565) r(374,382) r(970,968) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) r(409,243) d(747) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) d(396) a(904,762) r(416,388) 
	  5 d(565) r(374,382) r(970,968) d(330) r(562,521) d(415) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(409) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) d(937) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) a(896,905) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(409) d(330) r(562,521) r(306,388) 
search: generation 9 (sizeof one variant = 0.10768 MB)
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(414,776) d(551) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(969) 
	  5 d(565) r(374,382) r(970,968) r(325,329) d(395) d(716) 
	  5 r(776,844) r(939,943) r(233,378) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) a(538,232) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(334) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) d(395) d(767) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(409) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) d(937) r(973,980) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) r(282,328) d(764) 
	  5 r(776,844) r(939,943) a(913,844) d(777) d(281) r(494,557) d(422) 
	  4 r(776,844) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(573) d(740) d(371) 
	  4 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(342,393) r(400,275) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(926,897) d(579) a(261,466) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) d(389) 
	  4 d(565) r(374,382) r(342,368) a(228,354) d(558) r(958,980) d(557) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) a(1001,434) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) d(917) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(409) a(946,969) d(895) a(911,930) 
	  5 d(878) d(417) a(946,540) r(903,859) r(428,430) d(330) r(562,521) r(306,388) a(439,542) 
	  4 r(776,844) d(399) r(337,376) r(748,757) d(409) d(330) r(562,521) r(306,388) d(243) 
	  5 d(878) d(417) a(946,540) r(903,859) r(428,430) a(946,969) d(895) d(975) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) d(406) d(419) d(254) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(759) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(536) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) d(406) d(419) d(876) 
	  1 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) d(787) r(583,539) 
	  1 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) d(363) 
	  1 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) d(363) 
	  5 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) d(787) a(227,286) 
	  5 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) 
	  4 d(565) r(374,382) r(970,968) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) r(586,554) a(411,322) r(375,275) r(261,399) 
	  4 d(420) r(785,749) r(395,334) d(777) d(750) r(937,967) r(576,554) d(537) d(739) r(573,435) d(373) d(401) r(586,554) a(411,322) r(375,275) d(578) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) a(572,774) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) d(560) d(240) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(414,776) d(539) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(721) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) r(937,973) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(567) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(879,267) a(559,747) 
	  1 d(420) r(785,749) d(766) a(439,584) r(233,378) r(325,329) d(395) r(977,968) 
	  4 r(776,844) r(939,943) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(575,432) a(901,258) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(575,432) a(278,271) 
	  4 r(776,844) r(939,943) r(233,378) r(325,329) d(395) d(926) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) r(282,328) d(244) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(565) 
	  4 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) r(939,979) a(891,924) a(788,852) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) d(762) d(938) d(758) r(732,739) a(584,568) a(306,357) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) a(584,568) a(367,232) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) r(939,979) a(891,924) a(738,847) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) r(282,328) r(970,967) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(926,897) d(579) a(406,332) 
	/root/mountpoint-genprog/genprog-many-bugs/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/000522/inflate.c  d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) d(413) r(938,394) d(406) r(368,240) d(311)  fails to compile
	  0 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) d(413) r(938,394) d(406) r(368,240) d(311) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) a(414,776) a(914,789) 
	  4 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) a(414,776) a(754,865) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) d(406) r(368,240) d(226) 
	  5 r(776,844) r(939,943) r(233,378) a(944,995) r(907,779) d(741) 
	  4 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) a(243,393) 
	  0 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) d(282) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) r(561,440) 
search: generation 10 (sizeof one variant = 0.105211 MB)
	  4 r(776,844) r(939,943) r(233,378) a(926,897) d(579) a(261,466) d(354) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(944,995) r(907,779) d(741) d(284) 
	  4 r(776,844) r(939,943) r(233,378) a(944,995) r(907,779) d(741) d(369) 
	  5 r(776,844) d(399) r(337,376) r(748,757) d(904) a(392,749) r(409,227) a(926,897) d(579) a(261,466) r(410,405) 
	  5 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) r(903,859) r(428,430) a(946,969) d(895) d(975) d(885) 
	  5 d(878) d(417) a(946,540) d(290) a(389,324) 
	  4 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) a(330,244) 
	  4 d(878) d(417) a(946,540) r(903,859) r(428,430) a(946,969) d(895) d(975) a(318,292) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(759) r(555,571) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(536) a(388,772) 
	  5 r(776,844) r(939,943) r(233,378) r(903,859) r(428,430) d(330) r(562,521) r(306,388) a(439,542) r(226,292) 
	  5 d(878) d(417) a(946,540) r(325,329) d(395) d(767) d(734) 
	  4 r(776,844) r(939,943) r(233,378) r(325,329) d(395) d(767) a(790,721) 
	  4 d(878) d(417) a(946,540) r(903,859) r(428,430) d(330) r(562,521) r(306,388) a(439,542) r(895,906) 
	  4 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) r(939,979) a(891,924) a(738,847) a(738,927) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) d(406) d(419) d(254) a(762,741) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) d(787) a(227,286) a(384,422) 
	  4 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) a(228,354) d(558) r(958,980) d(969) r(355,247) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(969) r(585,582) 
	  5 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) d(787) a(227,286) a(755,912) 
	  5 r(776,844) r(939,943) r(233,378) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) a(538,232) a(374,396) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(879,267) a(559,747) d(720) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) d(762) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(969) d(582) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(938) d(758) r(732,739) a(584,568) a(306,357) d(411) 
	  5 r(776,844) r(939,943) r(233,378) r(325,329) r(342,368) r(745,909) d(762) d(938) d(758) r(732,739) a(584,568) a(306,357) d(410) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(969) d(368) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(721) a(395,417) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) a(414,776) a(914,789) a(918,908) 
	  1 d(565) r(374,382) r(342,368) a(228,354) d(558) r(342,393) r(400,275) r(349,332) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(721) d(285) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(721) a(395,410) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(342,393) r(400,275) a(915,872) 
	  0 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) d(913) 
	  5 r(776,844) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(573) d(740) d(371) a(578,473) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(342,393) r(400,275) d(581) 
	  5 r(776,844) r(939,943) r(233,378) a(944,995) r(907,779) d(741) a(902,900) 
	  0 r(788,929) r(337,277) r(391,311) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) d(389) d(739) r(573,435) d(373) d(401) r(586,554) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(759) a(879,788) 
	  5 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(759) a(920,894) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) d(722) d(389) r(549,564) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) d(406) r(368,240) d(226) a(387,242) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) d(762) d(938) d(758) r(732,739) a(584,568) a(367,232) d(371) 
	  5 r(776,844) r(939,943) r(233,378) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) a(538,232) r(927,761) 
	  4 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) d(426) r(393,387) r(563,551) d(413) r(938,394) d(406) r(368,240) d(226) d(331) 
	  4 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) r(939,979) a(891,924) a(788,852) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) r(561,440) r(229,341) 
	  1 d(565) r(374,382) a(336,359) 
	  5 d(565) r(374,382) r(970,968) a(439,584) r(937,967) r(576,554) d(537) d(418) a(564,294) r(939,979) a(891,924) a(788,852) a(439,470) 
	  5 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(278,365) r(561,440) r(368,397) 
	  0 d(565) r(374,382) r(576,554) a(564,294) r(562,440) a(284,295) a(879,267) a(559,747) r(365,411) 
	  5 d(420) r(785,749) d(766) a(439,584) d(352) d(739) a(439,584) d(352) d(775) r(580,558) d(409) d(330) d(589) d(560) d(240) d(775) 
	  1 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) d(990) 
	  5 r(776,844) r(939,943) r(233,378) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) a(538,232) d(292) 
	  5 r(403,293) r(937,967) a(564,294) d(762) d(938) d(891) a(913,923) d(787) a(227,286) d(917) 
	  4 r(788,929) r(337,277) d(739) r(573,435) d(373) d(401) r(586,554) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) r(581,533) r(577,471) d(759) d(355) 
	/root/mountpoint-genprog/genprog-many-bugs/gzip-bug-2009-08-16-3fe0caeada-39a362ae9d/000578/inflate.c  d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) r(722,331)  fails to compile
	  0 d(420) r(785,749) a(439,584) d(417) a(946,540) d(919) a(943,552) r(375,362) r(353,338) d(290) r(722,331) 
	  5 d(565) r(374,382) r(970,968) a(439,584) d(417) a(946,540) a(439,584) d(352) d(775) r(580,558) r(342,368) a(228,354) d(558) r(958,980) d(969) r(330,409) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 1314
"Test Suite Evaluations": 438

Compile Failures: 5
Wall-Clock Seconds Elapsed: 17066.7
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             581 348.067 = 2.07068%
  test                               1305 16461.212 = 97.9291%
  TOTAL                                   16809.314 = 98.4919% (avg CPU usage)
gzip-bug-2009-08-16-3fe0caeada-39a362ae9d.tar.gz
Thu Sep 26 19:22:39 EDT 2013
shutting down
