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 316
--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-184-61-34 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:06: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 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/tmpff461d.c /tmp/tmp220a65.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)
	p315: true (1)
	p316: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 447.042)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2348
cilRep: stmts in weighted_path = 1280
cilRep: total weight = 492.1
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: Modules/_json.c (code bank/base file; atoms [1,2348])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.374525 MB)
search: initial population (sizeof one variant = 0.0251255 MB)
	 31 r(2339,2346) 
	 31 d(866) 
	 31 a(1121,364) 
	 31 a(2143,1085) 
	 31 a(2251,2061) 
	 31 d(1534) 
	 31 d(1612) 
	 31 r(1314,1351) 
	 31 d(1104) 
	 31 d(861) 
	 31 a(1851,1364) 
	 31 d(1019) 
	 31 a(1715,1739) 
	 31 r(977,1635) 
	 31 a(613,2062) 
	 31 d(416) 
	 31 a(773,903) 
	 31 a(1094,1119) 
	 31 r(1235,1869) 
	 31 r(1864,1828) 
	 31 r(1630,526) 
	 31 r(2207,2181) 
	 31 d(1140) 
	 31 r(943,901) 
	 31 a(746,541) 
	 31 a(1707,796) 
	 31 r(1488,827) 
	 31 d(1776) 
	 31 d(1603) 
	 31 d(2110) 
	 31 a(669,573) 
	 31 a(936,1066) 
	 31 a(1613,361) 
	 31 r(2159,1264) 
	 31 a(299,1543) 
	 31 d(543) 
	 31 r(591,554) 
	 31 d(1755) 
	  0 d(1560) 
	 31 original
search: generation 1 (sizeof one variant = 0.374928 MB)
	 31 d(866) r(1960,2033) 
	 31 r(1235,1869) a(2235,1354) 
	 31 r(977,1635) d(2097) 
	 31 a(773,903) r(1054,864) 
	 31 r(977,1635) d(1311) 
	 31 a(773,903) d(968) 
	 31 r(1488,827) a(2245,2239) 
	 31 d(416) d(1444) 
	 31 r(1488,827) d(1278) 
	 31 d(416) d(2121) 
	 31 a(669,573) d(1535) 
	 31 a(773,903) d(528) 
	 31 d(1755) d(439) 
	 31 a(613,2062) r(932,1052) 
	 31 d(543) a(565,1525) 
	 31 a(2143,1085) r(1255,1265) 
	 31 a(2251,2061) d(1312) 
	 31 d(1019) a(941,1053) 
	 31 r(1314,1351) d(796) 
	 31 a(746,541) r(750,1058) 
	 31 a(2143,1085) r(1618,1599) 
	 31 a(613,2062) r(624,655) 
	 31 a(2143,1085) r(846,808) 
	 31 a(613,2062) r(2306,2264) 
	 31 r(977,1635) r(2249,2265) 
	 31 r(1314,1351) d(810) 
	 31 d(1612) a(805,778) 
	 31 d(1104) d(2020) 
	 31 r(1314,1351) r(737,736) 
	 31 a(1613,361) d(1990) 
	 31 r(1314,1351) r(900,1053) 
	 31 a(1613,361) a(524,700) 
	 31 d(828) 
	 31 r(2159,1264) d(2268) 
	 31 a(1851,1364) a(1744,1883) 
	 31 d(1140) a(2225,2025) 
	 31 d(416) a(2002,1874) 
	 31 r(1630,526) a(1121,526) 
	 31 d(416) r(700,524) 
	 31 r(1630,526) d(2281) 
	 31 d(1019) d(1932) 
	 31 r(1235,1869) d(2337) 
	 31 a(669,573) r(615,556) 
	 31 d(1139) 
	 31 d(1603) d(762) 
	 31 a(746,541) a(808,2228) 
	  0 d(866) a(814,826) 
	 31 r(2207,2181) d(1604) 
	 31 d(1612) d(1702) 
	 31 r(2159,1264) r(1490,626) 
	 31 d(1612) r(2233,2250) 
	 31 r(2159,1264) r(1698,1694) 
