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 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-179-11-251 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:02:25 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/tmp027ed6.c /tmp/tmp3739a1.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 = 387.253)
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.0252295 MB)
	 31 r(1521,1074) 
	 31 a(1009,1257) 
	 31 r(1699,1698) 
	 31 d(1601) 
	 31 d(1771) 
	 31 r(2097,2099) 
	 31 a(1584,2105) 
	 31 a(1472,427) 
	 31 a(1052,587) 
	 31 d(1285) 
	 31 r(1558,1560) 
	 31 d(574) 
	 31 r(841,865) 
	 30 r(1472,1478) 
	 31 a(2169,2153) 
	 31 d(2164) 
	 31 d(494) 
	 31 r(1437,2077) 
	 31 r(1948,1996) 
	 31 a(1562,823) 
	 31 a(1842,1667) 
	 31 a(2162,1223) 
	 31 r(950,949) 
	 31 d(1407) 
	 31 d(657) 
	 31 d(1634) 
	 31 a(1691,451) 
	 31 r(1067,1068) 
	 31 d(574) 
	 31 r(2067,2057) 
	 31 r(2058,2048) 
	 31 r(2144,2133) 
	 31 a(1647,542) 
	 31 r(531,1725) 
	 31 d(2134) 
	 31 r(1917,1954) 
	 31 r(537,505) 
	 31 r(1913,913) 
	 31 a(380,868) 
	 31 original
search: generation 1 (sizeof one variant = 0.400957 MB)
	 31 r(1917,1954) r(2070,1958) 
	 31 a(380,868) r(1094,1093) 
	 31 r(2067,2057) d(1082) 
	  0 d(657) r(1095,1096) 
	 31 d(1285) d(514) 
	 31 r(1521,1074) r(1072,1080) 
	 31 d(1634) a(1352,1128) 
	 31 r(299,298) 
	 31 a(911,424) 
	 31 a(1009,1257) a(1659,1666) 
	 31 r(531,1725) r(1651,1645) 
	 31 r(1521,1074) r(604,586) 
	 31 d(574) d(530) 
	 31 r(1437,2077) d(525) 
	  0 d(1771) a(885,844) 
	 31 d(1285) a(1776,1761) 
	 31 r(2097,2099) r(732,692) 
	 31 d(1285) a(367,1424) 
	 31 r(2097,2099) r(1628,1598) 
	 31 d(1285) a(1918,1297) 
	 31 a(1052,587) r(842,852) 
	 31 r(2058,2048) d(1465) 
	 31 r(1699,1698) a(811,679) 
	 31 d(2164) r(1029,1030) 
	 31 a(1842,1667) d(2038) 
	 31 a(1009,1257) a(2169,1729) 
	 31 d(1019) 
	 31 a(1562,823) r(1440,1390) 
	 31 r(917,915) 
	 31 a(1562,823) r(1015,949) 
	  1 r(2097,2099) d(1095) 
	 31 r(537,505) d(1519) 
	 31 r(2097,2099) a(1802,1808) 
	 31 r(537,505) d(1493) 
	 31 a(2162,1223) d(702) 
	 31 a(1009,1257) a(1691,424) 
	 31 d(2134) r(1473,1474) 
	 31 d(574) d(1404) 
	 31 d(2134) r(408,458) 
	 31 d(574) d(485) 
	 31 d(1634) d(1466) 
	 29 r(1913,913) r(1566,1515) 
	 31 d(1771) d(662) 
	 31 a(1691,451) r(436,494) 
	 31 d(1771) a(1666,1469) 
	 31 a(1691,451) d(1395) 
	 31 a(1842,1667) a(935,1341) 
	 31 a(380,868) r(1907,1838) 
	 31 a(1842,1667) d(1350) 
	 31 a(380,868) a(1398,1700) 
	  0 a(1472,427) r(1671,1684) 
	 31 a(1019,1340) 
