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 4
--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-145-201-232 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:05:58 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/tmp6634b8.c /tmp/tmp0d178f.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 = 427.087)
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.0251122 MB)
	 31 r(1133,1085) 
	 31 d(418) 
	 31 d(811) 
	 31 a(778,487) 
	 31 a(2060,1855) 
	 31 d(1800) 
	 31 r(828,791) 
	 31 d(1812) 
	 31 r(2236,1552) 
	 31 r(1307,1316) 
	 31 d(1841) 
	 31 d(2028) 
	 31 d(592) 
	 31 d(1637) 
	 31 d(2258) 
	 31 r(361,660) 
	 31 d(583) 
	 31 d(1348) 
	 31 d(819) 
	 31 d(829) 
	 31 d(898) 
	 31 d(2035) 
	 31 a(773,332) 
	 31 a(799,490) 
	 31 r(2145,2110) 
	 31 r(886,1016) 
	 31 a(1565,853) 
	 31 d(1730) 
	  0 r(1562,1575) 
	 31 a(653,866) 
	 31 a(581,1840) 
	 31 r(772,773) 
	 31 d(1719) 
	 31 d(1153) 
	 31 d(1064) 
	 31 d(2041) 
	 31 d(886) 
	 31 r(753,776) 
	 31 d(2146) 
	 31 original
search: generation 1 (sizeof one variant = 0.37292 MB)
	 31 d(592) a(1960,1927) 
	 31 d(2146) r(1190,1254) 
	 31 d(1064) d(985) 
	 31 a(799,490) r(1762,1708) 
	 31 d(2258) a(1697,1621) 
	 31 d(2146) r(759,774) 
	 31 r(2236,1552) d(2232) 
	 31 d(2059) 
	 31 r(2236,1552) a(758,2310) 
	 31 d(1435) 
	 31 d(1064) r(778,625) 
	 31 a(2060,1855) r(1310,1317) 
	 31 d(1064) a(734,732) 
	 31 a(2060,1855) r(637,534) 
	 31 a(581,1840) d(943) 
	 31 a(1565,853) r(487,1162) 
	 31 d(1348) r(1353,1448) 
	 31 d(1064) d(665) 
	 31 d(1348) r(519,516) 
	 31 d(1064) r(1544,1508) 
	 31 a(2060,1855) r(730,734) 
	 31 r(772,773) a(1837,1644) 
	 31 r(753,776) r(2246,2231) 
	 31 d(418) r(1234,1235) 
	  0 d(1730) r(2346,2344) 
	 31 r(828,791) d(1026) 
	 31 d(1730) r(409,860) 
	 31 r(828,791) a(818,623) 
	 31 d(829) d(842) 
	 31 d(2146) r(668,624) 
	 31 r(753,776) d(739) 
	 31 d(1064) d(1457) 
	  0 r(753,776) d(770) 
	 31 d(1064) r(633,700) 
	 31 r(886,1016) d(773) 
	 31 r(1133,1085) a(1758,665) 
	 31 d(1153) d(1837) 
	 31 d(1812) d(1124) 
	 31 d(2035) d(1685) 
	 31 d(2041) d(947) 
	 31 d(2035) a(1472,1841) 
	 31 d(2041) d(743) 
	  0 r(753,776) d(809) 
	 31 a(778,487) d(1254) 
	 31 r(753,776) d(403) 
	 31 a(778,487) a(375,371) 
	 31 r(2145,2110) d(1203) 
	 31 d(2041) r(918,866) 
	 31 d(418) a(2026,665) 
	 31 r(1133,1085) r(2237,2297) 
	  0 d(418) d(809) 
	 31 r(1133,1085) d(1187) 
	 31 d(2028) r(1889,2305) 
	 31 a(581,1840) d(1337) 
	 31 d(2028) d(1838) 
	 31 a(581,1840) d(812) 
	 31 d(1730) r(1444,1447) 
	 31 d(2035) r(1280,1236) 
	  0 d(1730) r(1566,1488) 
	 31 d(2035) d(2302) 
