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 466
--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-195-126-150 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Thu Sep 26 11:05:15 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/tmpbce9e6.c /tmp/tmp4c73e0.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)
	p317: true (1)
	p318: true (1)
	p319: true (1)
	p320: true (1)
	p321: true (1)
	p322: true (1)
	p323: true (1)
	p324: true (1)
	p325: true (1)
	p326: true (1)
	p327: true (1)
	p328: true (1)
	p329: true (1)
	p330: true (1)
	p331: true (1)
	p332: true (1)
	p333: true (1)
	p334: true (1)
	p335: true (1)
	p336: true (1)
	p337: true (1)
	p338: true (1)
	p339: true (1)
	p340: true (1)
	p341: true (1)
	p342: true (1)
	p343: true (1)
	p344: true (1)
	p345: true (1)
	p346: true (1)
	p347: true (1)
	p348: true (1)
	p349: true (1)
	p350: true (1)
	p351: true (1)
	p352: true (1)
	p353: true (1)
	p354: true (1)
	p355: true (1)
	p356: true (1)
	p357: true (1)
	p358: true (1)
	p359: true (1)
	p360: true (1)
	p361: true (1)
	p362: true (1)
	p363: true (1)
	p364: true (1)
	p365: true (1)
	p366: true (1)
	p367: true (1)
	p368: true (1)
	p369: true (1)
	p370: true (1)
	p371: true (1)
	p372: true (1)
	p373: true (1)
	p374: true (1)
	p375: true (1)
	p376: true (1)
	p377: true (1)
	p378: true (1)
	p379: true (1)
	p380: true (1)
	p381: true (1)
	p382: true (1)
	p383: true (1)
	p384: true (1)
	p385: true (1)
	p386: true (1)
	p387: true (1)
	p388: true (1)
	p389: true (1)
	p390: true (1)
	p391: true (1)
	p392: true (1)
	p393: true (1)
	p394: true (1)
	p395: true (1)
	p396: true (1)
	p397: true (1)
	p398: true (1)
	p399: true (1)
	p400: true (1)
	p401: true (1)
	p402: true (1)
	p403: true (1)
	p404: true (1)
	p405: true (1)
	p406: true (1)
	p407: true (1)
	p408: true (1)
	p409: true (1)
	p410: true (1)
	p411: true (1)
	p412: true (1)
	p413: true (1)
	p414: true (1)
	p415: true (1)
	p416: true (1)
	p417: true (1)
	p418: true (1)
	p419: true (1)
	p420: true (1)
	p421: true (1)
	p422: true (1)
	p423: true (1)
	p424: true (1)
	p425: true (1)
	p426: true (1)
	p427: true (1)
	p428: true (1)
	p429: true (1)
	p430: true (1)
	p431: true (1)
	p432: true (1)
	p433: true (1)
	p434: true (1)
	p435: true (1)
	p436: true (1)
	p437: true (1)
	p438: true (1)
	p439: true (1)
	p440: true (1)
	p441: true (1)
	p442: true (1)
	p443: true (1)
	p444: true (1)
	p445: true (1)
	p446: true (1)
	p447: true (1)
	p448: true (1)
	p449: true (1)
	p450: true (1)
	p451: true (1)
	p452: true (1)
	p453: true (1)
	p454: true (1)
	p455: true (1)
	p456: true (1)
	p457: true (1)
	p458: true (1)
	p459: true (1)
	p460: true (1)
	p461: true (1)
	p462: true (1)
	p463: true (1)
	p464: true (1)
	p465: true (1)
	p466: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 98.5765)
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 465
cilRep: stmts in weighted_path = 28
cilRep: total weight = 17
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: ./src/rtlib/libfb_str_midassign.c (code bank/base file; atoms [1,465])
cilRep: 1 file(s) total in representation
search: genetic algorithm begins (|original| = 0.240132 MB)
search: initial population (sizeof one variant = 0.00605488 MB)
	 46 r(456,445) 
	 46 d(450) 
	 46 a(454,443) 
	 46 a(425,447) 
	 46 a(459,460) 
	 46 d(445) 
	 46 d(426) 
	 46 r(448,451) 
	 46 d(449) 
	 46 d(449) 
	 46 a(442,448) 
	 46 d(445) 
	 46 a(441,441) 
	 46 r(462,426) 
	 46 a(452,454) 
	 46 d(458) 
	 46 a(427,456) 
	 46 a(449,440) 
	 46 r(462,450) 
	1397 r(461,446) 
	 46 r(446,425) 
	 46 r(453,440) 
	 46 d(451) 
	 46 r(451,454) 
	 46 a(427,458) 
	 46 a(458,449) 
	 46 r(456,451) 
	 46 d(444) 
	 46 d(426) 
	 46 d(440) 
	 46 a(462,449) 
	 46 a(446,427) 
	 46 a(426,427) 
	 46 r(446,451) 
	 46 a(441,459) 
	977 d(452) 
	 46 r(465,443) 
	 46 d(465) 
	 46 d(457) 
	 46 original