search: generation 2 (sizeof one variant = 0.375744 MB)
	 31 a(1613,361) d(1990) r(1878,1884) 
	 31 d(828) r(1614,1596) 
	 31 d(416) r(700,524) r(2101,2102) 
	 31 r(1630,526) d(2281) d(1109) 
	 31 r(1630,526) d(2281) r(846,808) r(1871,1834) 
	 31 a(2143,1085) a(814,790) 
	 31 r(1630,526) d(2281) a(2331,736) 
	 31 a(2143,1085) r(846,808) r(739,764) 
	 31 a(1613,361) d(1990) d(1121) 
	 31 r(977,1635) d(2097) r(766,764) 
	 31 a(1613,361) d(1990) a(1079,1110) 
	 31 r(977,1635) d(2097) d(1009) 
	 31 d(1104) d(2020) r(877,1025) 
	 31 r(977,1635) d(1311) d(842) 
	 31 r(1314,1351) d(810) d(2268) a(1492,2263) 
	 31 r(2159,1264) d(419) 
	 31 r(1314,1351) d(810) a(1013,953) 
	 31 r(2159,1264) d(2268) d(2091) 
	 31 d(1603) d(762) r(2249,2265) d(999) 
	 31 r(977,1635) d(840) 
	 31 d(1603) d(762) d(917) 
	 31 r(977,1635) r(2249,2265) r(1985,1928) 
	 31 r(1630,526) d(2281) d(443) 
	 31 a(613,2062) r(2306,2264) d(773) 
	 31 d(1140) a(2225,2025) r(624,655) a(1344,1488) 
	 31 a(613,2062) d(1314) 
	 31 d(1140) a(2225,2025) d(2213) 
	 31 a(613,2062) r(624,655) d(918) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) 
	 31 r(1488,827) a(1728,1993) 
	 31 a(746,541) r(750,1058) r(699,650) 
	 31 r(1488,827) d(1278) a(2111,2159) 
	 31 d(866) d(1702) r(828,787) 
	 31 d(1612) r(1960,2033) r(1280,1274) 
	 31 d(866) r(1960,2033) a(650,2127) 
	 31 d(1612) d(1702) d(622) 
	 31 d(416) d(2121) d(932) 
	 31 r(1314,1351) d(796) d(1559) 
	 31 d(416) d(2121) r(369,374) 
	 31 r(1314,1351) d(796) d(1271) 
	 31 d(416) d(1782) 
	 31 a(613,2062) r(624,655) d(1444) r(1188,1261) 
	 31 d(416) d(1444) r(1488,1306) 
	 31 a(613,2062) r(624,655) d(938) 
	 31 d(1019) d(1932) r(1603,1619) 
	 31 r(1314,1351) r(737,736) r(1488,1631) 
	 31 r(1235,1869) d(2337) d(2312) 
	 31 d(828) a(766,1856) 
	 31 d(1139) d(1944) 
	 31 r(1314,1351) d(810) d(2004) 
	 31 r(1314,1351) d(796) a(753,2192) 
	 31 d(1140) a(2225,2025) d(1638) 
	 31 r(1488,827) d(1119) 
	 31 a(613,2062) r(932,1052) a(2245,2239) d(1950) 
	 31 r(1488,827) a(2245,2239) r(737,773) 
	 31 a(613,2062) r(932,1052) d(2337) 
	 31 a(1851,1364) a(1744,1883) d(1955) 
	 31 d(1612) d(1702) d(374) 
	 31 r(2159,1264) r(1490,626) r(1598,1607) 
	 31 d(1019) a(941,1053) r(773,753) 
	 31 r(2159,1264) r(1490,626) d(930) 
	 31 d(1019) a(941,1053) a(693,1735) 