search: generation 2 (sizeof one variant = 0.375857 MB)
	  0 d(2035) d(1685) d(2331) 
	  0 d(2028) d(1838) r(537,1344) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) 
	 31 r(828,791) a(1560,975) 
	 31 d(1064) r(1544,1508) r(727,1838) 
	 31 r(828,791) a(818,623) r(987,913) 
	 31 d(2146) r(2046,441) 
	 31 d(1064) d(1457) r(759,774) r(1631,1350) 
	 31 d(2146) r(759,774) r(1840,418) 
	 31 d(1064) d(1457) d(773) 
	 31 a(778,487) a(375,371) a(1837,1644) d(1094) 
	 31 r(772,773) d(1516) 
	 31 a(778,487) a(375,371) r(1120,1101) 
	 31 r(772,773) a(1837,1644) a(1495,1591) 
	 31 r(753,776) r(2246,2231) d(2300) 
	 31 d(2146) r(759,774) r(1082,1160) 
	 31 d(1064) r(2246,2231) r(2162,829) 
	 31 r(753,776) r(1544,1508) r(2313,1734) 
	 31 d(1064) r(1544,1508) a(1436,2076) 
	 31 r(753,776) r(2246,2231) r(943,1053) 
	 31 d(2035) r(759,774) d(977) 
	 31 d(2146) d(1685) d(633) 
	 31 d(2035) d(1685) a(2129,2158) 
	 31 d(2146) r(759,774) r(973,1957) 
	 31 d(2028) d(1838) d(985) d(1061) 
	 31 d(1064) r(1621,1879) 
	 31 d(2028) d(1838) a(1352,1845) 
	 31 d(1064) d(985) a(757,1087) 
	 31 d(1730) r(1234,1235) d(1297) 
	 31 d(418) r(409,860) a(582,701) 
	 31 d(1730) r(409,860) d(720) 
	 31 d(418) r(1234,1235) d(1186) 
	 31 r(2145,2110) d(1203) a(758,2310) d(1262) 
	  0 r(2236,1552) a(841,838) 
	 31 r(2145,2110) d(1203) r(2179,2225) 
	 31 r(2236,1552) a(758,2310) d(765) 
	 31 d(2146) r(668,624) d(2287) 
	 31 a(2060,1855) r(637,534) a(633,660) 
	 31 r(2236,1552) a(758,2310) r(1686,1687) 
	 31 r(2236,1552) d(2232) a(2085,853) 
	 31 d(2035) a(1472,1841) r(535,657) 
	 31 a(581,1840) d(812) d(2230) 
	 31 d(1064) r(1544,1508) d(2250) 
	 31 r(2236,1552) a(758,2310) r(1920,1858) 
	 31 d(1064) r(1544,1508) a(2028,864) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) 
	 31 d(2028) d(1838) r(2085,2145) 
	 31 a(581,1840) d(1337) d(949) 
	 31 d(1435) a(1781,1923) 
	 31 d(2041) d(743) d(2039) 
	 31 d(1435) r(2068,2152) 
	 31 d(2041) d(743) d(638) 
	 31 d(2146) r(668,624) d(1244) 
	 31 r(753,776) r(2246,2231) r(2114,2081) 
	 31 d(2041) r(918,866) a(1015,913) 
	 31 a(2060,1855) r(637,534) r(786,821) 
	 31 d(1812) a(814,1013) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) 
	  0 d(1812) d(1124) a(816,825) 
	 31 d(1348) r(519,516) a(299,2100) 
|[compile.pl]|: FAILED TO COMPILE PYTHON 
|[compile.pl]|: TRYING AGAIN, THIS MIGHT TAKE AWHILE! 
|[compile.pl]|: DIDNT WORK, DYING 
	/root/mountpoint-genprog/genprog-many-bugs/python-bug-70019-70023/000159/Modules/_json.c  d(2028) r(730,734) d(2335)  fails to compile
	  0 d(2028) r(730,734) d(2335) 
	 31 a(2060,1855) d(1838) r(1766,1757) 
	 31 d(2028) d(1838) r(602,671) 
	 31 a(2060,1855) r(730,734) r(1644,2144) 
