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 76
--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 3
--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-147-205-20 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Sat Sep 21 13:32:41 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 E5-2650 0 @ 2.00GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp1849d1.c /tmp/tmp35b9fc.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)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 15.4679)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 3426
cilRep: stmts in weighted_path = 962
cilRep: total weight = 336.7
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: tools/tiff2pdf.c (code bank/base file; atoms [1,3426])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.286209 MB)
search: initial population (sizeof one variant = 0.020298 MB)
	  7 r(2334,2354) 
	  7 a(2055,2592) 
	  7 r(2014,2013) 
	  7 d(3296) 
	  7 d(2504) 
	  7 r(2084,2071) 
	  7 a(2346,2337) 
	  7 a(747,2157) 
	  7 a(1961,833) 
	  7 d(2237) 
	  7 r(2292,2370) 
	  7 d(1534) 
	  7 r(916,822) 
	  7 r(747,919) 
	  7 a(387,394) 
	  7 d(2072) 
	  7 d(3136) 
	  7 r(2252,2254) 
	  7 r(2728,2715) 
	  7 a(2358,945) 
	  7 a(1282,2399) 
	  7 a(2004,1297) 
	  7 r(2217,2218) 
	  7 d(2131) 
	  7 d(243) 
	  7 d(3294) 
	  7 a(907,378) 
	  7 r(2086,2069) 
	  7 d(1534) 
	  7 r(2804,2762) 
	  7 r(2727,2719) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000031/tools/tiff2pdf.c  r(798,2055)  fails to compile
	  0 r(798,2055) 
	  7 a(3347,2734) 
	  7 r(3313,3322) 
	  7 d(822) 
	  7 r(2719,2697) 
	  7 r(3111,3109) 
	  7 r(2700,2714) 
	  7 a(3109,363) 
	  7 original
search: generation 1 (sizeof one variant = 0.286584 MB)
	  7 a(2055,2592) r(2177,2157) 
	  7 d(3296) r(1245,930) 
	  7 r(2084,2071) a(2572,765) 
	  7 d(1534) d(3330) 
	  7 a(747,2157) r(2292,2369) 
	  7 d(243) d(892) 
	  7 a(747,2157) a(2244,874) 
	  7 d(243) r(3309,3382) 
	  7 a(2358,945) a(1871,1214) 
	  7 r(749,741) 
	  7 d(3294) r(274,272) 
	  7 d(243) r(2389,2375) 
	  7 r(2252,2254) r(3093,3013) 
	  7 r(2292,2370) d(2335) 
	  7 r(2252,2254) a(851,822) 
	  7 r(2292,2370) a(3018,924) 
	  7 r(916,822) r(3117,3146) 
	  7 r(2700,2714) a(3142,3155) 
	  7 r(916,822) d(1160) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000058/tools/tiff2pdf.c  r(2700,2714) r(2115,3308)  fails to compile
	  0 r(2700,2714) r(2115,3308) 
	  7 d(1534) d(2032) 
	  7 d(822) d(2587) 
	  7 d(1534) r(2364,2351) 
	  7 d(822) r(2067,2093) 
	  7 a(907,378) d(385) 
	  7 d(1534) r(2363,2358) 
	  7 r(3111,3109) r(2179,2069) 
	  7 d(1534) a(1398,1393) 
	  7 r(3111,3109) r(2239,2249) 
	  7 d(1534) d(1537) 
	  7 d(2072) r(897,898) 
	  7 r(2252,2254) a(972,2762) 
	  7 d(2072) r(2689,2709) 
	  7 r(2252,2254) d(2130) 
	  7 r(2292,2370) d(288) 
	  7 r(2804,2762) r(1534,1541) 
	  7 r(2292,2370) a(3380,3413) 
	  7 d(2237) r(3358,3394) 
	  7 r(2292,2370) d(1235) 
	  7 d(2237) r(2042,2040) 
	  7 d(822) a(283,930) 
	  7 r(2084,2071) r(3339,3227) 
	  7 r(2804,2762) r(2011,2009) 
	  7 a(907,378) a(786,3250) 
	  7 a(3347,2734) r(2091,2181) 
	  7 r(2804,2762) a(3143,378) 
	  7 a(3347,2734) r(1874,1870) 
	  7 r(2804,2762) d(3145) 
	  7 a(3109,363) a(2352,2344) 
	  7 a(2084,2174) 
	  7 r(2084,2071) r(3399,3329) 
	  7 r(2292,2370) r(3136,3142) 
	  7 r(2084,2071) d(2588) 
	  7 r(2292,2370) r(274,273) 
	  7 r(2292,2370) r(2015,2013) 
	  7 r(2292,2370) d(1158) 
	  7 a(2346,2337) r(2313,2327) 
	  7 a(2055,2592) a(2324,2196) 
	  7 a(2346,2337) a(2301,1168) 
	  7 a(2055,2592) a(2699,2704) 