search: generation 1 (sizeof one variant = 0.240309 MB)
	 46 r(446,451) r(463,459) 
	 46 r(453,440) d(464) 
	 46 r(446,451) d(462) 
	 46 r(453,440) a(448,440) 
	 46 a(454,443) r(426,444) 
	 46 d(426) d(448) 
	 46 a(454,443) d(458) 
	 46 d(426) d(442) 
	 46 a(454,443) a(462,427) 
	 46 r(446,425) r(460,452) 
	 46 r(456,445) a(457,457) 
	 46 r(462,426) a(459,456) 
	 46 r(456,445) d(427) 
	 46 r(446,451) r(465,463) 
	 46 r(456,445) d(448) 
	 46 r(446,451) r(442,451) 
	 46 a(449,440) d(445) 
	1397 d(452) a(450,460) 
	 46 a(462,449) a(464,461) 
	 46 r(462,450) r(427,465) 
	1397 a(462,449) r(459,442) 
	 46 r(462,450) d(445) 
	 46 a(446,427) a(444,465) 
	 46 d(462) 
	 46 a(446,427) a(425,441) 
	 46 a(460,427) 
	 46 a(427,458) a(461,441) 
	 46 a(458,449) d(443) 
	 46 a(427,458) a(425,448) 
	 45 a(458,449) r(440,448) 
	 46 d(457) d(448) 
	1397 d(440) r(459,446) 
	1397 a(427,456) d(454) 
	 46 d(445) r(457,460) 
	 46 a(427,456) a(440,465) 
	 46 d(445) a(451,452) 
	 46 d(452) a(451,465) 
	1397 d(440) r(454,449) 
	 46 d(452) d(463) 
	 46 d(440) d(451) 
	1397 r(461,446) r(442,445) 
	 46 a(458,449) a(464,446) 
	1397 r(461,446) r(444,462) 
	 46 a(458,449) a(458,425) 
	 46 d(451) a(425,445) 
	1397 d(452) a(461,450) 
	 46 d(451) r(450,451) 
	 45 d(452) a(460,465) 
	 46 d(450) d(462) 
	1397 r(456,451) r(459,464) 
	 46 d(450) d(449) 
	 46 r(456,451) r(426,453) 
	 46 a(425,447) r(448,464) 
	 46 d(426) a(446,464) 
	 46 a(425,447) r(447,443) 
	 46 d(426) d(441) 
	 46 r(446,451) r(427,458) 
	 46 d(457) d(462) 
	 46 r(446,451) a(462,426) 
	 46 d(457) d(465) 
	 46 a(459,460) d(458) 
	1397 d(445) d(460) 
	 46 a(452,454) r(426,445) 
	1397 d(452) d(464) 
	1397 a(452,454) d(454) 
	977 d(452) d(460) 
	1397 r(461,446) r(456,425) 
	 46 d(444) r(457,460) 
search: generation 2 (sizeof one variant = 0.240487 MB)
	977 r(461,446) r(465,463) 
	 46 r(456,445) d(427) r(444,462) d(425) 
	1397 r(461,446) r(444,462) r(440,449) 
	 46 r(456,445) d(427) d(458) 
	 46 a(458,449) a(458,425) r(457,451) 
	 45 d(450) d(449) d(457) 
	 46 a(458,449) a(458,425) a(440,426) 
	 46 d(450) d(449) r(465,445) 
	1397 d(452) d(460) d(444) 
	1397 a(452,454) d(454) r(464,425) 
	1397 d(452) d(464) r(464,463) 
	 46 a(446,427) a(444,465) r(442,461) 
	1397 a(446,427) d(454) r(461,462) 
	 46 a(427,456) a(425,441) d(450) 
	 46 a(446,427) a(425,441) a(457,447) 
	1397 a(427,456) d(454) a(426,444) 
	 46 a(425,447) r(447,443) d(458) 
	1397 a(462,449) r(459,442) r(445,425) 
	 46 a(425,447) r(447,443) a(448,457) 
	 46 a(462,449) r(459,442) d(444) 
	 46 d(457) d(465) a(440,463) 
	1397 r(456,451) r(459,464) r(426,427) 
	 46 d(457) r(457,460) r(449,461) 
	 46 d(445) d(465) r(446,425) 
	 46 d(457) d(465) d(440) 
	 46 d(445) r(457,460) a(427,456) 
	 46 r(446,451) d(462) r(453,443) 
	1397 d(452) d(464) d(465) 
	 46 r(446,451) d(462) d(456) 
	1397 d(452) d(464) d(426) 
	 46 a(452,454) d(445) 
	 46 r(462,450) d(445) d(454) a(463,449) 
	 46 a(452,454) d(454) d(463) 
	 46 r(462,450) d(445) d(442) 
	 46 a(459,460) d(458) r(449,457) 
	 46 r(446,451) d(462) r(449,427) 
	 46 a(459,460) d(458) d(443) 
	 46 r(446,451) d(462) d(460) 
	1397 a(452,454) d(454) a(453,465) 
	1397 r(461,446) r(442,445) r(450,457) 
	1397 a(452,454) d(454) d(440) 
	1397 r(461,446) r(442,445) d(464) 
	 46 a(425,447) r(448,464) r(427,458) r(465,442) 
	1397 r(446,451) d(452) 
	1397 a(425,447) r(448,464) r(454,448) 
	 46 r(446,451) r(427,458) d(427) 
	1397 r(456,451) r(459,464) a(460,461) 
	1397 a(452,454) d(454) r(454,443) 
	 46 r(453,440) d(464) d(448) d(450) 
	 46 r(456,445) d(448) 
	 46 r(453,440) d(464) a(456,425) 
	1397 r(456,445) d(448) d(454) 
	1397 d(452) d(443) d(454) 
	 46 a(458,449) a(450,460) a(440,451) 
	1397 d(452) a(450,460) r(456,463) 
	1397 a(458,449) d(443) d(454) 
	 46 d(462) d(449) 
	1397 d(440) r(454,449) r(456,453) 
	 46 d(462) a(463,444) 
	1397 d(440) r(454,449) d(458) 
	 45 r(453,440) a(451,465) a(454,464) 
	1397 d(452) d(464) d(443) 
	 46 r(453,440) d(464) d(442) 
	 46 d(452) a(451,465) a(457,440) 
	 46 r(446,425) r(460,452) r(444,446) 
	1397 r(456,451) r(459,464) d(425) 
	1397 a(427,456) d(454) a(452,448) 
	 46 a(460,427) a(427,443) 
	977 a(427,456) d(454) d(465) 
	 46 a(460,427) d(458) 