search: generation 3 (sizeof one variant = 0.376609 MB)
	 31 d(1435) r(2068,2152) r(2099,406) 
	 31 d(2041) d(743) d(2039) r(2082,633) 
	 31 r(828,791) a(1560,975) d(1122) 
	 31 d(2041) d(743) d(638) r(766,746) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) 
	 31 d(2041) d(743) d(2039) d(891) 
	 31 d(2146) r(759,774) r(1082,1160) d(1882) 
	 31 a(581,1840) d(812) d(2230) d(859) 
	 31 d(1348) r(519,516) r(2313,1734) r(678,625) 
	 31 r(753,776) r(1544,1508) d(1124) r(1204,1232) r(1443,1342) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) r(1666,1684) 
	 31 r(753,776) r(1544,1508) r(2313,1734) r(2201,2208) 
	 31 r(2145,2110) d(1203) r(2179,2225) d(2215) 
	 31 r(753,776) r(2246,2231) r(2114,2081) a(1964,2024) 
	 31 d(2146) r(759,774) r(973,1957) r(637,534) r(786,821) d(1777) 
	 31 a(2060,1855) r(2050,1970) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) 
	 31 a(2060,1855) r(637,534) r(786,821) r(2265,1806) 
	 31 d(2041) r(1544,1508) d(2250) r(2164,811) 
	 31 d(1064) d(743) d(2039) d(804) 
	 31 d(2041) d(743) d(2039) d(1495) 
	 31 d(1064) r(1544,1508) d(2250) d(2276) 
	  0 r(753,776) r(2246,2231) d(2300) a(1837,1644) a(1495,1591) r(827,792) 
	 31 r(772,773) r(543,700) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) 
	 31 r(772,773) a(1837,1644) a(1495,1591) a(2004,2082) 
	 31 d(2028) d(1838) r(2085,2145) d(2255) 
	 31 d(418) r(409,860) a(582,701) r(1269,1272) 
	 31 r(772,773) d(1685) a(2129,2158) r(609,1776) 
	 31 d(2035) a(1837,1644) a(1495,1591) a(1271,1087) 
	 31 r(772,773) a(1837,1644) a(1495,1591) r(1667,1684) 
	 31 d(2035) d(1685) a(2129,2158) d(2183) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) 
	 31 d(1435) r(2068,2152) r(2185,1765) 
	 31 r(2145,2110) d(1203) a(758,2310) d(1262) r(1186,1280) 
	 31 d(2028) d(1838) r(2085,2145) d(1820) 
	 31 d(2028) a(757,1087) a(773,950) 
	 31 d(1064) d(985) d(1838) d(985) d(1061) r(1996,1978) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) 
	 31 d(1064) d(985) a(757,1087) a(1982,1967) 
	 31 d(2146) a(758,2310) a(1246,1760) d(829) 
	 31 r(2236,1552) r(668,624) d(2287) r(2262,2301) 
	  0 d(2146) r(668,624) d(2287) a(2343,1620) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) 
	 31 d(1064) d(1457) r(759,774) r(1631,1350) d(844) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) 
	 31 d(1064) d(890) 
	 31 d(2146) r(2046,441) a(1469,757) 
	 31 d(1064) r(1544,1508) r(727,1838) r(1110,1086) 
	 31 d(2041) d(743) d(638) d(1160) 
	 31 d(1812) d(1124) a(816,825) d(1822) 
	 31 d(1348) d(1838) r(602,671) d(1278) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) 
	 31 d(2028) d(1838) r(602,671) r(861,955) 
	  1 d(2146) r(668,624) d(2287) r(637,534) a(633,660) a(2335,332) 
	 31 a(2060,1855) r(748,753) 
	 31 d(2146) r(668,624) d(2287) r(1326,1644) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) 
