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 5
--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-212-161-44 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:01 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/tmpc37aca.c /tmp/tmp5270ce.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 = 371.119)
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)
	 30 r(890,896) 
	 31 d(1583) 
	 31 a(1502,1670) 
	 31 a(684,2074) 
	 31 a(1301,1518) 
	 31 d(416) 
	 31 d(926) 
	 31 r(1699,1698) 
	 31 d(1835) 
	 31 d(1531) 
	 31 a(1043,1729) 
	 31 d(380) 
	 31 a(1380,1423) 
	 31 r(2018,2035) 
	 31 a(2087,2019) 
	 31 d(722) 
	 31 a(1023,907) 
	 31 a(1842,1820) 
	 31 r(2022,1985) 
	 31 r(1722,1756) 
	 31 r(907,705) 
	 31 r(1473,1477) 
	 31 d(1696) 
	 31 r(748,761) 
	 31 a(1024,1297) 
	 31 a(958,958) 
	 31 r(856,899) 
	 31 d(494) 
	 31 d(1028) 
	 31 d(1354) 
	 31 a(1995,1069) 
	 31 a(564,1637) 
	 31 a(1034,1764) 
	 31 r(529,1887) 
	 31 a(1413,1069) 
	 31 d(1605) 
	 31 r(650,647) 
	 31 d(589) 
	 31 d(880) 
	 31 original
search: generation 1 (sizeof one variant = 0.401131 MB)
	 31 d(1835) a(1660,926) 
	 31 a(1024,1297) a(1948,1997) 
	 31 a(573,1075) 
	 31 r(529,1887) r(1927,2020) 
	 31 r(1394,1457) 
	 31 r(529,1887) r(1926,1973) 
	  0 d(1028) r(1664,1658) 
	 31 a(1301,1518) r(1413,1444) 
	 31 d(1028) a(1556,931) 
	 31 a(1301,1518) a(2082,1333) 
	 31 d(722) d(2021) 
	 31 d(926) r(1804,1887) 
	 31 r(1473,1477) d(1042) 
	 31 r(529,1887) d(1655) 
	 31 d(1696) r(505,536) 
	 31 d(1583) r(549,567) 
	 31 r(907,705) a(872,1817) 
	 31 d(380) r(706,684) 
	 31 r(2018,2035) d(1578) 
	 31 r(1699,1698) a(454,445) 
	 31 d(1605) d(1501) 
	 31 d(880) d(1343) 
	 31 d(926) r(1699,1698) 
	 31 r(2018,2035) d(740) 
	 31 d(926) d(1399) 
	 31 r(2018,2035) r(554,564) 
	 31 a(1034,1764) a(730,529) 
	 31 r(1699,1698) d(894) 
	 31 r(2022,1985) d(1533) 
	 31 r(856,899) d(462) 
	 31 a(1024,1297) d(1556) 
	 31 r(2022,1985) r(655,652) 
	 30 a(1024,1297) r(1053,1054) 
	 31 r(2022,1985) d(2098) 
	 31 a(1995,1069) r(2125,2124) 
	 31 a(1043,1729) d(1581) 
	 31 a(1023,907) d(1376) 
	 31 a(1023,907) d(562) 
	 31 a(2087,2019) d(1981) 
	 31 r(1699,1698) r(1488,1483) 
	 31 a(1995,1069) a(1455,1886) 
	 31 d(722) r(479,456) 
	 31 a(1995,1069) d(1751) 
	 31 d(722) d(1686) 
	 31 d(380) a(1528,822) 
	 31 d(1583) d(1361) 
	 30 r(907,705) a(1096,1418) 
	 31 a(1043,1729) d(818) 
	 31 a(684,2074) d(423) 
	 31 d(589) r(911,1336) 