search: generation 2 (sizeof one variant = 0.401293 MB)
	 31 d(1771) d(578) 
	 31 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) 
	 31 d(1771) a(1666,1469) d(722) 
	 31 d(1285) a(1918,1297) a(879,782) 
	 31 a(1009,1257) r(1473,1474) a(373,866) 
	 31 d(2134) a(2169,1729) r(1430,981) 
	 31 a(1009,1257) a(2169,1729) a(1756,529) 
	 30 d(2134) r(1473,1474) a(1023,1396) 
	 31 d(1285) a(1918,1297) d(1353) 
	 31 a(380,868) r(1094,1093) a(1784,443) 
	 31 d(574) d(530) a(1347,1403) 
	 31 d(1771) d(662) r(1574,1524) 
	 31 d(1019) d(1453) 
	 31 a(1009,1257) a(1659,1666) r(375,382) 
	 31 a(1842,1667) d(1009) 
	  0 a(1052,587) r(842,852) d(1350) d(1671) 
	 31 a(1842,1667) d(1350) a(966,965) 
	 31 a(1052,587) r(842,852) d(1059) 
	 31 a(1562,823) r(1015,949) a(1347,1637) 
	 31 a(380,868) a(1398,1700) a(872,1468) 
	  0 a(1842,1667) d(2038) a(935,1341) d(921) 
	 31 a(1842,1667) r(785,808) 
	 31 a(1842,1667) d(2038) r(915,911) 
	 31 a(1842,1667) a(935,1341) r(1500,1484) 
	 31 d(574) d(1404) d(1816) 
	 31 r(1699,1698) a(811,679) d(1050) 
	 31 d(574) d(1404) d(805) 
	 31 r(1699,1698) a(811,679) r(1926,2047) 
	  0 d(2164) r(1688,1670) 
	 31 r(2067,2057) d(1082) r(1029,1030) a(1412,2131) 
	 31 d(2164) r(1029,1030) r(1804,1848) 
	 31 r(2067,2057) d(1082) r(2086,1964) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) 
	 31 r(2097,2099) a(1418,1445) 
	 31 a(1842,1667) d(1350) a(1501,1469) 
	 31 r(2097,2099) r(1628,1598) r(1082,1071) 
	 31 a(1009,1257) a(1691,424) d(2043) 
	 31 d(574) d(485) r(1427,1418) 
	 31 d(2164) r(1029,1030) d(1015) 
	 31 d(574) d(530) d(2167) 
	 31 d(574) d(485) d(525) r(1631,1624) 
	 31 r(1437,2077) d(925) 
	 31 d(574) d(485) d(1991) 
	 31 r(1437,2077) d(525) r(2020,2070) 
	 31 r(2067,2057) d(1082) r(727,698) 
	 31 r(1521,1074) r(604,586) a(1839,1729) 
	 31 r(537,505) a(2169,1729) d(1572) 
	 31 a(1009,1257) d(1519) r(662,721) 
	 31 r(537,505) d(1519) d(557) 
	  1 a(1009,1257) a(2169,1729) r(900,823) 
	 31 a(1842,1667) d(2038) d(1404) r(1592,1607) 
	 31 d(574) r(970,1010) 
	 31 a(1842,1667) d(2038) a(2084,2059) 
	 31 d(574) d(1404) r(1685,1694) 
	 31 r(531,1725) r(1651,1645) d(1519) d(377) 
	 31 r(537,505) d(1744) 
	 31 r(531,1725) r(1651,1645) a(596,608) 
	 31 r(537,505) d(1519) d(2105) 
	 31 d(1019) r(1907,1838) r(852,897) 
	 31 a(380,868) d(1913) 
	  0 d(1019) r(2174,2168) 
	  0 a(380,868) r(1907,1838) a(1801,1573) 
	 31 d(574) d(530) d(1745) 
	 31 d(2164) r(1029,1030) d(2118) 
search: generation 3 (sizeof one variant = 0.40254 MB)
	 31 d(574) d(1453) a(2127,588) 
	 31 d(1019) d(485) r(1427,1418) a(1509,1492) 
	 31 d(574) d(485) r(1427,1418) d(1375) 
	  0 d(1019) d(1453) r(2172,2175) 
	 31 d(1285) a(1918,1297) a(1666,1469) d(1059) r(855,833) 
	 31 a(1052,587) r(842,852) r(2046,1926) d(1834) 
	 31 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) r(1281,1834) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) 
	 31 d(1285) a(1918,1297) a(1347,1403) a(778,1424) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) 
	 31 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) r(931,584) 
	 31 d(574) d(530) a(1347,1403) a(539,566) 
	 31 r(2067,2057) d(1082) r(2086,1964) a(1684,1333) 
	 31 d(574) d(1404) d(805) a(1631,1612) 
	 31 d(1771) d(557) d(1488) 
	 31 r(537,505) d(1519) a(1666,1469) d(722) r(786,802) 
	 31 d(1771) a(1666,1469) d(722) d(870) 
	 31 r(537,505) d(1519) d(557) a(553,1521) 
	 31 r(537,505) d(1519) d(2105) d(430) 
	 31 r(537,505) d(1519) d(2105) d(630) 
	 31 d(2134) d(1307) 
	 31 r(2097,2099) r(1628,1598) r(1082,1071) a(2169,1729) r(1430,981) a(751,744) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) 
	 30 r(2097,2099) r(1628,1598) r(1082,1071) a(426,1521) 
	 31 d(574) d(1404) a(811,679) r(1926,2047) r(949,925) 
	 31 r(1699,1698) d(805) r(719,661) 
	 31 d(574) d(1404) d(805) r(1493,1509) 
	 30 r(1699,1698) a(811,679) r(1926,2047) d(1566) 
	 30 a(1842,1667) d(1009) a(1630,422) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) 
	 30 d(574) r(970,1010) d(1596) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) 
	 31 a(1842,1667) d(1009) r(780,809) 
	 31 d(1019) r(1907,1838) r(852,897) d(907) 
	 31 r(2067,2057) d(1082) r(1029,1030) a(1412,2131) d(1054) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) d(1496) 
	 31 a(1842,1667) d(1519) r(662,721) a(1469,1915) 
	 31 a(1009,1257) d(1350) r(1628,1598) d(973) r(1746,1719) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) 
	 31 a(1009,1257) d(1519) r(662,721) d(450) 
	 30 r(2067,2057) d(1082) r(2086,1964) d(1455) 
	 31 r(2097,2099) r(1628,1598) r(1082,1071) d(2145) 
	 31 d(1771) d(662) r(1574,1524) d(1913) r(1000,1021) 
	 31 a(380,868) d(1637) 
	 31 d(1771) d(662) r(1574,1524) d(1418) 
	 31 a(380,868) d(1913) d(2049) 
	 31 a(1842,1667) d(1350) a(1347,1403) a(1024,1589) 
	 31 d(574) d(530) a(966,965) a(1691,1224) 
	 31 a(1842,1667) d(1350) a(966,965) r(1986,2030) 
	  0 d(574) d(530) a(1347,1403) a(1688,810) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) 
	 31 a(1562,823) r(1015,949) a(1347,1637) d(1472) 
	 31 d(574) d(1404) d(805) d(1848) 
	 31 a(380,868) r(1094,1093) a(1784,443) r(1394,1427) 
	 31 d(2164) r(1029,1030) d(2118) d(1533) 
	 31 r(2067,2057) d(1082) r(1029,1030) a(1412,2131) a(1503,1512) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) 
	 31 a(1562,823) r(1015,949) a(1347,1637) r(1407,1421) 
