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 314
--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 7
--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-245-53-5 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Sep 23 18:03:46 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/tmp5f0c48.c /tmp/tmpce12d5.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)
	p77: true (1)
	p78: true (1)
	p79: true (1)
	p80: true (1)
	p81: true (1)
	p82: true (1)
	p83: true (1)
	p84: true (1)
	p85: true (1)
	p86: true (1)
	p87: true (1)
	p88: true (1)
	p89: true (1)
	p90: true (1)
	p91: true (1)
	p92: true (1)
	p93: true (1)
	p94: true (1)
	p95: true (1)
	p96: true (1)
	p97: true (1)
	p98: true (1)
	p99: true (1)
	p100: true (1)
	p101: true (1)
	p102: true (1)
	p103: true (1)
	p104: true (1)
	p105: true (1)
	p106: true (1)
	p107: true (1)
	p108: true (1)
	p109: true (1)
	p110: true (1)
	p111: true (1)
	p112: true (1)
	p113: true (1)
	p114: true (1)
	p115: true (1)
	p116: true (1)
	p117: true (1)
	p118: true (1)
	p119: true (1)
	p120: true (1)
	p121: true (1)
	p122: true (1)
	p123: true (1)
	p124: true (1)
	p125: true (1)
	p126: true (1)
	p127: true (1)
	p128: true (1)
	p129: true (1)
	p130: true (1)
	p131: true (1)
	p132: true (1)
	p133: true (1)
	p134: true (1)
	p135: true (1)
	p136: true (1)
	p137: true (1)
	p138: true (1)
	p139: true (1)
	p140: true (1)
	p141: true (1)
	p142: true (1)
	p143: true (1)
	p144: true (1)
	p145: true (1)
	p146: true (1)
	p147: true (1)
	p148: true (1)
	p149: true (1)
	p150: true (1)
	p151: true (1)
	p152: true (1)
	p153: true (1)
	p154: true (1)
	p155: true (1)
	p156: true (1)
	p157: true (1)
	p158: true (1)
	p159: true (1)
	p160: true (1)
	p161: true (1)
	p162: true (1)
	p163: true (1)
	p164: true (1)
	p165: true (1)
	p166: true (1)
	p167: true (1)
	p168: true (1)
	p169: true (1)
	p170: true (1)
	p171: true (1)
	p172: true (1)
	p173: true (1)
	p174: true (1)
	p175: true (1)
	p176: true (1)
	p177: true (1)
	p178: true (1)
	p179: true (1)
	p180: true (1)
	p181: true (1)
	p182: true (1)
	p183: true (1)
	p184: true (1)
	p185: true (1)
	p186: true (1)
	p187: true (1)
	p188: true (1)
	p189: true (1)
	p190: true (1)
	p191: true (1)
	p192: true (1)
	p193: true (1)
	p194: true (1)
	p195: true (1)
	p196: true (1)
	p197: true (1)
	p198: true (1)
	p199: true (1)
	p200: true (1)
	p201: true (1)
	p202: true (1)
	p203: true (1)
	p204: true (1)
	p205: true (1)
	p206: true (1)
	p207: true (1)
	p208: true (1)
	p209: true (1)
	p210: true (1)
	p211: true (1)
	p212: true (1)
	p213: true (1)
	p214: true (1)
	p215: true (1)
	p216: true (1)
	p217: true (1)
	p218: true (1)
	p219: true (1)
	p220: true (1)
	p221: true (1)
	p222: true (1)
	p223: true (1)
	p224: true (1)
	p225: true (1)
	p226: true (1)
	p227: true (1)
	p228: true (1)
	p229: true (1)
	p230: true (1)
	p231: true (1)
	p232: true (1)
	p233: true (1)
	p234: true (1)
	p235: true (1)
	p236: true (1)
	p237: true (1)
	p238: true (1)
	p239: true (1)
	p240: true (1)
	p241: true (1)
	p242: true (1)
	p243: true (1)
	p244: true (1)
	p245: true (1)
	p246: true (1)
	p247: true (1)
	p248: true (1)
	p249: true (1)
	p250: true (1)
	p251: true (1)
	p252: true (1)
	p253: true (1)
	p254: true (1)
	p255: true (1)
	p256: true (1)
	p257: true (1)
	p258: true (1)
	p259: true (1)
	p260: true (1)
	p261: true (1)
	p262: true (1)
	p263: true (1)
	p264: true (1)
	p265: true (1)
	p266: true (1)
	p267: true (1)
	p268: true (1)
	p269: true (1)
	p270: true (1)
	p271: true (1)
	p272: true (1)
	p273: true (1)
	p274: true (1)
	p275: true (1)
	p276: true (1)
	p277: true (1)
	p278: true (1)
	p279: true (1)
	p280: true (1)
	p281: true (1)
	p282: true (1)
	p283: true (1)
	p284: true (1)
	p285: true (1)
	p286: true (1)
	p287: true (1)
	p288: true (1)
	p289: true (1)
	p290: true (1)
	p291: true (1)
	p292: true (1)
	p293: true (1)
	p294: true (1)
	p295: true (1)
	p296: true (1)
	p297: true (1)
	p298: true (1)
	p299: true (1)
	p300: true (1)
	p301: true (1)
	p302: true (1)
	p303: true (1)
	p304: true (1)
	p305: true (1)
	p306: true (1)
	p307: true (1)
	p308: true (1)
	p309: true (1)
	p310: true (1)
	p311: true (1)
	p312: true (1)
	p313: true (1)
	p314: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 368.247)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2175