search: generation 2 (sizeof one variant = 0.401714 MB)
	 31 r(1699,1698) r(1488,1483) d(689) 
	 31 d(880) d(1343) a(751,1425) 
	 31 d(722) d(2021) d(2021) d(611) 
	 31 d(722) d(476) 
	 31 d(722) d(2021) a(1589,1299) 
	 31 d(722) d(2021) a(750,869) 
	 31 d(1696) r(505,536) r(1277,1274) 
	 31 a(1995,1069) r(2125,2124) r(1474,1469) 
	 31 r(2022,1985) d(377) 
	 31 r(1473,1477) d(1042) d(1533) a(899,1518) 
	 31 r(2022,1985) d(1533) d(2129) 
	 31 r(1473,1477) d(1042) d(2031) 
	 31 a(1034,1764) d(1903) 
	 31 r(856,899) d(462) a(730,529) r(423,406) 
	 31 a(1034,1764) a(730,529) d(2020) 
	 31 r(856,899) d(462) r(701,732) 
	 31 d(926) r(1699,1698) r(1313,1312) 
	 31 r(1699,1698) d(894) d(403) 
	 31 d(880) d(1343) d(2168) 
	 31 d(722) d(1686) a(1996,1572) 
	 31 d(926) d(1399) r(1047,1038) 
	  0 a(1023,907) d(1376) r(922,921) 
	 31 d(1835) a(1660,926) r(1912,1137) 
	 31 a(1043,1729) d(1581) a(830,1918) 
	 31 d(1835) a(1660,926) d(728) 
	 31 a(1043,1729) d(1581) d(467) 
	 31 d(926) r(1699,1698) r(647,493) 
	 31 a(1024,1297) d(1556) d(1952) 
	 31 d(926) r(1699,1698) a(2175,1944) 
	  0 a(1024,1297) d(1556) d(2169) 
	 31 d(926) d(1399) a(1089,1038) 
	 31 a(1301,1518) r(1413,1444) d(685) 
	 31 a(1023,907) d(562) d(299) 
	 31 d(1835) a(1660,926) a(1299,1307) 
	 31 a(1023,907) d(1376) r(2049,2079) 
	 30 d(589) r(911,1336) d(775) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) 
	 30 a(1995,1069) d(809) 
	 31 d(1583) r(549,567) d(2083) 
	 31 a(1995,1069) d(1751) d(1680) 
	 31 a(1043,1729) d(818) d(1581) d(1093) 
	 31 a(1043,1729) a(1999,2059) 
	 31 a(1043,1729) d(818) r(1410,1403) 
	 31 a(1043,1729) d(1581) d(966) 
	 31 r(1473,1477) d(1042) a(1897,1815) 
	 31 d(722) d(1686) a(851,826) 
	 29 a(1043,1729) d(1581) d(1693) 
	 31 r(1394,1457) d(2129) 
	 29 a(1043,1729) d(1581) a(1070,1765) 
	 31 r(1394,1457) d(1487) 
	 29 d(1583) d(1361) d(1655) r(1011,1019) 
	 28 r(529,1887) r(2087,1944) 
	 31 d(1583) d(1361) r(1651,1655) 
	 31 r(529,1887) d(1655) a(1473,536) 
	 31 d(722) r(479,456) d(2058) 
	 31 d(722) r(479,456) d(1793) 
	 31 d(722) r(479,456) a(1017,2050) 
	 31 d(722) r(479,456) d(1637) 
	 31 r(856,899) d(1381) 
	 31 a(1301,1518) r(1413,1444) d(462) r(1407,1393) 
	  0 r(856,899) d(462) d(1664) 
	 31 a(1301,1518) r(1413,1444) a(1405,1127) 