search: generation 4 (sizeof one variant = 0.403431 MB)
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1507) 
	  0 a(1562,823) r(1015,949) a(1347,1637) d(1472) r(1687,1697) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) 
	 31 d(2134) d(1307) a(1580,1300) d(826) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) a(931,1764) 
	 31 d(2134) d(1307) d(1416) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) r(1299,700) 
	 29 r(537,505) d(1519) d(2105) d(630) r(1577,1565) 
	 31 d(2134) d(1307) a(1085,866) 
	 31 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) r(1281,1834) a(1506,1647) 
	 31 a(380,868) r(1094,1093) a(1784,443) r(1394,1427) a(1939,1395) 
	 31 d(574) d(1453) a(2127,588) d(646) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(1426) 
	 31 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) r(931,584) d(1773) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) a(723,487) 
	 31 d(574) d(1404) d(805) r(1493,1509) r(2050,1415) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) r(1504,1487) 
	 31 r(537,505) d(1519) a(1666,1469) d(722) r(786,802) r(1694,1688) 
	 31 d(2134) d(1307) d(1055) 
	 31 a(1009,1257) d(1350) r(1628,1598) d(973) r(1746,1719) r(1507,1511) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) 
	 31 r(537,505) d(1519) d(557) a(553,1521) d(1910) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) d(1519) r(662,721) a(2087,1992) a(818,1516) 
	 31 a(1009,1257) r(373,387) d(1727) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) a(1764,1128) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(1859) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) d(1061) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) r(1471,1466) 
	  0 r(537,505) d(1519) d(2105) d(630) r(749,741) 
	 31 d(574) d(1404) a(467,2150) 
	 31 r(2097,2099) r(1628,1598) r(1082,1071) a(426,1521) d(805) d(1848) r(825,887) 
	 31 d(574) d(1404) d(805) d(1848) d(417) 
	 31 r(2097,2099) r(1628,1598) r(1082,1071) a(426,1521) a(825,424) 
	 31 r(537,505) d(1519) d(557) r(855,833) a(1047,2095) 
	 31 d(1285) a(1918,1297) a(1666,1469) d(1059) a(553,1521) a(728,865) 
	 31 r(537,505) d(1519) d(557) a(553,1521) d(2080) 
	 31 d(1285) a(1918,1297) a(1666,1469) d(1059) r(855,833) r(923,924) 
	 31 a(1009,1257) d(1350) r(1628,1598) d(973) r(1746,1719) d(1522) 
	 31 d(574) d(530) a(1347,1403) a(539,566) r(2134,1335) 
	 31 r(1699,1698) d(805) r(719,661) d(1472) d(763) 
	 31 a(1562,823) r(1015,949) a(1347,1637) r(1515,801) 
	 31 r(1699,1698) d(805) r(719,661) d(1521) 
	 30 a(1562,823) r(1015,949) a(1347,1637) d(1472) d(1009) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) a(1052,529) 
	 31 a(380,868) d(1637) d(844) 
	 31 d(1019) d(485) r(1427,1418) a(1509,1492) d(736) 
	 28 r(1699,1698) a(811,679) r(1926,2047) d(1566) r(2083,1971) 