cilRep: stmts in weighted_path = 1241
cilRep: total weight = 549.55
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/mathmodule.c (code bank/base file; atoms [1,2175])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.400519 MB)
search: initial population (sizeof one variant = 0.0252562 MB)
	 31 a(468,1518) 
	 31 d(1472) 
	 31 d(1027) 
	 31 r(2042,1970) 
	 31 d(1299) 
	 31 r(1483,1484) 
	 31 d(413) 
	 31 d(1930) 
	 31 r(361,366) 
	 31 d(416) 
	 31 a(1000,998) 
	 31 r(379,385) 
	 31 r(2099,2098) 
	 31 r(1903,1817) 
	 31 a(1740,868) 
	 31 d(493) 
	 31 r(1315,1290) 
	  1 r(1063,1064) 
	  0 d(1691) 
	 31 d(447) 
	 31 r(595,588) 
	 31 r(2160,2153) 
	 31 d(2052) 
	 31 r(274,275) 
	  0 a(1666,1685) 
	 31 d(1812) 
	 31 d(766) 
	 31 r(409,475) 
	 31 r(752,767) 
	 31 d(1813) 
	 31 r(1323,1311) 
	 31 d(709) 
	 31 d(1277) 
	 31 a(1497,1492) 
	 31 r(2110,2105) 
	 31 a(981,1437) 
	 31 d(1616) 
	 31 d(1419) 
	 31 r(844,2011) 
	 31 original
search: generation 1 (sizeof one variant = 0.400963 MB)
	 31 d(413) d(1493) 
	 31 d(447) r(390,430) 
	 31 d(1277) d(1525) 
	 31 a(1740,868) r(1479,1476) 
	  0 r(1063,1064) d(1497) 
	 31 r(1483,1484) a(1723,810) 
	  0 r(1063,1064) a(1592,1395) 
	 31 r(1483,1484) d(708) 
	 31 a(1000,998) a(1080,1438) 
	 31 d(1472) d(1500) 
	 31 r(844,2011) r(1411,1425) 
	  0 d(1664) 
	 31 a(1497,1492) a(1343,1141) 
	 31 r(1315,1290) r(2021,2078) 
	 31 d(413) a(1287,724) 
	 31 r(1483,1484) a(570,1223) 
	 31 d(413) r(1650,1644) 
	 30 r(1483,1484) r(1678,1746) 
	 31 d(1299) d(1755) 
	 31 r(1315,1290) a(1443,424) 
	 31 r(2099,2098) d(1088) 
	 31 a(1740,868) r(1399,1441) 
	 31 d(413) d(2109) 
	 31 d(1813) d(1797) 
	 31 d(1419) r(706,672) 
	  0 r(1063,1064) d(1427) 
	 31 d(1419) a(1552,1404) 
	  0 r(1063,1064) r(1283,1287) 
	 31 a(981,1437) r(898,851) 
	 31 d(413) a(1001,1124) 
	 31 a(981,1437) r(2110,2105) 
	 31 d(413) d(1725) 
	 31 d(709) r(2085,2043) 
	 31 d(493) a(1555,1568) 
	 31 d(709) a(895,1141) 
	 30 d(493) r(1016,1003) 
	 31 d(1812) a(1352,370) 
	 31 r(752,767) d(462) 
	 31 d(1812) d(1280) 
	 31 r(752,767) d(426) 
	 31 a(468,1518) d(442) 
	  0 a(468,1518) d(1669) 
	 31 a(468,1518) r(1568,1541) 
	 31 a(468,1518) d(1971) 
	 31 a(468,1518) r(718,680) 
	 31 d(416) d(2119) 
	 30 a(468,1518) r(1016,1017) 
	 31 d(416) d(2042) 
	 31 r(361,366) d(1374) 
	 31 a(981,1437) d(603) 
	 31 r(361,366) d(680) 
	 31 a(981,1437) a(1964,2030) 
	 31 d(1277) d(1018) 
	 31 d(1616) d(1308) 
	 31 a(468,1518) a(590,1299) 
	 31 d(1472) r(2144,2147) 
	 31 a(468,1518) r(452,498) 
	 31 d(1472) d(733) 
	 31 d(416) r(1357,1344) 
	 31 a(1740,868) r(1514,1505) 
