(2:0.30491876934870137950,(((3:0.35547216977737544630,(7:0.10097108700626980515,(6:0.12237625501395860139,8:0.14208777857761187291):0.03397998196282851768):0.21956529032463786844):0.18249720116031939443,(((309:0.64114674821957962081,(89:0.53191094334376221031,(91:0.17437069200748422926,90:0.14428358754328624025):0.15294940401316919898):0.31499031570132934865):0.90106429633746742969,((314:0.42566292149747730900,((233:0.30904478955093683812,((((367:0.09978840383771286904,359:0.08178233995795097799):0.10968574703663681869,(((350:0.06369542955338816648,(((366:0.03285182613280631519,358:0.03844988484671840040):0.03890563627212671044,(362:0.04888921526662112771,365:0.03431926484933006671):0.01059761529116492323):0.04872180281262021573,(352:0.08769512952698317598,360:0.07703415035276504896):0.04139376103328525069):0.02574886871526500462):0.04872832020778646717,(369:0.10287249817651483719,370:0.03180789597979646888):0.05749917941759988271):0.02272706342457040882,(((351:0.06259897422015402169,(361:0.07783825449646314398,355:0.05679437987284718242):0.04004676808263134269):0.15133036007911848664,356:0.11813881855207013227):0.04619080797639923963,(368:0.14750748221916512581,354:0.10456907953162854208):0.03178643085638199056):0.03704518294992872190):0.04667705800620786105):0.23536631658941561951,(212:0.16984539066002687924,(209:0.16561127691632065995,208:0.15270414656973405054):0.19648764033518370531):0.08148367896030994650):0.04597219531764661776,200:0.37536749512719896904):0.03826810091860496921):0.08538867036918798559,(231:0.14152279847965915094,404:0.12142980488444300724):0.29242155961281085519):0.19834301593482420167):0.70556271832278616429,(((((18:0.18129500339201140569,25:0.16253415268542251160):0.27798561431404694710,(((33:0.06276675384249162659,(36:0.09102426747270941920,37:0.05634572489950859936):0.04306862369002769503):0.02737455700992408661,((28:0.04007155103227907217,32:0.06666382518082232533):0.04204364718948810919,29:0.06563875034975949485):0.02124819245252527328):0.31847318280995523532,(19:0.26340723436638879829,((16:0.08468942387462245758,14:0.16452026397791519319):0.08368971423871399140,((31:0.11900825566210389284,30:0.09313254873371748510):0.03739689735718145641,38:0.09058299709717065884):0.06025586897295851646):0.16852441473236381975):0.40687951164962471440):0.07407656340174213760):0.04388859523818086639,(22:0.20683052895124562354,(((23:0.06145239058416586408,21:0.05943203282419801808):0.01925850354301657588,((13:0.11035980493330273255,((27:0.07202832836678087214,26:0.04408663632450060543):0.11259585992463680415,11:0.06852572660237636615):0.02709691923038369879):0.03470516652431113874,12:0.07354071998472268279):0.03691401823136755689):0.17117905794565665967,15:0.19696306412388470131):0.04252044338057440337):0.04857024575577018749):0.03769330648050907284,((24:0.09334981264862769745,(35:0.12590132504079523668,34:0.08401508899371286365):0.05087133588612879898):0.15918117101116155410,(17:0.16891804524447093239,20:0.15184990838616613251):0.12652723151150271907):0.02474239082515397245):0.89577318680713269305,(((423:0.97369817396245561536,((105:0.09705204431164182743,104:0.15077355124289720800):0.22787415225833890231,(132:0.57670848117749617945,(146:0.39458814997098978772,140:0.22017246185442579387):0.12512129827196533105):0.05669976609499682851):0.28524982652794744764):0.66894333342462697356,((((145:0.33644827065954624468,(143:0.14772968328672247962,144:0.12172629679067104025):0.23022959355145644622):0.28192159187588450298,((294:0.26057563181159582033,((292:0.29413714130393869839,291:0.18780111146783767806):0.14976563598206224515,290:0.39869934156724945451):0.08155603792135358854):0.07020449788029824167,((286:0.36082779095385275614,(216:0.44456756340361053281,(343:0.14445855759556183728,346:0.09128668615323622115):0.28316814444834392805):0.09736865364981391047):0.07639475710743401371,(((353:0.12238371251257063044,(357:0.11529676160083135450,363:0.07031887985257798124):0.05692432699477060348):0.07489094459153755601,364:0.24262753507075715542):0.27411148124863277120,(((405:0.06463208060395453369,345:0.12208043264077583778):0.13437797080103741632,(406:0.27431087180130003800,(407:0.17768496050519680396,((403:0.07678655760758619497,(372:0.04994656418853516550,371:0.08164038186191131807):0.12987905884993994343):0.03176468958948871352,(283:0.07780133228878641227,250:0.22272802575509578760):0.06644500324407677516):0.02525010939066837240):0.06341656109894526494):0.03595776817991669372):0.20331566901126180147,92:0.84440159649857970958):0.09104793208761427503):0.04011179209850569000):0.06003850645505869055):0.20132210587953885961):0.22229410945025593338,((429:0.34193679371448393312,293:0.15927191377908647696):0.35919207421639898214,(((80:0.06229933896209020883,(87:0.12062882762511858981,88:0.13353460076568141046):0.03370679394313670640):0.28571684674845521101,((301:0.21537563192908437681,(305:0.16734758635198002108,298:0.26949856130093691187):0.06410142176763013178):0.05411054079226766678,302:0.30625540228920933306):0.07946853744372674166):0.03583976091173015494,(79:0.39333834633442738005,(((69:0.14196664835366271107,((((83:0.15159757609489557528,(82:0.14759684402209324872,86:0.18213557859306567233):0.07161816998152126246):0.14113090767722266672,75:0.16480888159193257669):0.06172897065487867319,((42:0.09601827326349540725,(44:0.07232618391275799641,43:0.08023979381116805309):0.02937518785141269781):0.23760515315663849334,((85:0.18413684631757648580,(78:0.13436701759059632710,77:0.05105639116561540986):0.16217185789349716774):0.21502526830735538277,(47:0.13762563445473918744,(46:0.12405281020428679528,49:0.16311275743255038151):0.05107274874036461798):0.15060015762814976670):0.16213173499842484238):0.03892379069536695824):0.03844306363485163608,(72:0.06960831906626045729,73:0.12611306084640999670):0.08518553821804794590):0.04806599309660518349):0.04420159263102033109,(50:0.08830271400148512195,((61:0.07691715030849038959,63:0.05130277328844015661):0.09637574891591228765,((((51:0.09607617501028860307,53:0.02994527630540571445):0.07639828936251900904,(59:0.07920574370161805045,60:0.04228863950322209186):0.10456417840551192333):0.05115836286263135413,((55:0.05977581902739288050,(58:0.07842347616231996887,52:0.05179534094787417026):0.02254312630404403661):0.02760782055887118364,(54:0.09370634898396219825,56:0.07094050603908774733):0.02904016016397694550):0.02896495439583585477):0.01561049375855719581,57:0.14199403768470750253):0.03424673461657244677):0.03965245227061502120):0.11466413810043794841):0.07461931353967214686,(65:0.19654121157600087932,(76:0.16365241564777802119,(((62:0.05112126289610373353,64:0.07612985333170776969):0.06291218613143396976,84:0.13867252462253376599):0.04460927621584327707,(66:0.07201423718596196288,67:0.05641301729280067540):0.17632726002267010146):0.06619843973337591336):0.08925514638539935874):0.04576190451021262123):0.12254578893318401889):0.03902584688436803312):0.25533404614224941565):0.34502620195567307304):0.25800557001481794206,((((((207:0.38212575333270321076,(197:0.32884326329096846830,(422:0.32381679463501489291,(206:0.10967110433556949423,(204:0.08094280571490471143,(324:0.10240156779603558357,(323:0.09971317866474048441,349:0.07135248269847443980):0.04815220561311359809):0.02352784006399294761):0.08752725526294724556):0.09665885728277776034):0.06437878843696066833):0.08835235947015654401):0.15795426970913811759,(((375:0.38740704369171075072,(((((336:0.04030424515226010279,(337:0.09164975852412195201,(((333:0.11851396664969632289,332:0.05053994380841102252):0.02047234865917944499,334:0.10686677853160111984):0.02212561161281048974,335:0.06451901421695785399):0.01265397872879845016):0.01935979571004128874):0.03167553036254488336,338:0.06353876181242294752):0.07636560703184336329,((396:0.06880092942247378884,329:0.12706137315623844408):0.08160549509373232757,397:0.19547960384378301746):0.01829813238673102388):0.04579905210181024061,(399:0.41937753426061885609,379:0.31688586136867691323):0.07773365629441240932):0.10654546693913177768,325:0.28002034645813095315):0.09126164004098354099):0.15359625200978685444,(((210:0.14961403212773022320,(198:0.13088440657889999219,(196:0.15083524208091927954,199:0.10172246176243808502):0.03186808861886545469):0.11068502252818988862):0.11503445705864331905,(347:0.28335001976615270536,205:0.20225126530550860404):0.07093718396685255723):0.03590016505656241919,(((269:0.12830799300220047110,257:0.09041159202660944971):0.04494849021614429757,((239:0.06006147438428446200,240:0.08105043285542856690):0.04515274595637250310,((((251:0.05698422469423049253,249:0.06639529071221567103):0.05477545228741088207,268:0.11489479691570886333):0.02565023247861631175,253:0.10544086118641650407):0.03164749452974115890,(255:0.04759150178987323065,254:0.04400935927776513518):0.08301705287573732384):0.02382519234848991599):0.03852172548609130581):0.09701756065258707040,(((400:0.21716668972995920028,(266:0.12250314651717936210,((256:0.10484657910998743113,267:0.09222039970487899696):0.03054166880961698555,(((262:0.05077895948619175898,265:0.09614742238727190526):0.06372613298221845024,264:0.14549211968698572139):0.02723625364628623480,((259:0.05006813170645268291,252:0.03642850454784756636):0.03333053358360617974,((289:0.10400483136750908464,(288:0.06159177470123686909,287:0.03563812894541378701):0.07033801320185914530):0.06973442820449736457,261:0.07220250647805501187):0.02154506963629262972):0.03138797308724717433):0.05261410996559540837):0.01900260112040325425):0.12259990198467497768):0.04373360274173058310,260:0.23737214403402587259):0.02912122031063233557,(272:0.07297202833250727994,(232:0.12498809537909219558,271:0.11110680163817662769):0.02916965065185540135):0.13979285185412851367):0.05174803729023556148):0.40759427359054889450):0.05076533839436266765):0.07414907327825875916,(425:0.37387885214104549236,(((((412:0.16537083325192439287,415:0.13244280361509988553):0.16495618664485314775,270:0.16205986047958581553):0.03642871237711288457,((401:0.10750893330521765767,402:0.05220744020742966451):0.03293233536176544407,(410:0.06393898980529350018,(408:0.07727143677199108107,409:0.07126657697994119578):0.01416200179677242973):0.03229853965677786237):0.14366498813960687508):0.04094696234187252676,218:0.27160149928495924687):0.05318108576291646211,((((420:0.06176252299698456460,(418:0.05210970066453738531,413:0.07051910216400276987):0.01691378336273627672):0.02479506085628019330,(421:0.15046412941524492379,(417:0.04625892608433732761,419:0.07330506969064319589):0.03275972091433183853):0.01683672701920347139):0.06771970152030852563,(411:0.15749150041629303431,348:0.11071345468759893893):0.02810430372245425329):0.05215924203005230936,((201:0.14905683470695321735,(215:0.07303488346752892713,211:0.05606214943586215055):0.08739970874370894816):0.08201207832609418158,((((202:0.09597760711551496515,395:0.16137302492376687235):0.05803099202050119448,203:0.12989819407965372267):0.02434509903060123881,284:0.24714127427643356461):0.02743988156857982835,(414:0.06115388447038770658,416:0.08831693205640477051):0.12079893785698801734):0.04101576261124492695):0.06303248256014640227):0.04897696542354171290):0.14348770519920386879):0.06414716537453098166):0.06176955100449311314):0.08548472910705767758,((((137:0.07808469155106355364,(((112:0.07713665330271915477,119:0.05582655698212059953):0.01652261064179778166,135:0.12140487413432711483):0.04184938057211341766,113:0.10454349594680702185):0.02667082241512193710):0.03240439305177791190,125:0.06506776434181350821):0.00790667927893548388,126:0.11187845500179485758):0.60151400959411815972,(303:0.40731744990820062391,(426:0.43086924531361359136,((224:0.26563341412586422008,((339:0.05634723543704351495,340:0.08330598439970406111):0.04809557801957695805,238:0.15250310129636732159):0.17317134113792118089):0.14322215951215963581,(((((384:0.17340619896446235471,(386:0.08880691235769494485,387:0.08244010587681926960):0.05850126005989330497):0.05289338946430448274,385:0.19990415240612599557):0.09264118566115397968,((381:0.10711123988720680500,383:0.05243370448713761955):0.15282902467754369558,((276:0.09288097841632986240,(274:0.04754258136364965248,(282:0.09316170347638050298,275:0.04828233029561031925):0.02771540485702231327):0.05865544838455503257):0.13321983636032214138,((279:0.08719923238085050543,278:0.06833792240724045897):0.02676234632196618224,(273:0.14027236126596190346,(280:0.07782236720638581462,(277:0.07180781527273044640,281:0.07723605765401769796):0.03323746095762544761):0.13800436424292325532):0.01224491369590546483):0.04898403551587456745):0.06247805032494343352):0.14179065450016317684):0.03091517583683195750,(((311:0.07747362801840372570,(312:0.20811546210141812496,313:0.08889981316075595830):0.04424082045449981293):0.02803743993811122145,310:0.06209866731352320368):0.26446062671012054990,(191:0.43274392603602079843,382:0.18443184958381123040):0.10195268696039506973):0.05975531434724794949):0.06155691374547476308,(((((213:0.09921187445301529739,((241:0.06417212672042885147,(220:0.03242554314492990253,(221:0.03965917649654736310,219:0.07164800235748348956):0.01229313812132411254):0.01255795029965062724):0.01798265409807517021,217:0.16802514652259106787):0.02752504959634047982):0.05233412010581615231,((258:0.08938160823715504688,230:0.16010283926636331708):0.08335317198476845102,214:0.11722263688526786407):0.03436108300385944808):0.12195904867661724880,(223:0.34502312848179034210,229:0.13629176956467775605):0.07226560930752011502):0.05120784606007924844,((((380:0.23104195316595491083,376:0.10890521780623037273):0.04782247516260775683,((393:0.06931179459228387074,(391:0.07173980091254861247,388:0.03468689095440913306):0.04378084032018404737):0.04577654651886730458,((390:0.04614591617719242256,394:0.08882164534425358859):0.03826769799098138358,(392:0.06855383494088222729,389:0.07917590725264717078):0.04261669398160687627):0.16807492949648175640):0.04484050160253583162):0.03184881002599518340,((374:0.08296293903609663900,373:0.07254048498622323038):0.09300811811655232408,(((318:0.14775367127221961105,(((322:0.06630889436710821205,321:0.06690215234680846335):0.04782235284658948454,((319:0.06951247073112259978,320:0.04458205682374048739):0.04587956450648523338,((377:0.05773517981408245181,378:0.09117554723638339464):0.10072189930735965524,(326:0.10558044173975977831,(328:0.09611176706065800712,327:0.06291030274916947773):0.03806183241471913087):0.03883149151883717731):0.03126475778610149359):0.02258450754054754789):0.02341995356325777058,((330:0.13367639353875859776,331:0.14309156421965998907):0.07245952631030276592,(317:0.19321377884313545303,(341:0.11309254694744881597,(316:0.04280984092696660942,(398:0.05623915614756839348,344:0.05746429329945103998):0.01094006891130574859):0.14873373508212178740):0.01428539704678079801):0.02104146312114677647):0.00680518606137624476):0.02295470689893697527):0.01734034696020244487,315:0.11031982101733621426):0.03889769562401983877,342:0.12059995124529718225):0.02071527726025413838):0.00972763841671149890):0.01837479662413009016,(((235:0.05290567096503388800,(237:0.09431956375241135060,(236:0.02063222513292082422,234:0.04213391982993696522):0.03100287704940479089):0.03519691493209540362):0.01633574405736946955,((222:0.12292271630465408105,(263:0.09538077923290892712,((245:0.10945979505452436975,247:0.07398313056255843845):0.02546610450640331841,424:0.11071051912106982806):0.05016249950685391229):0.03321634769090680422):0.01844369630245884517,225:0.05811114434508751758):0.01505243778251994478):0.04579391139389045462,(227:0.13760837166318962144,((242:0.07981891327245023426,246:0.05310858326638764892):0.07074962308296596503,((248:0.09251589099113530223,(243:0.03950601207304098306,244:0.04039988471003085058):0.02067381693042030094):0.02519284927669925012,285:0.07233531834795776938):0.02170497821181164785):0.01955704243174526819):0.01763473142712762912):0.03938899550934115562):0.03053211134727910545):0.02628502659396821442,(228:0.37791343624149348335,226:0.22757494768122288331):0.03183388642054824774):0.09288939522454713049):0.09467812073768429315):0.24275569306005259640):0.09952474666220327559):0.17677574413657667907):0.08385570458774949110):0.08421229417177325538,((190:0.24292933485624174095,((166:0.11360521662746746185,161:0.10867273506771076008):0.13735601005555522769,((141:0.21965070069664566210,194:0.17875664571462815400):0.06643301434603371414,(((427:0.14739812422099282663,428:0.22204638805549148373):0.05293670688257174489,(109:0.09674034408746159941,110:0.07247940898100127538):0.10715389097890053172):0.01369682447547355270,(107:0.09353921199475874471,((108:0.02297019948410429155,106:0.11919489271242703077):0.18752813692832498438,((((100:0.14237095013542119815,99:0.08578132181415126789):0.08338309106996896758,101:0.15388956003022366548):0.04346878624881980041,((102:0.16025475598220717544,(((97:0.11888854987463526314,(95:0.06303419464465455369,96:0.04272944398893875617):0.07521542004373707457):0.13545240765572405528,(114:0.05461660180495645639,(115:0.07467870577356625073,(118:0.03909268468138763636,(117:0.03608587458641406009,(98:0.05816487079815573641,116:0.05302845661200909777):0.01330117350757416272):0.02033676935571891720):0.02436239530811800877):0.01467766769038064863):0.10561312900897440459):0.07776210440328305828,((120:0.04489684762058922946,122:0.08329489026522964024):0.02723636887939779455,(123:0.03926861337019243309,103:0.10014898785598116970):0.02587765101607666235):0.05392392082721677443):0.04623780260204547049):0.26841631462549009335,(121:0.30079574269648273743,((94:0.25149272792757682016,138:0.15958319717289931594):0.07987061027702724303,(139:0.13137104534726262717,((((130:0.12371710644187837447,(131:0.12210483367734144278,(134:0.04682039745109922019,133:0.06401341329843046601):0.19387299047195882817):0.03868443322226854802):0.04086148130731597633,(111:0.13517483137204000521,136:0.07645993269569333062):0.02675340258712385899):0.02420054641286719516,129:0.12512831803528945418):0.03930302853288100001,(128:0.06619572653329967860,(124:0.03597774734737184399,127:0.07848411695037210700):0.05478124133651526145):0.07158626873917195432):0.02581688573221239263):0.11369601470850833336):0.03182087346841123987):0.08718513371526832867):0.06019024705352749721):0.03699948187341060846,93:0.38628224512192876894):0.05289101674715492724):0.02012406364897188077):0.03954609365171792706):0.12608235316350768773):0.03105525339545853886):0.04139991527172685870):0.06360571338577834799,(163:0.25987547677630545850,171:0.21573400537545367461):0.19104201747788299159):0.10595329413781921779):0.03655106387016261033,((((299:0.14430186708612402491,296:0.11780516365998727757):0.13844233249382195683,300:0.37262916556023167880):0.07577291603376555551,(304:0.17090435231429992879,40:0.23055843637275150182):0.15164738478475431327):0.10067402948783579775,(((74:0.17569986995914163574,70:0.26597606494764636231):0.03622505247144755525,(68:0.21392583603229997635,(71:0.11910310372583032823,(45:0.09608161741101729769,48:0.13226747463869550914):0.09517258278955967321):0.03632928033301505155):0.04287065854885944993):0.39428319532884642529,(306:0.48184642257620835526,((195:0.20371773173119375744,193:0.15135690326602485589):0.07828689277792572065,41:0.25196654989490147036):0.16929068567485588970):0.10937002010268601082):0.06163751597922705050):0.04031565310487278397):0.34007798188266236128,(((297:0.12545987359400651018,295:0.08610466053917341378):0.33278346518570633972,308:0.38740138388575584560):0.22589979220106612412,(152:0.09130277896947715244,(((155:0.11442045250813442925,147:0.07126566462067880636):0.02387908248456029753,149:0.07761929381088511493):0.02337916931071032725,(148:0.07950451371161368352,(151:0.10185582681060965926,(154:0.08696344389774669781,(((150:0.11037996978233173551,153:0.06916978471266380102):0.02735319719212019746,156:0.07033484057985016358):0.02190488202339741647,157:0.15691349998177214764):0.01798805960637694587):0.04237818471755282201):0.04865917622306044354):0.10372444558390148117):0.05077919628150477649):0.47534572853431750206):0.19302611583619994073):0.35198927497137216802):0.12165208416807195280):0.11551293884909333287,(((((81:0.39206041798514540409,(((177:0.04227262848404341605,174:0.05766793498575885357):0.08448972118495053085,(176:0.11183831313347188108,175:0.09739088870719934954):0.12346026646097542356):0.07234113684493663488,((((183:0.08362489070440995431,((186:0.04212890965112896929,178:0.07400630273892981614):0.06938620689158585264,185:0.07060498424025410391):0.03133523336103945234):0.12700758791577843043,(179:0.21684517024941593610,(181:0.15672505326982061336,(187:0.08069565169254699910,182:0.01511152787537850886):0.10397842255823669388):0.02151649357622912109):0.04245758096550452526):0.03499578961679846584,180:0.17247119273372543691):0.04707280321904977471,184:0.12658963884987831094):0.05247650517981496815):0.12032166918785452969):0.50031249685193357468,(173:0.28579909321352070517,(192:0.23776492873037760600,(172:0.36190318128107745732,((168:0.06201343208302593363,164:0.07219409745293454972):0.18442237060968991180,((165:0.17984426747806331326,(162:0.12411724436642827818,(167:0.08303358151029752166,160:0.16630776090310889215):0.04583668663696974233):0.05238651622733422886):0.02557430415768046847,(159:0.07663662506520592388,(170:0.03323414412609657781,169:0.08569423224042950482):0.03623447080438198242):0.05298500836503772932):0.02223140589200664138):0.05849956920338985483):0.09054071305928665381):0.04660207659523309121):0.13796381311142494330):0.18222622442626765227,158:0.46213287614723463914):0.13869503570675636994,189:0.72021827802950333375):0.19136696286816301527,((142:0.70676179345246326058,188:0.40859613924948234853):0.23955807712476234750,(307:0.72294658728922056579,39:0.47762304643366298995):0.10649992226405770313):0.41223580411924098943):0.07306868489812748391):0.24475809867493891758):0.16578083637186152854):0.19713982266048160619):2.36324134663936114009,4:0.84638277800926775551):0.27807528787727020525):0.20382068200583958184,(9:0.23740107386707126613,(5:0.10904204724554848738,10:0.11552914040282831476):0.12375391995392109878):0.16360607425203987919):0.36932863586839603798,1:0.46939414209856922255):0.0;