search: generation 3 (sizeof one variant = 0.40275 MB)
	 31 a(1043,1729) a(1660,926) a(1299,1307) r(1441,1422) 
	 31 d(1835) d(818) r(1410,1403) d(1507) 
	 31 a(1043,1729) d(818) r(1410,1403) r(1645,1655) 
	 30 d(1835) a(1660,926) a(1299,1307) r(605,602) 
	 31 d(722) r(479,456) a(2175,1944) a(368,1141) 
	 31 d(926) r(1699,1698) d(1793) r(1719,1761) 
	 31 d(722) r(479,456) d(1793) a(1659,1516) 
	 31 d(926) r(1699,1698) a(2175,1944) a(1711,888) 
	 31 r(1699,1698) r(1488,1483) d(689) a(750,869) r(725,733) 
	 31 d(722) d(2021) a(1528,1132) 
	 31 r(1699,1698) r(1488,1483) d(689) r(1042,1038) 
	 31 d(722) d(2021) a(750,869) d(1277) 
	 31 d(926) r(1699,1698) a(2175,1944) d(821) 
	 30 d(1835) a(1660,926) r(1912,1137) a(957,424) 
	 31 a(1043,1729) d(1977) 
	 31 a(1043,1729) d(818) r(1410,1403) a(1999,2059) d(820) 
	 31 a(1043,1729) a(1999,2059) d(841) 
	 31 a(1043,1729) d(818) r(1410,1403) d(1052) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) 
	 31 d(880) d(1908) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) r(846,869) 
	 31 d(880) d(1343) d(2168) r(1300,905) 
	 30 d(722) d(476) d(1509) 
	 31 r(529,1887) r(2087,1944) a(2089,2083) 
	 30 a(1301,1518) r(1413,1444) d(685) r(722,702) 
	 31 r(1699,1698) d(894) d(403) a(1389,1515) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) r(1418,1701) 
	 31 d(722) d(476) r(550,555) 
	 29 a(1023,907) d(1903) r(1053,1054) 
	 30 a(1034,1764) d(1376) r(2049,2079) d(736) 
	  0 a(1023,907) d(1376) r(2049,2079) d(2169) 
	 31 a(1034,1764) d(1903) r(1030,1029) 
	 31 a(1023,907) d(1376) r(2049,2079) r(1277,1274) r(2161,2162) 
	 31 d(1696) r(505,536) a(530,587) 
	 31 a(1023,907) d(1376) r(2049,2079) a(1471,427) 
	 31 d(1696) r(505,536) r(1277,1274) d(649) 
	 31 d(722) d(2021) r(479,456) d(2058) a(1728,1777) 
	 31 d(722) a(750,869) d(1939) 
	 31 d(722) d(2021) a(750,869) d(1582) 
	 31 d(722) r(479,456) d(2058) d(1032) 
	 31 r(1699,1698) d(973) 
	 31 a(1043,1729) d(818) d(1581) d(1093) d(894) d(403) r(1070,910) 
	 31 r(1699,1698) d(894) d(403) d(1018) 
	 30 a(1043,1729) d(818) d(1581) d(1093) d(2107) 
	 31 d(722) d(1751) d(1680) a(1519,1124) 
	 31 a(1995,1069) r(479,456) d(1793) a(575,1425) 
	 31 d(722) r(479,456) d(1793) r(1422,790) 
	 31 a(1995,1069) d(1751) d(1680) d(1986) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) d(652) 
	 31 r(1699,1698) r(1488,1483) d(689) r(2133,2132) 
	 31 r(1699,1698) d(894) d(403) d(1579) 
	 31 d(722) d(1686) a(851,826) d(2156) 
	 30 d(722) d(476) r(586,2035) 
	 29 d(1835) a(1660,926) a(1299,1307) r(755,744) 
	 30 d(926) r(1699,1698) d(1042) a(1897,1815) d(1851) 
	 30 r(1473,1477) r(647,493) d(2119) 
	 31 d(926) r(1699,1698) r(647,493) d(1787) 
	  1 r(1473,1477) d(1042) a(1897,1815) r(1671,1682) 
	 31 r(1473,1477) d(1042) a(1897,1815) d(1533) d(2129) r(665,730) 
	  0 r(2022,1985) r(2172,2171) 
	 30 r(1473,1477) d(1042) a(1897,1815) r(767,743) 
	 31 r(2022,1985) d(1533) d(2129) a(977,1576) 
	 31 a(1043,1729) d(1581) d(966) r(935,948) 
	 31 r(856,899) d(462) r(701,732) r(1062,1061) 