search: generation 4 (sizeof one variant = 0.378295 MB)
	 31 d(1348) r(519,516) r(2313,1734) r(678,625) r(1771,1708) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) 
	 31 d(2146) r(759,774) r(973,1957) r(637,534) r(786,821) a(1495,1591) r(1667,1684) r(2020,1847) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) 
	 31 d(2146) r(759,774) r(973,1957) r(637,534) r(786,821) d(1777) a(2096,2104) 
	  0 r(772,773) a(1837,1644) a(1495,1591) r(1667,1684) r(800,798) 
	 31 d(2041) d(743) d(2039) d(891) a(1561,2133) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(1883) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(2320) d(916) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) a(825,1577) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) r(777,741) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) r(2187,2165) 
	  0 d(2035) a(1837,1644) a(1495,1591) a(1271,1087) r(1491,1574) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) 
	 31 d(1435) r(2068,2152) r(2099,406) d(597) 
	 31 d(2041) d(743) d(638) a(952,961) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) 
	 31 d(2041) d(743) d(638) r(766,746) r(1572,1490) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(622) 
	 31 d(2035) d(1685) a(2129,2158) d(2183) d(2064) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) 
	 31 a(2060,1855) r(637,534) r(786,821) r(2265,1806) r(1366,1460) 
	 31 d(1064) d(985) a(757,1087) a(1982,1967) d(1496) 
	 31 d(2028) r(519,516) r(2246,2231) d(2300) r(1987,1886) r(808,803) 
	 31 r(753,776) d(1124) r(1204,1232) a(399,803) r(1851,2013) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(417) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) r(1666,1684) a(1560,2185) 
	 31 d(2035) d(1685) a(2129,2158) d(2183) a(1022,1543) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(934) 
	 31 d(2041) d(743) d(732) d(917) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) 
	 31 d(2041) d(743) d(638) r(766,746) d(1860) 
	 31 d(2146) r(759,774) r(973,1957) a(1495,1591) r(1667,1684) d(2026) 
	 31 r(772,773) a(1837,1644) r(1988,1853) a(1632,490) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(2027,1490) 
	 31 r(772,773) a(1837,1644) a(1495,1591) r(1667,1684) d(405) 
	 31 d(1064) r(1988,1853) d(1964) 
	 31 d(2146) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) 
	 31 d(1064) d(1457) r(759,774) r(1631,1350) d(844) r(1752,1771) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) 
	 31 d(2041) d(743) d(2039) d(891) d(2020) 
	 31 r(2145,2110) d(1203) a(758,2310) d(1262) r(1186,1280) d(2256) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) a(846,488) 
	 31 a(581,1840) d(812) d(2230) d(859) d(2308) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) d(1203) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1981) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) d(1467) 
	 31 d(2028) a(757,1087) a(773,950) d(1631) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) a(730,2055) 
	 31 d(1064) r(1544,1508) r(727,1838) r(1110,1086) d(2146) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) 
	 31 d(2028) r(519,516) d(859) a(1827,1872) 
	 31 a(581,1840) d(812) d(2230) d(1124) r(1204,1232) a(399,803) a(1307,1497) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) r(1279,1204) 
	 31 a(581,1840) d(812) d(2230) d(859) r(1252,1247) 