search: generation 2 (sizeof one variant = 0.287452 MB)
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000099/tools/tiff2pdf.c  d(2072) r(2689,2709) r(924,1284)  fails to compile
	  0 d(2072) r(2689,2709) r(924,1284) 
	  7 a(747,2157) r(2292,2369) d(3341) 
	  7 r(2292,2370) d(1158) a(851,822) d(3125) 
	  7 r(2252,2254) d(2172) 
	  7 r(2292,2370) d(1158) d(3126) 
	  7 r(2252,2254) a(851,822) r(2129,2132) 
	  7 r(2292,2370) a(3306,745) 
	  7 d(1534) d(3330) r(2015,2013) d(2355) 
	  7 r(2292,2370) r(2015,2013) d(2357) 
	  7 d(1534) d(3330) d(907) 
	  7 d(2072) r(2689,2709) d(3314) 
	  7 r(2292,2370) r(3136,3142) a(1861,1775) 
	  7 d(2072) r(2689,2709) r(1266,1231) 
	  7 d(2237) r(2042,2040) d(899) 
	  7 r(3111,3109) r(2239,2249) d(889) 
	  7 r(2252,2254) d(2130) d(899) 
	  7 r(2252,2254) a(972,2762) a(2572,765) r(3328,3387) 
	  7 r(2084,2071) a(901,916) 
	  7 r(2252,2254) a(972,2762) d(1235) 
	  7 r(2084,2071) a(2572,765) r(3157,3129) 
	  7 d(2237) r(3358,3394) d(3426) 
	  7 r(2292,2370) d(288) a(2518,1286) 
	  7 d(2237) r(3358,3394) d(1240) 
	  7 r(2292,2370) d(288) d(2803) 
	  7 d(2072) r(2689,2709) a(2244,874) r(3349,3414) 
	  7 a(747,2157) a(3129,271) 
	  7 d(2072) r(2689,2709) r(3399,3348) 
	  7 a(747,2157) a(2244,874) a(3020,833) 
	  7 r(2084,2071) d(2588) a(2754,1189) 
	  7 d(2072) r(897,898) a(2251,2196) 
	  7 d(822) r(1534,1541) r(1865,1863) 
	  7 r(2804,2762) r(2067,2093) r(1255,930) 
	  7 d(822) r(2067,2093) d(2115) 
	  7 r(2804,2762) r(1534,1541) a(1244,1266) 
	  7 r(916,822) r(3014,3011) 
	  7 d(822) d(2587) r(3117,3146) a(3295,243) 
	  7 r(916,822) r(3117,3146) a(2753,786) 
	  7 d(822) d(2587) r(2294,2331) 
	  7 d(822) a(283,930) r(2343,2297) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000139/tools/tiff2pdf.c  d(822) a(283,930) r(2196,2234)  fails to compile
	  0 d(822) a(283,930) r(2196,2234) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) 
	  7 r(916,822) d(1160) d(2813) 
	  7 r(916,822) d(1160) d(1243) 
	  7 r(2252,2254) a(972,2762) d(2356) 
	  7 a(2055,2592) r(2177,2157) r(2354,2344) 
	  7 d(822) r(2067,2093) r(2186,2096) 
	  7 a(2055,2592) a(2324,2196) r(388,391) 
	  7 r(2292,2370) r(3136,3142) r(3408,3410) 
	  7 d(2237) r(2042,2040) r(2083,2131) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000149/tools/tiff2pdf.c  r(2292,2370) r(3136,3142) r(2117,2131)  fails to compile
	  0 r(2292,2370) r(3136,3142) r(2117,2131) 
	  7 d(2237) r(2042,2040) r(2578,2586) 
	  7 r(2252,2254) a(851,822) r(3348,3418) 
	  7 r(2292,2370) a(3380,3413) a(2132,2096) 
	  7 r(2252,2254) a(851,822) d(2241) 
	  7 r(2292,2370) a(3380,3413) r(3112,3100) 
	  7 a(907,378) a(786,3250) r(2085,2176) 
	  7 r(916,822) d(1160) d(3142) 
	  7 d(1534) d(3330) d(238) 
	  7 r(2804,2762) a(3143,378) r(1538,1532) 
	  7 d(1534) d(3330) d(898) 
	  7 r(2804,2762) a(3143,378) d(3356) 