search: generation 5 (sizeof one variant = 0.404045 MB)
	 29 a(1009,1257) d(1519) r(662,721) a(1052,529) r(870,838) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) a(2087,1992) r(1680,1671) r(1623,1607) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) r(1947,1942) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) a(1052,529) r(1083,1079) 
	 31 d(2134) d(1307) r(1628,1598) d(973) r(1746,1719) d(1522) d(846) 
	 31 a(1009,1257) d(1350) d(1416) d(1326) 
	 31 d(2134) d(1307) d(1416) d(825) 
	 29 a(1009,1257) d(1350) r(1628,1598) d(973) r(1746,1719) d(1522) d(1022) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) 
	  0 d(574) d(530) a(1347,1403) a(539,566) r(2134,1335) r(892,846) 
	 31 d(2134) a(1347,1403) a(539,566) r(2134,1335) r(678,709) 
	 31 d(574) d(530) d(1307) a(1580,1300) d(826) r(1987,1947) 
	 31 d(2134) d(1307) a(1580,1300) d(826) d(1649) 
	 31 d(574) d(530) a(1347,1403) a(539,566) r(2134,1335) a(1066,872) 
	 31 d(1285) a(1918,1297) a(1666,1469) d(1059) r(855,833) r(923,924) a(1974,1988) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) d(997) 
	 30 r(2097,2099) r(1628,1598) r(1082,1071) a(426,1521) d(805) d(1848) r(825,887) d(1299) 
	 30 d(1285) a(1918,1297) a(1666,1469) r(2046,1926) r(931,584) d(1773) a(940,812) 
	 31 r(1699,1698) d(805) r(719,661) d(1472) d(763) d(1521) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) d(374) 
	 31 d(2134) r(506,518) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) r(1471,1466) d(1307) a(1580,1300) d(826) r(1507,1483) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) r(1471,1466) a(298,1525) 
	  1 a(1009,1257) d(1350) r(1628,1598) d(973) r(1746,1719) d(1522) d(1664) 
	 31 d(574) d(1453) a(2127,588) d(646) d(953) 
	 31 a(380,868) r(880,829) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) r(1299,700) d(1637) d(844) r(1465,1477) 
	 31 a(380,868) d(1637) d(844) r(640,653) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) r(1299,700) a(1596,1336) 
	  0 a(1009,1257) d(1519) r(373,387) r(1504,1487) a(891,1913) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) d(1598) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(1859) a(1559,1555) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) r(1504,1487) r(1693,1688) 
	 31 a(1009,1257) d(1519) r(1430,981) d(515) d(1061) a(1696,906) 
	 31 d(2134) a(2169,1729) r(662,721) a(2087,1992) d(1426) a(1746,1246) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(1426) d(944) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) d(1061) d(1894) 
	 31 d(574) d(530) a(1347,1403) a(539,566) r(2134,1335) r(1079,1083) 
	 31 d(574) d(530) a(1347,1403) a(539,566) r(2134,1335) a(1383,1386) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1519) a(1666,1469) d(722) r(786,802) r(1694,1688) r(633,637) 
	 30 r(537,505) d(1507) a(371,868) 
	 30 a(1052,587) r(842,852) d(1059) d(1787) d(1507) d(647) 
	 31 r(537,505) d(1519) a(1666,1469) d(722) r(786,802) r(1694,1688) a(1697,1281) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(923,924) 
	 31 d(2134) d(1307) d(1416) r(1775,1757) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(574,580) 
	 31 d(2134) d(1307) d(1416) d(1084) 
	 30 d(574) d(844) r(1633,1607) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) d(2138) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) r(625,630) 
	 31 a(380,868) d(1637) d(844) d(447) 
	 31 r(537,505) d(1519) a(1666,1469) d(722) r(786,802) r(1694,1688) r(426,459) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) 
	 31 r(537,505) d(1519) d(557) a(553,1521) d(1910) d(973) r(373,387) r(1504,1487) d(408) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) r(1504,1487) d(1838) 
	 31 r(537,505) d(1519) d(557) a(553,1521) d(1910) d(1609) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1507) r(1394,1397) 
	 31 r(1699,1698) d(805) r(719,661) d(1521) r(1465,1464) 