search: generation 3 (sizeof one variant = 0.240065 MB)
	 46 a(460,427) d(458) a(465,461) 
	1397 d(452) d(464) d(426) r(442,463) 
	 46 a(460,427) d(458) a(457,443) 
	977 d(452) d(464) d(426) r(442,443) 
	 46 a(427,456) d(427) 
	1397 d(457) d(465) d(440) d(454) a(426,444) r(441,443) 
	1397 a(427,456) d(454) a(426,444) d(453) 
	 46 d(457) d(465) d(440) d(440) 
	 46 a(427,456) d(462) r(449,427) d(459) 
	1397 r(446,451) d(454) a(452,448) a(448,427) 
	 46 a(427,456) d(454) a(452,448) a(460,461) 
	 46 r(446,451) d(462) r(449,427) d(456) 
	1397 a(452,454) d(454) r(464,425) r(441,461) 
	1397 a(427,456) d(454) a(426,444) r(445,459) 
	1397 a(458,449) d(443) d(454) d(457) 
	 46 r(456,451) r(459,464) d(425) d(462) 
	 45 r(456,451) r(459,464) r(426,427) r(450,461) 
	1397 d(452) d(460) d(444) r(456,463) 
	1397 r(456,451) r(459,464) r(426,427) r(460,458) 
	1397 d(452) d(460) d(444) d(427) 
	 46 r(456,445) r(463,454) 
	1397 d(452) a(451,465) a(457,440) d(448) d(454) d(456) 
	1397 r(456,445) d(448) d(454) a(452,425) 
	 46 d(452) a(451,465) a(457,440) d(450) 
	977 r(456,451) r(459,464) d(461) 
	 46 a(425,447) r(448,464) r(454,448) a(460,461) r(463,450) 
	1397 r(456,451) r(459,464) a(460,461) r(427,462) 
	1397 a(425,447) r(448,464) r(454,448) a(425,458) 
	 46 d(462) r(448,464) r(454,448) d(447) 
	 46 a(425,447) a(463,444) r(443,427) 
	 46 d(462) a(463,444) r(445,442) 
	1397 a(425,447) r(448,464) r(454,448) d(458) 
	 46 a(427,456) d(465) r(446,425) d(463) 
	1397 d(445) d(454) a(426,444) r(446,445) 
	1397 a(427,456) d(454) a(426,444) d(456) 
	 46 d(445) d(465) r(446,425) d(441) 
	 46 r(446,451) d(462) r(453,443) r(464,452) 
	1397 r(456,445) d(448) d(454) d(426) 
	 45 d(462) d(449) d(454) 
	1397 d(440) r(454,449) r(456,453) d(460) 
	1397 r(461,446) r(465,463) a(425,451) 
	1397 a(446,427) d(454) r(461,462) d(451) 
	1397 a(458,449) d(443) d(454) d(427) 
	1397 a(427,456) d(454) a(452,448) a(453,450) 
	1397 r(461,446) r(444,462) r(440,449) d(465) 
	 46 r(446,451) d(462) r(453,443) d(453) 
	 46 r(446,451) a(450,460) a(440,451) a(442,460) 
	1397 a(458,449) d(452) d(447) 
	1397 r(446,451) d(452) a(450,427) 
	1397 a(458,449) a(450,460) a(440,451) d(460) 
	 45 d(450) d(449) r(465,445) a(448,458) 
	1397 d(445) d(465) r(446,425) r(452,442) 
	 45 d(450) d(449) r(465,445) d(440) 
	 46 d(445) d(465) r(446,425) d(442) 
	1397 d(452) a(450,460) r(456,463) a(442,460) 
	1397 r(461,446) r(442,445) r(450,457) a(454,444) 
	1397 d(452) a(450,460) r(456,463) d(443) 
	1397 r(461,446) r(442,445) r(450,457) r(445,462) 
	 46 a(458,449) a(458,425) r(457,451) d(451) 
	1397 r(446,451) d(452) r(442,447) 
	 46 a(458,449) a(458,425) r(457,451) a(459,460) 
	1397 r(461,446) r(444,462) r(440,449) d(451) 
