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.WARNING: the argument --mutp 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.33333
--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 "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--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 true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--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 1
--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 469
--pos-weight 0.1
--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
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0B-B6-46 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 21:38:20 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/tmp443a47.c /tmp/tmp738b2f.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/src/rtlib/libfb_str_midassign.c: parsing
cilRep: preprocessed/src/rtlib/libfb_str_midassign.c: parsed (0.301728 MB)
cilRep: computing liveness
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 465
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)
	p467: true (1)
	p468: true (1)
	p469: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 83.2353)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
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 = 6.4
cilRep: stmts in weighted_path with weight >= 1.0 = 4
cilRep: src/rtlib/libfb_str_midassign.c (code bank/base file; atoms [1,465])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367977187.674454)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 282
cilRep: fix-space quotient by string: 28 -> 23
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: __btowc_alias
progeq: WARNING: cannot resolve call: __wctob_alias
progeq: WARNING: cannot resolve call: mbrtowc
progeq: WARNING: cannot resolve call: __mbrlen
progeq: WARNING: cannot resolve call: free
progeq: WARNING: cannot resolve call: mbstowcs
progeq: WARNING: cannot resolve call: pthread_mutex_lock
progeq: WARNING: cannot resolve call: pthread_mutex_unlock
progeq: WARNING: cannot resolve call: fb_hStrDelTemp_NoLock
progeq: WARNING: cannot resolve call: memcpy
search: fix space reduced (time_taken = 0.50381)
search: ww_adaptive: 28 deletes
search: ww_adaptive: 479 appends
search: ww_adaptive: 507 possible edits
search: ready to start (time_taken = 3.22011)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
rep: WARNING: test_visiting_atoms: no data available
	try using --coverage-per-test and/or --regen-paths
	defaulting to 'all tests'
search: ww_adaptive: found 50 best (time_taken = 2.72106)
search: ww_adaptive: found best (time_taken = 0.021291)
	variant     1/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 1)
		n1 false (test_time = 2.93288)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.021651)
	variant     2/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 50)
		n1 false (test_time = 2.76652)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0235231)
	variant     3/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 49)
		n1 false (test_time = 4.308)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.020824)
	variant     4/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 48)
		n1 false (test_time = 5.84444)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.020159)
	variant     5/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 47)
		n1 false (test_time = 2.7033)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0235739)
	variant     6/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 46)
		n1 false (test_time = 4.19632)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0206392)
	variant     7/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 45)
		n1 false (test_time = 2.81392)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0202589)
	variant     8/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 44)
		n1 false (test_time = 4.06345)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.020256)
	variant     9/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 43)
		n1 false (test_time = 3.57474)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.020407)
	variant    10/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 42)
		n1 false (test_time = 2.70286)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0182099)
	variant    11/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 41)
		n1 false (test_time = 3.00478)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0181241)
	variant    12/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 40)
		n1 false (test_time = 4.56836)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0181859)
	variant    13/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 39)
		n1 false (test_time = 3.70171)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0191901)
	variant    14/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 38)
		n1 false (test_time = 5.01741)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0157759)
	variant    15/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 37)
		n1 false (test_time = 2.74533)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.018147)
	variant    16/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 36)
		n1 false (test_time = 3.64204)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.015847)
	variant    17/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 35)
		n1 false (test_time = 4.25394)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.014456)
	variant    18/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 34)
		n1 false (test_time = 2.89069)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0151479)
	variant    19/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 33)
		n1 false (test_time = 2.90085)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.01614)
	variant    20/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 32)
		n1 false (test_time = 4.44614)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.013869)
	variant    21/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 31)
		n1 false (test_time = 4.2744)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0125792)
	variant    22/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 30)
		n1 false (test_time = 4.60653)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0123498)
	variant    23/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 29)
		n1 false (test_time = 2.7872)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.013483)
	variant    24/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 28)
		n1 false (test_time = 4.13585)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0117121)
	variant    25/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 27)
		n1 false (test_time = 2.8564)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0115919)
	variant    26/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 26)
		n1 false (test_time = 2.81547)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.01368)
	variant    27/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 25)
		n1 false (test_time = 2.70481)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0101731)
	variant    28/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 24)
		n1 false (test_time = 4.03707)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00933385)
	variant    29/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 23)
		n1 false (test_time = 2.71247)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00928617)
	variant    30/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 22)
		n1 false (test_time = 3.56658)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00907302)
	variant    31/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 21)
		n1 false (test_time = 3.35209)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00978494)
	variant    32/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 20)
		n1 false (test_time = 2.88656)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00863004)
	variant    33/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 19)
		n1 false (test_time = 2.7161)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00769997)
	variant    34/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 18)
		n1 false (test_time = 4.24631)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00706387)
	variant    35/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 17)
		n1 false (test_time = 2.92316)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00721788)
	variant    36/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 16)
		n1 false (test_time = 3.33184)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00599909)
	variant    37/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 15)
		n1 false (test_time = 3.99972)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00720215)
	variant    38/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 14)
		n1 false (test_time = 2.80378)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00541997)
	variant    39/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 13)
		n1 false (test_time = 2.97072)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0046041)
	variant    40/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 12)
		n1 false (test_time = 3.61659)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00424981)
	variant    41/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 11)
		n1 false (test_time = 2.72833)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00426197)
	variant    42/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 10)
		n1 false (test_time = 3.18999)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0047071)
	variant    43/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 9)
		n1 false (test_time = 2.8552)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00631285)
	variant    44/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 8)
		n1 false (test_time = 3.68376)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00252795)
	variant    45/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 7)
		n1 false (test_time = 3.22602)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00212502)
	variant    46/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 6)
		n1 false (test_time = 4.7131)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.001405)
	variant    47/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 5)
		n1 false (test_time = 2.8008)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00442982)
	variant    48/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 4)
		n1 false (test_time = 3.74312)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000511885)
	variant    49/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 3)
		n1 false (test_time = 4.32338)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 2.09808e-05)
	variant    50/  507 = ?(1,a(444,452)) ?(2,a(444,454)) ?(3,a(444,456)) ?(4,a(444,457)) ?(5,a(444,458)) ?(6,a(444,461)) ?(7,a(444,462)) ?(8,a(444,463)) ?(9,a(444,464)) ?(10,a(444,465)) ?(11,a(447,426)) ?(12,a(447,427)) ?(13,a(447,440)) ?(14,a(447,441)) ?(15,a(447,442)) ?(16,a(447,446)) ?(17,a(447,450)) ?(18,a(447,451)) ?(19,a(447,452)) ?(20,a(447,454)) ?(21,a(447,456)) ?(22,a(447,457)) ?(23,a(447,458)) ?(24,a(447,461)) ?(25,d(443)) ?(26,d(444)) ?(27,d(447)) ?(28,d(453)) ?(29,a(453,465)) ?(30,a(453,464)) ?(31,a(453,463)) ?(32,a(453,462)) ?(33,a(453,461)) ?(34,a(453,458)) ?(35,a(453,457)) ?(36,a(453,456)) ?(37,a(453,454)) ?(38,a(453,452)) ?(39,a(453,451)) ?(40,a(453,450)) ?(41,a(453,446)) ?(42,a(453,442)) ?(43,a(453,441)) ?(44,a(453,440)) ?(45,a(453,427)) ?(46,a(453,426)) ?(47,a(447,465)) ?(48,a(447,464)) ?(49,a(447,463)) ?(50,a(447,462))  (470 tests, cond 2)
		n1 false (test_time = 4.69312)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