search: generation 6 (sizeof one variant = 0.404615 MB)
	 31 r(537,505) d(1519) d(1084) r(1019,969) 
	 31 d(2134) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) 
	 30 r(537,505) d(1519) d(557) a(553,1521) d(1910) d(1609) d(1526) 
	 31 d(2134) d(1307) d(1416) d(1084) d(602) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) r(1504,1487) d(1838) r(1085,1086) d(1501) d(451) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1764,1682) 
	 30 a(1842,1667) d(1350) r(1628,1598) d(973) r(373,387) r(1504,1487) d(1838) r(1786,1206) 
	 30 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) 
	 31 r(1699,1698) d(805) r(719,661) d(1472) r(2046,1926) d(879) r(2133,2145) d(2138) d(1977) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) 
	 31 r(1699,1698) d(805) r(719,661) d(1472) d(763) d(1521) d(852) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) d(2138) d(610) 
	 29 d(2134) d(1307) a(1580,1300) r(1680,1671) d(863) d(1570) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(826) a(1634,907) a(506,553) 
	 30 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) r(2138,2147) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1922,2087) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) r(1471,1466) a(298,1525) d(1504) 
	 31 a(380,868) d(1637) d(844) d(447) r(1969,2046) 
	 31 d(2134) r(1628,1598) d(966) d(1625) 
	 31 a(1842,1667) d(1350) r(506,518) d(1344) 
	 31 d(2134) r(506,518) r(2123,2129) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) d(936) 
	 31 r(1699,1698) d(805) r(719,661) d(1521) r(1465,1464) d(939) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) d(374) r(1455,1447) 
	 31 a(380,868) d(1637) d(844) d(447) d(1711) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) r(1299,700) d(1637) d(844) r(1465,1477) d(420) 
	  0 r(1699,1698) d(805) r(719,661) d(1472) d(763) d(1521) r(892,851) 
	 31 d(574) d(530) a(1666,1469) r(2046,1926) d(879) r(2133,2145) r(625,630) d(1078) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) r(685,672) 
	 31 a(1842,1667) d(2038) r(915,911) a(1580,1300) a(2087,1992) r(1680,1671) r(1623,1607) d(1067) 
	 30 r(537,505) d(1519) a(1666,1469) d(722) r(786,802) r(1694,1688) a(1697,1281) r(1382,1366) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1507) r(1394,1397) r(1463,469) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(1426) d(944) d(408) 
	 31 a(1009,1257) r(574,580) d(1963) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1678) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) r(1556,1555) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(574,580) d(1098) 
	 31 d(2134) d(1307) r(1628,1598) d(612) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(973) r(1746,1719) d(1522) d(846) d(1607) 
	 30 d(2134) d(1307) r(1628,1598) d(973) r(1746,1719) d(1522) d(846) d(2146) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1575) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) 
	 31 r(537,505) d(1519) d(557) a(553,1521) d(1910) d(1609) r(1287,1286) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) d(997) r(1475,1479) 
	 30 a(380,868) d(1637) d(844) r(640,653) a(380,2131) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) d(997) a(1074,1647) 
	 31 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(506,518) r(378,381) 
	  0 d(2134) d(1095) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) 
	 31 d(2134) r(506,518) d(474) 
	 31 d(2134) d(1307) d(2043) d(1051) r(1299,700) a(1596,1336) a(2115,810) 
	 30 a(1009,1257) a(1691,424) d(1416) d(1084) d(1483) 
	 30 d(2134) d(1307) d(1416) d(1084) d(2124) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) r(1299,700) a(1596,1336) a(811,925) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1416) d(825) r(417,430) 
	 31 d(2134) d(1307) d(1507) r(1394,1397) a(911,915) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1507) r(1394,1397) r(2170,2169) 
	 31 d(2134) d(1307) d(1416) d(825) r(1698,1699) 
	 31 d(2134) d(1307) r(1628,1598) d(973) r(1746,1719) d(1522) d(846) r(523,563) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) d(1598) r(817,813) 
search: generation 7 (sizeof one variant = 0.405343 MB)
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1598) r(817,813) d(2006) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) r(685,672) d(1834) 
	  0 a(1842,1667) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) d(1598) r(817,813) r(892,893) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) a(1691,424) d(1519) d(1084) r(1019,969) d(1977) 
	 31 r(537,505) d(2043) d(1051) a(764,422) a(2138,1418) d(1678) d(2107) 
	 30 a(1842,1667) d(2038) r(915,911) d(717) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1678) r(1497,1503) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) 
	 31 d(2134) d(1307) d(1416) d(1084) d(602) r(1096,1095) 
	 31 a(1052,587) r(842,852) d(1059) d(1787) d(1507) r(1394,1397) r(2170,2169) d(768) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) d(577) 
	 31 a(380,868) d(1637) d(844) d(447) d(1711) d(1359) 
	 31 a(1009,1257) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) 
	 30 d(2134) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) d(924) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) d(586) 
	 31 d(2134) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) r(1895,1832) 
	 31 a(380,868) d(1637) d(844) r(640,653) d(1307) d(1416) d(1084) d(2124) d(892) 
	 31 d(2134) r(2106,2109) r(1707,1769) 
	 31 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) d(1059) 
	 31 d(2134) d(1307) d(1416) d(1084) d(2124) r(1686,1680) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(506,518) r(378,381) r(468,493) 
	 31 d(2134) a(2169,1729) r(1430,981) d(515) r(1471,1466) a(298,1525) d(1504) r(1964,1922) 
	 31 d(2134) d(717) r(574,580) d(1098) a(634,637) 
	 31 a(1842,1667) d(2038) r(915,911) r(506,518) r(2123,2129) d(1682) 
	 31 d(2134) r(506,518) r(2123,2129) a(1419,1132) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(574,580) d(1098) d(1010) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(574,580) d(1098) a(611,1223) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(826) a(1634,907) a(506,553) d(1556) 
	 31 d(2134) d(1307) r(1628,1598) d(612) a(1045,1484) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(936) a(1422,872) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) d(936) r(1756,1750) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) a(2144,1128) 
	 31 d(2134) d(1307) d(2043) a(1951,2153) d(2065) 
	 31 a(380,868) d(1637) d(844) d(447) d(1051) r(1299,700) a(1596,1336) a(2115,810) d(1848) 
	 31 d(2134) d(1307) d(2043) d(1051) r(1299,700) a(1596,1336) a(2115,810) d(1802) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) d(1562) 
	 31 d(2134) d(1307) d(1416) d(1084) d(602) d(2015) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) 
	 29 d(2134) d(1307) d(1416) d(825) r(1698,1699) r(860,900) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) r(685,672) d(408) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) d(1992) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) r(1629,1627) 
	 31 r(1699,1698) d(805) r(719,661) d(1521) r(1465,1464) d(939) d(1283) 
	 30 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(852,897) 
	 31 a(380,868) d(1637) d(844) r(879,826) 
	 30 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1575) d(447) a(1951,2153) d(2138) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1596,1613) 
	 31 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1575) r(636,623) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) 
	 31 a(380,868) d(1637) d(844) d(447) r(1969,2046) r(1954,2025) 
	 31 d(2134) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) d(2147) 
	 31 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) r(1318,1300) 