search: generation 4 (sizeof one variant = 0.40379 MB)
	 31 d(722) d(2168) r(1300,905) r(812,929) 
	 31 d(880) d(1343) d(2021) a(750,869) d(1277) d(2145) 
	 31 d(722) d(2021) a(750,869) d(1277) r(2157,2160) 
	 31 d(880) d(1343) d(2168) r(1300,905) r(538,525) 
	 31 d(722) d(1686) a(851,826) d(2156) r(394,446) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) 
	 31 d(722) d(1751) d(1680) a(1519,1124) r(1413,1444) d(685) r(722,702) r(2064,1943) 
	 31 a(1301,1518) r(1776,1782) 
	 31 d(722) d(1751) d(1680) a(1519,1124) a(954,872) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) 
	 31 a(1023,907) d(1376) r(2049,2079) a(1471,427) r(808,794) 
	 31 d(722) d(2021) r(479,456) d(2058) a(1728,1777) d(590) 
	 31 r(1699,1698) r(1422,790) r(469,483) 
	 31 d(722) r(479,456) d(1793) d(894) d(403) a(1389,1515) d(499) 
	 31 r(1699,1698) d(894) d(403) a(1389,1515) a(1897,1396) 
	 31 d(722) r(479,456) d(1793) r(1422,790) d(650) 
	 31 a(1995,1069) r(479,456) r(1277,1274) d(649) r(468,425) 
	 31 d(1696) r(505,536) d(1793) a(575,1425) r(1488,1481) 
	 31 a(1995,1069) r(479,456) d(1793) a(575,1425) r(914,906) 
	 31 d(1696) r(505,536) r(1277,1274) d(649) r(833,871) 
	 31 d(722) d(1908) r(1276,1274) 
	 31 d(880) d(2021) a(1528,1132) a(1463,1573) 
	  0 d(722) d(2021) a(1528,1132) d(1671) 
	 31 d(880) d(1908) r(2059,2046) 
	 31 d(722) d(1686) a(851,826) d(2156) d(1939) d(410) 
	 31 d(722) a(750,869) r(932,982) 
	 31 d(722) d(1686) a(851,826) d(2156) d(434) 
	  0 d(722) a(750,869) d(1939) d(922) 
	 31 d(722) d(476) r(550,555) a(1540,1438) 
	 31 d(880) d(1343) d(2168) r(1300,905) d(1532) 
	 31 a(1043,1729) d(818) r(1410,1403) r(1645,1655) a(1652,1428) 
	 31 d(880) d(1908) a(1922,1274) 
	 31 a(1034,1764) d(1903) r(1030,1029) r(1582,1560) 
	 31 d(722) d(476) r(586,2035) r(1910,1904) 
	 30 d(722) d(2021) a(750,869) d(1277) r(1636,1300) 
	 31 r(1699,1698) r(1488,1483) d(689) a(750,869) r(725,733) d(1357) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) r(846,869) r(720,679) 
	  0 d(722) d(2021) a(1528,1132) r(1063,1064) 
	 31 a(1023,907) d(1376) r(2049,2079) a(1471,427) d(2148) 
	 31 a(1023,907) d(2129) 
	 30 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1376) r(2049,2079) a(1471,427) a(793,542) 
	 31 a(1023,907) d(1376) r(2049,2079) a(1471,427) d(1508) 
	 30 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) 
	 31 d(926) r(1699,1698) r(647,493) d(1787) r(1958,2014) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1668) 
	 30 d(1583) d(2058) a(1728,1777) d(1077) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(706,685) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(789) 
	 31 d(722) d(2021) r(479,456) d(2058) a(1728,1777) r(2070,1996) 
	 31 r(1699,1698) d(894) d(403) d(1042) a(1897,1815) d(1533) d(2129) r(665,730) r(1098,1097) 
	 31 r(1473,1477) d(1018) d(1285) 
	 30 r(1699,1698) d(894) d(403) d(1018) r(2145,2137) 
	 30 r(1473,1477) d(1042) a(1897,1815) d(1533) d(2129) r(665,730) d(875) 
	 30 r(1699,1698) d(894) d(403) d(1018) d(818) r(1410,1403) a(1999,2059) d(820) d(2069) 
	 31 a(1043,1729) d(1927) 
	  0 r(1699,1698) d(894) d(403) d(1018) d(1669) 
	 31 a(1043,1729) d(818) r(1410,1403) a(1999,2059) d(820) d(926) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1025) 
	 31 a(1043,1729) d(818) d(1581) d(1093) d(894) d(403) r(1070,910) d(837) 