search: generation 2 (sizeof one variant = 0.401637 MB)
	 31 d(416) r(1357,1344) d(2003) 
	 31 d(413) r(1650,1644) d(487) 
	 30 a(1740,868) r(1479,1476) d(1280) d(732) 
	 31 d(1812) r(1513,1503) 
	 31 a(1740,868) r(1479,1476) r(550,505) 
	 31 d(1812) d(1280) r(677,708) 
	 31 d(413) d(510) 
	 31 a(1000,998) a(1080,1438) r(1650,1644) d(1768) 
	 31 d(413) r(1650,1644) r(1751,1718) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) 
	 31 d(709) a(895,1141) d(1509) 
	 31 a(1740,868) r(1514,1505) r(647,1597) 
	 31 d(1812) a(1352,370) r(1646,1661) 
	 31 d(709) r(2085,2043) r(1744,1701) 
	 31 r(1315,1290) a(1443,424) d(1566) 
	 31 a(1497,1492) a(1343,1141) d(1440) 
	 31 d(416) r(1364,1335) 
	 31 r(361,366) d(1374) d(2119) r(826,1399) 
	 30 d(416) d(2119) r(2148,2141) 
	 31 r(361,366) d(1374) d(1423) 
	 31 a(981,1437) r(898,851) d(2147) 
	 31 d(413) a(1001,1124) r(786,800) 
	 31 d(1472) d(1500) a(2058,1341) 
	 31 r(752,767) d(426) d(1723) 
	 31 a(468,1518) d(442) a(2003,1986) 
	 31 d(1277) d(1525) r(1931,2081) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) 
	 31 r(1315,1290) a(970,1764) 
	 31 d(413) d(1493) d(1589) 
	 31 r(1315,1290) r(2021,2078) d(741) 
	 31 d(1419) r(706,672) r(1692,1685) 
	 31 a(468,1518) a(590,1299) r(953,963) 
	 29 r(361,366) d(1374) r(1016,930) 
	 31 d(1277) d(1525) d(1598) 
	 31 d(1472) d(733) a(1059,2153) 
	 31 r(1483,1484) d(708) r(1071,1084) 
	  0 r(1483,1484) a(1723,810) r(741,751) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) 
	 31 a(981,1437) r(898,851) r(1589,1894) 
	 31 d(1616) d(1308) d(1926) 
	 31 d(1277) d(1018) d(1457) 
	 31 a(468,1518) r(1568,1541) d(651) 
	 31 d(413) r(1695,1685) 
	 31 a(468,1518) r(452,498) d(2109) d(1699) 
	 31 d(413) d(2109) d(1670) 
	 31 a(468,1518) r(452,498) d(982) 
	 31 r(1483,1484) a(570,1223) a(1062,812) 
	 31 d(413) d(2109) d(658) 
	 31 d(413) r(1568,1541) d(1091) 
	 30 a(468,1518) a(1001,1124) d(1651) 
	 31 d(413) a(1001,1124) a(982,1765) 
	 31 a(468,1518) r(1568,1541) r(609,587) 