search: generation 8 (sizeof one variant = 0.40614 MB)
	 30 a(380,868) d(1637) d(844) d(447) d(1051) r(1299,700) a(1596,1336) a(2115,810) d(1848) d(598) 
	 31 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) d(1059) r(2002,2038) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) r(1628,1598) d(966) d(1625) d(671) r(1696,1692) 
	 31 d(2134) d(1445) d(445) r(1082,1070) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) r(1693,1697) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) a(2167,1124) 
	 31 a(1009,1257) d(1307) d(1416) d(557) d(725) r(1524,1519) 
	 30 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) a(553,1521) d(1910) d(1609) d(635) a(925,2074) r(649,650) 
	 30 a(1009,1257) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) r(1414,1405) 
	 30 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(1561) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1596,1613) d(969) 
	 30 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1596,1613) d(1350) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) a(1951,2153) r(1649,1638) d(1290) 
	 31 a(380,868) d(1637) d(844) d(447) d(725) d(1578) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(932) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(1412) 
	 29 r(1699,1698) d(805) r(719,661) d(1521) r(1465,1464) d(939) d(1283) a(1016,1635) 
	 31 r(537,505) d(2043) d(1051) a(764,422) a(2138,1418) d(1678) d(2107) r(583,572) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1596,1613) d(2026) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) d(577) d(922) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) r(799,790) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) d(1992) r(1519,1523) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) d(826) a(1634,907) a(506,553) d(1556) d(1488) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1596,1613) d(1690) 
	 31 a(380,868) d(1637) d(844) d(447) r(1969,2046) r(1954,2025) d(2129) 
	 31 d(2134) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1666) 
	 31 d(2134) r(2106,2109) r(1707,1769) r(844,550) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) a(935,586) 
	 30 d(2134) d(1307) d(1519) d(1084) r(1019,969) r(1715,1706) d(1577) 
	 30 r(537,505) d(1416) d(1084) d(2124) r(1686,1680) r(779,781) 
	 30 d(2134) d(1307) d(1416) d(1084) d(2124) r(1686,1680) r(1452,1430) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) 
	 31 d(2134) r(1628,1598) d(930) 
	  1 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(966) d(1625) d(671) r(900,863) 
	 30 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) 
	 29 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) r(1084,1081) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) a(1691,424) d(1519) d(1084) r(1019,969) d(1977) d(1487) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1598) r(817,813) d(2006) d(1580) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(2043) a(1951,2153) d(2065) d(1477) 
	 30 d(2134) d(1307) d(763) d(1521) r(1903,1814) r(1629,1627) a(798,1636) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) r(1629,1627) d(1531) 
	 31 d(2134) d(1307) d(2043) a(1951,2153) d(2065) a(1998,1913) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) a(1066,810) 
	 31 a(1842,1667) r(685,672) d(1834) r(1754,1771) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) r(685,672) d(1834) r(780,781) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) d(414) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) a(2144,1128) d(845) 
	  0 a(1009,1257) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) d(1671) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) 
	  0 a(1009,1257) a(1691,424) d(2043) d(1051) a(764,422) a(2138,1418) d(1575) r(636,623) r(743,763) 
	  0 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) d(1059) a(2069,2054) 
	  0 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) a(472,1589) 
	  0 d(2134) r(506,518) r(2123,2129) a(1419,1132) r(851,822) 