search: generation 5 (sizeof one variant = 0.404471 MB)
	 31 a(1301,1518) d(685) r(722,702) r(538,520) r(1520,1519) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) 
	 31 a(1301,1518) r(1776,1782) d(1278) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) r(2080,1998) 
	 30 d(1583) r(394,446) d(375) 
	 30 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) 
	 30 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) a(822,890) 
	 30 d(722) d(1686) a(851,826) d(2156) r(394,446) d(726) 
	 31 d(880) d(1908) a(1922,1274) d(1307) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1025) r(1918,722) 
	 31 r(1473,1477) d(1018) r(538,520) r(578,581) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) 
	 31 r(1473,1477) d(1018) d(1285) d(1833) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) d(1692) 
	 31 d(722) d(476) r(550,555) a(1540,1438) d(1572) 
	 31 a(1301,1518) r(1776,1782) d(1339) 
	 31 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1376) r(2049,2079) a(1471,427) a(793,542) d(803) 
	 29 d(722) r(479,456) d(1793) d(894) d(403) a(1389,1515) d(499) d(1644) 
	 31 d(722) d(2021) a(750,869) d(1277) r(2157,2160) r(1354,1353) 
	 31 d(722) d(2021) a(750,869) d(1277) r(2157,2160) a(538,1805) 
	 30 d(722) d(2021) a(750,869) d(1277) r(2157,2160) r(2128,2114) 
	 31 d(722) d(2021) a(750,869) d(1277) r(2157,2160) d(1995) 
	 30 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(1050) 
	 31 d(722) r(479,456) d(1793) r(1422,790) d(650) d(2168) a(1479,1224) d(789) d(2017) 
	 29 d(1583) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(789) r(770,743) 
	 30 d(722) r(479,456) d(1793) r(1422,790) d(650) r(2109,2106) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(654) 
	 31 d(722) a(750,869) r(932,982) r(1081,1074) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(492) 
	 31 d(722) a(750,869) r(932,982) a(1375,377) 
	 31 a(1043,1729) d(818) r(1410,1403) r(1645,1655) a(1652,1428) d(1085) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) d(2050) 
	 31 d(880) d(1343) d(2021) a(750,869) d(1277) d(2145) d(1967) 
	 31 d(722) a(750,869) r(932,982) a(1091,844) 
	 31 r(1699,1698) d(616) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) r(1422,790) r(469,483) d(1314) 
	 31 r(1699,1698) r(1422,790) r(469,483) r(1633,1616) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(1448) 
	 31 d(722) d(1908) r(1276,1274) r(1349,1359) 
	 31 a(1023,907) d(2129) r(404,497) 
	 31 d(880) d(1908) a(1922,1274) r(1970,2042) 
	 31 d(926) r(1699,1698) r(647,493) d(1787) r(1958,2014) a(2079,1481) 
	 31 d(722) r(479,456) d(2058) d(1032) d(1557) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) 
	  0 d(880) d(1908) a(1922,1274) d(2172) 
	  0 r(1699,1698) r(1488,1483) r(538,520) r(1886,1247) 
	  0 a(1301,1518) r(1413,1444) d(685) r(722,702) d(689) a(750,869) r(725,733) d(1357) a(1770,724) 
	  0 r(1699,1698) r(1488,1483) d(689) a(750,869) r(725,733) d(1357) d(859) 
	  0 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) d(1745) 
	 31 d(926) r(1699,1698) r(647,493) d(1787) r(1958,2014) d(1382) 
	 29 d(722) d(2168) r(1300,905) r(812,929) d(2162) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) 
	 31 a(1043,1729) d(1927) a(1786,1800) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(706,685) r(1468,2038) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(552,565) 
	 29 a(1034,1764) a(851,826) d(2156) r(394,446) r(1359,1375) 
	 30 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) 
	 30 r(1699,1698) d(894) d(403) a(1389,1515) a(1897,1396) d(2143) 
	 31 a(1995,1069) r(479,456) r(1277,1274) d(649) r(468,425) r(1344,1361) 