search: generation 4 (sizeof one variant = 0.240671 MB)
	1397 d(452) d(464) d(426) r(442,443) a(459,459) 
	977 d(452) d(460) d(444) d(427) d(465) 
	1397 a(427,456) d(454) a(426,444) r(445,459) r(449,440) 
	1397 a(458,449) a(450,460) a(440,451) d(460) a(425,426) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(452) 
	 46 d(462) a(426,444) d(453) d(464) 
	1397 a(427,456) d(454) a(426,444) d(453) r(458,427) 
	 46 d(462) a(463,444) r(445,442) r(450,425) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) a(426,444) d(453) r(442,441) 
	 46 a(427,456) a(426,461) 
	1397 d(452) a(450,460) r(456,463) a(442,460) r(465,450) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) 
	977 d(452) a(450,460) r(456,463) d(427) a(463,460) 
	1397 d(452) d(460) d(444) a(442,460) a(456,450) 
	977 d(452) a(450,460) r(456,463) a(442,460) a(446,446) 
	1397 d(452) d(460) d(444) d(427) r(427,453) 
	1397 d(452) r(450,446) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) a(441,451) 
	1397 d(452) d(460) d(444) d(427) d(442) 
	 46 r(446,451) d(452) a(450,427) d(462) 
	1397 d(452) d(460) d(444) r(456,463) d(454) 
	1397 d(452) a(450,460) r(456,463) a(442,460) a(460,463) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(442) 
	1397 a(427,456) d(454) a(452,448) a(453,450) d(443) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) 
	977 a(427,456) d(454) a(452,448) a(453,450) a(442,443) 
	 46 r(446,451) r(462,446) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) 
	1397 r(446,451) d(452) a(450,427) a(462,426) 
	1397 a(425,447) r(448,464) r(454,448) d(458) r(451,462) 
	 46 r(446,451) d(462) r(453,443) r(464,452) d(460) a(443,446) 
	1397 d(440) r(454,449) r(456,453) r(458,464) 
	 46 r(446,451) d(462) r(453,443) r(464,452) r(444,462) 
	1397 d(440) r(454,449) r(456,453) d(460) d(450) 
	 46 d(452) a(451,465) a(457,440) d(450) d(450) 
	 46 a(427,456) d(462) r(449,427) d(459) r(442,440) 
	1397 r(456,451) r(461,426) 
	 46 a(452,454) d(454) r(464,425) r(441,461) r(459,464) d(425) d(462) r(458,444) 
	 45 r(456,451) r(459,464) d(425) d(462) r(446,448) 
	1397 a(452,454) d(454) r(464,425) r(441,461) d(442) 
	1397 a(452,454) d(454) r(464,425) r(441,461) r(445,443) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) 
	 46 a(460,427) d(458) a(457,443) d(427) 
	 46 r(446,451) a(450,460) a(440,451) a(442,460) r(448,425) 
	1397 r(461,446) r(444,462) r(440,449) d(451) d(448) d(454) d(426) d(444) 
	1397 r(456,445) r(461,456) 
	1397 r(461,446) r(444,462) r(440,449) d(451) a(445,457) 
	1397 r(456,445) d(448) d(454) d(426) d(441) 
	977 d(440) r(454,449) r(456,453) d(460) d(460) r(456,444) 
	 46 a(458,449) a(450,460) a(440,451) r(442,451) 
	1397 d(440) r(454,449) r(456,453) d(460) d(449) 
	977 a(458,449) a(450,460) a(440,451) d(460) d(465) 
	1397 r(456,451) r(459,464) a(460,461) r(427,462) r(446,459) 
	1397 d(452) a(451,465) a(457,440) d(448) d(454) d(456) d(456) 
	1397 a(427,456) d(454) r(440,456) 
	1397 d(445) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) 
	1397 a(427,456) d(454) a(426,444) r(445,459) a(452,465) 
	1397 d(445) d(465) r(446,425) r(452,442) r(448,444) 
	1397 d(452) a(448,427) r(440,448) 
	1397 r(446,451) d(454) a(452,448) a(450,460) r(456,463) d(443) a(463,459) 
	1397 d(452) a(450,460) r(456,463) d(443) d(449) 
	1397 r(446,451) d(454) a(452,448) a(448,427) d(445) 
	1397 r(446,451) d(452) r(442,447) r(464,459) 
	1397 d(452) a(450,460) r(456,463) a(442,460) a(452,426) 