search: generation 3 (sizeof one variant = 0.288459 MB)
	  7 d(2072) r(2689,2709) d(3314) d(3347) 
	  7 r(2292,2370) d(288) a(2518,1286) a(3112,378) 
	  7 d(2237) r(2042,2040) r(2083,2131) d(1191) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(1401) 
	  7 d(2237) r(3358,3394) d(3426) r(906,908) 
	  7 r(2292,2370) a(3306,745) d(403) 
	  7 r(2292,2370) d(1158) d(3126) d(1869) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) 
	  7 r(2252,2254) a(972,2762) d(2356) a(3120,2166) 
	  7 r(2252,2254) d(2172) d(3332) 
	  7 r(2252,2254) d(2172) d(2238) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) 
	  7 d(2072) r(2689,2709) d(3314) r(731,739) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) 
	  7 a(2055,2592) a(2324,2196) r(388,391) d(2342) 
	  7 r(2084,2071) a(2572,765) r(3157,3129) r(2239,2236) 
	  7 d(2237) r(3358,3394) d(1240) d(2512) 
	  7 a(907,378) a(786,3250) r(2085,2176) d(240) 
	  7 d(1534) d(3330) r(2015,2013) d(2355) d(730) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) 
	  7 d(822) d(2587) r(3117,3146) a(260,2395) 
	  7 r(2292,2370) r(2015,2013) d(2357) a(3295,243) r(2588,2572) 
	  7 d(822) d(2587) r(3117,3146) a(3295,243) a(268,266) 
	  7 r(2292,2370) r(2015,2013) d(2357) a(269,765) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) 
	  7 r(916,822) d(1160) d(1243) d(3416) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(365,370) 
	  7 r(916,822) d(1160) d(1243) d(3153) 
	  7 d(2237) r(2042,2040) d(899) r(2354,2344) r(1398,1555) 
	  7 a(2055,2592) r(2177,2157) a(394,971) 
	  7 d(2237) r(2042,2040) d(899) d(3204) 
	  7 a(2055,2592) r(2177,2157) r(2354,2344) d(1775) 
	  7 r(916,822) a(2244,874) r(3349,3414) d(853) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) 
	  7 r(916,822) d(1160) d(3142) d(3389) 
	  7 d(2072) r(2689,2709) a(2244,874) r(3349,3414) a(3133,1376) 
	  7 r(2252,2254) a(972,2762) d(2356) d(2247) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2530,2375) 
	  7 r(2292,2370) d(1158) d(3126) a(3143,378) r(1538,1532) a(2708,3097) 
	  7 r(2804,2762) r(3140,3160) 
	  7 r(2292,2370) d(1158) d(3126) r(3014,3082) 
	  7 r(2804,2762) a(3143,378) r(1538,1532) d(2042) 
	  7 r(2252,2254) a(851,822) r(2129,2132) a(2574,3010) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000204/tools/tiff2pdf.c  d(822) r(1534,1541) r(1865,1863) r(295,763)  fails to compile
	  0 d(822) r(1534,1541) r(1865,1863) r(295,763) 
	  7 d(2237) r(2042,2040) r(2578,2586) r(2721,2705) 
	  7 r(2292,2370) d(1158) d(3126) r(2244,2226) 
	  7 d(2237) r(2042,2040) r(2578,2586) d(3118) 
	  7 r(2292,2370) d(1158) d(3126) d(3366) 
	  7 a(2055,2592) a(2324,2196) r(388,391) r(1994,1995) 
	  7 d(2237) r(2042,2040) d(899) r(3019,3011) 
	  7 d(822) d(237) 
	  7 r(2252,2254) a(972,2762) d(2356) r(1534,1541) r(1865,1863) r(240,241) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) 
	  7 r(2252,2254) a(972,2762) d(2356) r(899,910) 
	  7 d(1534) a(972,3116) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3330) r(2015,2013) d(2355) r(375,407) 
	  7 d(1534) d(3330) r(2015,2013) d(2355) d(242) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3412) 
search: generation 4 (sizeof one variant = 0.28904 MB)
	  7 d(2072) r(2689,2709) d(3314) d(2588) a(2754,1189) r(3292,1244) d(1283) 
	  7 r(2084,2071) d(3369) r(2235,2231) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) d(2525) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2342) r(750,759) 
	  7 a(2055,2592) a(2324,2196) r(388,391) r(3138,3124) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) a(2329,945) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000228/tools/tiff2pdf.c  a(2055,2592) a(2324,2196) r(388,391) d(2342) r(243,2009)  fails to compile
	  0 a(2055,2592) a(2324,2196) r(388,391) d(2342) r(243,2009) 
	  7 r(916,822) d(1160) d(1243) d(3153) r(896,836) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3412) r(3168,290) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000231/tools/tiff2pdf.c  d(2237) r(2042,2040) d(899) r(3019,3011) r(2753,2287)  fails to compile
	  0 d(2237) r(2042,2040) d(899) r(3019,3011) r(2753,2287) 
	  7 r(2804,2762) a(3143,378) r(1538,1532) d(2042) d(1279) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) r(2348,2290) r(2508,2525) a(3139,271) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) a(2384,3227) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2358) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) r(2032,2031) 
	  7 r(2252,2254) d(2172) d(3332) r(2132,2127) 
	  7 r(916,822) d(1160) d(3142) d(3389) r(2327,2329) 
	  7 r(2292,2370) d(1158) d(3126) r(3014,3082) a(2804,2807) 
	  7 r(916,822) a(2244,874) r(3349,3414) r(2294,2331) r(2232,2238) d(363) 
	  7 d(822) d(2587) d(853) d(3371) 
	  7 r(916,822) a(2244,874) r(3349,3414) d(853) a(901,2399) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2530,2375) a(3113,380) 
	  7 d(1534) a(972,3116) d(2127) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) r(3308,3388) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) r(2292,2339) 
	  7 a(2055,2592) a(2324,2196) d(2247) a(2509,3162) 
	  7 r(2252,2254) a(972,2762) d(2356) r(388,391) r(1994,1995) d(2044) 
	  7 a(2055,2592) a(2324,2196) r(388,391) r(1994,1995) a(3391,3376) 
	  7 r(2252,2254) a(972,2762) d(2356) d(2247) r(1275,1214) 
	  7 d(2237) r(2042,2040) r(2083,2131) d(1191) d(3363) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) a(2708,2700) 
	  7 r(2252,2254) a(3138,3158) 
	  7 d(2237) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) a(395,2403) 
	  7 d(2237) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(750,2050) 
	  7 r(2804,2762) d(2587) r(2294,2331) r(2232,2238) d(1557) 
	  7 d(822) a(3143,378) r(1538,1532) d(2042) a(2333,2333) 
	  7 r(2804,2762) a(3143,378) r(1538,1532) d(2042) d(798) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) 
	  7 r(2252,2254) a(851,822) r(2129,2132) a(2574,3010) r(1283,1274) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2312) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) 
	  7 r(2252,2254) a(972,2762) d(2356) a(3120,2166) r(2324,2348) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) a(2578,239) 
	  7 r(2252,2254) a(972,2762) d(2356) a(3120,2166) a(2710,874) 
	  7 r(916,822) a(2244,874) r(3349,3414) d(853) a(2182,2095) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) 
	  7 d(822) d(237) r(2235,2226) 
	  7 r(2252,2254) d(2172) d(2238) d(407) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(365,370) d(3376) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) a(3360,3351) 