search: generation 3 (sizeof one variant = 0.40261 MB)
	 30 r(1315,1290) a(1443,424) d(1566) r(868,747) 
	 31 d(1277) d(1018) d(1457) a(1472,704) 
	 31 d(1277) d(1525) d(1598) d(1308) d(1926) d(1951) 
	 31 d(1616) a(811,1700) 
	 31 d(1277) d(1525) d(1598) d(871) 
	 31 d(1616) d(1308) d(1926) r(1453,1407) 
	 31 r(1315,1290) a(1443,424) a(1080,1438) r(1917,2003) d(2024) 
	 29 a(1000,998) d(1566) d(775) 
	 30 r(1315,1290) a(1443,424) d(1566) a(966,822) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) 
	 31 r(1483,1484) d(708) r(1071,1084) r(2054,1944) 
	 31 d(1277) d(1525) r(1931,2081) a(369,2074) 
	 31 r(1315,1290) d(1658) 
	 31 d(1616) d(1308) d(1926) r(2021,2078) a(1034,587) d(1284) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1902,1820) 
	 31 d(1616) d(1308) d(1926) r(611,606) 
	 31 d(413) r(1650,1644) r(1751,1718) r(662,733) 
	 31 a(1497,1492) a(1343,1141) d(1440) d(1337) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) 
	 31 a(1497,1492) a(1343,1141) d(1440) a(1525,1333) 
	 31 d(1277) d(1525) r(1931,2081) r(1695,1685) r(1100,1099) 
	 31 d(413) a(424,435) 
	 31 d(1277) d(1525) r(1931,2081) d(1887) 
	 31 d(413) r(1695,1685) d(1411) 
	 31 d(413) d(2109) d(1670) a(644,1786) 
	 31 d(1812) r(1513,1503) r(1478,1465) 
	 30 d(413) d(1493) r(2021,2078) r(647,1597) d(1057) 
	 31 a(1740,868) r(1514,1505) r(628,620) d(457) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) d(1657) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(804,806) 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) 
	 31 r(1483,1484) a(570,1223) a(1062,812) r(1352,1377) 
	 31 r(1315,1290) r(2021,2078) d(741) r(489,431) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) 
	 31 d(1472) d(733) d(1023) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) r(536,524) 
	 31 d(1472) d(733) a(1059,2153) d(1723) 
	 30 r(1315,1290) a(1443,424) d(1566) r(1634,1602) 
	 30 d(1419) r(706,672) r(1692,1685) a(619,623) 
	 31 d(413) a(1001,1124) a(1508,1430) 
	 31 a(468,1518) d(442) a(2003,1986) r(786,800) r(721,709) 
	 31 d(413) a(1001,1124) r(786,800) d(438) 
	  0 a(468,1518) d(442) a(2003,1986) r(891,898) 
	 31 d(1472) d(733) a(1059,2153) r(1541,1536) 
	 29 a(468,1518) a(590,1299) r(953,963) r(1682,1684) 
	 31 r(1315,1290) d(1374) d(1423) d(1300) 
	 30 r(361,366) r(2021,2078) a(1034,587) r(2167,2151) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) 
	 31 r(361,366) d(1374) d(1423) d(898) 
	 30 r(1315,1290) a(1443,424) d(1566) d(1438) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1651,1646) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(1071,1084) r(1680,1694) 
	 31 r(1483,1484) d(708) r(1083,1081) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1843,1070) 
	 31 r(1483,1484) d(708) r(1071,1084) d(1367) 
	 31 d(1616) d(1308) d(1926) a(1382,1706) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) 
	 31 r(752,767) d(426) d(1723) r(422,716) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) 