search: ww_adaptive: found 50 best (time_taken = 0.294853)
search: ww_adaptive: found best (time_taken = 0.0201619)
	variant    51/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 25)
		n1 false (test_time = 3.7586)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0114698)
	variant    52/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 50)
		n1 false (test_time = 3.73042)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0105901)
	variant    53/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 49)
		n1 false (test_time = 2.83252)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0122759)
	variant    54/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 48)
		n1 false (test_time = 4.08888)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0113611)
	variant    55/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 47)
		n1 false (test_time = 2.83916)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00990605)
	variant    56/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 46)
		n1 false (test_time = 3.70633)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0116341)
	variant    57/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 45)
		n1 false (test_time = 2.93419)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00805807)
	variant    58/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 44)
		n1 false (test_time = 2.8374)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00801301)
	variant    59/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 43)
		n1 false (test_time = 2.66304)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00727487)
	variant    60/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 42)
		n1 false (test_time = 2.77849)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00666714)
	variant    61/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 41)
		n1 false (test_time = 2.66455)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00751495)
	variant    62/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 40)
		n1 false (test_time = 3.34108)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00607204)
	variant    63/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 39)
		n1 false (test_time = 2.69555)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00882888)
	variant    64/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 38)
		n1 false (test_time = 3.05541)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00872207)
	variant    65/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 37)
		n1 false (test_time = 4.45687)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00495601)
	variant    66/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 36)
		n1 false (test_time = 2.94416)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00445795)
	variant    67/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 35)
		n1 false (test_time = 2.95249)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00371099)
	variant    68/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 34)
		n1 false (test_time = 2.81996)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00376081)
	variant    69/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 33)
		n1 false (test_time = 4.4062)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00297499)
	variant    70/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 32)
		n1 false (test_time = 2.67091)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00394702)
	variant    71/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 31)
		n1 false (test_time = 2.77706)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00224996)
	variant    72/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 30)
		n1 false (test_time = 2.66635)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00148511)
	variant    73/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 29)
		n1 false (test_time = 3.61893)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00153279)
	variant    74/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 28)
		n1 false (test_time = 4.51001)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000607967)
	variant    75/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 27)
		n1 false (test_time = 2.71582)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000173092)
	variant    76/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 26)
		n1 false (test_time = 3.72212)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0114069)
	variant    77/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 24)
		n1 false (test_time = 2.84972)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0119741)
	variant    78/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 23)
		n1 false (test_time = 4.06428)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00914383)
	variant    79/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 22)
		n1 false (test_time = 2.67312)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.012516)
	variant    80/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 21)
		n1 false (test_time = 2.77766)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00971794)
	variant    81/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 20)
		n1 true (test_time = 2.64862)
		p1 true (test_time = 0.159999)
		p2 true (test_time = 0.168582)
		p3 true (test_time = 0.166222)
		p4 true (test_time = 0.167302)
		p5 true (test_time = 0.170273)
		p6 true (test_time = 0.165126)
		p7 true (test_time = 0.172742)
		p8 true (test_time = 0.168607)
		p9 true (test_time = 0.172327)
		p10 true (test_time = 0.169761)
		p11 true (test_time = 0.169239)
		p12 true (test_time = 0.165896)
		p13 true (test_time = 0.163736)
		p14 true (test_time = 0.166496)
		p15 true (test_time = 0.160009)
		p16 true (test_time = 0.163251)
		p17 true (test_time = 0.169472)
		p18 true (test_time = 0.159182)
		p19 true (test_time = 0.158669)
		p20 true (test_time = 0.160581)
		p21 true (test_time = 0.160706)
		p22 true (test_time = 0.162021)
		p23 true (test_time = 0.172851)
		p24 true (test_time = 0.169452)
		p25 true (test_time = 0.166983)
		p26 true (test_time = 0.167325)
		p27 true (test_time = 0.159187)
		p28 true (test_time = 0.159799)
		p29 true (test_time = 0.161108)
		p30 true (test_time = 0.167236)
		p31 true (test_time = 0.164961)
		p32 true (test_time = 0.154657)
		p33 true (test_time = 0.159777)
		p34 true (test_time = 0.161848)
		p35 true (test_time = 0.16137)
		p36 true (test_time = 0.152034)
		p37 true (test_time = 0.161626)
		p38 true (test_time = 0.161391)
		p39 true (test_time = 0.159363)
		p40 true (test_time = 0.159145)
		p41 true (test_time = 0.161217)
		p42 true (test_time = 0.159435)
		p43 true (test_time = 0.15921)
		p44 true (test_time = 0.161629)
		p45 true (test_time = 0.160046)
		p46 true (test_time = 0.172354)
		p47 true (test_time = 0.16473)
		p48 true (test_time = 0.16611)
		p49 true (test_time = 0.161359)
		p50 true (test_time = 0.16746)
		p51 true (test_time = 0.167234)
		p52 true (test_time = 0.165994)
		p53 true (test_time = 0.173847)
		p54 true (test_time = 0.194087)
		p55 true (test_time = 0.180929)
		p56 true (test_time = 0.171845)
		p57 true (test_time = 0.161842)
		p58 true (test_time = 0.162207)
		p59 true (test_time = 0.159944)
		p60 true (test_time = 0.160693)
		p61 true (test_time = 0.162787)
		p62 true (test_time = 0.168344)
		p63 true (test_time = 0.164098)
		p64 true (test_time = 0.163344)
		p65 true (test_time = 0.166773)
		p66 true (test_time = 0.162483)
		p67 true (test_time = 0.161034)
		p68 true (test_time = 0.155341)
		p69 true (test_time = 0.153763)
		p70 true (test_time = 0.159119)
		p71 true (test_time = 0.162252)
		p72 true (test_time = 0.167427)
		p73 true (test_time = 0.161186)
		p74 true (test_time = 0.162626)
		p75 true (test_time = 0.153076)
		p76 true (test_time = 0.153795)
		p77 true (test_time = 0.161215)
		p78 true (test_time = 0.159693)
		p79 true (test_time = 0.162769)
		p80 true (test_time = 0.167248)
		p81 true (test_time = 0.16894)
		p82 true (test_time = 0.163735)
		p83 true (test_time = 0.160462)
		p84 true (test_time = 0.160525)
		p85 true (test_time = 0.161833)
		p86 true (test_time = 0.161083)
		p87 true (test_time = 0.162432)
		p88 true (test_time = 0.169469)
		p89 true (test_time = 0.161711)
		p90 true (test_time = 0.163596)
		p91 true (test_time = 0.153618)
		p92 true (test_time = 0.159519)
		p93 true (test_time = 0.159927)
		p94 true (test_time = 0.159959)
		p95 true (test_time = 0.16035)
		p96 true (test_time = 0.160386)
		p97 true (test_time = 0.152795)
		p98 true (test_time = 0.155285)
		p99 true (test_time = 0.160001)
		p100 true (test_time = 0.159661)
		p101 true (test_time = 0.170022)
		p102 true (test_time = 0.162508)
		p103 true (test_time = 0.161166)
		p104 true (test_time = 0.160146)
		p105 true (test_time = 0.1608)
		p106 true (test_time = 0.159109)
		p107 true (test_time = 0.16074)
		p108 true (test_time = 0.160502)
		p109 true (test_time = 0.161923)
		p110 true (test_time = 0.161418)
		p111 true (test_time = 0.159609)
		p112 true (test_time = 0.158821)
		p113 true (test_time = 0.158681)
		p114 true (test_time = 0.1601)
		p115 true (test_time = 0.159511)
		p116 true (test_time = 0.163194)
		p117 true (test_time = 0.15973)
		p118 true (test_time = 0.157078)
		p119 true (test_time = 0.161731)
		p120 true (test_time = 0.15958)
		p121 true (test_time = 0.160468)
		p122 true (test_time = 0.159457)
		p123 true (test_time = 0.159433)
		p124 true (test_time = 0.158717)
		p125 true (test_time = 0.160069)
		p126 true (test_time = 0.159803)
		p127 true (test_time = 0.159984)
		p128 true (test_time = 0.159644)
		p129 true (test_time = 0.159854)
		p130 true (test_time = 0.162921)
		p131 true (test_time = 0.158797)
		p132 true (test_time = 0.160836)
		p133 true (test_time = 0.160178)
		p134 true (test_time = 0.158734)
		p135 true (test_time = 0.158276)
		p136 true (test_time = 0.159987)
		p137 true (test_time = 0.160117)
		p138 true (test_time = 0.161621)
		p139 true (test_time = 0.162344)
		p140 true (test_time = 0.160854)
		p141 true (test_time = 0.160787)
		p142 true (test_time = 0.161161)
		p143 true (test_time = 0.158035)
		p144 true (test_time = 0.160946)
		p145 true (test_time = 0.172462)
		p146 true (test_time = 0.160807)
		p147 true (test_time = 0.159242)
		p148 true (test_time = 0.169421)
		p149 true (test_time = 0.174321)
		p150 true (test_time = 0.166465)
		p151 true (test_time = 0.16833)
		p152 true (test_time = 0.186866)
		p153 true (test_time = 0.172814)
		p154 true (test_time = 0.16564)
		p155 true (test_time = 0.164418)
		p156 true (test_time = 0.158151)
		p157 true (test_time = 0.163785)
		p158 true (test_time = 0.155448)
		p159 true (test_time = 0.171578)
		p160 true (test_time = 0.160342)
		p161 true (test_time = 0.163157)
		p162 true (test_time = 0.159958)
		p163 true (test_time = 0.159939)
		p164 true (test_time = 0.161052)
		p165 true (test_time = 0.159364)
		p166 true (test_time = 0.158691)
		p167 true (test_time = 0.162039)
		p168 true (test_time = 0.158465)
		p169 true (test_time = 0.165767)
		p170 true (test_time = 0.160561)
		p171 true (test_time = 0.15998)
		p172 true (test_time = 0.163363)
		p173 true (test_time = 0.163354)
		p174 true (test_time = 0.161906)
		p175 true (test_time = 0.159946)
		p176 true (test_time = 0.159457)
		p177 true (test_time = 0.170314)
		p178 true (test_time = 0.161302)
		p179 true (test_time = 0.161937)
		p180 true (test_time = 0.162576)
		p181 true (test_time = 0.159823)
		p182 true (test_time = 0.15979)
		p183 true (test_time = 0.167105)
		p184 true (test_time = 0.150794)
		p185 true (test_time = 0.176843)
		p186 true (test_time = 0.159907)
		p187 true (test_time = 0.158709)
		p188 true (test_time = 0.160348)
		p189 true (test_time = 0.162468)
		p190 true (test_time = 0.160151)
		p191 true (test_time = 0.163971)
		p192 true (test_time = 0.159141)
		p193 true (test_time = 0.16146)
		p194 true (test_time = 0.173745)
		p195 true (test_time = 0.151969)
		p196 true (test_time = 0.150609)
		p197 true (test_time = 0.161719)
		p198 true (test_time = 0.161581)
		p199 true (test_time = 0.159964)
		p200 true (test_time = 0.160186)
		p201 true (test_time = 0.162933)
		p202 true (test_time = 0.159818)
		p203 true (test_time = 0.171731)
		p204 true (test_time = 0.159706)
		p205 true (test_time = 0.159474)
		p206 true (test_time = 0.159564)
		p207 true (test_time = 0.164398)
		p208 true (test_time = 0.166)
		p209 true (test_time = 0.158861)
		p210 true (test_time = 0.165495)
		p211 true (test_time = 0.161712)
		p212 true (test_time = 0.166502)
		p213 true (test_time = 0.154378)
		p214 true (test_time = 0.154973)
		p215 true (test_time = 0.156771)
		p216 true (test_time = 0.160415)
		p217 true (test_time = 0.16261)
		p218 true (test_time = 0.16072)
		p219 true (test_time = 0.166852)
		p220 true (test_time = 0.162524)
		p221 true (test_time = 0.16127)
		p222 true (test_time = 0.159955)
		p223 true (test_time = 0.161919)
		p224 true (test_time = 0.167289)
		p225 true (test_time = 0.16104)
		p226 true (test_time = 0.15965)
		p227 true (test_time = 0.160143)
		p228 true (test_time = 0.165215)
		p229 true (test_time = 0.159846)
		p230 true (test_time = 0.159876)
		p231 true (test_time = 0.160491)
		p232 true (test_time = 0.159724)
		p233 true (test_time = 0.162582)
		p234 true (test_time = 0.159945)
		p235 true (test_time = 0.170527)
		p236 true (test_time = 0.163814)
		p237 false (test_time = 0.153316)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0116749)
	variant    82/  507 = ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426))  (470 tests, cond 19)
		n1 true (test_time = 2.63506)
		p237 true (test_time = 0.159273)
		p238 true (test_time = 0.159945)
		p239 true (test_time = 0.151761)
		p240 true (test_time = 0.151633)
		p241 true (test_time = 0.163116)
		p242 true (test_time = 0.165141)
		p243 true (test_time = 0.164596)
		p244 true (test_time = 0.161776)
		p245 true (test_time = 0.161532)
		p246 true (test_time = 0.166282)
		p247 true (test_time = 0.16455)
		p248 true (test_time = 0.169687)
		p249 true (test_time = 0.161991)
		p250 true (test_time = 0.158735)
		p251 true (test_time = 0.162972)
		p252 true (test_time = 0.168457)
		p253 true (test_time = 0.166646)
		p254 true (test_time = 0.165872)
		p255 true (test_time = 0.17258)
		p256 true (test_time = 0.16658)
		p257 true (test_time = 0.175314)
		p258 true (test_time = 0.15737)
		p259 true (test_time = 0.156274)
		p260 true (test_time = 0.165292)
		p261 true (test_time = 0.168932)
		p262 true (test_time = 0.176259)
		p263 true (test_time = 0.166123)
		p264 true (test_time = 0.159545)
		p265 true (test_time = 0.165309)
		p266 true (test_time = 0.160493)
		p267 true (test_time = 0.159959)
		p268 true (test_time = 0.164579)
		p269 true (test_time = 0.161452)
		p270 true (test_time = 0.161737)
		p271 true (test_time = 0.161651)
		p272 true (test_time = 0.163207)
		p273 true (test_time = 0.176348)
		p274 true (test_time = 0.173725)
		p275 true (test_time = 0.160785)
		p276 true (test_time = 0.167152)
		p277 true (test_time = 0.165322)
		p278 true (test_time = 0.164366)
		p279 true (test_time = 0.165718)
		p280 true (test_time = 0.166193)
		p281 true (test_time = 0.161666)
		p282 true (test_time = 0.156079)
		p283 true (test_time = 0.161253)
		p284 true (test_time = 0.160233)
		p285 true (test_time = 0.160448)
		p286 true (test_time = 0.161334)
		p287 true (test_time = 0.161303)
		p288 true (test_time = 0.160522)
		p289 true (test_time = 0.161836)
		p290 true (test_time = 0.16735)
		p291 true (test_time = 0.168036)
		p292 true (test_time = 0.186365)
		p293 true (test_time = 0.170218)
		p294 true (test_time = 0.180087)
		p295 true (test_time = 0.162363)
		p296 true (test_time = 0.161417)
		p297 true (test_time = 0.167805)
		p298 true (test_time = 0.171538)
		p299 true (test_time = 0.169842)
		p300 true (test_time = 0.162759)
		p301 true (test_time = 0.179845)
		p302 true (test_time = 0.166192)
		p303 true (test_time = 0.170237)
		p304 true (test_time = 0.15766)
		p305 true (test_time = 0.164551)
		p306 true (test_time = 0.174105)
		p307 true (test_time = 0.162025)
		p308 true (test_time = 0.160736)
		p309 true (test_time = 0.172969)
		p310 true (test_time = 0.180589)
		p311 true (test_time = 0.16371)
		p312 true (test_time = 0.174731)
		p313 true (test_time = 0.160311)
		p314 true (test_time = 0.159813)
		p315 true (test_time = 0.16108)
		p316 true (test_time = 0.152374)
		p317 true (test_time = 0.162093)
		p318 true (test_time = 0.161693)
		p319 true (test_time = 0.161017)
		p320 true (test_time = 0.161305)
		p321 true (test_time = 0.160744)
		p322 true (test_time = 0.161853)
		p323 true (test_time = 0.160094)
		p324 true (test_time = 0.162426)
		p325 true (test_time = 0.17796)
		p326 true (test_time = 0.161963)
		p327 true (test_time = 0.162757)
		p328 true (test_time = 0.161143)
		p329 true (test_time = 0.160153)
		p330 true (test_time = 0.163995)
		p331 true (test_time = 0.160113)
		p332 true (test_time = 0.162432)
		p333 true (test_time = 0.163628)
		p334 true (test_time = 0.161421)
		p335 true (test_time = 0.161424)
		p336 true (test_time = 0.160488)
		p337 true (test_time = 0.162199)
		p338 true (test_time = 0.164048)
		p339 true (test_time = 0.161124)
		p340 true (test_time = 0.159952)
		p341 true (test_time = 0.16123)
		p342 true (test_time = 0.160991)
		p343 true (test_time = 0.165603)
		p344 true (test_time = 0.162302)
		p345 true (test_time = 0.161191)
		p346 true (test_time = 0.160938)
		p347 true (test_time = 0.160061)
		p348 true (test_time = 0.162058)
		p349 true (test_time = 0.161033)
		p350 true (test_time = 0.163223)
		p351 true (test_time = 0.162038)
		p352 true (test_time = 0.163898)
		p353 true (test_time = 0.160834)
		p354 true (test_time = 0.118314)
		p355 true (test_time = 0.117171)
		p356 true (test_time = 0.117564)
		p357 true (test_time = 0.117852)
		p358 true (test_time = 0.120572)
		p359 true (test_time = 0.118735)
		p360 true (test_time = 0.131393)
		p361 true (test_time = 0.118152)
		p362 true (test_time = 0.118606)
		p363 true (test_time = 0.117727)
		p364 true (test_time = 0.121125)
		p365 true (test_time = 0.122593)
		p366 true (test_time = 0.119547)
		p367 true (test_time = 0.117814)
		p368 true (test_time = 0.121118)
		p369 true (test_time = 0.118238)
		p370 true (test_time = 0.119456)
		p371 true (test_time = 0.117408)
		p372 true (test_time = 0.120786)
		p373 true (test_time = 0.119711)
		p374 true (test_time = 0.120118)
		p375 true (test_time = 0.12252)
		p376 true (test_time = 0.120662)
		p377 true (test_time = 0.12443)
		p378 true (test_time = 0.121047)
		p379 true (test_time = 0.118781)
		p380 true (test_time = 0.107288)
		p381 true (test_time = 0.106771)
		p382 true (test_time = 0.106123)
		p383 true (test_time = 0.108198)
		p384 true (test_time = 0.107361)
		p385 true (test_time = 0.105009)
		p386 true (test_time = 0.107665)
		p387 true (test_time = 0.105904)
		p388 true (test_time = 0.104538)
		p389 true (test_time = 0.104913)
		p390 true (test_time = 0.104818)
		p391 true (test_time = 0.102815)
		p392 true (test_time = 0.105685)
		p393 true (test_time = 0.104471)
		p394 true (test_time = 0.10499)
		p395 true (test_time = 0.104391)
		p396 true (test_time = 0.104704)
		p397 true (test_time = 0.104391)
		p398 true (test_time = 0.10434)
		p399 true (test_time = 0.105421)
		p400 true (test_time = 0.10212)
		p401 true (test_time = 0.141499)
		p402 true (test_time = 0.104281)
		p403 true (test_time = 0.103836)
		p404 true (test_time = 0.108409)
		p405 true (test_time = 0.113643)
		p406 true (test_time = 0.0997031)
		p407 true (test_time = 0.106305)
		p408 true (test_time = 0.103396)
		p409 true (test_time = 0.109067)
		p410 true (test_time = 0.10549)
		p411 true (test_time = 0.104614)
		p412 true (test_time = 0.104972)
		p413 true (test_time = 0.105731)
		p414 true (test_time = 0.108078)
		p415 true (test_time = 0.104104)
		p416 true (test_time = 0.104596)
		p417 true (test_time = 0.103633)
		p418 true (test_time = 0.103645)
		p419 true (test_time = 0.105411)
		p420 true (test_time = 0.10486)
		p421 true (test_time = 0.105698)
		p422 true (test_time = 0.105633)
		p423 true (test_time = 0.105072)
		p424 true (test_time = 0.105958)
		p425 true (test_time = 0.105108)
		p426 true (test_time = 0.104225)
		p427 true (test_time = 0.105615)
		p428 true (test_time = 0.103936)
		p429 true (test_time = 0.104664)
		p430 true (test_time = 0.10498)
		p431 true (test_time = 0.106763)
		p432 true (test_time = 0.103842)
		p433 true (test_time = 0.103558)
		p434 true (test_time = 0.103387)
		p435 true (test_time = 0.231854)
		p436 true (test_time = 0.223075)
		p437 true (test_time = 0.245061)
		p438 true (test_time = 0.243401)
		p439 true (test_time = 0.24512)
		p440 true (test_time = 0.231377)
		p441 true (test_time = 0.282725)
		p442 true (test_time = 0.277674)
		p443 true (test_time = 0.279906)
		p444 true (test_time = 0.278895)
		p445 true (test_time = 0.275439)
		p446 true (test_time = 0.274982)
		p447 true (test_time = 0.123881)
		p448 true (test_time = 0.121457)
		p449 true (test_time = 0.121359)
		p450 true (test_time = 0.118038)
		p451 true (test_time = 0.104518)
		p452 true (test_time = 0.105049)
		p453 true (test_time = 0.106766)
		p454 true (test_time = 0.105777)
		p455 true (test_time = 0.103421)
		p456 true (test_time = 0.242788)
		p457 true (test_time = 0.239886)
		p458 true (test_time = 0.250692)
		p459 true (test_time = 0.254375)
		p460 true (test_time = 0.254993)
		p461 true (test_time = 0.244127)
		p462 true (test_time = 0.23979)
		p463 true (test_time = 0.264533)
		p464 true (test_time = 0.246078)
		p465 true (test_time = 0.243142)
		p466 true (test_time = 0.241191)
		p467 true (test_time = 0.268047)
		p468 true (test_time = 0.240456)
		p469 true (test_time = 0.240319)
		p1 true (test_time = 0.159875)
		p2 true (test_time = 0.160462)
		p3 true (test_time = 0.159782)
		p4 true (test_time = 0.159953)
		p5 true (test_time = 0.159849)
		p6 true (test_time = 0.159715)
		p7 true (test_time = 0.160826)
		p8 true (test_time = 0.160312)
		p9 true (test_time = 0.164648)
		p10 true (test_time = 0.162907)
		p11 true (test_time = 0.161799)
		p12 true (test_time = 0.161593)
		p13 true (test_time = 0.161129)
		p14 true (test_time = 0.15981)
		p15 true (test_time = 0.167099)
		p16 true (test_time = 0.163917)
		p17 true (test_time = 0.159308)
		p18 true (test_time = 0.161907)
		p19 true (test_time = 0.16946)
		p20 true (test_time = 0.167577)
		p21 true (test_time = 0.169722)
		p22 true (test_time = 0.167665)
		p23 true (test_time = 0.165655)
		p24 true (test_time = 0.173603)
		p25 true (test_time = 0.173909)
		p26 true (test_time = 0.165887)
		p27 true (test_time = 0.156983)
		p28 true (test_time = 0.16491)
		p29 true (test_time = 0.163267)
		p30 true (test_time = 0.159724)
		p31 true (test_time = 0.161806)
		p32 true (test_time = 0.154033)
		p33 true (test_time = 0.161489)
		p34 true (test_time = 0.161879)
		p35 true (test_time = 0.160189)
		p36 true (test_time = 0.160019)
		p37 true (test_time = 0.160397)
		p38 true (test_time = 0.1598)
		p39 true (test_time = 0.161025)
		p40 true (test_time = 0.166378)
		p41 true (test_time = 0.159952)
		p42 true (test_time = 0.159113)
		p43 true (test_time = 0.160375)
		p44 true (test_time = 0.159626)
		p45 true (test_time = 0.160759)
		p46 true (test_time = 0.161719)
		p47 true (test_time = 0.161854)
		p48 true (test_time = 0.162905)
		p49 true (test_time = 0.161659)
		p50 true (test_time = 0.166491)
		p51 true (test_time = 0.168136)
		p52 true (test_time = 0.161661)
		p53 true (test_time = 0.164009)
		p54 true (test_time = 0.193182)
		p55 true (test_time = 0.176076)
		p56 true (test_time = 0.179202)
		p57 true (test_time = 0.159761)
		p58 true (test_time = 0.160212)
		p59 true (test_time = 0.16925)
		p60 true (test_time = 0.162673)
		p61 true (test_time = 0.159337)
		p62 true (test_time = 0.158661)
		p63 true (test_time = 0.16351)
		p64 true (test_time = 0.161345)
		p65 true (test_time = 0.160078)
		p66 true (test_time = 0.159955)
		p67 true (test_time = 0.160071)
		p68 true (test_time = 0.160426)
		p69 true (test_time = 0.161575)
		p70 true (test_time = 0.159337)
		p71 true (test_time = 0.159178)
		p72 true (test_time = 0.161456)
		p73 true (test_time = 0.161193)
		p74 true (test_time = 0.159731)
		p75 true (test_time = 0.16244)
		p76 true (test_time = 0.161628)
		p77 true (test_time = 0.162027)
		p78 true (test_time = 0.171313)
		p79 true (test_time = 0.162679)
		p80 true (test_time = 0.165291)
		p81 true (test_time = 0.1624)
		p82 true (test_time = 0.159638)
		p83 true (test_time = 0.160111)
		p84 true (test_time = 0.159331)
		p85 true (test_time = 0.159177)
		p86 true (test_time = 0.159636)
		p87 true (test_time = 0.159372)
		p88 true (test_time = 0.159943)
		p89 true (test_time = 0.161267)
		p90 true (test_time = 0.159731)
		p91 true (test_time = 0.161665)
		p92 true (test_time = 0.159321)
		p93 true (test_time = 0.15927)
		p94 true (test_time = 0.160988)
		p95 true (test_time = 0.158342)
		p96 true (test_time = 0.163882)
		p97 true (test_time = 0.162531)
		p98 true (test_time = 0.162966)
		p99 true (test_time = 0.160044)
		p100 true (test_time = 0.158975)
		p101 true (test_time = 0.161574)
		p102 true (test_time = 0.160552)
		p103 true (test_time = 0.161329)
		p104 true (test_time = 0.159285)
		p105 true (test_time = 0.161967)
		p106 true (test_time = 0.158976)
		p107 true (test_time = 0.159535)
		p108 true (test_time = 0.180588)
		p109 true (test_time = 0.161402)
		p110 true (test_time = 0.16051)
		p111 true (test_time = 0.160275)
		p112 true (test_time = 0.164041)
		p113 true (test_time = 0.161058)
		p114 true (test_time = 0.158614)
		p115 true (test_time = 0.158504)
		p116 true (test_time = 0.160864)
		p117 true (test_time = 0.15922)
		p118 true (test_time = 0.160344)
		p119 true (test_time = 0.162308)
		p120 true (test_time = 0.159696)
		p121 true (test_time = 0.160752)
		p122 true (test_time = 0.155089)
		p123 true (test_time = 0.161212)
		p124 true (test_time = 0.159318)
		p125 true (test_time = 0.16029)
		p126 true (test_time = 0.160206)
		p127 true (test_time = 0.160586)
		p128 true (test_time = 0.158714)
		p129 true (test_time = 0.160523)
		p130 true (test_time = 0.161699)
		p131 true (test_time = 0.159561)
		p132 true (test_time = 0.160698)
		p133 true (test_time = 0.158733)
		p134 true (test_time = 0.161153)
		p135 true (test_time = 0.160271)
		p136 true (test_time = 0.159678)
		p137 true (test_time = 0.16262)
		p138 true (test_time = 0.16042)
		p139 true (test_time = 0.172221)
		p140 true (test_time = 0.162795)
		p141 true (test_time = 0.164)
		p142 true (test_time = 0.162623)
		p143 true (test_time = 0.158322)
		p144 true (test_time = 0.160744)
		p145 true (test_time = 0.160921)
		p146 true (test_time = 0.16227)
		p147 true (test_time = 0.159625)
		p148 true (test_time = 0.156338)
		p149 true (test_time = 0.158696)
		p150 true (test_time = 0.158525)
		p151 true (test_time = 0.159309)
		p152 true (test_time = 0.163669)
		p153 true (test_time = 0.165255)
		p154 true (test_time = 0.16089)
		p155 true (test_time = 0.160584)
		p156 true (test_time = 0.161152)
		p157 true (test_time = 0.167252)
		p158 true (test_time = 0.160138)
		p159 true (test_time = 0.175284)
		p160 true (test_time = 0.15985)
		p161 true (test_time = 0.159801)
		p162 true (test_time = 0.158331)
		p163 true (test_time = 0.16165)
		p164 true (test_time = 0.159914)
		p165 true (test_time = 0.159606)
		p166 true (test_time = 0.15948)
		p167 true (test_time = 0.164902)
		p168 true (test_time = 0.152882)
		p169 true (test_time = 0.162931)
		p170 true (test_time = 0.163606)
		p171 true (test_time = 0.152267)
		p172 true (test_time = 0.161378)
		p173 true (test_time = 0.15338)
		p174 true (test_time = 0.153503)
		p175 true (test_time = 0.161839)
		p176 true (test_time = 0.158931)
		p177 true (test_time = 0.161036)
		p178 true (test_time = 0.160882)
		p179 true (test_time = 0.161108)
		p180 true (test_time = 0.1598)
		p181 true (test_time = 0.160709)
		p182 true (test_time = 0.162564)
		p183 true (test_time = 0.159941)
		p184 true (test_time = 0.159927)
		p185 true (test_time = 0.172586)
		p186 true (test_time = 0.162287)
		p187 true (test_time = 0.162316)
		p188 true (test_time = 0.163875)
		p189 true (test_time = 0.164444)
		p190 true (test_time = 0.159284)
		p191 true (test_time = 0.159059)
		p192 true (test_time = 0.16094)
		p193 true (test_time = 0.160289)
		p194 true (test_time = 0.176351)
		p195 true (test_time = 0.16401)
		p196 true (test_time = 0.170995)
		p197 true (test_time = 0.158674)
		p198 true (test_time = 0.177739)
		p199 true (test_time = 0.175964)
		p200 true (test_time = 0.166339)
		p201 true (test_time = 0.171215)
		p202 true (test_time = 0.162159)
		p203 true (test_time = 0.164803)
		p204 true (test_time = 0.165368)
		p205 true (test_time = 0.164972)
		p206 true (test_time = 0.169113)
		p207 true (test_time = 0.161682)
		p208 true (test_time = 0.151458)
		p209 true (test_time = 0.154047)
		p210 true (test_time = 0.163364)
		p211 true (test_time = 0.160928)
		p212 true (test_time = 0.16221)
		p213 true (test_time = 0.160777)
		p214 true (test_time = 0.164352)
		p215 true (test_time = 0.159715)
		p216 true (test_time = 0.159766)
		p217 true (test_time = 0.16211)
		p218 true (test_time = 0.160666)
		p219 true (test_time = 0.162865)
		p220 true (test_time = 0.159205)
		p221 true (test_time = 0.151747)
		p222 true (test_time = 0.159739)
		p223 true (test_time = 0.158649)
		p224 true (test_time = 0.162666)
		p225 true (test_time = 0.15978)
		p226 true (test_time = 0.162516)
		p227 true (test_time = 0.160516)
		p228 true (test_time = 0.161167)
		p229 true (test_time = 0.160109)
		p230 true (test_time = 0.168644)
		p231 true (test_time = 0.164115)
		p232 true (test_time = 0.162333)
		p233 true (test_time = 0.161812)
		p234 true (test_time = 0.160058)
		p235 true (test_time = 0.16446)
		p236 true (test_time = 0.16124)