search: generation 5 (sizeof one variant = 0.28972 MB)
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) r(2376,2523) 
	  7 r(2252,2254) d(2172) d(3332) r(2132,2127) a(1877,745) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) a(395,2403) a(3330,797) 
	  7 d(822) r(1534,1541) r(1878,1877) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) r(1865,1863) d(1258) r(3330,3380) a(1247,1258) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(791) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) d(3349) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) a(3109,961) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) a(2329,945) r(2510,2403) 
	  7 r(916,822) a(2244,874) r(3349,3414) d(853) a(901,2399) d(2526) 
	  7 d(2072) r(2689,2709) d(3314) d(2588) a(2754,1189) r(3292,1244) d(1283) a(271,1299) 
	  7 r(2084,2071) r(3339,3227) r(1876,1878) d(3412) r(3168,290) a(3110,791) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) a(2708,2700) r(2812,2814) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2312) d(2587) d(853) d(3371) d(2801) 
	  7 d(822) d(917) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2312) d(764) 
	  7 d(822) d(2587) d(853) d(3371) a(2729,1382) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) a(2583,2581) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(285) 
	  7 r(916,822) a(2244,874) r(3349,3414) a(972,2762) d(2356) r(2292,2371) r(2032,2031) d(3107) 
	  7 r(2252,2254) d(853) a(901,2399) d(2771) 
	  7 r(916,822) a(2244,874) r(3349,3414) d(853) a(901,2399) r(2805,2806) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) r(2032,2031) d(764) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2342) r(750,759) r(2720,2727) 
	  7 r(2252,2254) a(3138,3158) r(3337,3352) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) r(2508,2525) d(2707) a(281,361) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) r(1401,1532) 
	  7 d(822) d(2587) r(2294,2331) d(2044) d(1868) 
	  7 r(2252,2254) a(972,2762) d(2356) r(388,391) r(1994,1995) r(2232,2238) r(1270,1252) r(3101,3113) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(1205) 
	  7 r(2252,2254) a(972,2762) d(2356) r(388,391) r(1994,1995) d(2044) d(2254) 
	  7 d(2237) r(2042,2040) a(972,3116) d(2127) d(736) 
	  7 d(1534) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(1561) 
	  7 d(2237) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(922) 
	  7 d(1534) a(972,3116) d(2127) d(1879) 
	  7 r(916,822) d(1160) d(1243) d(3153) r(896,836) r(2364,2333) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3410,3360) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2358) a(852,1376) 
	  7 r(2252,2254) a(972,2762) d(2356) a(3120,2166) r(2324,2348) d(3298) 
	  7 d(822) d(2587) a(2071,2191) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) a(2384,3227) r(2294,2331) r(2232,2238) r(3312,3343) r(380,831) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) a(2384,3227) d(3086) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) r(2292,2339) a(385,957) 
	  7 d(822) d(2587) d(853) d(3371) r(3331,3395) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) r(2292,2339) a(2338,3162) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) r(2032,2031) a(2298,2362) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(897) 
	  7 d(2237) r(1865,1863) d(1258) r(3330,3380) d(2716) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) 
	  7 d(2237) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) r(273,272) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) 