search: generation 6 (sizeof one variant = 0.405328 MB)
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(492) d(1505) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) 
	 31 a(1301,1518) r(1776,1782) d(1278) a(750,869) r(932,982) r(1081,1074) r(560,562) 
	 31 d(722) r(837,826) 
	 31 a(1301,1518) r(1776,1782) d(1278) r(899,834) 
	 31 d(722) a(750,869) r(932,982) r(1081,1074) r(1725,1757) 
	 31 d(722) d(2021) r(479,456) r(706,685) d(579) r(1652,1660) 
	 31 a(1043,1729) d(1927) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) r(1895,1824) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) d(678) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(808) 
	 30 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) d(1658) 
	 30 r(1699,1698) d(616) d(1571) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) r(2162,2160) 
	 31 d(722) d(1908) r(1276,1274) r(1349,1359) r(492,447) 
	 31 a(1301,1518) r(1413,1444) d(685) d(1285) d(1621) r(567,540) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) d(1285) d(1621) r(598,605) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1525,417) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) d(2128) 
	  1 d(880) d(1908) a(1922,1274) d(2172) a(652,626) 
	  0 a(1995,1069) r(479,456) r(1277,1274) d(649) r(468,425) r(1344,1361) r(892,847) 
	 31 r(1699,1698) d(616) d(851) 
	 31 d(880) d(1908) a(1922,1274) d(1307) d(1907) 
	 31 a(1301,1518) r(1413,1444) d(373) 
	 31 a(1043,1729) d(1927) a(1786,1800) d(685) r(722,702) r(538,520) d(2050) r(412,486) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(538,520) d(2050) a(931,1706) 
	 31 a(1043,1729) d(1927) a(1786,1800) a(1366,1637) 
	 31 r(1473,1477) d(1018) r(538,520) r(578,581) r(1984,1916) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(552,565) d(1843) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) r(1491,1508) 
	 31 a(1034,1764) d(579) a(1953,1765) 
	 31 a(1043,1729) d(1927) r(706,685) d(1903) r(1030,1029) d(973) r(1422,790) r(469,483) d(1314) r(1518,1669) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) r(1422,790) r(469,483) d(1314) d(1067) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(1344) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) 
	 31 d(722) d(2021) d(1307) d(1396) 
	 31 d(880) d(1908) a(1922,1274) d(1307) a(779,808) 
	  0 d(722) d(2021) a(750,869) d(1277) r(2157,2160) a(538,1805) r(901,886) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(456,423) 
	 31 d(1583) r(394,446) d(375) r(1792,1014) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) r(1094,1093) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) 
	 31 a(1034,1764) d(1903) r(1645,1659) 
	 31 d(722) a(750,869) r(932,982) a(1091,844) r(1030,1029) d(973) d(1448) a(2143,1576) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(1448) r(767,762) 
	 31 d(722) a(750,869) r(932,982) a(1091,844) a(448,1418) 
	 31 r(1473,1477) d(1018) d(1285) d(1833) d(1031) 
	 30 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) 
	 31 d(722) r(479,456) r(706,685) d(579) r(385,386) 
	 31 a(1043,1729) d(1927) d(2058) d(1032) d(729) r(629,627) r(1655,1660) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(1075) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) a(805,804) 
	 31 a(1301,1518) r(1776,1782) d(1339) r(1070,1383) 
	 31 d(880) d(1343) d(2021) a(750,869) d(973) a(841,1422) a(1094,903) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1277) d(2145) d(1967) r(1054,1053) 
	 31 d(880) d(1343) d(2021) a(750,869) d(1277) d(2145) d(1967) a(953,1224) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) d(1335) 
search: generation 7 (sizeof one variant = 0.405198 MB)
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) r(767,762) d(361) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(1448) d(1285) d(1621) r(598,605) r(498,468) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) d(1285) d(1621) r(598,605) r(2161,2163) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(1448) r(767,762) a(800,1422) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1091,844) a(448,1418) r(462,485) 
	 31 d(722) a(750,869) r(932,982) a(1525,417) a(1897,438) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1525,417) r(838,879) 
	 31 d(722) a(750,869) r(932,982) a(1091,844) a(448,1418) d(2088) 
	 31 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(552,565) d(1843) r(800,807) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(2035,1996) r(1915,672) 
	 31 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) d(1607) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(552,565) d(1843) r(1997,2070) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) r(982,973) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(552,565) d(1843) a(765,1481) 
	 31 d(722) d(2021) a(841,1422) d(1335) a(567,424) 
	  0 a(1034,1764) d(1903) r(1030,1029) d(973) d(1307) d(1396) d(1063) 
	  0 d(722) d(2021) d(1307) d(1396) r(1647,1800) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) d(1335) a(1274,1300) 
	 31 r(1473,1477) d(1018) r(538,520) r(578,581) r(1984,1916) d(1428) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) r(373,371) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1277) d(2145) d(1967) r(1054,1053) d(1566) 
	 31 d(722) a(750,869) r(932,982) r(1081,1074) r(1725,1757) a(442,450) 
	 30 a(1034,1764) d(1903) r(1030,1029) d(973) d(492) d(1505) r(1505,1487) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) r(1491,1508) d(1066) 
	 31 a(1301,1518) r(1413,1444) d(729) d(1033) r(1094,1093) a(790,1404) 
	 31 d(880) d(1908) a(1922,1274) d(373) a(1009,998) 
	 31 a(1301,1518) r(1413,1444) d(373) a(1923,888) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) r(1094,1093) r(2071,2039) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1033) d(1014) d(1531) 
	 30 d(880) d(1908) a(1922,1274) d(729) r(1500,1496) d(678) d(1657) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) d(678) d(1521) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) a(801,569) 
	  0 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) d(1664) 
	  0 d(722) a(750,869) r(932,982) a(1091,844) r(1030,1029) d(973) d(1448) a(2143,1576) d(1099) 
	 31 d(722) d(1908) r(1276,1274) r(1349,1359) r(492,447) d(845) 
	 31 a(1043,1729) d(1927) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) r(1895,1824) d(2006) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) d(1285) d(1621) r(598,605) d(2122) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) d(2128) r(1445,1444) 
	  0 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(892) 
	 31 d(722) d(1908) r(1276,1274) r(1349,1359) r(492,447) a(1040,1299) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) r(1413,1444) d(685) d(1285) d(1621) r(567,540) d(1907) 
	 31 a(1301,1518) d(1075) a(2026,928) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(1075) a(2132,844) 
	 31 a(1301,1518) r(1413,1444) d(685) d(1285) d(1621) r(567,540) r(781,782) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) r(1025,1026) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) d(1833) 
	 31 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) d(1658) r(1340,1820) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) a(954,930) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) a(1559,553) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) d(1438) 
	 30 a(1301,1518) r(1776,1782) d(1339) r(1070,1383) a(1665,1133) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) d(2118) 
	 31 a(1301,1518) r(1776,1782) d(1339) r(1070,1383) r(2112,1888) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(808) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) a(1445,1589) 
	 31 d(722) a(1031,1346) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(808) r(2058,2018) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) r(1290,1306) 