search: generation 5 (sizeof one variant = 0.239772 MB)
	977 r(456,445) r(461,456) a(450,427) a(462,426) d(459) 
	1397 r(446,451) d(452) r(449,458) 
	1397 r(456,445) r(461,456) r(443,456) 
	1397 r(446,451) d(452) a(450,427) a(462,426) d(454) 
	1397 a(427,456) a(450,427) d(460) d(444) d(427) a(441,451) d(426) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(452) r(450,452) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) a(441,451) d(426) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) 
	 46 r(446,451) d(452) a(450,427) d(462) a(460,453) 
	1397 d(452) a(450,460) r(456,463) r(442,440) a(449,448) 
	 46 a(427,456) d(462) r(449,427) d(459) a(442,460) d(454) d(464) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) a(458,449) 
	 46 a(427,456) d(462) r(449,427) d(459) r(442,440) r(440,448) 
	 46 d(452) d(460) d(444) r(456,463) d(454) d(462) 
	1397 d(452) d(460) d(444) a(442,460) a(456,450) a(450,425) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) a(441,451) d(447) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) a(441,451) r(458,447) 
	1397 a(427,456) d(454) a(442,460) d(454) a(441,449) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) 
	1397 a(427,456) d(454) a(426,444) d(453) r(458,427) d(444) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) r(458,443) 
	1397 a(427,456) d(454) a(452,448) a(453,450) a(442,443) r(457,426) 
	977 r(446,451) d(454) a(452,448) a(448,427) d(445) r(454,446) 
	977 d(452) a(450,460) r(456,463) a(442,460) a(452,426) r(465,444) 
	977 d(452) d(460) d(444) d(427) d(465) d(464) 
	1397 d(440) r(454,449) r(456,453) d(452) a(427,427) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(465,457) 
	 46 d(440) r(454,449) r(456,453) r(458,464) d(463) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(452) d(452) 
	977 d(452) a(426,444) d(453) d(464) d(446) 
	 46 d(462) d(460) d(444) r(456,463) d(454) a(448,425) 
	1397 d(452) d(460) d(444) r(456,463) d(454) r(463,441) 
	 46 d(462) a(426,444) d(453) d(464) r(444,459) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) 
	1397 r(446,451) r(454,449) r(456,453) d(460) d(449) d(458) 
	1397 d(440) r(454,449) r(456,453) d(460) d(449) d(450) 
	1397 r(446,451) d(452) r(442,447) r(464,459) d(452) 
	 46 a(458,449) a(450,460) a(440,451) r(451,465) 
	 46 d(452) a(450,460) r(456,463) a(442,460) d(454) a(426,444) d(453) r(442,441) d(460) d(447) d(462) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) a(426,444) d(453) r(442,441) r(460,453) 
	 46 d(445) a(452,448) a(453,450) d(443) d(451) 
	1397 a(427,456) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) 
	1397 d(445) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(449) 
	1397 a(427,456) d(454) a(452,448) a(453,450) d(443) r(456,443) 
	1397 d(445) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) r(456,454) 
	 46 d(452) a(451,465) a(457,440) d(450) d(450) d(453) 
	 46 a(458,449) a(450,460) a(440,451) a(460,463) r(462,463) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(460) a(425,426) d(445) 
	1397 a(458,449) a(450,460) a(440,451) d(460) a(425,426) r(448,464) 
	1397 d(452) a(450,460) r(456,463) a(442,460) a(460,463) d(463) 
	1397 d(440) r(454,449) r(456,453) r(458,464) r(427,451) 
	 46 a(427,456) a(426,461) r(465,449) 
	977 d(440) r(454,449) r(456,453) r(458,464) a(441,452) 
	 46 a(427,456) a(426,461) d(464) 
	977 d(452) a(448,427) r(440,448) r(426,464) 
	1397 a(452,454) d(454) r(464,425) r(441,461) d(442) r(426,427) 
	 46 r(446,451) d(452) a(450,427) r(444,462) r(463,446) 
	 46 r(446,451) d(462) r(453,443) r(464,452) d(460) d(444) d(427) a(441,451) r(444,449) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) a(441,451) d(461) 
	 46 r(446,451) d(462) r(453,443) r(464,452) r(444,462) a(452,444) 
	 46 a(427,456) d(450) 
	1397 d(440) r(454,449) r(456,453) d(460) d(450) d(454) a(426,444) r(445,459) a(452,465) r(464,447) 
	1397 a(427,456) d(454) a(426,444) r(445,459) a(452,465) r(456,425) 
	1397 d(440) r(454,449) r(456,453) d(460) d(450) r(465,459) 
search: generation 6 (sizeof one variant = 0.240159 MB)
	977 a(427,456) r(461,456) a(450,427) a(462,426) d(459) a(445,456) 
	1397 r(456,445) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) r(461,447) 
	1397 a(427,456) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) d(449) 
	1397 r(456,445) r(461,456) a(450,427) a(462,426) d(459) d(448) 
	1397 r(446,451) r(425,457) a(441,451) d(447) d(460) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) d(452) a(450,427) d(460) d(444) d(427) r(460,461) d(456) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) a(441,451) d(447) a(454,453) 
	1397 a(458,449) a(450,460) a(440,451) d(460) a(457,463) 
	977 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) d(447) d(453) r(452,456) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) a(441,443) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) r(458,443) a(448,457) 
	1397 a(427,456) d(454) a(426,444) r(445,459) a(452,465) r(456,425) d(450) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) 
	1397 r(456,445) r(461,456) r(426,454) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) a(456,450) 
	 46 r(456,445) r(461,456) r(443,456) r(441,465) 
	 46 r(446,451) d(462) r(453,443) r(464,452) r(444,462) a(452,444) r(460,440) 
	1397 a(427,456) a(450,427) d(460) d(444) d(427) a(441,451) d(426) d(461) 
	1397 d(440) d(452) r(442,447) r(464,459) a(453,450) d(443) r(456,443) a(453,464) 
	977 a(427,456) d(454) a(452,448) r(442,446) d(454) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) a(454,427) 
	 46 a(427,456) d(454) a(452,448) a(453,450) d(443) r(456,443) r(462,447) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) d(464) r(444,459) d(461) 
	 46 d(462) a(426,444) d(453) r(441,460) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) 
	 46 d(462) a(426,444) d(453) d(464) r(444,459) d(463) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) a(441,451) d(447) d(444) 
	1397 d(452) a(450,460) r(456,463) r(442,440) a(449,448) d(458) 
	 46 d(452) a(450,460) r(456,463) a(442,460) d(454) a(426,444) d(453) r(442,441) d(460) d(447) d(462) r(441,453) 
	 46 a(458,449) a(450,460) r(458,464) r(465,457) r(440,450) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(465,457) r(456,449) 
	1397 d(452) d(460) d(444) a(442,460) a(456,450) a(450,425) r(456,453) d(460) d(449) d(458) d(461) 
	1397 r(446,451) r(454,449) d(451) 
	1397 d(452) d(460) d(444) a(442,460) a(456,450) a(450,425) a(456,451) 
	1397 r(446,451) r(454,449) r(456,453) d(460) d(449) d(458) a(445,426) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) 
	1397 a(427,456) d(454) a(452,448) a(427,427) r(452,427) 
	977 d(440) r(454,449) r(456,453) d(452) a(427,427) d(447) 
	 46 a(427,456) d(454) a(452,448) a(453,450) d(443) r(456,443) r(462,443) 
	 46 r(446,451) d(452) a(450,427) d(460) d(444) d(427) a(441,451) d(461) r(427,465) 
	 46 d(445) a(452,448) a(453,450) d(443) d(451) d(448) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) a(441,451) d(447) a(461,460) 
	1397 d(440) r(454,449) r(456,453) r(458,464) r(427,451) r(442,456) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(457,426) d(442) 
	 46 a(427,456) d(454) a(452,448) a(453,450) a(442,443) r(465,457) d(463) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(465,457) r(445,449) 
	1397 a(427,456) d(454) a(452,448) a(453,450) a(442,443) r(457,426) r(452,463) 
	 46 r(446,451) r(454,449) r(456,453) d(460) d(454) r(463,441) d(449) 
	977 d(452) d(460) d(444) r(456,463) d(449) d(458) r(464,448) 
	1397 r(446,451) r(454,449) r(456,453) d(460) d(449) d(458) a(441,441) 
	1397 d(452) d(460) d(444) r(456,463) d(454) r(463,441) r(461,463) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) d(450) 
	1397 a(427,456) d(454) a(452,448) a(453,450) d(443) r(456,443) a(457,443) 
	1397 d(440) r(454,449) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) 
	977 a(425,447) r(456,453) d(460) d(449) d(450) r(425,453) 
	 45 d(440) r(454,449) r(456,453) d(460) d(449) d(450) d(462) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(460,454) 
	 46 d(462) a(426,444) d(453) d(464) r(444,459) a(427,454) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) a(426,444) d(453) r(442,441) r(460,453) d(453) 