search: generation 6 (sizeof one variant = 0.290456 MB)
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) a(395,2403) a(3330,797) d(403) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(2133,2138) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(387) 
	  7 d(822) d(2587) a(731,791) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(2134) 
	  7 d(822) d(2587) d(853) d(3371) a(2729,1382) d(3348) 
	  7 d(822) d(2587) d(853) d(3371) a(2729,1382) a(2182,295) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) d(2219) 
	  7 d(2237) r(2042,2040) a(972,3116) d(2127) d(736) r(2239,2232) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2354,2361) 
	  7 d(2237) r(2042,2040) a(972,3116) d(2127) d(736) d(3389) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) r(2378,2403) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3410,3360) a(3362,791) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(2232,2238) r(1270,1252) d(1205) r(2019,2020) 
	  7 d(822) d(2587) r(2294,2331) r(3128,3119) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(1205) d(3085) 
	  7 r(2252,2254) d(2172) d(3332) r(2132,2127) r(2232,2238) a(2329,945) d(2000) r(2333,2300) 
	  7 r(2084,2071) a(1877,745) r(3313,3325) 
	  7 r(2252,2254) d(2172) d(3332) r(2132,2127) a(1877,745) a(1872,945) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) 
	  7 d(2072) r(2689,2709) d(743) 
	  7 d(1534) a(972,3116) d(2127) d(1879) d(1160) d(3142) d(2350) d(3372) r(2376,2523) d(805) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) r(2376,2523) r(1243,1252) 
	  7 d(1534) a(972,3116) d(2127) d(1879) d(3372) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(1205) d(1280) 
	  7 d(822) r(1534,1541) r(2294,2331) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) d(3349) d(3144) 
	  7 d(822) d(2587) r(1878,1877) d(915) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) d(3349) d(2250) 
	  7 r(916,822) a(2244,874) r(3349,3414) a(972,2762) d(2350) a(1388,930) r(1393,1532) r(3140,3139) 
	  7 r(2084,2071) r(3339,3227) d(2356) r(2292,2371) r(2032,2031) d(3107) r(2251,2224) 
	  7 r(916,822) a(2244,874) r(3349,3414) a(972,2762) d(2356) r(2292,2371) r(2032,2031) d(3107) r(1262,1248) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) d(2089) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(2312) d(764) a(3302,798) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) d(2020) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) a(2235,3168) 
	  7 d(1534) a(972,3116) d(2127) d(1879) r(3136,3151) 
	  7 d(822) d(917) r(3339,3227) d(2350) a(1388,930) r(1393,1532) a(1255,728) 
	  7 r(2084,2071) a(3114,3109) 
	  7 d(822) d(917) r(375,364) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) r(2219,2220) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2246,2231) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(285) d(3395) 
	  7 r(2252,2254) a(972,2762) d(2356) a(3120,2166) r(2324,2348) d(3298) r(2685,961) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(922,916) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) a(2583,2581) r(236,238) 
	  7 d(2072) r(2689,2709) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) r(2508,2525) d(2707) a(281,361) r(2074,2096) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) a(2384,3227) d(3086) d(796) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) r(2508,2525) d(2707) a(281,361) a(2516,2522) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) 
	  7 d(822) d(2587) r(3410,3360) d(2039) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3410,3360) d(1561) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(734) 
	  7 d(2072) r(2689,2709) d(3314) d(3369) r(2292,2339) a(385,957) d(2028) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) 
search: generation 7 (sizeof one variant = 0.291233 MB)
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) d(915) a(2727,295) 
	  7 d(822) d(2587) d(1554) r(2133,2138) r(3322,3363) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(2133,2138) r(3299,3162) 
	  7 d(822) d(2587) r(1878,1877) d(915) d(1281) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(285) d(3395) d(1548) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(2026,2019) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) d(3099) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) r(791,2384) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(285) a(1388,930) r(1393,1532) d(2089) r(875,924) 
	  7 r(2084,2071) r(3339,3227) d(2350) d(3395) r(2689,2686) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(1270,1252) d(285) d(3395) d(806) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) d(2089) a(734,290) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) 
	  7 d(2237) r(2042,2040) a(972,3116) d(2127) r(3292,1244) r(3080,3018) d(2518) d(2020) d(266) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) 
	  7 d(2237) r(2042,2040) a(972,3116) d(2127) d(736) d(3389) r(3116,2343) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(387) r(1391,1548) 
	  7 d(822) d(2587) d(853) d(3371) a(2729,1382) d(3348) a(2065,1157) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) r(2376,2523) r(1243,1252) a(764,2157) 
	  7 d(822) r(1534,1541) d(3162) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) a(930,2196) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(3136) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(3018,3010) 
	  7 r(916,822) a(2244,874) r(3349,3414) a(972,2762) d(2350) a(1388,930) r(1393,1532) r(3140,3139) d(1243) 
	  7 d(822) r(402,378) a(786,747) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(2505,2524) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) d(2196) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) a(2235,3168) d(2002) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) d(875) 
	  7 d(822) d(917) r(375,364) a(2174,1189) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(269,266) 
	  7 d(822) d(917) r(2348,2290) r(763,764) d(2503) r(2326,2346) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) 
	  7 d(822) d(917) r(375,364) a(2357,745) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) a(1534,1532) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) 
	  7 d(822) d(2587) a(731,791) a(363,407) 
	  7 r(2084,2071) r(3339,3227) a(2128,2093) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1876,1877) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) d(2362) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) 
	  7 d(822) r(1534,1541) r(1876,1878) d(3412) a(1285,1297) d(3349) d(2250) d(2378) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1876,1878) d(3412) a(1285,1297) d(3349) d(2250) a(911,2403) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(3425) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) r(2376,2523) r(1243,1252) d(3307) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) r(751,759) 
	  7 d(822) d(2587) a(731,791) r(2811,2809) 
	  7 r(2252,2254) a(972,2762) d(2356) r(2292,2371) a(395,2403) a(3330,797) d(403) r(3139,3126) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) r(3405,3424) d(2134) a(3156,3147) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2138,2086) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(891) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(2134) a(3375,3402) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3010,2658) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) a(1270,3168) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(2045) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3114,3108) 