search: generation 5 (sizeof one variant = 0.378491 MB)
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(732) d(917) r(2129,2106) 
	 31 d(2041) d(743) r(766,746) a(987,1853) d(822) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) 
	 31 d(2041) d(743) d(732) d(917) d(2271) 
	 31 a(2060,1855) r(637,534) r(786,821) r(2265,1806) r(1366,1460) a(776,1507) 
	 31 d(1064) r(1988,1853) d(1964) r(403,399) 
	 31 d(1064) r(2246,2231) d(2300) r(1987,1886) d(417) a(2333,2122) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(417) d(1123) 
	 31 d(1064) d(985) a(757,1087) a(1982,1967) d(1496) r(2067,2153) 
	 31 d(2041) d(743) d(638) a(952,961) r(582,654) 
	 31 d(2041) d(743) d(638) a(952,961) d(1544) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) 
	 31 a(2060,1855) r(637,534) a(633,660) d(985) d(1061) d(732) r(2147,2106) r(1347,1435) 
	 31 d(2028) d(1838) d(774) a(983,1861) d(810) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) d(1939) 
	 31 d(2041) d(743) d(638) r(766,746) r(1572,1490) r(2225,2199) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) a(825,1577) r(1781,1061) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) d(1203) r(1595,1613) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) d(1203) d(2230) 
	 31 d(2041) d(743) d(2039) d(891) d(2020) a(831,585) 
	 31 d(2146) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) d(794) 
	 31 d(2146) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) r(1122,1123) 
	 31 d(2035) d(1685) a(2129,2158) d(2183) d(2064) d(2160) 
	  0 d(1064) r(1544,1508) a(818,623) d(841) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) d(1027) a(401,1767) r(739,748) d(737) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) 
	 31 r(753,776) d(701) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) r(2246,2231) d(2300) r(1987,1886) d(1883) r(2094,947) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(1883) d(1856) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) r(1490,1751) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) 
	 31 d(1064) r(1988,1853) d(1964) r(2135,2122) 
	 31 d(1348) r(519,516) r(2313,1734) r(678,625) r(1771,1708) r(1278,1237) 
	 31 r(2236,1552) a(758,2310) a(1246,1760) r(1741,1753) d(1203) a(724,1892) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) r(1818,1812) 
	 31 d(1064) d(1457) r(759,774) r(1631,1350) d(844) r(1752,1771) a(559,1774) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1981) r(808,793) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) a(1974,2228) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1981) r(961,989) 
	 31 d(2146) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) d(2144) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) r(2024,2035) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) 
	 31 d(2035) d(1685) a(2129,2158) d(2183) a(1022,1543) a(1079,2076) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(934) r(2044,1887) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(2230) d(859) d(2308) d(781) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) r(2187,2165) d(1780) 
	 31 a(581,1840) d(812) d(2230) d(859) d(2308) r(1118,1093) 
search: generation 6 (sizeof one variant = 0.37903 MB)
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) a(559,1883) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) d(1638) a(662,1884) a(1995,2238) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) d(2302) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) d(591) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(2230) d(859) d(2308) d(781) a(1867,1971) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) d(1341) 
	 31 r(772,773) a(1837,1644) d(1777) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) d(2144) r(725,726) 
	 31 d(2146) d(1496) r(845,819) a(1717,490) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) a(2334,573) 
	 31 d(2146) r(759,774) r(973,1957) d(1457) r(759,774) r(1631,1350) d(844) d(1681) d(2144) d(1442) 
	 31 r(772,773) a(1837,1644) d(2343) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(1883) d(1856) d(1777) d(1496) r(845,819) a(1961,571) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) r(844,790) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(1883) d(1856) r(767,736) 
	 31 d(1348) r(519,516) d(651) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) d(1939) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) r(389,404) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) r(1056,864) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) d(1939) r(2181,2173) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(1021) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) r(2024,2035) a(1602,975) 
	 31 d(2041) d(743) r(808,793) r(1888,772) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1981) d(638) a(952,961) r(582,654) r(2220,2225) 
	 31 d(2041) d(743) d(638) a(952,961) r(582,654) d(769) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1981) r(808,793) a(2209,408) 
	 31 r(753,776) r(2246,2231) d(2300) r(1987,1886) d(1883) d(1856) r(1362,361) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) a(1708,1922) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) r(899,1015) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) a(1638,1919) 
	 31 d(2041) d(743) r(766,746) a(987,1853) r(2076,915) a(1687,1577) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) d(822) d(1534) 
	 31 d(2041) d(743) r(766,746) a(987,1853) d(822) r(1816,1798) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) 
	 31 d(2028) r(519,516) d(1124) r(2162,829) d(1276) r(2187,2165) d(1780) d(1923) 
	 31 d(1064) r(2246,2231) r(1204,1232) a(399,803) d(1638) a(662,1884) r(1780,1774) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) r(1957,1920) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) r(2187,2165) d(1780) a(1437,927) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) r(1490,1751) a(2043,1184) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) d(2122) 
	  0 d(2041) d(743) d(638) a(952,961) d(1544) d(836) 
	  0 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) r(2246,2231) d(2300) r(1987,1886) d(1883) r(2094,947) r(1458,1345) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) r(1919,796) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(812) d(2230) d(859) r(630,662) d(954) d(969) 
	 31 a(581,1840) d(2230) d(859) d(2308) d(781) r(1952,1919) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(2230) d(859) d(2308) d(781) d(2059) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) r(2307,2246) 
	 31 a(2060,1855) r(727,1838) d(1247) r(1922,1795) r(1818,1812) r(2131,2130) 
	 31 d(2146) r(2046,441) r(1544,1508) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(1599,1611) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(442,447) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) r(1818,1812) d(848) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) r(1988,1853) d(1964) d(2220) r(1161,1109) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) d(729) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) a(2165,2122) 
	 31 d(2146) r(759,774) d(2289) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(827,847) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(2049) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(834,789) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) a(1974,2228) d(695) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(934) r(2044,1887) r(1260,1247) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(934) r(2044,1887) d(1797) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) a(1974,2228) d(2026) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) r(1237,1209) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(732) d(917) r(2129,2106) a(1370,541) 