search: generation 7 (sizeof one variant = 0.240253 MB)
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) d(451) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) 
	977 d(452) a(450,460) r(456,463) a(442,460) d(454) r(458,443) a(448,457) d(454) 
	1397 r(456,445) r(461,456) r(426,454) d(425) 
	1397 r(446,451) d(452) d(454) a(463,444) r(459,450) d(448) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) r(461,446) 
	977 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) 
	 46 r(446,451) d(462) r(453,443) r(464,452) r(444,462) a(452,444) r(460,440) d(450) 
	1397 r(456,445) r(461,456) r(426,454) r(440,459) 
	1397 d(452) a(450,460) r(456,463) a(442,460) d(454) r(458,443) a(448,457) d(443) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) 
	 46 a(427,456) d(454) a(463,444) r(445,442) a(454,427) a(457,465) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(458,464) r(457,426) d(442) r(442,427) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(457,426) d(442) r(457,441) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) a(454,427) r(465,445) 
	 45 r(456,445) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) r(461,447) d(463) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) a(441,451) d(447) d(444) d(443) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) r(442,446) a(454,427) d(460) 
	1397 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(458,442) 
	977 d(440) d(452) r(442,447) r(464,459) r(442,446) a(454,427) d(459) 
	1397 d(440) r(454,449) r(456,453) r(458,464) r(427,451) r(442,456) d(445) 
	1397 a(427,456) d(454) a(426,444) r(445,459) a(452,465) r(456,425) d(450) a(451,451) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) d(461) 
	1397 r(446,451) r(454,449) r(456,453) d(460) d(449) d(458) a(445,426) d(464) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) a(454,447) 
	 46 r(446,451) r(454,449) r(456,453) d(460) d(449) d(458) a(445,426) r(463,447) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(444,442) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) 
	977 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) 
	1397 d(440) r(454,449) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) d(460) d(444) d(427) r(460,461) r(426,453) r(442,463) 
	977 r(446,451) d(452) a(450,427) r(449,458) r(458,450) d(458) 
	1397 d(440) r(454,449) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) r(449,457) 
	 46 a(427,456) d(454) d(443) r(456,443) r(462,447) a(456,451) 
	 46 a(427,456) d(454) a(452,448) a(453,450) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(462,452) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(427) 
	 46 a(427,456) d(454) a(452,448) a(453,450) d(443) r(456,443) r(462,447) d(465) 
	 46 a(427,456) a(426,444) d(453) r(458,427) d(440) a(426,464) r(462,464) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) 
	977 a(427,456) d(454) a(452,448) a(427,427) r(452,427) d(442) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(465,457) r(456,449) d(460) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) 
	 46 r(446,451) d(447) d(453) r(458,441) d(448) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(447) 
	1397 r(446,451) r(454,449) d(451) d(441) 
	977 a(427,456) d(454) a(452,448) a(453,450) a(442,443) r(457,426) r(452,463) r(441,445) 
	1397 d(440) r(454,449) r(456,453) r(458,464) r(427,451) r(442,456) a(450,453) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) r(458,441) d(443) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) d(440) a(426,464) d(425) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(450,427) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(446) 
	 46 a(458,449) a(450,460) r(458,464) r(465,457) d(450) r(425,453) d(445) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) d(440) 
	 46 a(458,449) a(450,460) r(458,464) r(465,457) r(440,450) r(458,442) 
	977 a(425,447) r(456,453) d(460) d(449) d(450) r(425,453) a(427,446) 
	1397 a(427,456) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) d(449) r(459,457) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(460,454) d(454) 