search: generation 8 (sizeof one variant = 0.291587 MB)
	  7 r(2084,2071) d(3369) a(852,2753) a(263,3116) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) d(3386) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) d(2196) r(2313,2356) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) a(277,791) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) r(402,378) a(786,747) r(2378,2515) 
	  7 d(822) r(2074,2135) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) d(750) 
	  7 d(822) r(402,378) a(786,747) d(1864) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) r(3312,3343) r(3405,3424) d(2134) a(3375,3402) a(3017,2157) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(755,751) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) d(2344) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) d(2134) a(3375,3402) r(3011,3020) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) a(1388,2686) 
	  7 d(822) r(1534,1541) r(1876,1878) d(3412) a(1285,1297) d(3349) d(2250) d(2378) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) a(2024,971) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) r(2513,2505) 
	  7 d(822) r(1534,1541) r(1876,1878) d(3412) a(1285,1297) d(3349) d(2250) d(2378) d(2286) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2026,2019) d(3353) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(402,378) d(2196) r(3157,3125) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) d(2196) a(2297,2300) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(2026,2019) d(2753) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(1559,1400) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(758,747) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(3398) 
	  7 r(2084,2071) r(3339,3227) a(2128,2093) d(1395) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3010,2658) r(2134,2158) 
	  7 r(2084,2071) r(3339,3227) a(2128,2093) r(2588,2571) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3010,2658) r(1863,1867) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(2226,2251) r(3083,3080) r(257,260) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(269,266) d(2000) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(269,266) d(402) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) d(2065) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) d(3086) r(2286,2325) d(2069) d(2696) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) r(3312,3343) r(2294,2331) a(1270,3168) d(1989) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) a(1270,3168) a(1305,784) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) a(3305,3420) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) d(1554) r(1279,1264) d(2045) r(1241,1245) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) r(2389,2502) a(852,2753) d(3413) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) a(2716,2542) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(2045) d(2314) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) d(2089) a(734,290) a(1257,290) 
	  7 r(2084,2071) r(3339,3227) d(2350) a(1388,930) r(1393,1532) d(2089) a(734,290) d(3354) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3369,3414) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) r(791,2384) a(2721,361) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) r(269,266) d(2395) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(269,266) d(2226) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) a(3114,3106) 
	  7 d(822) r(402,378) a(786,747) r(1526,1534) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(891) r(3325,3360) 
	  7 d(822) r(402,378) a(786,747) r(3320,3204) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(891) a(2234,2762) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) d(3321) 
	  7 d(822) r(1534,1541) d(3162) a(271,784) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) 
	  7 d(822) r(1534,1541) r(2042,2040) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) d(2729) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) d(851) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) r(3405,3424) d(2134) a(3156,3147) a(765,370) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) a(1861,874) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000515/tools/tiff2pdf.c  d(2237) r(2042,2040) a(972,3116) d(2127) d(736) d(3389) r(3116,2343) r(791,1277)  fails to compile
	  0 d(2237) r(2042,2040) a(972,3116) d(2127) d(736) d(3389) r(3116,2343) r(791,1277) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) d(3422) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(3372) r(2376,2523) r(1243,1252) a(764,2157) a(3334,3416) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(2000) r(402,378) r(3423,3310) d(2673) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(1277,1157) 
	  7 d(2072) r(2689,2709) d(1160) d(3142) d(2350) d(3372) r(2376,2523) r(1243,1252) a(764,2157) r(2167,2134) 
	  7 d(822) r(1534,1541) r(1878,1877) d(275) d(875) r(2367,2342) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) r(2389,2502) d(891) r(2520,2513) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(891) a(2715,2717) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) d(875) r(3303,3355) 