search: ww_adaptive: ends (yes repair)

Repair Found: d(460)
Repair Name: ?(1,d(425)) ?(2,d(426)) ?(3,d(427)) ?(4,d(440)) ?(5,d(441)) ?(6,d(442)) ?(7,d(445)) ?(8,d(446)) ?(9,d(448)) ?(10,d(449)) ?(11,d(450)) ?(12,d(451)) ?(13,d(452)) ?(14,d(454)) ?(15,d(456)) ?(16,d(457)) ?(17,d(458)) ?(18,d(459)) ?(19,d(460)) ?(20,d(461)) ?(21,d(462)) ?(22,d(463)) ?(23,d(464)) ?(24,d(465)) ?(25,a(444,451)) ?(26,a(444,450)) ?(27,a(444,446)) ?(28,a(444,442)) ?(29,a(444,441)) ?(30,a(444,440)) ?(31,a(444,427)) ?(32,a(444,426)) ?(33,a(443,465)) ?(34,a(443,464)) ?(35,a(443,463)) ?(36,a(443,462)) ?(37,a(443,461)) ?(38,a(443,458)) ?(39,a(443,457)) ?(40,a(443,456)) ?(41,a(443,454)) ?(42,a(443,452)) ?(43,a(443,451)) ?(44,a(443,450)) ?(45,a(443,446)) ?(46,a(443,442)) ?(47,a(443,441)) ?(48,a(443,440)) ?(49,a(443,427)) ?(50,a(443,426)) 
Test Condition: 19
Test Cases Skipped: ""
Current Time: 1367977596.794393
Rep: saving test cache

Variant Test Case Queries: 788
"Test Suite Evaluations": 1.6766

Compile Failures: 0
Wall-Clock Seconds Elapsed: 496.364
  Activity Name                     Count Seconds = Percent of Total Time
  progeq partition                     23   0.162 = 0.0337194%
  sanity_check                          1   0.507 = 0.105565%
  find_best_edit                       82   0.848 = 0.176434%
  find_k_best_edits                     2   3.016 = 0.627817%
  append_sources                       28   3.080 = 0.641193%
  test                               1258 203.772 = 42.4191%
  compile                              83 268.994 = 55.9962%
  TOTAL                                   480.379 = 96.7781% (avg CPU usage)
fbc-bug-5458-5459.tar.gz
Tue May  7 21:46:37 EDT 2013
shutting down