search: generation 7 (sizeof one variant = 0.379951 MB)
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(2165) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) a(1638,1919) a(2193,757) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) a(1638,1919) r(559,542) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) r(2241,2230) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) a(2334,573) a(1624,1860) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) r(1957,1920) d(1841) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(827,847) a(898,956) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) a(2165,2122) r(660,697) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) a(559,1883) r(1204,1232) a(399,803) d(1954) r(1490,1751) a(2043,1184) d(808) 
	 31 d(2028) r(519,516) d(1124) d(991) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) a(559,1883) d(1125) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1954) r(1490,1751) a(2043,1184) a(1463,1211) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(827,847) d(836) 
	 31 d(2028) r(519,516) d(1124) r(2162,829) d(1276) r(2187,2165) d(1780) d(1923) r(1728,1808) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) r(1056,864) a(848,2077) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) d(2144) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) r(1056,864) d(1525) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) d(2057) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) a(1708,1922) d(2097) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) d(2302) d(796) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) a(987,1853) d(822) r(1816,1798) r(1847,1959) 
	 31 d(2041) d(743) d(1021) a(447,524) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(1021) d(2102) 
	 31 d(2041) d(743) r(766,746) a(987,1853) d(822) r(1816,1798) a(1743,890) 
	 31 d(2028) d(1838) r(602,671) d(1061) d(638) r(766,746) d(1247) r(1922,1795) a(1974,2228) d(695) d(2111) 
	 31 d(2028) d(1838) d(985) a(2021,1981) d(624) r(2076,915) d(808) r(882,875) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) r(1757,1718) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) a(1974,2228) d(695) d(1792) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(442,447) r(411,433) 
	 31 a(2060,1855) d(2230) d(859) d(2308) d(781) d(2059) r(807,841) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(2230) d(859) d(2308) d(781) d(2059) a(2256,2240) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(442,447) d(831) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(2230) d(859) d(2308) d(781) a(1867,1971) r(1874,2004) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) d(1939) r(2181,2173) r(639,598) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(732) d(1535) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) d(1341) d(917) r(2129,2106) a(1370,541) a(1364,1992) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(732) d(917) r(2129,2106) a(1370,541) a(650,2015) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) d(1341) a(555,661) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) r(861,959) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) d(591) d(1723) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) d(774) a(983,1861) a(1274,1751) r(442,447) r(2185,1153) 
	 31 a(2060,1855) r(637,534) a(633,660) r(739,748) a(1345,1107) r(899,1015) d(1439) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) r(899,1015) a(778,2299) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(442,447) d(1606) 
	 31 d(1064) r(1988,1853) d(1964) d(2220) d(1638) a(662,1884) a(1995,2238) d(2179) 
	 31 d(2146) d(1496) r(845,819) a(1717,490) d(2103) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) r(2307,2246) d(2059) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(934) r(2044,1887) d(1797) d(1105) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1061) d(638) r(766,746) d(934) r(2044,1887) d(1797) d(1488) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) a(2076,2000) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(934) r(2044,1887) d(1797) r(1278,1250) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) r(844,790) r(571,543) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(1021) r(1839,1620) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) a(1974,2228) d(2026) d(1929) 
	 31 d(1064) r(2246,2231) r(2162,829) d(1276) d(812) d(812) d(2230) d(859) r(630,662) d(954) d(969) r(1688,1690) 
	 31 d(2028) r(519,516) d(1124) d(808) d(2233) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) r(1204,1232) a(399,803) d(1638) a(662,1884) d(2302) a(2104,2114) 
	 31 d(2028) r(519,516) d(1124) r(1204,1232) a(399,803) d(1638) a(662,1884) d(2302) a(2225,2320) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) d(738) 