search: generation 3 (sizeof one variant = 0.376207 MB)
	  0 r(977,1635) d(840) r(800,816) 
	  0 d(416) d(1444) r(1488,1306) d(1929) 
	 31 r(1488,827) d(1119) d(1340) 
	 31 r(1314,1351) d(810) a(1013,953) r(1925,1980) 
	 31 r(1488,827) d(1119) a(1892,2041) 
	 31 r(1488,827) d(1119) d(987) 
	 31 a(613,2062) d(1314) a(739,1630) 
	 31 d(866) r(1960,2033) a(650,2127) d(1262) 
	 31 d(1603) d(762) r(2249,2265) d(792) 
	 31 d(1603) d(762) d(917) d(999) r(610,417) 
	 31 d(1603) d(762) r(2249,2265) d(999) d(1767) 
	 31 d(1603) d(762) d(917) d(2007) 
	 31 d(828) a(766,1856) d(2296) 
	 31 d(828) a(766,1856) r(2211,2221) 
	 31 d(1603) d(762) d(917) r(2277,2305) 
	 31 r(1488,827) a(2245,2239) r(737,773) d(1307) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) 
	 31 a(613,2062) r(1985,1928) d(1432) 
	 31 r(977,1635) r(2249,2265) r(1985,1928) d(2045) 
	 31 a(613,2062) d(1314) a(555,785) 
	 31 a(1613,361) d(1990) r(1878,1884) r(397,403) a(993,1052) 
	 31 a(746,541) r(750,1058) d(1278) r(414,412) 
	 31 a(1613,361) d(1990) r(1878,1884) d(2176) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) d(2150) 
	 31 a(1851,1364) a(1744,1883) d(1955) d(932) 
	 31 a(613,2062) r(624,655) d(918) d(2326) 
	 31 d(416) r(1110,1125) 
	 31 r(1630,526) d(2281) a(2331,736) d(2121) d(932) r(2139,2294) 
	  0 d(416) d(2121) d(932) r(791,809) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) 
	 31 d(1140) a(2225,2025) d(1638) d(1314) a(882,860) 
	 31 a(613,2062) r(401,374) 
	 31 d(1140) a(2225,2025) d(1638) r(415,441) 
	 31 a(613,2062) d(1314) r(2190,2188) 
	 31 a(2143,1085) a(814,790) d(563) 
	 31 r(1235,1869) d(2337) d(2312) r(962,940) 
	 31 a(2143,1085) a(814,790) r(397,404) 
	 31 r(1235,1869) d(2337) d(2312) d(1939) 
	 31 r(1314,1351) d(796) d(1559) d(1955) 
	 31 a(1613,361) d(1990) d(1121) r(2204,2218) 
	 31 r(977,1635) d(2097) a(808,2326) 
	 31 d(1139) d(1944) d(1009) r(1948,1995) 
	 31 r(977,1635) d(2097) d(1009) d(2180) 
	 31 d(1139) d(1944) d(1247) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) 
	 31 d(1140) a(2225,2025) d(2213) d(2131) 
	 31 r(1630,526) d(2281) d(1990) d(1121) d(2201) 
	 31 a(1613,361) r(846,808) r(1871,1834) d(2194) 
	 31 r(1630,526) d(2281) r(846,808) r(1871,1834) a(834,2162) 
	  1 a(1613,361) d(1990) d(1121) r(1562,1558) 
	 31 a(613,2062) r(624,655) a(1944,544) 
	 31 r(977,1635) d(2097) d(1009) d(918) d(434) 
	 31 a(613,2062) r(624,655) d(918) a(1192,2051) 
	 31 r(977,1635) d(2097) d(1009) r(1187,1251) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) r(752,764) 
	 31 a(1851,1364) a(1744,1883) d(1955) d(1774) 
	 31 d(1603) r(877,1025) d(1681) 
	 31 d(1104) d(2020) d(762) d(917) d(2016) 
	 31 d(1603) d(762) d(917) r(2326,1632) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) 