search: generation 8 (sizeof one variant = 0.406711 MB)
	 31 a(1301,1518) r(1413,1444) a(954,930) r(2070,2019) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) d(729) d(1033) r(1094,1093) a(790,1404) a(552,1281) 
	 31 a(1301,1518) r(1413,1444) d(729) d(1033) r(1094,1093) a(790,1404) d(445) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) a(954,930) r(2145,2141) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) d(1448) r(767,762) a(800,1422) a(939,907) 
	 31 a(1301,1518) r(1413,1444) d(729) d(1033) r(1094,1093) a(790,1404) d(652) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(808) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) a(1445,1589) a(1465,1396) 
	 31 d(722) d(1908) r(1276,1274) r(1349,1359) r(492,447) d(845) d(1693) 
	 31 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) d(1658) r(1340,1820) d(584) 
	 30 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) d(1607) r(1773,1718) 
	 30 a(1301,1518) r(1340,1820) d(1065) 
	 30 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) d(1658) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) r(373,371) r(610,613) 
	 31 a(1301,1518) r(1413,1444) r(1776,1782) a(1338,1425) r(1632,1616) r(373,371) a(1025,1301) 
	 31 d(722) d(1686) a(851,826) d(2156) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(2156,2164) d(1551) d(1658) r(1340,1820) r(408,466) 
	 31 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(552,565) d(1843) r(800,807) d(546) 
	 30 a(1301,1518) r(1413,1444) d(729) d(1033) r(1094,1093) a(790,1404) r(743,761) 
	 31 d(722) d(1686) d(1903) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) d(1607) r(770,742) 
	 31 d(722) d(1686) r(1030,1029) d(973) r(552,565) d(1843) a(765,1481) d(1493) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(552,565) d(1843) a(765,1481) d(680) 
	 30 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) d(1607) d(515) 
	 29 d(880) d(1908) a(1922,1274) d(729) d(1033) d(1014) d(1438) r(1570,1577) 
	 31 d(722) d(1686) d(1903) r(1030,1029) d(973) r(2035,1996) r(1915,672) d(818) 
	 31 d(880) d(1908) a(1922,1274) d(729) a(954,930) r(1041,1045) 
	 30 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) d(1033) r(1094,1093) r(2071,2039) d(1658) 
	 31 d(880) d(1908) a(1922,1274) d(729) d(1033) r(1094,1093) r(2071,2039) r(1058,1057) 
	 31 d(880) d(1908) a(1922,1274) a(750,869) d(1277) r(2157,2160) a(538,1805) d(1820) a(954,930) d(1900) 
	 31 r(1473,1477) d(1018) r(538,520) r(578,581) r(1984,1916) d(1428) r(483,416) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1033) d(1014) d(1531) a(529,1647) 
	 30 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) a(1274,1300) a(1073,1422) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) d(1335) d(1621) r(1491,1508) d(1066) d(1463) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) r(1491,1508) d(1066) a(1918,1792) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) d(1335) a(1274,1300) a(1780,1288) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) r(410,391) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) d(2128) r(1445,1444) r(1383,1376) 
	 31 d(722) d(2021) r(479,456) d(1285) d(1621) r(567,540) d(1907) a(708,661) 
	 30 a(1043,1729) d(1927) r(706,685) d(579) r(1413,1444) d(685) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1033) d(1014) d(1531) r(1934,2062) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1033) d(1014) d(1531) a(1077,888) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) r(1413,1444) d(685) d(1285) d(1621) r(567,540) d(1907) a(896,860) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(729) r(629,627) a(1032,2134) d(2057) d(1574) 
	 31 d(722) r(479,456) d(2058) d(1032) d(1621) a(1525,417) r(838,879) r(374,381) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1525,417) r(838,879) d(591) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) r(931,1516) 
	 30 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) d(1285) d(1621) r(598,605) d(1621) a(1091,844) a(448,1418) r(462,485) d(459) 
	 30 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(2122) a(1627,1463) 
	 30 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) d(1285) d(1621) r(598,605) d(2122) r(2056,1923) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1091,844) a(448,1418) r(462,485) d(626) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) d(1833) a(1009,998) r(1439,1397) 
	 31 d(880) d(1908) a(1922,1274) d(373) r(459,474) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) d(1833) a(811,888) 
	 30 d(880) d(1908) a(1922,1274) d(373) a(1009,998) d(1468) 
	 31 d(722) d(2021) a(841,1422) d(1335) a(567,424) d(1998) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) r(767,762) d(361) r(824,872) 
	 31 r(1473,1477) d(1018) r(538,520) r(578,581) r(1984,1916) d(1428) a(2133,587) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) a(299,906) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) d(678) d(1521) r(2067,2049) 
	 31 d(722) a(1031,1346) d(846) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) r(1054,1053) d(1566) r(1995,1974) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(1277) d(2145) d(1967) a(841,1422) d(1335) a(1274,1300) d(722) 
	 31 a(1034,1764) d(1903) r(1030,1029) d(973) a(841,1422) d(1335) a(1274,1300) a(2058,511) 
	 29 a(1034,1764) d(1903) r(1030,1029) d(1277) d(2145) d(1967) r(1054,1053) d(1566) r(2078,2044) 