search: generation 8 (sizeof one variant = 0.381267 MB)
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) a(1974,2228) d(695) d(1792) d(1981) 
	  0 d(2041) d(743) r(766,746) a(987,1853) d(822) r(1816,1798) a(1743,890) r(1562,1543) 
	  0 d(2028) r(519,516) d(1124) r(2162,829) d(1276) r(2187,2165) d(1780) d(1923) r(1728,1808) d(703) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) d(1801) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) d(1021) d(2102) r(730,762) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) d(738) d(1831) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) a(1974,2228) d(695) d(1792) r(566,567) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) r(1922,1795) d(1999) r(1056,864) a(848,2077) d(2341) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) r(1056,864) a(848,2077) a(1836,1928) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) a(1974,2228) d(695) d(1792) a(775,814) 
	 31 d(2146) d(1496) r(845,819) a(1717,490) d(808) d(2233) r(778,2095) 
	 31 d(2028) r(519,516) d(1124) d(2103) a(2019,1774) 
	 31 d(2146) d(1496) r(845,819) a(1717,490) d(2103) d(933) 
	 31 d(2028) r(519,516) d(1124) d(808) d(2233) d(730) 
	 31 d(2028) d(1838) d(985) d(1061) d(732) r(2147,2106) d(1939) r(2181,2173) r(639,598) d(656) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) a(2076,2000) d(1816) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) d(2144) d(2031) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) d(907) 
	 31 a(581,1840) r(2187,2165) a(1566,1085) d(1341) d(917) r(2129,2106) a(1370,541) a(1364,1992) r(816,786) 
	 31 a(2060,1855) r(637,534) a(633,660) d(774) a(983,1861) a(1274,1751) r(442,447) d(1606) d(2002) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) a(987,1853) d(822) r(1816,1798) r(1847,1959) d(1338) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) d(2144) d(1614) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) a(2021,1981) d(624) r(2076,915) d(808) r(882,875) d(2004) 
	 31 d(2028) d(1838) d(985) d(1981) d(2057) d(1109) 
	 31 d(1064) a(399,803) d(1638) a(662,1884) d(1981) d(2057) d(1743) 
	 31 d(2028) d(1838) d(985) a(2021,1981) d(624) r(2076,915) d(808) r(882,875) r(1449,1445) 
	 31 d(1348) r(519,516) d(1124) r(1204,1232) d(2320) d(1247) r(1922,1795) d(1999) a(1708,1922) d(2097) a(2000,2107) 
	 31 a(2060,1855) d(2230) d(859) d(2308) d(781) d(2059) r(807,841) r(419,437) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) r(1810,1700) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) d(738) r(372,368) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(1922,1795) a(1974,2228) d(2026) d(1929) d(401) 
	 31 d(2041) d(743) d(1021) a(447,524) d(437) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(827,847) d(836) d(456) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) a(2334,573) a(1624,1860) d(1133) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) r(766,746) a(987,1853) d(1429) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(827,847) d(836) r(1259,1236) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) a(2334,573) a(1624,1860) r(757,1695) 
	 31 d(2028) r(519,516) d(1964) r(1191,1203) a(569,656) r(861,959) d(1730) 
	 31 r(753,776) r(1988,1853) d(1124) r(2162,829) d(1276) r(2187,2165) d(1780) d(1923) r(1728,1808) d(1849) 
	 31 d(2028) r(519,516) d(1124) r(2162,829) d(1276) r(2187,2165) d(1780) d(1923) r(1728,1808) a(2220,439) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) r(861,959) d(1269) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) a(1638,1919) a(2193,757) d(829) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) d(2164) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) a(1638,1919) a(2193,757) a(801,793) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) r(2195,2194) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) a(987,1853) d(822) r(1816,1798) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) r(899,1015) a(778,2299) a(835,807) 
	 31 d(1064) r(1544,1508) r(1847,1959) a(2067,2100) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) a(987,1853) d(822) r(1816,1798) r(1847,1959) d(2270) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) r(899,1015) a(778,2299) a(1804,2236) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) r(1757,1718) d(2249) 
	 31 r(772,773) a(1837,1644) d(1777) d(1496) r(845,819) r(844,790) r(571,543) d(1574) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(2059) r(776,748) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) r(2307,2246) d(732) d(917) r(2129,2106) a(1370,541) a(650,2015) r(2101,2118) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(732) d(917) r(2129,2106) a(1370,541) a(650,2015) d(762) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) r(2307,2246) d(2059) d(1812) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) r(630,662) d(954) r(2307,2246) d(2059) r(1156,1131) 
	 31 a(581,1840) d(812) d(2230) d(859) a(987,1853) d(822) r(1816,1798) r(1847,1959) d(2261) 
	 31 d(2146) r(759,774) r(973,1957) r(1988,1853) a(836,488) r(1253,1259) r(766,746) a(987,1853) d(822) r(1816,1798) r(1847,1959) r(1554,1573) 
	 31 a(581,1840) d(812) d(2230) d(859) r(630,662) d(954) r(2307,2246) d(2059) d(900) 
