((((((t144:0.7405209127,(t489:0.1470052924,(t547:0.7419442758,(t705:0.7954256607,t160:0.5963585544):0.002463495359):0.2430228849):0.5747694799):0.2766683707,(t671:0.3628157987,((t776:0.2175422555,t958:0.4038541482):0.3700515979,t703:0.9419656114):0.01936306851):0.1687322988):0.4188383976,(t953:0.1940700591,(t361:0.3466080914,t145:0.8532647288):0.467764182):0.8615297857):0.3747666788,(((((((((t888:0.4131501785,(t567:0.001801464707,t23:0.2725371728):0.07551628188):0.7678116222,(((t76:0.5144880423,t930:0.1591811683):0.3256311582,(((t218:0.9581014637,t414:0.8685615384):0.3749625839,((t505:0.4113207681,t173:0.7977659085):0.4743177351,((t514:0.8293054367,t534:0.6574653001):0.7670278617,t350:0.6124421584):0.27125077):0.3057395567):0.9297193629,(t652:0.4317085259,t446:0.8479930563):0.356350498):0.5797695119):0.2763758074,t674:0.2247444338):0.1401406198):0.6635760732,(t177:0.8916774828,(t580:0.5888908724,t803:0.3463942038):0.9831360579):0.8206530185):0.6875658659,(t167:0.5423626986,t830:0.6009452783):0.07037846232):0.4361552284,(((t519:0.1156983755,((t975:0.8143354529,(t313:0.1734774043,t638:0.5925481494):0.8652722368):0.3741191328,((t646:0.9860664632,t670:0.7148552092):0.7710085036,(t247:0.4495910278,(t621:0.02816800494,t715:0.155222032):0.6429769639):0.08338414412):0.3657430804):0.4863302847):0.6825548306,(((t951:0.1863556656,t150:0.711569682):0.5015358813,(t837:0.009370148415,t903:0.1719254369):0.5511066145):0.7583929282,t474:0.5624766273):0.7753449655):0.8060315242,((((((t447:0.4080955097,t890:0.3964747072):0.6275631019,(t702:0.2234764637,t636:0.158094798):0.3873828107):0.4037032588,t329:0.7361129536):0.5389722229,((((t604:0.4145713884,(t956:0.199882274,t250:0.3084084757):0.6467269529):0.6897432941,t245:0.9222039597):0.7844479419,t577:0.09285404719):0.691744115,((t583:0.6482262833,(t605:0.04293880984,t619:0.6094340214):0.8630565808):0.4823304694,t450:0.5492840866):0.1223655853):0.3044691752):0.922592398,((((t980:0.9504124809,(t51:0.9534045251,t327:0.7572349501):0.6904249005):0.4581590339,(t920:0.1228859364,t931:0.07328941813):0.3538103253):0.8285936045,(t922:0.1901684236,(t511:0.3986073567,t597:0.1260163405):0.3496912841):0.687190844):0.354013761,((t288:0.1329490258,((t426:0.7645775953,t839:0.8457166455):0.5894743646,t608:0.2996789964):0.2317090579):0.7345992737,((((((t398:0.7460744441,(t44:0.8508857389,t234:0.266180808):0.1702370052):0.1504004591,(t112:0.3144963719,((t228:0.1548409532,t54:0.08854447352):0.316500721,t268:0.04482725472):0.2377997111):0.8866515835):0.6637754259,(t625:0.912102842,((t723:0.1608710471,t967:0.6444668749):0.2302770384,t871:0.006436679279):0.510208837):0.50160036):0.5509896898,t96:0.1295922743):0.416940748,((t457:0.3382023317,t737:0.1716192872):0.8462156013,t256:0.8990673532):0.307189822):0.9988861287,t419:0.4915629618):0.4635662918):0.8799899707):0.3148467909):0.0240714848,((t77:0.3480484737,((((t164:0.04438053258,t224:0.03414865746):0.3749246583,t935:0.1932699762):0.6548375629,((((t87:0.5500941714,(t476:0.4144241784,(t822:0.4269469453,t787:0.2444883194):0.67297045):0.03893910279):0.4657979382,(t199:0.5885756579,(t103:0.2394470077,t261:0.9693007437):0.6978763088):0.7436679027):0.006259904942,t377:0.9763472048):0.1896574048,((t461:0.2974060613,t297:0.9017711126):0.1200244403,t677:0.8333836435):0.4957287051):0.7165685808):0.1721394311,(t206:0.247427308,t681:0.7865831188):0.8168418105):0.7018861093):0.4285086142,((((t673:0.6068674384,t568:0.1862880965):0.5959023261,(t230:0.8955956167,t41:0.01855961466):0.07688542013):0.9776267738,((t463:0.4352784196,(t263:0.2040871778,t802:0.5422833818):0.4637737402):0.9195601805,t58:0.3557538891):0.8439494676):0.4863926757,(t575:0.8964329055,t418:0.661710422):0.6312178504):0.921954917):0.565431522):0.9175797766):0.8276560134):0.3256917375,((t163:0.295820165,t366:0.482213272):0.9022035084,t181:0.4458944371):0.1008430938):0.8519676074,((((t13:0.8196152255,(((t985:0.8140320033,t943:0.3224235403):0.2787830613,t590:0.4114513427):0.5111420855,(t921:0.3531788718,t906:0.513681055):0.8124123083):0.0163527024):0.8523769404,((t589:0.245880489,((t246:0.1460763845,(t818:0.5031997873,t748:0.09362506284):0.9069506209):0.07952302322,((t743:0.5044137374,(t601:0.8550523401,t128:0.3294240606):0.5839566654):0.769927867,(t352:0.5579006837,((t219:0.547210214,t271:0.6068970195):0.1362217017,(t445:0.2808212647,t339:0.5848651899):0.5351664007):0.7071401926):0.6278259009):0.8134911961):0.04087189515):0.8289526207,t561:0.9955267205):0.7040309166):0.573838196,((((t539:0.7158080146,t5:0.567850509):0.08407795499,(t334:0.2686291782,(t464:0.5716075606,t912:0.9296279808):0.3393974963):0.824837229):0.3855851111,((t704:0.6425560622,t220:0.2560275786):0.5945019857,t12:0.2517330388):0.2108453989):0.3718490121,((((((t686:0.4070764359,((t299:0.8674635042,t171:0.2620842869):0.1905465075,t752:0.3041727745):0.9234829298):0.780983103,t262:0.2178821352):0.3333194333,(t409:0.5978583407,t357:0.2806728561):0.7662921969):0.8258674729,(((t282:0.9284490948,t515:0.7205993175):0.3215503891,t710:0.7095160394):0.2102077168,(t706:0.8321149375,(t42:0.7766334787,t560:0.4363368596):0.6171409106):0.1072228902):0.340118265):0.1670649319,((t294:0.5739690117,t24:0.3370181727):0.4734536158,t46:0.183321147):0.3410393002):0.6059675054,((((t910:0.5770661845,t413:0.6337662402):0.02041248116,(((t493:0.5954165331,t130:0.9406609046):0.07577117998,(t964:0.3091727106,(t301:0.7354891459,(t998:0.1604295669,t564:0.1970575147):0.2569331047):0.8102913841):0.1096003887):0.8823470094,t168:0.7993469774):0.3537834208):0.2990306048,t494:0.4421148552):0.8522154612,(t722:0.9799406272,t322:0.2691685257):0.5650990258):0.01060222881):0.09583645221):0.1367933482):0.4463693381,(((((t458:0.3950336967,t599:0.2180450161):0.9442275092,(t300:0.5414255471,t610:0.4465282096):0.2476499134):0.6263067392,t900:0.9874904298):0.3720240314,t412:0.3834218229):0.4977042885,(((t170:0.4658659387,((((t797:0.8414302715,t812:0.7063726913):0.2497677607,(t477:0.6950973908,((t609:0.2651410622,t264:0.6737343965):0.7685881953,t657:0.8354063681):0.7284594344):0.6404252928):0.4972830317,t559:0.5661935203):0.1297658517,(t456:0.387005243,t244:0.2738582315):0.166233327):0.979755593):0.1007457823,((((t653:0.4822224658,t7:0.3143552837):0.7895062438,(t933:0.9046429475,t425:0.5125662785):0.2439717276):0.2467512398,t90:0.4546588995):0.7227753319,t370:0.577927659):0.1417193161):0.5281820549,((t471:0.9069707845,t305:0.2534652441):0.01798899309,(((t789:0.7974103193,t905:0.2497578682):0.713797231,t944:0.9716029384):0.02335937857,t904:0.5999351882):0.9527223164):0.1124690743):0.4157054957):0.1394988948):0.623271845):0.8743054059,((t918:0.9842438351,((t978:0.5017667315,(t924:0.9640051995,t663:0.6712893688):0.1254251692):0.8649146697,t441:0.7900580552):0.8096921665):0.601578152,(((((t100:0.6928672604,t549:0.1128393076):0.1467330921,((t929:0.8443771072,(t546:0.7369866818,(t308:0.4570974479,(t881:0.1194365358,t448:0.9278173354):0.5267145897):0.9831498198):0.5676117025):0.9348022232,t805:0.9984677874):0.3582158224):0.009335526032,(((t665:0.6398295234,(t680:0.01463759318,t21:0.4835702828):0.4927624417):0.1882073872,(((t746:0.6722471749,((t303:0.893641714,t701:0.3269559368):0.3907088474,t475:0.4203601619):0.09908998106):0.4262049529,((((t843:0.508316224,t338:0.7516474342):0.9521370116,(t734:0.3778324956,t894:0.1797931134):0.509108457):0.6525912443,(t344:0.8947870492,t265:0.8297705327):0.6659500417):0.1062322615,((t909:0.9179453366,t133:0.3407517413):0.7789399,(((t983:0.1246156599,(t259:0.684973981,t504:0.3759705012):0.8123135944):0.0523794624,t196:0.4522641313):0.04192746989,t624:0.01860769419):0.7684744122):0.8296377829):0.004518289817):0.7032095527,(t356:0.6791170661,(t108:0.01112701045,t316:0.3653382559):0.9217478714):0.7519797462):0.1041709203):0.8214624501,(((t204:0.6192173602,((t721:0.563130216,t253:0.7943584397):0.4645172153,t675:0.8975945574):0.3226007894):0.7722272424,t276:0.9700637264):0.8973342441,(t809:0.04854679038,(t927:0.4381068463,t47:0.1703139611):0.555752615):0.304230731):0.4771097789):0.9726624594):0.02549484512,((((((t773:0.1181270678,t53:0.713931537):0.7655185817,t917:0.8199594705):0.7171570039,((t278:0.5606589164,t745:0.373471146):0.9281963785,t408:0.5143123465):0.6375358659):0.7000931862,((t727:0.1096146021,t570:0.9851109376):0.1023737988,(((t213:0.1716899413,t991:0.08599204896):0.9025893123,t207:0.3480234623):0.8951540692,t260:0.3376481198):0.20634054):0.3598276593):0.988553141,((((t691:0.9405182623,(t383:0.2250655626,t389:0.4979000033):0.0691115316):0.4878179152,t520:0.8703345363):0.9471302768,(t969:0.1347800852,(t851:0.02899631113,t57:0.6994662378):0.4323454394):0.3734969955):0.04717570776,t716:0.6847216825):0.144079376):0.9917573323,((t968:0.754132401,(t99:0.4708993228,t543:0.2045497005):0.1454441585):0.7561904292,((t836:0.4224070515,(t473:0.1601530642,t38:0.488912916):0.3121375132):0.7404762078,t49:0.005975298816):0.8037801168):0.1922263219):0.5577667982):0.8247870649,((((t37:0.8757482532,t315:0.0002178165596):0.1410123485,((t284:0.545380024,(t711:0.654270225,t603:0.9864233944):0.02217174298):0.866139279,(((t500:0.4928545847,(t67:0.9378927965,t184:0.3621322839):0.707028141):0.7762553163,t937:0.7123549576):0.9345847964,((t852:0.7952141671,((t287:0.2428947748,t555:0.1289562983):0.931093869,t459:0.7665638053):0.02568120207):0.231808563,(t859:0.7760313554,(t239:0.5889752258,t185:0.5761291564):0.2770550107):0.7088833346):0.2766428515):0.398475586):0.7910389083):0.2629823238,(((((((t693:0.2249644524,t811:0.7918823804):0.1271834935,t347:0.7543752317):0.6954604916,t364:0.5364998668):0.856088273,((t190:0.6476653381,t205:0.5160184072):0.09445964755,(((t576:0.5826676365,(t372:0.2558722247,t17:0.4455409651):0.9791228846):0.9810512129,t396:0.7017393226):0.03115404467,t109:0.5209851034):0.8453105525):0.6044531954):0.8748426004,((t62:0.5343521982,t189:0.8473134895):0.6797147242,((((t824:0.7592080443,t640:0.07301772642):0.8393701611,(t817:0.236644059,t440:0.5548317553):0.4699482054):0.7833920559,(t174:0.1504442864,t465:0.6052745553):0.6695256594):0.6839014008,t834:0.6191116644):0.3056495411):0.3519550967):0.3724082119,(t3:0.8337671,(t104:0.2532496781,((((t449:0.2709440447,t330:0.5758918875):0.594897218,t831:0.8991945488):0.4489877701,t825:0.3108916383):0.9813034292,(t105:0.05890049087,t688:0.222446861):0.6304287924):0.2854125774):0.808275573):0.8766421296):0.6434092899,(t957:0.286375501,(((t88:0.3263008494,t290:0.5699458832):0.7097121601,(((t685:0.9238390864,t222:0.1696013089):0.02648939635,(t311:0.7557338385,t832:0.224603774):0.1766789926):0.3526410779,t974:0.8860101704):0.310328902):0.6691246748,((t388:0.4361605595,(((t635:0.5422187222,(t540:0.09607069497,t147:0.289335598):0.1454188831):0.3430183344,t687:0.8190312143):0.6336621481,((t148:0.8193415073,t337:0.1351835853):0.08837613696,t531:0.2010264453):0.03657775489):0.07038978301):0.4441335618,(t231:0.8492066874,(t131:0.7850281522,t223:0.5644783564):0.0554253289):0.5716097567):0.4529610144):0.5243576313):0.06174142007):0.2398034141):0.08113173442,(t600:0.5157195951,((((t156:0.3856968067,t98:0.4847695197):0.6773199383,(t573:0.5223242166,((t157:0.9078898446,(t661:0.6851297028,(t86:0.550718545,t732:0.2858205645):0.1555042332):0.7714006505):0.8422087738,t335:0.559105284):0.3694251091):0.4667148788):0.8709674284,((t166:0.6467748759,(t571:0.1547806475,t557:0.7793409596):0.1777617014):0.4942302911,(((((t328:0.6761366266,(t618:0.9397281597,t117:0.7116401854):0.4914529007):0.4140432416,t314:0.6166083773):0.3832547187,(t487:0.4711455738,(t777:0.1074387755,t4:0.1290245936):0.01192146237):0.501951399):0.6944165165,(t40:0.7008830609,(t1000:0.7248361441,(((t656:0.3180139046,t340:0.465601288):0.6571946531,t89:0.1328531671):0.4365631954,t415:0.370977019):0.1781523062):0.7216742486):0.8001471895):0.8214590412,((t291:0.3045728875,t780:0.8001729492):0.5416340511,(t443:0.1265516062,t283:0.487876225):0.8187203719):0.7824735374):0.2668537004):0.9505081703):0.5343787309,(t323:0.7178035756,((t454:0.4468438367,t928:0.2837456604):0.6346307395,(t919:0.3347498924,t249:0.06442134152):0.1398413319):0.8343038813):0.6395437524):0.6415709499):0.7756104269):0.5222022738):0.3870262976):0.9834289863):0.9319706294,(((t431:0.6326735832,((t25:0.7821264358,t26:0.250489654):0.696674953,t868:0.7795675467):0.8662378418):0.3248159592,(((t382:0.9564892289,t853:0.7576099723):0.6919490122,t750:0.2650367066):0.8615573207,(((t767:0.8676025881,(t510:0.08301804611,t36:0.3148140921):0.948833378):0.1342461528,(((t124:0.3401627929,t180:0.8314712741):0.1207338704,(t428:0.2935684717,t880:0.2901713895):0.09989040485):0.5363257146,((t248:0.89727408,t320:0.4976419469):0.8712742154,(t989:0.8160523744,t588:0.2928057781):0.1033598681):0.8395897858):0.4357184423):0.6793858169,((t490:0.9431358525,((t790:0.7242487713,t400:0.7797466747):0.5026474581,t954:0.4985162665):0.7846729686):0.892456972,(((t774:0.6061365779,t95:0.06767364964):0.3677788232,(t225:0.2623988993,t847:0.7183428865):0.760678404):0.1919153708,(t700:0.442074168,t18:0.7537602014):0.6670532033):0.5424343562):0.1783078709):0.1994610387):0.2029920211):0.103316427,((((((t537:0.1059375168,t81:0.7658938377):0.9577729148,t342:0.7778817257):0.9896688517,((t584:0.1114359053,t798:0.3851960718):0.05736816209,t165:0.45748865):0.1162142118):0.2912677447,(((t613:0.5816897927,(t587:0.2172807301,(t642:0.03382375906,t955:0.3068596399):0.1203715804):0.5356839402):0.01505618356,((t217:0.1686362312,t69:0.7969077786):0.9185050922,(t884:0.6600384009,t116:0.004745529033):0.4385455796):0.3373152597):0.1458460842,(t914:0.7140285138,(t950:0.01682285941,(t572:0.4421347952,t304:0.04682675865):0.4432850243):0.0457544215):0.9658517232):0.7601488957):0.4025110467,(((t85:0.1823154809,t362:0.8108192317):0.05518430681,(t346:0.9646968169,(t740:0.8040616019,t15:0.2255865035):0.140883723):0.247363644):0.7822998168,t210:0.802485662):0.07647504052):0.5688386508,(((((t275:0.1924945975,t902:0.5379103017):0.6788774868,(t607:0.3853462955,t820:0.1235870011):0.6836193048):0.6619011501,(t997:0.6819215829,((t658:0.4165625938,t467:0.1256235268):0.6800170678,t794:0.9359646367):0.7462058843):0.4630111216):0.5856531924,((((((t125:0.1638334724,(t620:0.8045876888,t122:0.1166426458):0.9027682759):0.9987723529,(t478:0.4956168646,t106:0.6137200994):0.5814125706):0.8413601411,((t892:0.5689195169,t172:0.7200412706):0.1478856949,((t761:0.1005588158,t403:0.9560766246):0.7907583541,(t947:0.2102438775,t11:0.2105208272):0.2047021766):0.04029121669):0.1293284025):0.7400265043,(t424:0.7727340146,t392:0.02916808543):0.5265384957):0.7094463366,((t151:0.8890054012,((t317:0.4751224834,(t720:0.514519173,(t733:0.1917488233,t385:0.2824229915):0.6677935019):0.223752846):0.1247535977,t856:0.6444919223):0.5733191876):0.7474210593,t532:0.6865765173):0.3548171732):0.7006078965,((((t628:0.5172056912,t32:0.05272475886):0.3783324307,t187:0.9819721482):0.63761189,(t423:0.2249220002,t402:0.3735973423):0.7322862202):0.226854804,(t729:0.4728791786,(t963:0.2685086818,t725:0.6958221504):0.886111954):0.7141093523):0.6263410235):0.6762399045):0.9531621896,((t627:0.3249942001,(t945:0.5360469292,t846:0.3365345711):0.6765953326):0.4474765358,(t911:0.3691172479,(t175:0.2220535579,t952:0.1794222):0.563732045):0.6297078656):0.1086889042):0.04789219704):0.5447512129):0.4820089131):0.9510074544):0.02639988274,(((((((t996:0.6425440852,(((t845:0.6238351304,t735:0.2924728312):0.376710793,(t195:0.3678288897,t655:0.3326662751):0.9006262887):0.6759579785,(t528:0.2388196865,(t827:0.5275619959,t434:0.8984437876):0.02386518195):0.1499716172):0.9005664843):0.4253505196,(t862:0.6615024337,t679:0.3587278093):0.2225299363):0.1422051524,(((t371:0.5766497732,(t942:0.4759023921,(t198:0.5273551394,(t925:0.3944684083,t186:0.9433787281):0.5802467524):0.05512822489):0.219110678):0.9040814692,((t212:0.5339249838,t349:0.5275400446):0.5668299345,t307:0.7775663759):0.126667921):0.2664930378,(t368:0.7080901191,t990:0.9509747187):0.7518637236):0.714515405):0.7012169503,t254:0.5144682461):0.8199174637,((((t393:0.257706176,t306:0.1375907634):0.8731170374,((t979:0.63957324,t595:0.6720147876):0.7233280651,t512:0.3832316764):0.3753723889):0.9143692146,((((t499:0.8160032388,t649:0.6049202844):0.7454191919,(((t965:0.2107259901,t826:0.7805593456):0.2897979582,((t237:0.6810220012,(t312:0.2592907376,(((t908:0.9121597018,t353:0.09857139736):0.1853276552,t272:0.07838917291):0.4828981226,t227:0.2198673629):0.2918483966):0.2736343578):0.4464870165,(t849:0.4289799184,t932:0.2518491901):0.8811265843):0.4363790397):0.8403031381,(t782:0.1021721603,t854:0.385330349):0.9722665923):0.8064137928):0.9618646051,(t791:0.1432925242,t593:0.238819391):0.3109468454):0.8489491327,(t907:0.5237397256,t309:0.7766132918):0.9274635545):0.2692879299):0.6002493789,((t507:0.8489204226,t182:0.9862849147):0.6153406738,((t139:0.9827300464,t941:0.2647888006):0.3110822567,((t535:0.6175780103,t93:0.6215593298):0.5730930211,(t744:0.9514551002,t976:0.1713281602):0.4047512261):0.410048611):0.2911397705):0.5864193547):0.9851661636):0.5707734094,((((t984:0.208999821,(t664:0.003916329006,(t533:0.0969912021,t695:0.1301354701):0.148911078):0.5477516381):0.136939659,(((((t138:0.6812861741,((t429:0.9557907947,t644:0.5297074569):0.3171413315,(t650:0.2239409324,(t923:0.2051602567,t639:0.6223202513):0.02435450116):0.4524707566):0.5413788194):0.3406914852,((t800:0.03747679526,((t606:0.9647476384,t662:0.3425085498):0.722591212,t241:0.09114887472):0.5748259611):0.2431973291,(t354:0.3240995463,t883:0.4211757029):0.3803206193):0.6162981109):0.2720427136,(t690:0.01183297276,((t713:0.4473936628,t479:0.9684326926):0.8038423627,(t113:0.6414877831,t527:0.7099201253):0.9623709216):0.3339973981):0.07678530691):0.3528317867,(t876:0.9104899289,t101:0.7814863806):0.7263044226):0.5904814613,(t509:0.582418019,(t451:0.8313529079,(t878:0.1931888161,t666:0.1354481385):0.2370644496):0.8850521944):0.1478114107):0.9878097768):0.7323547995,((t807:0.5482800752,t135:0.05717226909):0.4421795749,t121:0.05756887235):0.2086866484):0.143611266,(((((t422:0.320454322,t119:0.2204247448):0.551998429,(t538:0.3899007542,(t553:0.8670907361,t784:0.518555643):0.1771187936):0.655368095):0.5349219488,(t194:0.9179198116,t298:0.7899867967):0.0935487703):0.8370220221,(t302:0.3071076858,((t466:0.7341971819,(t596:0.2077019208,t360:0.7173565563):0.2872691245):0.8531761484,(t970:0.5010360924,t91:0.1197261789):0.1872427911):0.7156916291):0.04969301634):0.3621330769,(((t229:0.3200671966,t586:0.4378982384):0.5572479018,((t162:0.7678201846,t806:0.2677075686):0.9814188746,t582:0.3029678746):0.2545405924):0.8620584747,(t10:0.2201037644,(t358:0.3404115704,t863:0.2676496964):0.5102692465):0.05381127587):0.5888301742):0.06405599322):0.2685377903):0.08657890651,((((t860:0.3632328731,((t351:0.3640761285,t712:0.1215821502):0.8487779833,(t405:0.8367290958,t35:0.668398055):0.9079270759):0.1540616078):0.3941166021,((((t949:0.1279955676,t406:0.7230369756):0.171565277,((t482:0.5299098131,(t238:0.1719494872,t34:0.06193180918):0.1173080821):0.3026309751,t436:0.8562750493):0.6145604143):0.2750589384,((((t126:0.6915232125,(t348:0.6202416071,(t754:0.02345624054,t435:0.3798311346):0.8245628611):0.08252377273):0.2564265181,(t226:0.7791798785,((t433:0.6745292244,t201:0.5113280823):0.3171321445,t251:0.4314817439):0.05623593507):0.8491109314):0.2425345965,(((((t829:0.1224616475,((t114:0.1714656705,(t129:0.9713631019,t501:0.8534673341):0.2756560333):0.7452839403,(t430:0.2532226418,(t756:0.696903944,t866:0.7521455586):0.4257596459):0.6233844713):0.004274923587):0.5878730491,((t331:0.6974447882,(t378:0.3020308749,(t524:0.5809958063,t203:0.5744896587):0.611994602):0.2886689454):0.6689425607,t565:0.3261496404):0.4835176994):0.5783472622,((t22:0.890990139,t379:0.0652171697):0.1687620778,((t764:0.4244716086,t873:0.1880738367):0.3088365693,(t569:0.2474566742,t901:0.08900575386):0.2103953471):0.3259592829):0.8436527189):0.2555839724,(t939:0.02855928475,((t848:0.4898748284,t1:0.2308145966):0.004425022518,t39:0.3697298749):0.5822762256):0.4146337523):0.2215453547,t179:0.6161643122):0.392282055):0.3138730354,(t178:0.05005539791,((((t896:0.4212752525,t325:0.9404391448):0.2903162097,(t696:0.3692666863,t683:0.9444135875):0.2243834403):0.566404734,t799:0.8824610554):0.3078895935,(t197:0.6714323319,t551:0.9289549747):0.7572698435):0.6155472256):0.7081045778):0.1060952358):0.6063767867,(((t672:0.4556590184,t242:0.4895146368):0.9054355402,(((t821:0.6240633277,t585:0.4408464124):0.07967942604,(t498:0.6229935966,t111:0.2482694918):0.4919543269):0.003872242291,(t183:0.3459339193,((t550:0.1690027849,t153:0.4988712836):0.7349055419,t766:0.2872093513):0.3077432767):0.03078504535):0.7805127392):0.158501327,(((((t359:0.4448265161,t97:0.03436810267):0.8581383182,(t982:0.4928950465,t795:0.8796369943):0.01247975277):0.9246447543,t960:0.1495532056):0.4878571136,(((t530:0.4120749503,t82:0.1727443954):0.1894992834,((((t898:0.6882839985,(t592:0.5327242571,t972:0.4379223904):0.4928647855):0.1591916357,(t864:0.4285808799,(t289:0.4965632986,t513:0.7830259937):0.5502976242):0.4030125276):0.1324561662,(t64:0.3905103374,t556:0.9916881199):0.696287534):0.8694788404,(t273:0.989408118,t492:0.1800856562):0.4389480094):0.9758249295):0.03249305207,((((((((t816:0.1021870489,((t252:0.3708787188,(t407:0.6325212358,t188:0.1663845158):0.6835147678):0.4306422197,t267:0.04821816343):0.5104003691):0.5830671664,t660:0.002613773802):0.05602461426,((t14:0.8870894893,t381:0.3017249613):0.8930931557,t455:0.5574436663):0.5369599254):0.4522203237,((t552:0.2430121931,t962:0.1737079613):0.6319458033,t786:0.5628748939):0.9131043374):0.04746934329,((t697:0.2274971278,t742:0.8927093991):0.929707068,(t491:0.6054744429,t233:0.1858232536):0.9916503094):0.2393297195):0.6550033726,((((t319:0.338036943,t472:0.1319193011):0.3743784968,((t751:0.6816847008,t214:0.8876326196):0.7849050707,t647:0.4264259583):0.5255586258):0.521741017,t158:0.6873042576):0.9941627048,t416:0.05899115093):0.9632213016):0.1251004259,(((((t453:0.2495390081,t318:0.8867628851):0.9614137097,t257:0.7798219866):0.8497121446,((t563:0.2916521963,t637:0.8532751633):0.951324068,t286:0.4119227654):0.1747289693):0.07745447895,((t363:0.7750029545,t2:0.4532839446):0.4438536868,t554:0.9493651225):0.1351166985):0.003776523052,(t19:0.9010418276,t792:0.2139493076):0.6437617997):0.8304639212):0.1172816714,((t52:0.2775995862,t850:0.6215357275):0.1245990018,((t240:0.7131235611,t566:0.07294699643):0.231258502,t508:0.9181004502):0.7495666074):0.9397073579):0.6531277671):0.7352941481):0.805890809,(t79:0.3893807854,(((t488:0.6433111327,t48:0.297649513):0.5801214913,(((((t68:0.4570202336,t192:0.1345673527):0.8495956985,(t367:0.01873057219,t542:0.7752798831):0.9732347897):0.196696054,t526:0.7481265385):0.6049069397,((t769:0.03944041254,t155:0.643720699):0.275613592,t16:0.5858933027):0.6621401357):0.009004339343,t823:0.06255058199):0.6387691894):0.08648033487,(t865:0.507784965,t815:0.963084328):0.7240913189):0.3903593027):0.984266289):0.004006431205):0.096273951):0.2374828779):0.1105598912,((((t277:0.3419043107,t926:0.3528732178):0.04073412903,((t889:0.1278280418,(t369:0.3290893433,t376:0.5378818498):0.1704627827):0.4515726501,t202:0.8265846136):0.9409401282):0.4930796255,(((t75:0.2519831886,t946:0.02179748216):0.5600901525,t50:0.7793199893):0.6217724329,(((((t558:0.8243097307,t779:0.9466810098):0.9199042039,t127:0.8704337403):0.09463545401,t709:0.0006477085408):0.5790818222,((t324:0.8802330757,t988:0.603703365):0.5978988432,(t659:0.6346752374,t518:0.7926493229):0.824805497):0.2803059788):0.7443839922,(((t762:0.8786129791,t936:0.8044824104):0.2163790308,(((((t895:0.04801088735,(t758:0.6269478635,t74:0.993412222):0.3967015536):0.05751005979,(t154:0.2989590573,t718:0.6301069679):0.3449524511):0.6070781753,(t959:0.2950240958,t835:0.8472268099):0.5423719971):0.6828555055,((((t842:0.4230009408,t56:0.5735222215):0.1598525483,t384:0.5329088459):0.9397557573,(t84:0.4915932601,t717:0.03682511044):0.3380664075):0.3343695682,t578:0.9099002478):0.6451880455):0.6686387188,((((t159:0.6878671318,t336:0.09801345621):0.1772218447,t110:0.806077735):0.7287900546,(t92:0.04222153476,t757:0.2746560129):0.2106053398):0.02094359114,(((t768:0.675320423,t380:0.2486112921):0.006855047541,t783:0.1000589647):0.7005708185,t545:0.04203090654):0.1342362294):0.4839921314):0.1321418455):0.7805817882,(((t938:0.7830512035,(t785:0.373616748,((t678:0.2935027038,t63:0.4801568075):0.8350564237,t622:0.1841081448):0.03222858463):0.33944056):0.5038853795,((((t469:0.9890651698,(t80:0.1590525627,t8:0.4704065991):0.7232612905):0.2534742309,(t763:0.418764825,t781:0.2231418504):0.7643393844):0.8617316179,t321:0.5763984406):0.01772939041,(t562:0.8895493355,t614:0.15474924):0.3588657246):0.4773327648):0.7791907082,((t738:0.3839661649,((t708:0.9068538384,(t915:0.9640863873,t432:0.2213366777):0.1204694835):0.5661302018,(t296:0.7643145917,((t772:0.765026805,t78:0.463228703):0.7895722289,t574:0.3703969277):0.04001168837):0.0654219361):0.8635840991):0.6594473622,((t439:0.8647292401,t310:0.9744359811):0.4692511666,t801:0.7997694167):0.2739181777):0.906440598):0.8306007762):0.6648039704):0.784567914):0.9076048569):0.4771228542,(((t760:0.5337602801,t404:0.09121711785):0.8075686796,((((t255:0.01012741309,t522:0.9559580162):0.1500361862,t872:0.8145080763):0.4446346613,t420:0.3842782041):0.02622397034,t591:0.1672078911):0.6658605016):0.140724642,t726:0.2231595754):0.3202855578):0.88591997):0.5149108942,((t452:0.1037728027,t437:0.2157595768):0.06846316159,t870:0.3652971487):0.5332638186):0.9198510682):0.05785808875):0.7762787007,(((((((t886:0.9924074679,t728:0.2828830937):0.9353567611,(t438:0.6540382497,(t269:0.6363926355,t120:0.793718813):0.2672508019):0.1878502069):0.6730172711,((((t152:0.3968437384,(t485:0.7351795072,t391:0.3857304181):0.3783714075):0.4346765217,((t548:0.8180236877,t280:0.8719462315):0.1581432992,((t332:0.08541233791,t891:0.2176405382):0.2735502101,((((t60:0.3085568978,t497:0.8773576675):0.008083765628,(t496:0.3920608901,t643:0.797063496):0.8244791543):0.8339966445,t759:0.9440334449):0.6273390299,(t541:0.2434640541,(t629:0.3303467347,t417:0.704638253):0.9888087092):0.276096767):0.1772065358):0.5939575422):0.9074389832):0.03523129434,((t755:0.8562765659,((t775:0.09777481342,t616:0.210598438):0.4482234118,t602:0.4140002625):0.5872385376):0.5941719543,(t236:0.8572223468,((t692:0.6949233769,(t258:0.6408200408,t813:0.5455156004):0.9427078718):0.8604444952,(t502:0.5622069978,t747:0.5141827816):0.6478544164):0.8402816781):0.6696815651):0.442627759):0.4438023535,(t517:0.05164366378,(t897:0.8475064361,(t390:0.2828943604,t208:0.4990502486):0.8441812599):0.2863620101):0.5983685243):0.7255407476):0.4201184111,((((t401:0.3918791797,t934:0.6384999007):0.3917814461,t285:0.6819277979):0.7501259285,t598:0.7121308644):0.4126534478,t877:0.1296415634):0.4597078804):0.6367124401,((((t626:0.03065841645,((t293:0.746086573,t411:0.7449750442):0.02145312214,(((t483:0.8580426695,t793:0.4814155384):0.2386765785,(t699:0.7239836256,(t216:0.5709461479,t266:0.04625465325):0.09842338483):0.3914665757):0.03395195561,(t654:0.5593446654,t707:0.6384182791):0.7068053382):0.8122923579):0.8535601969):0.1490623935,t341:0.887283673):0.967113602,(((t525:0.9817005252,t966:0.1598367535):0.6559569943,t882:0.9590685044):0.9586708087,t913:0.7315605709):0.2243042584):0.8751396341,(t840:0.1102992147,((t749:0.303599329,(t29:0.02884131856,t6:0.1308803386):0.4574277757):0.09596681362,(t810:0.2963430192,((t169:0.8830075117,(t394:0.526353607,t819:0.6177615507):0.2238651747):0.2464951419,(((t395:0.1661633842,t232:0.3724520006):0.7747935273,t682:0.2637844682):0.3834131691,t495:0.4632620444):0.07725438941):0.4402050867):0.8974401788):0.54145443):0.7213560883):0.9914802674):0.7890661319,(((((((((t632:0.06760338834,t523:0.9700211177):0.4389448969,t875:0.3733672332):0.1424502167,t444:0.5698372964):0.4353939348,(t386:0.07989409543,((t977:0.4985968943,t948:0.8714785916):0.9688129267,t140:0.700208534):0.1736423695):0.1164158965):0.03933648928,(t193:0.9836901284,t55:0.3598411398):0.5925018371):0.5611832864,(t981:0.5868151081,t633:0.7361478051):0.3772879625):0.8537261728,(((t503:0.2028628686,t838:0.7897617358):0.2772011114,t719:0.2796939868):0.731718282,(t676:0.8338156871,t460:0.1184352611):0.841090437):0.9543094519):0.78891505,((((t724:0.2041919611,t142:0.05145849334):0.02158925869,t973:0.4954694116):0.8778704922,(t804:0.2524120628,t137:0.9917460843):0.2726857455):0.8951262382,((((((t667:0.2452808728,t373:0.2094819986):0.4233569356,t641:0.7369086547):0.9261192353,((t45:0.4592313534,t669:0.6069570801):0.2306251077,(t615:0.6767126569,(t739:0.2414594556,(t971:0.6470829116,t149:0.9867207222):0.9363094044):0.4145469649):0.1992527347):0.6691021568):0.06429243437,((t481:0.7053955165,(t544:0.463245322,t765:0.397431395):0.5128873342):0.9076695282,(t215:0.2782581085,(t486:0.07252647798,t630:0.01963573322):0.2612354122):0.3217712003):0.6203412323):0.7789239378,((t844:0.9448806015,t20:0.8698231222):0.2366785412,t70:0.1055832882):0.122474395):0.2749417392,((t235:0.4175485817,t855:0.3613138609):0.9815430196,t27:0.3957671896):0.602197089):0.3725531776):0.6573920408):0.5455285704,(t281:0.9007260711,((t771:0.5445711371,(t858:0.5892159434,(((((t61:0.7525040098,t365:0.9211615182):0.1700256329,(t118:0.3434599233,((t617:0.5502670128,t869:0.7926770982):0.05205833027,((t115:0.3270721098,t753:0.9522258658):0.9290176516,t468:0.1791871956):0.607921306):0.2164736132):0.06225765357):0.2525551051,((t684:0.4749479843,t343:0.0505005524):0.221712223,t374:0.343671255):0.5946682277):0.8789126992,t536:0.0125598649):0.6461414222,((t857:0.7452034974,t410:0.02500218479):0.3021787005,t594:0.6456456985):0.4786746548):0.5904914322):0.3511083846):0.693788836,(t480:0.6990294575,(t73:0.7304788169,t788:0.4856504737):0.2488574649):0.2556003327):0.09537341306):0.3577388031):0.4101477356):0.3312739807,((((t867:0.4336104721,t161:0.464275213):0.3649495295,t333:0.6874150615):0.2101947046,(t484:0.9923638024,t59:0.9989181873):0.2844540824):0.4524195818,(((((t107:0.7044274523,((t211:0.5624493912,((t893:0.3918245581,t529:0.3112272937):0.7258614544,t741:0.07524503348):0.1285226995):0.05111041875,t375:0.7109577437):0.855006184):0.009688454214,(t648:0.6834972349,t30:0.7882577444):0.5933428705):0.5175304406,t470:0.01278874232):0.7577011921,(((t645:0.1109019429,(t961:0.511364955,t191:0.8557446362):0.8284202481):0.5743331604,t623:0.8398647571):0.2553583919,((((t899:0.7127891479,t828:0.4723662355):0.2930382122,(t143:0.886990702,((t611:0.5715212445,t83:0.815638752):0.2568968926,t516:0.9851678028):0.2499632828):0.4670834434):0.9739846413,t221:0.7333476378):0.5980310659,t102:0.1226166845):0.4650670262):0.7738628204):0.1274016702,((((((t65:0.9221856485,((t94:0.9261060737,t833:0.837841633):0.9476536915,(t521:0.4825832432,t146:0.9565932008):0.3240887178):0.960925536):0.978652671,(t885:0.8298990445,t141:0.3979754511):0.31186019):0.5813861152,(((t651:0.1069062543,((t176:0.5605349708,(t730:0.109423982,t861:0.1392001878):0.509900166):0.8069606544,t612:0.1588371664):0.8226937188):0.6427721439,((((t714:0.688305574,t634:0.1941845883):0.2810701639,t442:0.8556930739):0.9024706979,t292:0.6511456994):0.2635462375,((((t995:0.009352299152,t345:0.06200888497):0.05785826477,((t295:0.05965417833,t209:0.5283612804):0.3579109947,t33:0.01634504879):0.07302804943):0.8212360318,((t579:0.3137666914,t421:0.3454381374):0.5571150929,t874:0.1917253335):0.1454739913):0.4548693094,(t581:0.954620559,t841:0.9964581702):0.07224794198):0.1873859202):0.1169003116):0.04919476784,t814:0.0006609505508):0.3713462101):0.6538121214,t274:0.01470600092):0.5472261158,(t72:0.5586070351,((t326:0.8581525113,t279:0.9024017097):0.7744550523,(t71:0.7571065493,t916:0.9965882096):0.7951941914):0.8074944199):0.6371080161):0.05176516576,((t200:0.8999790892,t399:0.3087189931):0.8227630884,((t770:0.777553316,t66:0.9460913427):0.9728282103,t736:0.6370705906):0.03660005308):0.166830166):0.06067382218):0.06658347696):0.388037564):0.602019866,(((((t778:0.9752651041,t136:0.7021360195):0.8212438917,t506:0.6762387275):0.2175214277,t731:0.6954380735):0.3948237402,(((t427:0.03043720196,t631:0.9684763297):0.08170857071,(t123:0.4438534686,t808:0.3161738664):0.2034562496):0.2979027678,((t387:0.7441525136,t462:0.7762170669):0.5790001873,(((t987:0.2796702096,(t940:0.7491404535,t355:0.2274822562):0.9569078519):0.4439436113,(t999:0.4592767092,(t992:0.5838529388,((t689:0.9573029026,t43:0.8590541056):0.6974832439,t243:0.6448322183):0.2881704967):0.9386365681):0.7202270769):0.5668986647,(t698:0.8847165022,((t132:0.2722783384,t668:0.9894457906):0.6595380807,t796:0.8329672245):0.0348132879):0.3652766938):0.9754275617):0.9930342806):0.3109250811):0.500718538,((((t397:0.5750624526,(t28:0.8718162773,t887:0.51552485):0.03697835305):0.7804955856,(t986:0.9736637471,(t134:0.05045366124,t31:0.6928203886):0.1928443431):0.6277637985):0.7062062772,(t994:0.4695506017,t694:0.1261959157):0.2187923079):0.8624479708,((t879:0.4580288543,t993:0.1976750384):0.1961097943,(t9:0.8704813574,t270:0.38107368):0.5441156065):0.1734382196):0.470277189):0.285268673);