search: generation 9 (sizeof one variant = 0.291843 MB)
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(2226,2251) r(3083,3080) r(257,260) d(3292) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) d(3422) d(2771) 
	  7 d(822) a(2329,945) d(2000) r(2226,2251) r(3083,3080) d(2065) a(3363,295) 
	  7 r(2084,2071) r(2232,2238) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) d(1275) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) r(1242,1261) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) d(2065) d(2526) 
	  7 d(822) r(1534,1541) r(2042,2040) r(3312,3343) r(3405,3424) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(2045) d(2314) d(2096) 
	  7 d(822) r(1534,1541) a(2045,1157) r(3113,3111) d(2729) d(389) 
	  7 d(822) r(1534,1541) r(2042,2040) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) d(2729) d(2663) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(2045) d(2314) r(2168,2087) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) a(3110,3204) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) r(2389,2502) a(852,2753) d(3413) a(2725,935) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) a(1556,2050) 
	  7 d(822) r(1534,1541) d(3162) a(271,784) d(3386) r(3084,3086) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) d(3386) d(2657) 
	  7 d(822) r(1534,1541) d(3162) a(271,784) d(1241) 
	  7 d(822) r(402,378) a(786,747) d(1864) r(1534,1541) r(1878,1877) r(2389,2502) d(891) r(3325,3360) r(1554,1539) 
	  7 d(822) d(912) 
	  7 d(822) r(402,378) a(786,747) d(1864) d(3119) 
	  7 d(822) r(1534,1541) r(1878,1877) r(2389,2502) d(891) r(3325,3360) r(3374,3315) 
	  7 d(822) d(2587) r(2294,2331) a(1270,3168) a(1305,784) d(2354) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) a(277,791) a(785,2538) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) a(277,791) r(2128,2093) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) a(1270,3168) a(1305,784) r(2313,2343) 
	  7 d(822) r(1534,1541) r(2042,2040) d(1554) r(1279,1264) d(2045) d(2314) a(3399,3416) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(1989,1996) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000551/tools/tiff2pdf.c  d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(961,2343)  fails to compile
	  0 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(961,2343) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) d(1554) r(1279,1264) d(2045) d(2314) d(3326) 
	  7 d(822) r(2074,2135) a(1394,1537) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(402,378) r(791,2384) a(2721,361) d(3368) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(269,266) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) r(1997,1995) 
	  7 d(822) d(1160) d(3142) d(2350) d(2000) r(2313,2291) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(269,266) d(2000) r(258,259) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) a(2589,2586) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000559/tools/tiff2pdf.c  r(2084,2071) d(3369) r(2235,2231) d(3305) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) a(1861,874) r(2734,3419)  fails to compile
	  0 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) a(1861,874) r(2734,3419) 
	  7 d(822) d(2587) r(2226,2251) r(402,378) d(2196) r(3157,3125) a(3335,2592) 
	  7 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(402,378) d(2196) r(3157,3125) r(362,409) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) a(1861,874) r(891,916) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2294,2331) a(1270,3168) d(1989) r(2234,2236) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) r(3312,3343) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) r(2180,2065) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) a(1243,1254) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) r(3312,3343) r(2294,2331) a(1270,3168) d(1989) a(1398,747) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(2294,2331) a(1270,3168) a(1305,784) d(921) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(1559,1400) d(2362) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(1559,1400) d(3151) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) a(1270,3168) a(1305,784) a(1256,974) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) d(282) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) d(2020) a(361,3292) r(758,747) a(3386,3227) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(758,747) a(3096,3084) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) d(260) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(402,378) d(2196) d(3386) r(266,267) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) d(1554) r(1279,1264) d(2045) r(1241,1245) d(759) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) d(1554) r(1279,1264) d(2045) r(1241,1245) a(2503,2115) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) d(3386) r(2194,2192) 
	  7 r(2084,2071) r(3339,3227) r(402,378) r(3423,3310) r(1277,1157) d(3012) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2348,2290) r(763,764) d(2503) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) r(2513,2505) d(2403) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) r(2513,2505) d(3410) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(1277,1157) a(758,295) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(1559,1400) r(3381,3347) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) a(3305,3420) r(1282,1284) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3369,3414) r(785,784) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) r(402,378) a(786,747) r(2378,2515) r(402,401) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(1277,1157) r(755,745) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(2330,2360) r(3095,3086) d(2229) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(2241,2232) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(1277,1157) d(383) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) r(2389,2502) a(852,2753) d(3413) a(2229,1231) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(1277,1157) a(853,817) 