search: generation 9 (sizeof one variant = 0.406681 MB)
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) r(1732,1736) 
	 30 a(380,868) d(1637) d(530) a(1666,1469) d(763) d(1521) r(1903,1814) d(1992) r(1519,1523) a(588,609) 
	 30 d(2134) d(1637) d(844) r(1082,1070) a(1663,1915) 
	 31 d(2134) d(1445) d(445) d(447) a(1951,2153) r(1649,1638) d(582) r(1070,566) 
	 30 d(2134) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(619,926) 
	 31 d(2134) d(1445) d(445) r(1082,1070) a(1511,1437) 
	 31 a(1842,1667) d(2038) r(915,911) d(863) r(1386,1356) a(1951,2153) r(1649,1638) d(1290) r(1843,1850) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(717) a(1691,424) d(1519) d(1084) r(1019,969) d(1977) d(1487) r(1540,1571) 
	 30 a(1842,1667) d(2038) r(915,911) d(717) a(1691,424) d(1519) d(1084) r(1019,969) d(1977) d(1487) d(2142) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) a(1951,2153) r(1649,1638) d(1290) d(821) 
	 31 d(2134) d(1637) d(1834) r(1754,1771) d(365) 
	 31 a(1842,1667) r(685,672) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(572,1137) 
	 31 d(2134) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(1492,1502) 
	 31 a(1842,1667) r(685,672) d(1834) r(1754,1771) d(1297) 
	 30 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1097) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1487,1521) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(1412) d(424) 
	 31 d(2134) r(1628,1598) d(930) a(928,1345) 
	 30 r(537,505) d(1416) d(1084) d(2124) r(1686,1680) r(779,781) r(1527,1520) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) a(2167,1124) r(1649,1665) 
	 31 r(537,505) a(2169,1729) d(1335) 
	 30 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) a(1393,1469) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) r(1304,1319) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) a(509,1918) 
	 31 a(1009,1257) d(1307) a(2137,1464) 
	 31 d(2134) r(2106,2109) r(1707,1769) r(844,550) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) r(1414,1405) r(1427,1393) 
	 31 a(1009,1257) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) r(1414,1405) d(583) 
	 30 d(2134) r(2106,2109) r(1707,1769) r(844,550) r(1383,1339) 
	 31 d(2134) d(1307) a(1772,1572) d(1582) 
	 29 a(1009,1257) r(574,580) d(1963) d(1754) d(1519) d(1084) r(1019,969) r(1715,1706) d(1577) d(1054) 
	 31 d(2134) d(1307) d(1519) d(1084) r(1019,969) r(1715,1706) d(1577) r(1290,1322) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) r(2010,2052) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) d(606) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) r(1693,1697) a(442,865) 
	 31 d(2134) d(1307) a(1580,1300) d(826) d(966) d(1625) d(671) a(2167,1124) d(365) 
	 31 d(2134) r(1628,1598) a(1634,907) d(1445) d(445) a(781,1334) a(1414,1598) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1632,1515) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) a(2167,1124) r(859,860) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(932) r(2142,2131) 
	  0 d(2134) r(506,518) r(2123,2129) a(1419,1132) r(851,822) d(1503) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) d(1445) d(445) r(1082,1070) d(1578) 
	 31 d(2134) a(1772,1572) r(1779,1714) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) d(1525) 
	 31 d(2134) d(1445) d(445) r(1082,1070) d(1304) 
	 31 a(1842,1667) d(1350) r(640,653) r(2106,2109) d(1059) r(2002,2038) r(819,814) 
	 31 a(380,868) d(1637) d(844) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(932) r(2107,2108) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(932) r(1671,1684) 
	 31 a(380,868) d(1637) d(844) r(640,653) r(2106,2109) d(1059) r(2002,2038) r(848,1570) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) a(1066,810) a(2054,2017) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(1412) a(1606,1246) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) a(2144,1128) d(845) a(771,704) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1666) d(2056) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) r(799,790) d(1070) 
	 31 a(380,868) d(1637) d(530) a(1666,1469) d(2043) a(1951,2153) d(2065) d(1477) d(805) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1759) 
	 30 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) a(1504,1501) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) 
	 30 a(1009,1257) d(1307) d(1416) d(557) a(553,1521) d(1910) d(1609) d(635) a(925,2074) r(1414,1405) r(380,379) 