search: generation 4 (sizeof one variant = 0.402416 MB)
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) 
	 31 r(1483,1484) d(708) r(1071,1084) d(1367) d(1441) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) d(2042) 
	 28 a(1740,868) r(1514,1505) r(647,1597) r(804,806) d(1660) 
	 30 a(1740,868) r(1514,1505) r(647,1597) r(804,806) a(762,1670) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) r(596,590) 
	 31 d(1616) r(1931,2081) d(1887) d(1741) 
	 31 d(1277) d(1525) d(1308) d(1926) r(1453,1407) d(1835) 
	 31 d(1616) d(1308) d(1926) r(1453,1407) r(1905,1786) 
	 31 d(1277) d(1525) r(1931,2081) d(1887) r(1318,1320) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) 
	 30 d(1472) d(733) d(1023) a(1608,1602) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) d(1625) 
	 31 r(361,366) d(1374) d(1423) d(898) a(1984,1637) 
	 31 r(1315,1290) r(1695,1685) d(1411) r(483,395) 
	 31 d(413) r(2021,2078) a(1034,587) a(537,1430) d(1362) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) 
	 31 d(413) r(1695,1685) d(1411) a(811,818) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) a(808,1404) 
	 30 a(1000,998) d(1566) d(775) d(1971) 
	 31 r(1315,1290) a(1443,424) d(1566) r(2162,2150) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) 
	  0 r(1315,1290) a(1443,424) d(1566) a(966,822) r(749,768) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) 
	 31 d(1472) d(733) a(1059,2153) r(1541,1536) d(713) 
	 30 a(1740,868) r(1514,1505) r(647,1597) a(1843,1070) a(1582,843) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) d(2097) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) a(1059,2153) r(1659,1655) d(1358) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) a(1325,1324) 
	 30 d(1277) d(1018) d(1457) r(1040,1043) d(658) 
	 31 d(1616) d(1308) d(1926) r(2021,2078) a(1034,587) d(1284) d(742) 
	 29 r(1315,1290) r(2021,2078) d(741) r(489,431) a(581,424) 
	 31 r(1315,1290) r(2021,2078) d(741) d(457) r(1601,1623) 
	 31 a(1740,868) r(1514,1505) r(628,620) r(489,431) a(1927,1137) 
	 30 r(1315,1290) r(2021,2078) d(741) r(489,431) r(1760,1764) 
	 31 a(1740,868) r(1514,1505) r(628,620) d(457) d(1398) 
	  0 d(1616) d(1308) d(1926) r(1453,1407) d(749) 
	  0 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(1919,1954) 
	  0 a(1740,868) r(1514,1505) r(647,1597) a(1843,1070) a(1926,1700) 
	 31 d(413) a(1001,1124) r(786,800) d(438) r(964,1022) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1651,1646) r(1514,1505) r(647,1597) r(1071,1084) r(1680,1694) a(900,860) 
	 31 a(1740,868) d(600) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1651,1646) d(2115) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(1071,1084) r(1680,1694) r(921,922) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) 
	 31 d(1616) d(1308) d(1926) a(1382,1706) d(407) 
	 30 d(413) r(1650,1644) d(1657) d(1632) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) r(1751,1718) r(662,733) r(546,515) 
	 31 d(413) r(1650,1644) r(1751,1718) r(662,733) r(1931,2007) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) d(1657) d(2125) 
	 30 r(1315,1290) d(1658) r(804,806) a(1843,1521) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) 
	 30 r(1315,1290) d(1658) d(786) 
	 30 a(1740,868) r(1514,1505) r(647,1597) r(804,806) d(852) 
	 31 d(413) r(1695,1685) d(1411) a(1010,1918) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) 