search: generation 4 (sizeof one variant = 0.377295 MB)
	 31 a(2143,1085) r(1983,1877) d(2077) 
	 31 r(977,1635) r(2249,2265) d(1314) a(814,790) d(563) d(1572) 
	 31 a(2143,1085) a(814,790) d(563) d(671) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(2239,2231) 
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) 
	 31 r(1235,1869) d(2337) d(2312) d(1939) d(2336) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(848,801) 
	 31 r(1630,526) d(2281) d(1990) d(1121) d(2201) r(842,810) 
	 31 r(1630,526) d(2281) a(2331,736) d(2121) d(932) r(2139,2294) a(769,571) 
	 31 d(1139) d(1944) d(1247) d(2096) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) 
	 31 r(1488,827) r(401,374) a(1867,1858) 
	 31 a(613,2062) r(401,374) a(1928,1959) 
	 31 r(1488,827) d(1119) d(987) r(932,958) 
	  0 d(1140) a(2225,2025) d(1638) d(791) 
	  1 a(1613,361) r(846,808) r(1871,1834) d(2194) r(415,441) a(774,1841) 
	 31 d(1140) a(2225,2025) d(1638) r(415,441) a(2154,571) 
	 31 a(1613,361) r(846,808) r(1871,1834) d(2194) d(977) 
	 31 a(2143,1085) a(814,790) r(397,404) d(760) 
	 31 d(1603) d(762) d(917) d(999) r(610,417) r(1441,1326) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) 
	 31 r(1630,526) d(2281) a(2331,736) d(2121) d(932) r(2139,2294) a(976,1326) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) r(996,900) d(1370) 
	 31 r(1630,526) d(2281) a(2331,736) a(744,586) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) d(1278) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) a(953,364) 
	 31 r(977,1635) d(2097) d(1009) d(2180) d(1604) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) a(2227,821) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1473,1463) 
	 31 d(1603) r(489,809) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(2109,2076) 
	 31 d(1603) r(877,1025) d(1681) d(921) 
	 31 d(1104) d(2020) r(877,1025) r(2190,2188) r(1337,1429) 
	 31 a(613,2062) d(1314) r(1989,2033) r(1317,1326) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) 
	 31 r(977,1635) d(2097) a(808,2326) a(739,1630) d(2155) 
	 31 a(613,2062) d(1314) a(2337,2206) 
	 31 r(977,1635) d(2097) a(808,2326) d(1241) 
	 31 a(613,2062) d(1314) a(739,1630) d(784) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) d(2016) 
	 31 d(1603) d(762) d(917) d(2007) d(2221) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(1931,1844) 
	 31 a(1613,361) d(1990) d(1121) r(2204,2218) r(1943,2100) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) d(2150) d(1157) 
	 31 r(1630,526) d(2281) a(2331,736) d(2121) d(932) r(2139,2294) r(771,741) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) r(752,764) d(1818) 
	 31 r(1314,1351) d(810) a(1013,953) r(1925,1980) a(950,991) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) r(752,764) r(1161,1126) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) r(752,764) d(2281) 
	 31 a(2143,1085) a(814,790) d(1955) a(1556,1235) 
	 31 r(1314,1351) d(796) d(1559) r(397,404) a(738,1209) 
	 31 a(2143,1085) a(814,790) r(397,404) a(487,1884) 
	 31 r(1314,1351) d(796) d(1559) d(1955) r(1160,1120) 
search: generation 5 (sizeof one variant = 0.378347 MB)
	 31 a(613,2062) d(1314) d(2015) 
	 31 a(613,2062) d(1314) a(2337,2206) r(2190,2188) d(2050) r(802,822) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) r(1162,1140) 
	 31 a(613,2062) d(1314) a(2337,2206) a(2281,1861) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(2239,2231) a(1858,624) 
	 31 a(613,2062) d(1314) r(1989,2033) r(1317,1326) a(1953,1895) 
	 31 a(2143,1085) a(814,790) r(397,404) d(760) d(804) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) d(1091) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(848,801) r(1441,1349) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) d(1278) r(2022,1858) 
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) r(416,457) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) d(1278) d(736) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1473,1463) r(781,828) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(848,801) d(2341) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1473,1463) r(1838,1928) 
	 31 r(977,1635) r(2249,2265) d(1314) a(814,790) d(563) d(1572) r(801,805) 
	 31 d(1139) d(1944) d(1247) d(2096) r(918,991) 
	 31 r(1314,1351) d(796) d(1559) r(397,404) a(738,1209) d(573) 
	 31 a(613,2062) d(1314) a(2337,2206) a(730,975) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) 
	 31 d(1603) r(489,809) r(487,1667) 
	 31 a(2143,1085) a(814,790) d(1955) a(1556,1235) r(1726,1797) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) r(1265,1204) d(1021) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) d(1565) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) 
	 31 a(613,2062) d(862) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(1998) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(553) 
	 31 a(613,2062) r(1985,1928) r(2190,2188) d(2050) d(1086) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) r(517,515) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) 
	  1 a(613,2062) d(1314) r(1989,2033) r(1317,1326) r(397,403) r(752,764) d(2281) r(770,775) 
	  0 a(746,541) r(750,1058) d(1278) d(2320) 
	 31 a(613,2062) d(1314) r(1989,2033) r(1317,1326) d(632) 
	 31 a(746,541) r(750,1058) d(1278) r(397,403) r(752,764) d(2281) r(1765,1728) 
	 31 r(1488,827) d(1119) d(987) r(932,958) d(442) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) r(450,442) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(1931,1844) r(732,741) 
	 31 d(1603) r(489,809) r(847,814) 
	 31 d(866) d(1314) a(814,790) d(563) d(1572) r(1438,1308) 
	 31 r(977,1635) r(2249,2265) d(1702) r(828,787) r(1187,1232) r(996,900) d(1370) r(907,941) 
	 31 d(866) d(1702) r(828,787) r(1187,1232) r(996,900) d(1370) r(1779,1766) 
	 31 r(977,1635) r(2249,2265) d(1314) a(814,790) d(563) d(1572) r(1255,1209) 
	 31 r(1488,827) r(401,374) a(1867,1858) r(1816,1700) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(2194,2167) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) d(1135) 
	 31 r(1235,1869) d(2337) d(2312) d(1939) d(2336) d(1432) a(1704,1364) r(770,774) 
	 31 a(613,2062) r(1985,1928) r(1972,1929) 
	 31 r(1235,1869) d(2337) d(2312) d(1939) d(2336) r(1063,877) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) r(793,804) 