search: generation 10 (sizeof one variant = 0.408037 MB)
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) r(1732,1736) d(1405) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) d(1525) d(1466) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1759) d(1849) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) a(1066,810) a(2054,2017) r(728,684) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1759) d(1467) 
	 31 a(1842,1667) d(2038) r(915,911) d(717) r(417,458) d(1350) r(1628,1598) d(973) r(662,721) a(2087,1992) d(1859) r(685,672) a(932,1133) a(1066,810) a(2054,2017) d(1023) 
	 31 r(537,505) a(2169,1729) d(671) a(2167,1124) r(1649,1665) d(2128) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(1335) a(2146,906) 
	 31 r(537,505) a(2169,1729) d(1335) d(1736) 
	 30 d(2134) r(1628,1598) d(966) d(1625) d(671) a(2167,1124) r(1649,1665) a(581,724) 
	 31 a(380,868) r(2106,2109) r(1082,1070) d(1304) d(2128) 
	 31 d(2134) d(1445) d(445) r(1707,1769) d(1666) d(2056) a(1456,704) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1666) d(2056) r(896,859) 
	 31 d(2134) d(1445) d(445) r(1082,1070) d(1304) d(666) 
	 31 a(1009,1257) r(574,580) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1487,1521) a(1366,1301) 
	 31 d(2134) d(1963) d(1754) d(1445) d(445) r(1082,1070) d(1578) d(1456) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) d(1445) d(445) r(1082,1070) d(1578) d(1424) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1487,1521) r(1285,1286) 
	 31 d(2134) d(1307) a(1772,1572) d(1582) d(1430) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) d(606) d(534) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1097) r(1100,1099) 
	 31 a(380,868) d(1637) d(844) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) d(725) d(932) r(2107,2108) a(886,897) 
	 31 r(537,505) d(1519) r(1908,1843) 
	 30 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) d(1084) r(1019,969) r(1715,1706) d(1096) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) a(1393,1469) d(1394) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) d(631) a(1393,1469) d(703) 
	 30 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) r(461,416) 
	 31 r(537,505) a(2169,1729) d(1572) r(1855,1850) r(1085,1086) d(1501) r(2157,2166) r(947,936) r(799,790) d(1070) r(813,812) 
	 31 r(537,505) a(2169,1729) d(1335) d(935) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) d(1293) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1632,1515) d(1525) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1632,1515) d(1698) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) d(366) 
	 30 a(1842,1667) r(685,672) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(572,1137) r(1419,1850) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1666) d(2056) a(2114,1644) 
	 31 r(537,505) d(1519) d(1084) r(1019,969) r(1715,1706) d(1096) d(1759) d(912) 
	 31 a(1842,1667) r(685,672) d(1834) r(1754,1771) d(1297) a(724,1817) 
	 30 d(2134) d(1307) a(1580,1300) d(826) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(1492,1502) r(1651,1660) 
	 31 d(2134) d(1637) a(1634,907) d(1445) d(445) a(781,1334) a(1487,1521) r(1065,1066) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1487,1521) a(1423,1764) 
	 31 d(2134) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(1492,1502) d(460) 
	 31 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(1412) d(424) d(1660) 
	 31 a(1009,1257) r(574,580) d(1963) d(1754) a(1772,1572) d(1525) r(1081,1073) 
	 31 d(2134) d(1307) d(1519) d(1084) r(1019,969) r(1715,1706) d(1577) r(1290,1322) a(1568,2115) 
	 30 d(2134) d(1307) d(1519) d(1084) r(1019,969) r(1715,1706) d(1577) r(1290,1322) d(780) 
	 31 d(2134) r(1628,1598) d(966) a(1772,1572) r(1779,1714) d(896) 
	 31 d(2134) d(1625) d(671) r(1574,1522) d(1697) d(387) 
	 31 d(2134) r(1628,1598) d(966) d(1625) d(671) r(1574,1522) d(1697) d(675) 
	 31 d(2134) a(1772,1572) r(1779,1714) r(1706,782) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(1492,1502) r(1650,1659) 
	 31 d(2134) d(1666) d(2056) a(894,906) 
	 31 a(380,868) r(2106,2109) r(1707,1769) d(1666) d(2056) d(1754) 
	 31 d(2134) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(582) a(1492,1502) r(896,856) 
	 31 d(2134) d(1307) d(966) d(1625) d(671) a(2167,1124) d(365) d(2049) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1632,1515) r(1075,1797) 
	 31 d(2134) d(1307) a(1580,1300) d(826) a(1634,907) d(1445) d(445) a(781,1334) a(1632,1515) r(730,722) 
	 31 d(2134) d(1307) a(1580,1300) d(826) d(966) d(1625) d(671) a(2167,1124) d(365) d(808) 
	 31 a(1009,1257) d(1519) r(662,721) a(2087,1992) r(1680,1671) d(863) r(1386,1356) a(2144,1128) d(845) a(771,704) d(2133) 
	 31 a(1842,1667) d(1350) r(1628,1598) d(966) r(1680,1671) d(863) r(1386,1356) a(1951,2153) r(1649,1638) d(1290) d(821) a(1895,1797) 
	 30 a(380,868) d(1637) d(844) d(447) a(1951,2153) r(1649,1638) d(1412) d(424) r(775,804) 
	 31 d(2134) d(1307) a(1580,1300) d(826) d(966) d(1625) d(671) a(2167,1124) d(365) a(2068,1257) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 19748
"Test Suite Evaluations": 62.6921

Compile Failures: 0
Wall-Clock Seconds Elapsed: 28279.1
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             618 790.579 = 2.9156%
  test                              20057 26324.719 = 97.0837%
  TOTAL                                   27115.479 = 95.8853% (avg CPU usage)
python-bug-69945-69946.tar.gz
Tue Sep 24 01:53:45 EDT 2013
shutting down