search: generation 5 (sizeof one variant = 0.40418 MB)
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) d(1362) d(2126) 
	 31 d(413) r(2021,2078) a(1034,587) a(537,1430) a(1776,1525) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) d(1769) 
	 31 d(413) r(2021,2078) a(1034,587) a(537,1430) d(1362) d(1355) 
	 31 a(1000,998) d(1566) d(775) d(1971) a(1344,1037) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1651,1646) r(1514,1505) r(647,1597) r(1071,1084) r(1680,1694) a(900,860) d(1492) 
	  0 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(922) 
	  0 a(1740,868) r(1514,1505) r(647,1597) r(804,806) d(1660) r(1064,1063) 
	 31 d(413) r(1650,1644) r(1669,1668) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) r(1751,1718) r(1286,1283) r(2015,1958) a(1091,1521) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) r(2047,1998) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) d(658) d(1624) 
	 31 d(413) a(1001,1124) r(786,800) d(438) r(964,1022) a(1573,1581) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(1071,1084) r(1680,1694) r(921,922) r(1366,1361) 
	  0 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) r(922,921) 
	 31 r(361,366) d(1374) d(1423) d(898) a(1984,1637) d(678) 
	 31 d(1616) d(1308) d(1926) r(1453,1407) r(1905,1786) d(1833) 
	 29 d(1812) a(1352,370) r(1646,1661) d(1048) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) a(594,1257) d(1288) a(1987,2035) 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) r(448,408) 
	 31 d(413) d(1493) r(2021,2078) r(1286,1283) r(2015,1958) r(1094,1093) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) d(1657) d(2125) a(1710,911) 
	 30 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) r(1692,1678) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) d(1725) 
	 31 d(1616) d(1308) d(1926) r(2021,2078) a(1034,587) d(1284) d(742) a(637,782) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) d(2042) d(2045) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(1042,906) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) r(1728,1779) 
	 30 d(413) r(2021,2078) a(1034,587) a(537,1430) d(1362) r(1048,1050) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) r(597,612) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1018) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1988) 
	 31 d(413) r(628,620) r(489,431) a(1927,1137) r(1363,1352) 
	 31 a(1740,868) r(1514,1505) r(628,620) r(489,431) a(1927,1137) d(1332) 
	  0 d(413) r(1695,1685) d(1411) a(1010,1918) r(886,872) 
	 29 d(1812) r(1513,1503) d(1625) r(2055,2059) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) r(1478,1465) d(1445) d(867) 
	 29 d(1812) r(1513,1503) r(1478,1465) d(1445) a(438,1340) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) d(1625) d(1805) 
	 31 a(1000,998) r(647,1597) a(1559,1637) d(681) 
	 31 a(1740,868) r(1514,1505) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(894) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) r(935,978) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) 
	 31 a(1740,868) r(1514,1505) r(647,1597) d(1374) d(1423) d(898) a(1984,1637) a(1084,1573) 
	 31 r(361,366) a(1559,1637) r(805,801) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) d(1654) 
	 31 r(361,366) d(1374) d(1423) d(898) a(1984,1637) d(1330) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) 
	 29 r(1315,1290) r(2021,2078) d(741) d(457) r(1601,1623) r(640,652) 
search: generation 6 (sizeof one variant = 0.404809 MB)
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(2160) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) r(2073,1997) 
	 30 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) r(1047,1042) 
	 30 a(1000,998) d(1566) d(775) d(1971) a(1344,1037) a(1000,903) 
	 31 d(413) r(628,620) r(489,431) a(1927,1137) r(1363,1352) d(2056) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) d(1373) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) r(1478,1465) d(1445) a(689,713) a(1649,1075) 
	 30 d(1812) r(1513,1503) d(1657) d(2125) a(954,1425) d(2167) 
	  0 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) r(892,869) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1998) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1652) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1988) a(386,1346) 
	 30 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1988) r(1337,1336) 
	 30 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(376) 
	 30 d(1812) a(1352,370) r(1646,1661) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) a(1285,1481) 
	 31 a(1740,868) a(594,1257) d(1288) a(974,981) r(1756,1768) 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) a(1763,511) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) d(599) 
	 31 a(1740,868) r(298,299) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) d(1625) d(1805) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) r(844,823) 
	 31 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) a(2085,2016) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) d(1625) d(1805) d(1080) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) d(407) 
	 29 a(1000,998) d(1566) d(775) d(1971) a(1344,1037) a(1428,1428) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) r(509,523) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) r(597,612) r(377,725) 
	 30 d(1277) d(1018) d(1457) r(449,468) a(2157,1576) a(1016,1817) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(1040,1043) d(658) d(1624) r(1715,1745) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) d(658) d(1624) a(1283,1428) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) d(1362) d(2126) a(1304,1137) 
	  1 d(413) r(1695,1685) d(1411) r(1072,1070) d(1769) r(2171,2169) 
	  0 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) d(1654) r(1084,1082) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) r(935,978) r(440,408) 
	 31 a(1740,868) r(1514,1505) r(647,1597) r(736,765) d(2042) d(2045) d(1481) 
	 31 d(413) a(1001,1124) r(786,800) d(438) r(964,1022) a(1573,1581) a(494,1428) 
	 30 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) d(1009) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) r(597,612) r(1474,1466) 
	  0 a(1740,868) r(1514,1505) a(1080,1438) r(1917,2003) r(789,786) d(898) a(1984,1637) d(678) r(889,824) 
	 31 r(361,366) d(1374) d(1423) r(495,467) d(894) r(390,430) 
	  0 a(1740,868) r(1514,1505) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(894) r(1687,1695) 
	 31 r(361,366) d(1374) d(1423) d(898) a(1984,1637) d(678) d(1678) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) r(1478,1465) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) r(1613,1616) 
	 31 d(413) d(1445) d(867) r(844,947) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) r(1478,1465) d(1445) d(867) d(880) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) d(560) 
	 31 d(413) a(1398,1418) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(413) 
	 30 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) a(1324,1300) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(380,372) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(2125) a(954,1425) a(1058,2115) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) r(935,978) r(1622,1589) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) r(935,978) d(1519) 
	 30 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) a(809,1644) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1971) a(1344,1037) a(584,577) 
	 31 a(1000,998) d(1566) d(775) r(2047,1998) a(1943,845) 
	 30 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) r(2047,1998) r(888,629) 
	 31 a(1000,998) d(1566) d(775) d(1971) a(1344,1037) a(1050,1246) 
	 31 d(413) d(1493) r(2021,2078) r(1286,1283) r(2015,1958) r(1094,1093) d(1292) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) r(1473,1476) 