search: generation 6 (sizeof one variant = 0.379091 MB)
	 31 d(866) d(1702) r(828,787) r(1187,1232) d(1278) r(2022,1858) r(901,912) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) r(1276,1280) 
	 31 r(1488,827) d(1119) d(987) r(932,958) d(442) r(896,1009) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) r(1265,1204) d(1021) r(837,838) 
	 31 a(613,2062) r(1985,1928) r(2190,2188) d(1013) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(2050) d(1086) a(727,528) 
	 31 a(613,2062) r(1985,1928) r(2190,2188) d(2050) d(1086) d(831) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(1767) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) a(750,1543) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) a(559,361) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) r(1265,1204) d(1021) r(1516,1476) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) d(858) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) r(1265,1204) d(1021) a(1592,2096) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) r(2300,2268) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1473,1463) r(781,828) r(1796,1801) 
	 31 r(1488,827) r(401,374) a(1867,1858) r(1816,1700) d(1312) 
	 31 a(613,2062) d(1314) r(1989,2033) r(1317,1326) a(1953,1895) a(414,1109) 
	 31 r(977,1635) r(2249,2265) d(1702) r(828,787) r(1187,1232) r(996,900) d(1370) r(907,941) a(2223,544) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) a(941,1630) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(1998) r(2146,2091) 
	 31 a(613,2062) d(862) r(1725,1710) 
	 31 a(613,2062) d(862) r(833,778) 
	 31 a(613,2062) d(862) d(1767) 
	 31 a(613,2062) d(862) r(1516,417) 
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) r(416,457) r(596,533) 
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) r(416,457) a(1022,1841) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) r(489,809) a(1556,1235) r(1705,1755) r(1992,808) 
	 31 d(1603) d(1091) a(1472,1845) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) d(1091) a(586,1552) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) d(997) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) a(814,790) r(397,404) d(760) d(804) a(1575,750) 
	 31 a(2143,1085) r(517,515) d(1762) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) r(517,515) a(2260,2057) 
	 31 a(2143,1085) a(814,790) r(397,404) d(760) d(804) r(1268,1271) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) d(621) 
	 31 r(1630,526) r(1800,1807) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) r(1760,2278) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) a(2173,1792) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) r(1265,1204) d(1021) r(2181,2176) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) r(1882,1879) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) a(440,1591) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) r(2214,2206) 
	 31 a(2143,1085) a(814,790) d(1955) d(1944) d(1247) d(2096) r(918,991) d(916) 
	 31 d(1139) r(1490,1948) d(1105) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) 
	 31 d(1139) d(1944) d(1247) d(2096) r(918,991) a(1782,2066) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) r(1441,1349) r(1763,1732) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(848,801) d(1995) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) d(1456) 
	 31 r(977,1635) r(2249,2265) d(1314) r(1983,1877) r(848,801) r(1441,1349) a(1056,1883) 
	 31 r(1488,827) d(1119) d(1340) r(2326,1632) r(1931,1844) r(732,741) d(1244) 
	 31 d(1603) d(762) d(917) r(2144,2151) d(519) d(2207) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) r(2036,1988) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(1931,1844) r(732,741) d(2247) 
	 31 a(2143,1085) r(2197,2195) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) a(814,790) r(397,404) d(760) d(804) a(826,2272) 
	 31 a(2143,1085) a(814,790) r(397,404) d(760) d(804) d(437) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) d(1471) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) r(793,804) a(1079,1461) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) 