search: generation 10 (sizeof one variant = 0.290861 MB)
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) a(1270,3168) a(1305,784) a(1256,974) r(2694,2700) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) r(402,378) a(786,747) r(2378,2515) r(402,401) a(2292,2336) 
	  7 d(822) r(1534,1541) a(2045,1157) r(3113,3111) d(2729) d(389) d(892) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(1559,1400) d(3151) r(2096,2133) 
	  7 r(2084,2071) d(3389) r(2053,2062) d(286) d(1275) a(915,1157) 
	  7 r(2084,2071) r(2232,2238) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) d(282) a(3322,295) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(3292,1244) r(3080,3018) d(2518) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) a(2402,1201) d(282) a(376,2375) 
	  7 r(2084,2071) r(2232,2238) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) d(1275) r(2574,2592) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) r(2232,2238) r(3312,3343) r(1559,1400) d(2362) d(1224) 
	  7 d(822) d(2587) r(2294,2331) d(2065) d(2526) d(3157) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) d(2065) d(2526) d(737) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(1559,1400) d(2362) d(2805) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) a(1243,1254) r(2178,2171) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(402,378) r(3423,3310) r(1277,1157) d(383) r(3149,3141) 
	  7 d(822) d(1160) d(3142) d(2350) r(3339,3227) r(375,364) r(2184,2171) r(402,378) a(786,747) r(2378,2515) r(402,401) d(1561) 
	  7 r(2084,2071) d(2000) r(2313,2291) r(262,263) 
	  7 d(822) d(1160) d(3142) d(2350) d(2000) r(2313,2291) d(2573) 
	  7 r(2084,2071) r(3339,3227) r(375,364) r(2184,2171) r(402,378) a(786,747) r(2378,2515) r(402,401) r(3379,3297) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(3080,3018) d(2518) d(2020) a(361,3292) r(2294,2331) a(1270,3168) a(1305,784) d(921) a(3117,796) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(1559,1400) d(3151) d(784) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(1559,1400) d(3151) d(735) 
	  7 r(2084,2071) r(3339,3227) r(3292,1244) r(3080,3018) d(2518) d(2020) a(361,3292) r(2294,2331) a(1270,3168) a(1305,784) d(921) r(387,404) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(2241,2232) r(3107,3111) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(3312,3343) r(2294,2331) a(1270,3168) d(1989) a(1398,747) a(3327,1299) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) r(3312,3343) r(2294,2331) a(1270,3168) d(1989) a(1398,747) r(2807,2801) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(2241,2232) r(2019,2025) 
	  7 d(822) d(1160) r(1279,1264) d(2045) d(2314) a(3399,3416) d(2584) 
	  7 d(822) r(1534,1541) r(2042,2040) d(1554) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) a(2589,2586) r(3360,3426) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000621/tools/tiff2pdf.c  d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) a(2589,2586) r(2399,2692)  fails to compile
	  0 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) a(2589,2586) r(2399,2692) 
	  7 d(822) r(1534,1541) r(2042,2040) d(1554) r(1279,1264) d(2045) d(2314) a(3399,3416) d(2727) 
	  7 d(822) r(1534,1541) a(2045,1157) r(3113,3111) d(2729) d(389) r(2685,797) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) a(1243,1254) d(2357) 
	  7 d(822) a(2725,935) r(1562,1395) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) r(2389,2502) a(852,2753) d(3413) r(402,378) a(786,747) d(1864) d(3119) a(2728,1189) 
	  7 d(822) r(402,378) a(786,747) d(1864) d(3119) r(3402,3408) 
	  7 d(822) r(1534,1541) r(1865,1863) d(1258) r(3330,3380) r(1878,1877) r(2389,2502) a(852,2753) d(3413) a(2725,935) r(3147,3119) 
	  7 r(2084,2071) d(3383) r(3118,3135) a(3146,930) d(2228) a(1243,1254) d(1991) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) r(3339,3227) r(402,378) r(3423,3310) r(1277,1157) d(3012) d(2170) 
	  7 r(2084,2071) r(3339,3227) r(402,378) r(3423,3310) r(1277,1157) d(3012) a(2706,2723) 
	  7 r(2084,2071) d(2588) a(2754,1189) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) a(3146,930) d(2228) a(1243,1254) a(2000,2762) 
	  7 d(822) d(2587) r(2226,2251) r(402,378) d(2196) r(3157,3125) a(3335,2592) r(3371,3422) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) d(2020) a(361,3292) r(758,747) a(3386,3227) r(1274,1270) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) d(3386) r(2194,2192) d(3321) 
	  7 r(2084,2071) d(2588) a(2754,1189) d(736) d(3389) r(2053,2062) d(3422) d(2771) r(3360,3300) 
	  7 r(2084,2071) d(3369) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) d(1554) r(1279,1264) d(2045) r(1241,1245) d(759) d(2169) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(2235,2231) d(3305) r(2226,2251) r(402,378) d(2196) r(3157,3125) r(362,409) a(240,3116) 
	/root/mountpoint-genprog/genprog-many-bugs/libtiff-bug-2010-11-27-eb326f9-eec7ec0/000639/tools/tiff2pdf.c  r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(402,378) d(2196) r(3157,3125) r(362,409) r(3162,3131)  fails to compile
	  0 r(2084,2071) d(3369) r(2235,2231) d(3305) r(2226,2251) r(402,378) d(2196) r(3157,3125) r(362,409) r(3162,3131) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) d(1554) r(1279,1264) d(2045) r(1241,1245) d(759) d(3114) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) r(1242,1261) d(1990) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(2232,2238) r(3312,3343) r(3405,3424) a(2045,1157) r(3113,3111) a(1861,874) r(891,916) a(3085,3162) 
	  7 r(2084,2071) r(3339,3227) r(2348,2290) r(763,764) d(2503) r(2348,2290) r(2508,2525) d(2707) d(3383) r(3118,3135) r(1996,2001) r(2513,2505) d(3410) a(829,871) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) r(2226,2251) r(3083,3080) r(257,260) d(3292) d(3129) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) r(2389,2502) a(852,2753) a(277,791) a(785,2538) a(290,2686) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(3339,3227) r(1878,1877) d(3386) d(2657) a(3393,2221) 
	  7 d(822) d(2587) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) r(2235,2231) d(3305) r(402,378) d(2196) d(3386) d(2657) r(2057,2059) 
	  7 d(822) d(2587) r(2294,2331) r(2232,2238) r(3312,3343) r(2294,2331) r(3339,3227) r(1878,1877) r(2389,2502) a(852,2753) a(277,791) a(785,2538) d(3389) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(2069) a(3305,3420) r(1282,1284) r(3390,3352) 
	  7 r(2084,2071) r(2232,2238) a(2329,945) d(2000) r(2226,2251) r(3083,3080) d(2065) d(2526) d(3408) 
	  7 d(822) r(1534,1541) r(2042,2040) d(899) r(2354,2344) r(1398,1555) a(972,2762) d(2356) r(2292,2371) d(3321) d(3362) d(275) r(2330,2360) r(3095,3086) r(2241,2232) d(2348) 
	  7 d(822) d(1160) d(3142) d(2350) a(2384,3227) d(3086) r(2286,2325) d(3389) r(2053,2062) d(286) a(2589,2586) d(2218) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 5222
"Test Suite Evaluations": 67.8182

Compile Failures: 13
Wall-Clock Seconds Elapsed: 3183.39
  Activity Name                     Count Seconds = Percent of Total Time
  test                               5195 1312.100 = 47.4265%
  compile                             654 1454.289 = 52.566%
  TOTAL                                   2766.598 = 86.907% (avg CPU usage)
libtiff-bug-2010-11-27-eb326f9-eec7ec0.tar.gz
Sat Sep 21 14:25:47 EDT 2013
shutting down