search: generation 8 (sizeof one variant = 0.23989 MB)
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(446) a(451,447) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(441,448) 
	1397 a(425,447) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(460,454) d(454) r(427,444) 
	977 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) r(465,456) 
	 46 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) d(463) 
	1397 d(440) r(454,449) r(456,453) r(458,464) r(427,451) r(442,456) d(445) r(425,447) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) r(445,450) 
	1397 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) a(464,447) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) a(450,465) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(442,457) 
	 46 a(427,456) r(458,464) r(457,426) d(442) r(457,441) r(450,452) 
	977 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(457,426) d(442) r(457,441) r(427,462) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(460,426) 
	1397 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(441,463) 
	1397 a(427,456) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) 
	1397 d(440) r(454,449) r(448,464) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) a(456,464) 
	 46 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) d(462) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(444,457) 
	1397 a(427,456) d(454) a(463,444) r(445,442) r(458,464) r(457,426) d(442) r(457,441) a(454,463) 
	977 a(427,456) d(454) d(465) r(446,425) r(452,442) a(426,444) r(445,459) d(426) d(442) d(449) r(459,457) d(444) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(444,442) d(440) 
	1397 r(446,451) r(454,449) d(451) d(441) a(448,450) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) r(459,449) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(447) a(464,440) 
	1397 r(456,445) r(461,456) r(426,454) r(440,459) d(456) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) d(450) 
	1397 a(427,456) d(454) a(426,444) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(450,427) a(461,446) 
	1397 d(452) a(450,460) d(453) r(442,464) r(442,446) a(454,427) d(460) a(446,465) 
	 46 a(427,456) d(454) a(426,444) d(453) r(442,464) r(442,446) a(454,427) d(460) d(462) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(450,427) r(443,454) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) d(461) a(450,463) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) r(457,459) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) r(458,441) d(443) a(465,427) 
	977 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(427) r(440,461) 
	977 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(447) r(448,454) 
	 46 a(427,456) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) r(426,465) 
	1397 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) r(426,453) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) r(446,442) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) r(452,457) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) d(457) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(444,442) d(460) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) d(440) d(457) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(442,426) 
search: generation 9 (sizeof one variant = 0.239694 MB)
	977 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) d(425) 
	 46 a(458,449) a(450,460) d(453) r(458,441) d(446) a(451,447) r(447,458) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(446) a(451,447) d(456) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) r(459,446) 
	1397 r(446,451) d(452) d(454) a(463,444) d(453) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) a(451,442) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) a(452,440) 
	977 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) r(458,425) 
	1397 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) r(426,461) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) d(457) r(453,447) 
	1397 d(440) d(452) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) d(448) 
	977 a(427,456) r(454,448) d(458) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) d(461) a(450,463) d(440) 
	1397 d(440) d(452) r(442,447) r(464,459) r(442,446) r(443,456) a(427,464) d(461) a(450,463) r(442,445) 
	1397 a(427,456) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) r(461,444) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(440) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(460) r(454,449) d(451) r(440,459) r(460,426) r(464,425) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(460,426) d(454) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(452) 
	977 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(444,457) r(458,448) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) a(450,459) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) r(442,443) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(442,426) d(458) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) d(425) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(444,457) d(460) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) r(426,453) d(454) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) a(450,465) r(441,427) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) a(459,444) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(442,457) d(451) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(441,448) d(449) 
	1397 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) a(464,447) d(427) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) d(450) r(441,454) 
	1397 d(452) a(450,460) d(453) r(442,464) r(442,446) a(454,427) d(460) a(446,465) d(458) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) d(450) d(461) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) r(445,450) a(457,425) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) d(440) d(457) d(441) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) a(441,444) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) r(464,459) 
	 46 a(425,447) r(456,453) d(460) d(449) r(440,450) d(440) d(457) r(463,458) 
	 46 a(427,456) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) d(444) r(457,459) d(462) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(456,457) 
	977 a(427,456) r(454,448) d(458) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) d(452) 
	 46 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) r(457,459) r(462,457) 
	 45 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(441,463) r(463,448) 
	1397 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) a(445,451) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) a(457,454) 
	1397 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(441,463) d(441) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) r(459,449) r(426,463) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) r(452,457) d(454) 
	 46 a(427,456) d(454) a(463,444) r(445,442) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(442,457) d(463) 
	1397 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) d(461) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(444,442) d(460) r(440,460) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) r(446,442) d(451) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) d(457) r(445,452) 
	977 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) r(456,446) 