search: generation 7 (sizeof one variant = 0.379895 MB)
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) a(1556,1235) r(1705,1755) r(1992,808) r(2135,2149) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) r(489,809) r(416,457) a(1022,1841) a(2309,1884) 
	 31 r(1235,1869) d(1314) r(1983,1877) d(818) r(416,457) a(1022,1841) d(1868) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) r(489,809) a(1556,1235) r(1705,1755) r(1992,808) d(654) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) r(793,804) a(1079,1461) a(455,1721) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) d(639) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) r(793,804) a(1079,1461) r(594,672) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) d(2259) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) r(2300,2268) r(1806,1782) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) d(858) a(1074,1096) 
	 31 r(1630,526) r(1800,1807) r(1209,1135) 
	 31 a(2143,1085) r(517,515) d(1762) d(726) 
	 31 a(613,2062) d(1955) r(1490,1948) r(933,1009) r(877,1060) 
	 31 a(2143,1085) a(814,790) d(1314) d(1432) a(1704,1364) d(1985) a(750,1543) r(774,769) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) a(750,1543) d(2336) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) r(655,531) 
	 31 r(1630,526) d(2207) d(1887) 
	 31 d(1603) d(762) d(917) r(2144,2151) d(519) r(1800,1807) r(2022,2006) 
	 31 r(1630,526) r(1800,1807) r(2230,2270) 
	 31 d(1603) d(762) d(917) r(2144,2151) d(519) d(2207) r(1252,1260) 
	 31 d(1603) r(489,809) a(1556,1235) r(2190,2188) d(2050) d(441) r(916,1030) r(903,2227) 
	 31 a(613,2062) d(1314) r(1705,1755) d(1471) r(1774,1349) 
	 31 d(1603) r(489,809) a(1556,1235) r(1705,1755) d(1471) r(1764,1755) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) a(1279,1782) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) a(1575,750) r(1638,1635) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) a(814,790) r(397,404) d(760) d(804) r(1368,1436) d(1091) a(586,1552) r(486,851) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) d(1091) a(586,1552) r(1855,1235) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) a(814,790) r(397,404) d(760) d(804) a(1575,750) r(2221,2192) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(1931,1844) r(732,741) d(2247) a(785,2178) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) a(814,790) r(397,404) d(760) d(804) a(1575,750) d(861) 
	 31 r(1488,827) d(1119) d(1340) d(519) d(2207) d(1246) 
	 31 d(1603) d(762) d(917) r(2144,2151) r(2144,2151) d(519) r(2036,1988) r(1818,1814) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) r(2036,1988) r(1488,769) 
	 31 d(1603) d(762) d(917) r(2144,2151) d(519) d(2207) d(2308) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(1767) r(776,772) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) r(1882,1879) d(1062) 
	 31 a(2143,1085) a(814,790) r(397,404) d(760) d(804) r(1268,1271) a(2342,609) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) r(1882,1879) d(1707) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(1931,1844) r(732,741) d(2247) r(2149,2085) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(1767) r(789,801) 
	 31 a(613,2062) d(1119) d(2195) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) d(987) r(1059,918) r(793,804) a(1079,1461) a(694,1087) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) r(793,804) a(1079,1461) r(1534,1237) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) d(1853) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) r(1276,1280) d(1280) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) a(559,361) r(1928,1988) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) a(559,361) r(725,727) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) r(1276,1280) r(731,736) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) r(517,515) d(1762) a(819,843) 
	 31 a(2143,1085) r(1441,1349) r(1763,1732) r(860,1001) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) r(1441,1349) r(1763,1732) r(1005,945) 
	 31 a(2143,1085) r(517,515) d(1762) a(1139,1127) 
	 31 a(613,2062) r(1985,1928) r(2190,2188) d(1823) d(1456) r(1310,1312) 
	  0 a(613,2062) d(1119) d(987) r(1059,918) d(1013) r(800,831) 
	 31 a(613,2062) r(1985,1928) r(2190,2188) d(1013) r(2050,1949) 
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) d(1456) r(958,1060) 
	 31 a(613,2062) d(862) r(1725,1710) d(1627) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) r(1760,2278) r(1870,1850) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) r(1760,2278) a(1303,2320) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) d(1985) d(2050) d(1086) a(727,528) a(1358,2089) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(2050) d(1086) a(727,528) d(2112) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) r(1760,2278) a(1878,1829) 
	 31 r(977,1635) r(2249,2265) d(2337) d(2312) d(1939) r(1368,1436) r(489,809) a(1556,1235) r(1705,1755) r(1992,808) a(2306,1855) 
	 31 a(613,2062) d(862) r(833,778) r(1341,1370) 