search: generation 7 (sizeof one variant = 0.405393 MB)
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) a(1763,511) r(1449,1457) 
	 31 a(1740,868) r(298,299) a(390,1525) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) r(1286,1285) 
	 30 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(2015,1958) d(1040) d(2160) r(1935,1913) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(2160) d(928) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) a(1750,1727) 
	 31 d(1812) r(1513,1503) a(966,822) a(1567,1464) a(804,1141) r(1473,1476) d(1540) 
	 31 d(1812) r(1513,1503) r(1478,1465) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) d(407) r(1058,1057) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) d(407) r(1019,929) 
	 31 d(1812) r(1513,1503) r(1478,1465) a(966,822) a(1567,1464) a(804,1141) r(1473,1476) d(1618) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) d(658) d(1624) a(1283,1428) d(958) 
	 31 d(413) a(1398,1418) d(1014) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) r(935,978) r(440,408) d(1014) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) r(2047,1998) r(888,629) d(667) 
	 30 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1988) a(386,1346) d(742) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(413) r(1415,1389) 
	 30 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(1040,1043) d(658) d(1624) r(1650,1644) r(1751,1718) r(628,620) r(1478,1465) d(1445) a(689,713) a(1649,1075) d(473) 
	 31 d(413) r(1715,1745) d(1036) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(1040,1043) d(658) d(1624) r(1715,1745) a(550,1333) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) r(1478,1465) d(1445) a(689,713) a(1649,1075) d(948) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1971) a(1344,1037) a(584,577) r(1289,1317) 
	 31 a(1740,868) r(298,299) r(1094,1093) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1652) d(525) 
	 30 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) d(1018) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1652) a(1897,1418) 
	 31 d(413) d(1493) r(2021,2078) r(628,620) a(1059,2153) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) r(1047,1037) 
	 30 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) d(560) r(2071,1970) d(1373) d(557) 
	  0 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) d(901) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) d(560) r(661,704) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) d(1373) d(423) 
	 31 d(413) d(1493) r(2021,2078) r(1286,1283) r(2015,1958) r(1094,1093) d(1292) d(1374) 
	 30 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) r(935,978) r(440,408) d(2165) 
	 31 r(361,366) d(1374) d(1423) a(1573,1581) a(494,1428) a(1690,843) 
	 31 d(413) a(1001,1124) r(786,800) d(438) r(964,1022) r(495,467) d(894) r(390,430) r(1834,1887) 
	 31 r(361,366) d(1374) d(1423) r(495,467) d(894) r(390,430) r(1282,1287) 
	 31 d(413) a(1001,1124) r(786,800) d(438) r(964,1022) a(1573,1581) a(494,1428) a(2035,1469) 
	 31 d(413) r(1695,1685) d(1411) r(1072,1070) d(1362) d(2126) a(1304,1137) r(1559,1398) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(2125) a(954,1425) a(1058,2115) r(1845,1796) 
	 31 d(1277) d(1525) r(1931,2081) r(2071,1970) r(2073,1997) r(1688,1669) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) d(1858) r(1796,1832) r(2071,1970) r(2073,1997) r(1287,1284) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) r(2073,1997) a(855,1224) 
	 31 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) r(2073,1997) d(891) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1998) d(722) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1988) a(386,1346) a(1042,1559) 
	 30 a(1740,868) r(1514,1505) r(647,1597) a(1559,1637) a(506,845) d(599) a(2161,1336) 
	 31 a(1740,868) r(298,299) d(2069) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) a(386,1346) d(409) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1988) d(1971) a(1344,1037) a(584,577) a(566,1332) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1971) a(1344,1037) a(584,577) r(1058,1057) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1988) a(386,1346) d(1976) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1652) a(1357,1464) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) r(1478,1465) d(1445) d(867) d(880) d(1570) 
	 31 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) a(809,1644) a(963,1515) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-69945-69946/000438/Modules/mathmodule.c  a(1000,998) d(1566) d(775) d(1971) a(1344,1037) a(1050,1246) r(2169,2174)  fails to compile
	  0 a(1000,998) d(1566) d(775) d(1971) a(1344,1037) a(1050,1246) r(2169,2174) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: WORKED! 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) d(1787) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1998) a(1763,511) d(630) 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) a(1763,511) a(1710,1333) 
	 31 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1998) d(1097) 