search: generation 10 (sizeof one variant = 0.23955 MB)
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) d(449) r(440,450) a(441,444) d(427) 
	1397 a(425,447) r(456,453) d(460) r(426,457) a(457,454) r(452,453) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) a(457,454) r(459,444) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) a(441,444) a(442,426) 
	1397 d(440) d(452) d(452) a(450,427) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) r(452,457) d(454) d(443) 
	1397 a(427,456) d(454) a(463,444) r(425,457) r(449,458) r(458,450) d(450) r(453,465) d(448) d(452) 
	1397 d(440) d(452) d(452) a(450,427) r(425,457) r(449,458) r(458,450) d(450) r(453,465) d(448) a(444,442) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) r(452,457) d(454) a(460,458) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) a(463,444) r(445,442) a(440,451) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(440) a(456,464) 
	1397 a(427,456) d(454) r(426,453) d(454) a(457,463) 
	1397 a(427,456) d(454) d(460) d(447) d(453) r(458,441) d(460) r(426,453) d(454) d(440) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(440) d(451) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) a(441,444) d(450) 
	977 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) d(450) r(441,454) a(456,454) 
	 46 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) r(452,457) d(454) d(463) 
	1397 d(452) a(450,460) d(453) r(442,464) r(442,446) a(454,427) d(460) a(446,465) d(458) r(449,425) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) a(451,447) r(447,458) r(464,445) 
	1397 a(458,449) a(450,460) d(453) r(458,441) d(446) d(458) d(465) r(459,446) d(449) 
	 46 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) r(459,446) d(463) 
	 46 a(458,449) a(450,460) d(453) r(458,441) d(446) a(451,447) r(447,458) d(465) 
	1397 r(446,451) d(452) d(454) a(463,444) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) a(452,440) a(441,453) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(444,457) d(460) r(454,441) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(440) a(461,427) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(442,457) d(451) r(453,465) 
	1397 a(427,456) r(456,453) d(460) d(449) r(440,450) a(441,444) a(442,462) 
	977 a(425,447) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(442,426) d(458) a(450,464) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(442,426) d(458) r(457,445) 
	1397 a(425,447) r(456,453) d(460) d(449) r(440,450) a(441,444) d(452) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) r(456,444) a(446,452) d(445) r(464,459) d(453) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) a(444,457) d(460) d(459) 
	1397 r(446,451) d(452) a(450,427) d(460) d(444) d(427) r(460,461) r(426,453) a(445,447) a(444,457) d(460) a(461,454) 
	 46 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) r(464,459) r(463,448) 
	977 a(427,456) d(447) d(453) r(459,450) r(441,427) r(426,457) a(445,451) a(443,453) 
	1397 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) a(450,465) r(441,427) d(440) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) a(450,465) r(441,427) d(460) 
	 46 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) a(445,451) d(462) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) r(445,450) a(457,425) r(464,442) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) d(452) d(448) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) d(440) d(457) d(441) r(460,426) r(464,425) a(451,444) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(460) r(454,449) d(451) r(440,459) r(460,444) 
	1397 a(427,456) d(454) a(426,444) d(453) r(442,464) a(460,452) r(456,444) a(446,452) d(445) d(440) d(457) d(441) d(425) 
	1397 a(427,456) d(454) a(463,444) r(445,442) d(460) r(454,449) d(451) r(440,459) r(460,426) r(464,425) a(426,459) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) r(445,442) a(464,447) d(427) r(458,449) 
	1397 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) d(452) r(446,463) r(461,447) r(461,446) r(440,457) a(451,442) a(443,441) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) r(445,442) d(452) r(446,463) r(461,447) r(461,446) r(440,457) a(451,442) r(449,444) 
	 46 d(440) d(452) r(442,447) r(464,459) a(460,452) r(456,444) r(442,456) a(464,447) d(427) d(456) 
	1397 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) r(426,461) r(453,463) 
	1397 d(452) a(450,460) r(456,463) a(426,444) d(453) r(458,427) d(440) a(426,464) r(454,453) d(450) r(441,454) a(465,446) 
	 46 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(451) r(462,458) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) r(446,442) d(447) d(453) r(458,441) d(444) a(450,426) r(442,443) a(447,458) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) d(444) a(450,426) r(442,443) r(440,461) 
	1397 d(440) r(454,449) r(456,453) d(452) a(453,450) d(443) r(456,443) d(444) r(458,446) r(446,442) d(451) d(460) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) d(457) r(453,447) a(440,442) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) a(444,442) r(450,445) a(450,459) r(452,443) 
	1397 d(452) a(450,460) r(456,463) d(454) a(452,448) a(427,427) r(452,427) d(457) d(457) r(453,447) d(460) 
	1397 d(440) r(454,449) r(448,464) d(454) a(463,444) r(445,442) a(440,451) d(460) d(447) d(453) r(458,441) a(464,461) r(441,463) d(441) d(450) 
	1397 a(427,456) d(454) a(463,444) r(445,442) a(440,451) d(460) r(454,449) d(451) r(440,459) r(460,426) d(454) r(441,457) 
	 46 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(459,450) r(441,427) r(426,457) a(457,454) d(463) 
	977 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) d(461) r(459,446) a(446,452) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) a(440,465) 
	977 d(440) d(454) d(460) d(447) d(453) r(458,441) d(460) a(460,427) d(461) a(426,448) 
	1397 a(458,449) a(450,460) a(440,451) d(460) d(447) d(453) r(445,442) d(452) r(446,463) r(461,447) d(458) d(465) r(459,446) r(452,442) 
search: genetic algorithm ends
Rep: saving test cache

Variant Test Case Queries: 139312
"Test Suite Evaluations": 298.313

Compile Failures: 0
Wall-Clock Seconds Elapsed: 29454.7
  Activity Name                     Count Seconds = Percent of Total Time
  compile                             546 1384.241 = 4.72374%
  test                             139772 27918.944 = 95.2737%
  TOTAL                                   29303.936 = 99.4881% (avg CPU usage)
fbc-bug-5458-5459.tar.gz
Thu Sep 26 19:16:11 EDT 2013
shutting down