search: generation 9 (sizeof one variant = 0.407241 MB)
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) d(1033) d(1014) d(1531) a(1077,888) r(2170,2169) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) r(410,391) d(1737) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) d(678) r(722,702) r(722,702) r(767,762) d(361) r(824,872) r(1046,1041) 
	 31 a(1301,1518) r(1413,1444) d(685) d(1521) r(2067,2049) r(417,864) 
	 31 d(722) d(2021) r(479,456) r(549,567) d(1751) a(602,1469) d(1343) d(2168) a(1479,1224) r(1500,1496) d(678) d(1521) r(2067,2049) d(1565) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) r(722,702) r(767,762) d(361) r(824,872) r(1566,1540) 
	 31 a(1043,1729) d(1927) r(706,685) d(579) d(808) r(479,456) d(2058) r(1562,1516) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) d(1833) a(811,888) d(1032) d(729) r(629,627) a(1032,2134) a(1445,1589) a(1465,1396) r(1519,1562) 
	  0 a(1043,1729) d(1927) r(706,685) d(579) d(808) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) a(1445,1589) a(1465,1396) a(872,865) 
	 31 a(1043,1729) d(1927) a(1786,1800) r(1962,2084) d(1833) a(811,888) r(532,506) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) r(931,1516) d(1088) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) d(1621) r(1491,1508) d(1066) a(1918,1792) d(2109) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) r(1491,1508) d(1066) a(1918,1792) a(704,1635) 
	 31 d(722) r(479,456) d(2058) d(1032) d(729) r(629,627) a(1032,2134) d(2057) r(931,1516) r(2133,2146) 
	 31 a(1301,1518) r(1413,1444) a(954,930) r(2070,2019) a(842,879) 
	 30 d(722) d(1686) d(1903) a(851,826) d(2156) r(394,446) r(1413,1404) r(2035,1996) d(1607) r(770,742) a(1589,1589) 
	 31 d(722) r(479,456) d(2058) d(1032) d(1621) a(1525,417) r(838,879) r(374,381) r(1596,1628) 
	 31 a(1301,1518) r(1413,1444) d(685) r(722,702) d(1285) d(1621) a(1091,844) a(448,1418) r(462,485) d(626) r(1312,1325) 
	 31 d(722) r(838,879) r(374,381) d(698) 
	 30 d(722) r(479,456) d(2058) d(1032) d(1621) a(1525,417) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(552,565) d(1843) r(800,807) d(546) r(377,1520) 
	 31 d(722) d(1686) a(851,826) d(2156) r(394,446) r(1413,1404) r(552,565) d(1843) r(800,807) d(546) a(2107,2112) 
*** 720m timeout
python-bug-69945-69946.tar.gz
Tue Sep 24 06:00:43 EDT 2013
shutting down