search: generation 8 (sizeof one variant = 0.406672 MB)
	 30 d(1812) r(1513,1503) r(1478,1465) d(1445) a(689,713) d(1998) d(1097) r(2002,2018) 
	 30 d(1277) d(1525) r(1931,2081) d(1858) r(1796,1832) r(2071,1970) r(2073,1997) a(855,1224) r(1581,1576) 
	 30 d(1812) a(1352,370) r(1646,1661) r(780,807) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) d(658) d(1624) a(1283,1428) d(958) a(594,1257) d(1288) a(974,981) a(1763,511) r(1449,1457) r(905,915) 
	 31 d(1812) a(1352,370) r(1646,1661) a(594,1257) d(1288) a(974,981) a(1763,511) r(1449,1457) d(571) 
	 31 d(1277) d(1018) d(1457) r(1040,1043) d(658) d(1624) a(1283,1428) d(958) d(2059) 
	 31 a(1740,868) r(1514,1505) r(1695,1685) d(1411) a(1010,1918) d(1652) a(1897,1418) a(629,1422) 
	 30 d(413) r(1650,1644) r(1751,1718) r(628,620) d(1657) d(2125) a(954,1425) a(809,1644) a(963,1515) a(1068,1805) 
	 30 r(361,366) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(2160) d(928) d(608) 
	 31 d(413) r(1650,1644) d(1374) d(1423) r(495,467) d(894) r(390,430) r(1282,1287) r(457,453) 
	 31 r(361,366) d(1374) d(1423) r(495,467) d(894) r(390,430) r(1282,1287) d(1693) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(2160) d(928) d(2146) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) r(1286,1283) r(2015,1958) d(1040) d(413) r(1415,1389) r(1055,1056) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(413) r(1415,1389) d(540) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(413) r(1415,1389) a(845,587) 
	 31 r(1315,1290) r(2021,2078) a(1034,587) a(537,1430) a(1558,553) d(446) r(1650,1644) r(1751,1718) r(1286,1283) r(2015,1958) d(1040) d(413) r(1415,1389) d(404) 
	 30 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(2125) r(1659,1655) r(449,468) a(2157,1576) r(1812,1848) r(1286,1285) d(974) 
	 31 d(413) r(1650,1644) r(1751,1718) r(1286,1283) a(954,1425) a(1058,2115) r(1845,1796) d(635) 
	 31 a(1000,998) a(1080,1438) r(1917,2003) r(789,786) r(495,467) d(2125) a(954,1425) a(1058,2115) r(1845,1796) r(1631,1608) 
*** 720m timeout
python-bug-69945-69946.tar.gz
Tue Sep 24 06:01:19 EDT 2013
shutting down