search: generation 9 (sizeof one variant = 0.381108 MB)
	 31 d(2028) d(1838) d(985) d(1124) d(808) d(2233) d(730) d(2326) 
	 31 d(2028) r(519,516) d(1981) d(2057) d(1109) a(1494,903) 
	 31 d(2028) d(1838) d(985) d(1981) d(2057) d(1109) r(829,843) 
	 31 d(2028) r(519,516) d(1124) d(808) d(2233) d(730) r(447,411) 
	 31 d(2146) r(2046,441) d(1964) r(1191,1203) a(569,656) r(861,959) d(1730) a(783,841) 
	 31 d(2028) r(519,516) r(1544,1508) r(727,1838) d(1247) d(2059) r(776,748) r(1837,2045) 
	 31 d(2146) r(2046,441) r(1544,1508) r(727,1838) d(1247) d(2059) r(776,748) d(2249) 
	 31 d(2028) r(519,516) d(1964) r(1191,1203) a(569,656) r(861,959) d(1730) d(2341) 
	 31 d(2028) d(1838) d(985) d(1981) d(1964) r(1191,1203) a(569,656) r(861,959) d(1269) a(1254,1085) 
	 31 r(753,776) r(1988,1853) d(743) d(1801) r(2270,2295) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) d(1801) d(630) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) r(861,959) d(1269) d(2304) 
	 31 r(753,776) r(1988,1853) d(1964) r(1191,1203) a(569,656) a(1638,1919) a(2193,757) d(829) d(2320) 
	 31 d(2146) d(1496) r(845,819) a(1717,490) d(808) d(2233) r(778,2095) d(1116) 
	 31 d(2041) d(743) d(1021) a(447,524) d(437) d(897) 
	 31 d(2028) d(1838) d(985) d(1061) d(638) r(766,746) d(1247) r(1922,1795) r(1922,1795) d(1999) r(1056,864) a(848,2077) d(2341) a(1716,729) 
	 31 d(1064) r(1544,1508) a(818,623) d(1027) a(401,1767) r(739,748) a(1345,1107) r(899,1015) a(778,2299) a(1804,2236) d(1096) 
	 31 d(2028) d(1838) r(602,671) a(2021,1981) d(624) r(2076,915) d(808) d(738) d(1831) d(1497) 
	 31 d(1064) r(1544,1508) r(1847,1959) a(2067,2100) r(364,851) 
	 31 d(2028) d(1838) d(985) d(1981) d(743) d(907) d(2339) 
*** 720m timeout
python-bug-70019-70023.tar.gz
Tue Sep 24 06:03:27 EDT 2013
shutting down