search: generation 8 (sizeof one variant = 0.381453 MB)
	 31 a(613,2062) d(1119) d(987) r(1059,918) d(1823) d(1456) r(958,1060) a(1096,977) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) a(559,361) r(1928,1988) d(1970) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) a(559,361) r(725,727) d(971) 
	 31 a(613,2062) d(1314) r(1705,1755) d(1471) r(1774,1349) r(840,836) 
	 31 d(1603) r(489,809) a(1556,1235) r(2190,2188) d(2050) d(441) r(916,1030) r(903,2227) d(487) 
	 31 r(1630,526) r(1800,1807) r(1209,1135) a(1764,439) 
	 31 a(613,2062) d(862) r(1725,1710) d(1627) a(1572,2206) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) a(750,1543) d(2336) d(1693) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) r(2036,1988) r(1488,769) r(1832,2282) 
	 31 r(1630,526) d(2281) a(2331,736) r(996,900) r(2002,1880) d(1314) r(2190,2188) d(2050) d(697) r(1882,1879) d(1707) r(1017,859) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(2036,1988) r(1488,769) d(1052) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) r(916,1030) a(1279,1782) a(2222,603) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) a(1279,1782) d(732) 
	 31 r(1488,827) d(1119) d(1340) r(2144,2151) d(519) r(2036,1988) r(1488,769) a(1344,2337) 
	 31 r(1630,526) d(858) a(1074,1096) r(1831,1832) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) r(1800,1807) r(2230,2270) r(453,443) 
	 31 r(1630,526) r(1800,1807) r(2230,2270) d(795) 
	 31 a(613,2062) r(1985,1928) d(1432) a(1704,1364) d(1951) d(858) a(1074,1096) d(585) 
	 31 a(2143,1085) a(814,790) d(1314) d(1432) a(1704,1364) d(1985) a(750,1543) r(774,769) r(368,395) 
	 31 d(1603) d(762) d(917) r(2326,1632) r(877,1025) d(1681) r(1983,1877) r(848,801) a(775,2164) r(1760,2278) r(1870,1850) a(764,760) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) d(2259) d(2261) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) r(1742,1755) a(559,361) r(1928,1988) d(1270) 
	 31 d(1104) d(2020) r(877,1025) r(1989,2033) r(1265,1204) r(1742,1755) a(559,361) r(1928,1988) r(1726,1709) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) d(2259) a(954,2254) 
	 31 a(613,2062) d(1009) d(2180) r(724,720) r(1703,1778) a(559,361) r(725,727) d(1973) 
	 31 r(977,1635) d(2097) d(1955) r(1490,1948) r(933,1009) r(877,1060) a(2007,1700) 
	 31 a(613,2062) d(1955) r(1490,1948) r(933,1009) r(877,1060) a(1617,1621) 
	 31 r(977,1635) d(2097) d(1009) d(2180) r(724,720) r(1703,1778) a(559,361) r(725,727) r(794,892) 
	 31 a(613,2062) d(1314) d(1432) a(1704,1364) d(1985) d(1767) r(776,772) a(732,1525) 
	 31 a(613,2062) d(1314) r(2190,2188) d(2050) d(441) r(916,1030) d(2259) a(1093,1122) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) d(987) r(1059,918) r(793,804) r(1725,1710) d(1627) r(372,395) 
	 31 a(613,2062) d(862) a(1079,1461) a(694,1087) d(2209) 
	 31 a(2143,1085) a(814,790) d(1955) r(1490,1948) r(933,1009) d(987) r(1059,918) r(793,804) a(1079,1461) a(694,1087) a(1432,1313) 
*** 720m timeout
python-bug-70019-70023.tar.gz
Tue Sep 24 06:03:45 EDT 2013
shutting down
