(t394:3.331278069,(((t248:14.12749869,(t152:7.290829396,((t158:1.002658219,(t291:5.337442719,t283:5.266938267):2.787768191):0.6329645006,(((((((((t230:0.6522378602,t40:0.8521190663):13.8045696,(t229:23.08288186,(((t36:3.741923806,t254:2.376445336):3.710725914,t285:6.818677175):7.836584992,t456:4.655757714):1.524574641):3.461495433):1.796895889,((((((t433:4.997950633,((((t148:4.150700028,(t390:2.611114953,(t426:10.05480145,t124:3.719114301):4.612307082):0.5425816555):4.606678573,t371:5.973793289):6.595278663,(t386:10.46248998,t389:8.979209881):6.39116251):9.589509204,((t130:7.306684755,t138:2.46448783):1.697838553,((t353:1.070738961,t217:9.575697607):4.919433467,((t151:7.935286358,t4:7.935286358):6.366248531,t414:11.6348239):10.24049718):6.511087721):13.69137814):6.10028934):12.88648198,(((((((((t455:0.2898900731,t429:0.2898900731):3.18935625,t75:3.479246324):15.93265695,t31:3.770876395):0.2214171265,t239:3.998095498):10.75953543,((((t327:7.701755449,(((t195:10.44080992,(t104:2.907583241,t108:2.907583241):8.829958762):0.2650379525,t177:1.870003169):2.353760032,t33:0.5497703478):0.609317649):2.485547222,(t142:11.79539334,t453:6.096754806):4.920102038):8.065435168,(t430:1.471564068,(t298:17.92412803,t412:17.92412803):3.253273941):4.339238053):0.6792176725,t129:0.3262864345):4.196998135):5.893283475,t232:1.600698343):8.981736992,(t131:3.178243504,(t306:3.700881498,((t292:12.31118455,t324:2.202076502):6.316275952,(t351:0.1166054871,((t354:18.6138461,t26:4.750650164):2.797724752,t180:4.273526855):0.6175193073):2.796347568):4.620530306):4.30283823):6.142053601):1.967164931,t60:0.4104065721):11.67225059,((((((t242:3.690867142,(t459:0.4706825921,t316:1.948058591):0.6268443708):5.486783143,t438:2.434560053):10.72326901,t405:4.372914063):17.45841715,t233:1.385834912):0.268072835,t9:5.516220432):12.8199076,t377:8.186131932):2.713768197):4.823977435):1.99495905,(t97:13.61993321,t251:11.4313711):12.11319654):3.591367903,((t268:2.842574077,(t457:6.329459714,t114:1.179368926):9.223853605):0.3259902273,(t450:0.2803989997,((((t117:5.549935822,((t370:4.624398774,((t280:4.155065909,t174:6.15326471):0.6922878126,t343:8.334698352):2.987097932):2.815737515,((((((t1:8.085702487,t249:2.001062136):5.645866473,t92:11.99754253):1.710546619,((t157:3.673508206,t255:0.3925942201):3.765712533,t402:6.298158829):0.7194008548):7.171346061,t451:1.258378427):3.866762722,(((t107:7.447514849,(t385:2.827149737,(t42:0.9979034603,t379:0.9979034603):1.829246277):4.620365111):0.7327326307,t194:0.810664983):16.90512448,t37:11.91344908):1.3948524):1.05266016,((t245:1.38165865,t441:1.046297826):3.052137771,t391:0.7194465464):14.82130513):1.374109674):0.05443042147):11.77555394,(t121:2.337735525,(t246:0.6654379947,t407:0.3755119084):10.59860815):4.559915422):0.9980125458,t256:3.036862046):3.510583076,(((t111:8.728100104,(t14:1.554609627,(t118:2.455004074,t342:3.13718987):1.767263847):1.716850593):8.404780169,(((((t224:6.2650256,((t106:7.657856486,t46:7.657856486):2.462455162,t416:1.542998015):9.882767194):7.131421781,(((t216:5.578798327,t196:2.882117838):1.315580427,t34:6.860952644):11.69030493,t315:3.731564671):8.229770636):0.495695481,t69:3.494087038):0.5245633939,((t355:3.145777205,t125:7.479639468):3.513145041,t398:6.568492531):0.793374959):0.9012319007,(t431:3.396564928,t454:3.396564928):25.65942647):9.736227696):0.04539155311,((t6:1.182274467,(t331:1.479493466,(t32:1.241099677,((t128:0.1166498438,t59:3.882320088):5.552520235,(t247:1.923221662,((t323:1.783303351,t244:6.01001113):0.4250566339,t334:18.11387658):5.321794355):0.783732174):1.427777359):5.342753859):2.799806294):2.891245348,t218:2.4337892):2.156624674):6.407963532):7.095225639):1.191360757):15.78543563):1.206262783,t200:4.826937946):5.865335938,(t103:7.575792616,(((((((t81:0.8840439672,t339:0.6188903726):1.091472353,t132:9.072617706):23.82174062,(t286:0.5248165395,((t406:1.944517475,(t399:4.396668015,((t336:0.7026960611,t167:5.736029618):26.78367677,t243:7.119225377):3.41848959):4.539252514):9.302991087,(t185:0.6563327925,t2:1.194262546):13.91855678):4.6875852):7.414038415):0.8536584362,((t332:0.1753569373,((((t137:2.061709268,t449:2.061709268):4.373316932,t266:6.4350262):2.061599576,t264:8.496625776):18.09340458,((t277:0.07112328568,t221:0.1338396358):5.129827987,(t401:7.422344563,(t395:2.551882562,t279:2.551882562):4.870462001):15.91356941):3.254116381):15.60767625):14.46123586,((t328:2.292266523,t302:12.36822931):1.980678632,((t119:0.4425488226,((t282:6.786992558,(t133:1.414305942,(t143:7.36188555,(t38:2.066548021,t66:2.066548021):5.29533753):1.480116418):11.65928596):9.141729609,t20:1.801027099):12.09346544):4.475319088,t28:4.852968541):5.174219649):5.27292075):6.076779172):1.686953053,t437:5.047624818):2.129766859,(t86:10.08660967,t368:4.495331064):0.476895889):2.441475286,((t208:20.41195933,t388:2.545860829):3.386594214,t369:2.808864186):0.9209910174):2.901454278):4.493823819):9.180723736):6.17938024,((((((t366:2.128248774,t184:7.476664636):12.18149874,(t172:10.53948939,(((t311:25.96955888,(t258:0.008116603937,t410:1.794046465):4.301206307):7.491072104,((t295:3.127317281,(((((t364:13.87106592,(t62:6.366249329,(t49:4.743804078,(t21:5.139041273,t71:5.139041273):3.993800555):4.12857797):12.43357965):15.46135287,t5:9.049763958):10.47768386,(((((t27:10.02239687,t76:0.4805332273):3.002127818,((t149:4.79350766,((t312:12.35589391,(t211:3.902516803,t372:3.902516803):8.453377104):3.497515284,t356:8.897518045):17.6737927):1.270191753,t169:2.455888505):6.952110364):1.55152454,((((t378:6.529935934,t15:1.641378057):3.546820673,(t387:2.64370818,(t444:2.392397942,(t344:0.9604664505,t55:0.9604664505):1.431931492):0.2513102374):8.110439521):23.06306369,t422:0.3879754385):1.275346763,(t123:5.205123262,(t445:22.7991898,t58:6.048308065):1.897043372):5.97619309):8.208470391):0.5696249698,(((((t274:5.468546516,t305:1.912051193):18.43580106,(t91:12.85526304,t436:0.03986653211):5.530461148):8.450306761,((((t110:2.970608009,t87:1.087140809):5.041142019,t127:8.548818542):0.6669298302,t199:5.667255377):10.46218214,t56:28.32926385):2.540850053):0.08307341914,(t43:11.40124647,t317:11.90644415):4.595228842):2.242566654,(((t126:5.751649967,t16:0.2601974878):12.68227169,((t161:10.72302507,(((t310:6.066431182,(t425:2.546827921,(t403:0.2173298239,t326:0.2173298239):2.329498097):3.519603261):6.406298614,(t93:10.94204041,(t18:2.701838408,(t166:0.6844731158,t29:0.6844731158):2.017365292):8.240202005):1.530689382):1.037801689,(t160:11.22986908,((t281:7.702146531,(t228:7.218318253,t79:7.218318253):0.4838282778):1.778133627,t116:9.480280158):1.749588918):2.280662409):3.361277832):2.111301082,(t240:7.982471901,t98:4.070750235):2.364698018):3.486389261):9.607405414,(t267:9.302813252,t120:3.732413199):9.124348909):2.603389337):9.190359105):0.6632747788,t192:2.108159263):7.100107884):1.474940567,(((t421:0.457751444,(t417:6.567341931,t144:0.4519757496):5.163990703):4.479612965,(((((t409:11.77857334,(t182:2.450193369,t322:6.686776777):1.895963396):0.1880374634,t101:15.83828113):0.5124194254,(t214:10.56956334,(t145:15.55472874,t102:17.30445426):0.800093103):2.704552853):0.4273406471,((t201:2.173794111,t72:2.173794111):5.480765725,t340:5.884199417):13.58188103):13.22686071,((t159:8.316007661,t170:2.96363011):0.7493703283,t418:3.672010523):12.9729247):14.05265129):3.957815625,t13:6.724498739):0.635208254):10.47740437,t141:17.71775646):0.4026066312):0.02089778564,(t61:1.37507729,(t24:2.169823043,t231:4.153287765):2.800907654):0.08961384076):8.518720923):4.14660937,t307:6.609071727):3.164770294):0.8492124568):0.1188121636,t135:5.944885013):0.6308417135,t45:0.565520121):3.548494567,t440:1.832691371):3.00658149,(t397:2.437542127,(t287:2.587464949,(t207:4.202745482,t273:2.438911197):6.074848069):1.286981149):1.683027297):3.755370396):4.735594242,((t235:2.290560496,t181:1.152015431):18.6993386,((((((t408:2.177537142,((t308:30.25586595,(t359:6.549428523,t288:6.850188225):9.351558407):0.8855484712,t349:3.798756506):6.51642155):5.80011773,(t73:0.71703966,(t330:2.535500856,t168:20.86589287):1.003475959):18.99081291):4.896572883,t358:0.5593176218):0.3389725186,t318:16.98427622):4.961787145,(t146:18.4193894,t210:0.3629429411):3.378952346):7.519393957,t293:3.207545688):4.932697426):7.518191099):4.798674728,t179:5.275531237):15.13731111,(t186:4.480682535,(((t381:1.284938417,((t265:28.17168489,((t380:0.5077894363,((t53:1.482171876,(t347:6.538308065,t238:4.408003254):9.49513678):3.839017143,(t376:9.355865471,t304:1.134545089):2.030322851):2.770497628):1.799720408,t400:8.753899333):2.515698192):8.636619991,t183:10.32582674):0.5672514196):24.95617131,((((t226:0.03647892958,(t70:3.95955942,(((t278:5.642844744,(t419:19.31685349,t68:7.395791972):4.989613336):0.3884187078,t90:4.085275166):8.423667552,t458:4.100116254):5.451131575):1.153869507):2.563841261,((t78:4.368039716,t225:8.181434104):7.239982084,(t140:5.986372693,((((t155:8.119680842,(t329:0.4101259615,(((t39:2.855986477,t439:9.681432976):3.369549966,t51:13.05098294):24.04382574,t12:1.242830009):9.8430798):0.5172610235):1.27918834,((t374:0.1490751748,(t136:1.266638108,t30:0.1485630438):10.93899864):1.523486023,t341:9.149055249):0.04599538996):0.1428633779,t260:1.802444231):3.582921999,t203:0.786394276):1.114106537):18.13492265):10.02999686):6.151726656,t338:3.836586172):8.148371662,(t309:0.5176543587,t178:21.73398863):1.099414588):4.502229212):0.7486775921,(((((t67:17.12444707,((t52:13.45954701,t63:4.120256619):3.430083375,t212:3.899100233):0.7719003194):1.229543028,((((t360:0.649294347,(((t452:4.600713715,(t303:1.961087367,t296:1.525371118):1.27468339):8.78674481,t276:3.574278476):9.999992818,t396:1.354595919):0.1651193988):7.217786138,(t446:8.668388409,((t404:4.126992174,t448:4.594282139):3.703431623,t206:11.40352548):1.279835976):5.382939445):28.66695624,(((t241:3.132839822,(((t363:0.3210787217,((t57:0.1855985516,t99:11.13625308):0.291120905,t89:6.919165753):2.445521575):2.933448313,((((t375:6.077171058,t253:6.400045577):0.3049506152,(t150:1.630338253,t88:1.685693239):0.02530612539):11.11701865,t189:10.19378648):17.47540797,(t65:1.647420184,t48:3.51365912):0.5802714722):4.549543881):5.530316929,t236:9.341170395):12.02485538):2.685879807,t74:4.015930901):5.203575834,(t424:0.713237437,(t434:1.370142488,((t367:2.734570845,(t115:18.30992799,t262:5.7007476):0.9524562593):8.409551948,t346:4.447672507):11.50916971):4.951853114):7.552749164):2.095369058):2.611247829,t259:1.924374727):13.8276651):1.800352688,t188:2.883034996):9.838027866,((((t41:9.766377981,t219:9.11425356):1.461801262,(((t50:7.050201889,t85:10.87864784):0.2776271016,t54:6.515104834):0.2420988489,t432:12.24452506):17.01249229):0.4287554179,((((t109:4.444618691,(((t190:5.996648685,((t96:2.182355635,t162:2.182355635):1.854336884,((t95:2.973664298,t348:0.9771687034):0.5094848119,t428:2.510072299):0.5535434096):1.959956166):5.483324637,(t361:7.917229086,t411:7.917229086):3.562744236):5.927019357,t83:17.40699268):3.396001739):15.44715684,t156:13.81803607):8.833074757,(t176:1.505765751,(t173:14.77659407,t100:1.293826516):4.881739087):4.058307772):32.73124861,t19:8.72365941):14.0562299):0.2198646271,t171:7.991333629):3.373688036):1.346510439,((t333:2.200146342,(t191:4.556027324,(((((t393:1.113044069,t163:3.365554517):8.482992321,((t250:0.5123281681,(((t299:2.81351312,t187:4.086673617):0.5055447672,t270:2.631871675):1.534453022,t8:3.37648055):4.196089793):14.68519742,t257:1.545508204):13.53221238):3.918385125,t337:6.624861094):0.0172834545,t443:5.369094534):3.695244089,((((((t112:5.49455508,t223:2.468049152):1.686130568,((t373:0.03378803166,((((t22:4.766289054,t435:5.651570919):2.580800328,t197:2.50750588):0.6681352106,((t11:1.885121153,t350:0.6255661766):16.72568205,t392:4.292326179):6.499863198):0.4788966213,(t80:6.599561344,t275:0.2564391455):1.542400787):1.85692097):3.798284751,t198:15.04282587):12.34394327):0.6732868246,(t269:6.870106795,(t382:8.655001482,((t227:2.224243985,(t313:3.876360665,(t7:7.778092157,t415:27.59292406):6.00961112):1.904808384):0.06740318718,t44:5.178803174):4.29890691):3.018688416):7.78266268):5.931492401,t220:0.399796502):0.3144124583,((((t252:12.94358593,t362:15.53437929):4.990777462,t205:11.8711006):7.577018206,((t139:0.1504162913,(((t413:4.176227551,t23:5.468408232):1.441685135,t10:7.607943661):6.967542646,t294:14.44473891):1.862342999):0.546404907,(t261:4.363386161,(((t365:15.23107601,(t213:1.784291939,((t352:2.936693703,(t237:5.78149826,(t271:4.202574476,(t300:3.617778528,t165:3.617778528):1.790692148):0.3730275838):4.976715856):1.013485771,t321:5.689770053):9.384550395):9.81467538):0.8215375752,(t105:2.473593784,((t289:1.745116669,t82:7.572008217):4.370166392,t319:7.637170939):2.525865849):1.397608558):3.286375887,t345:3.08097722):17.70129952):2.324289629):12.62172403):3.940271951,((t164:3.453373232,(t64:0.6386756941,((t284:10.0126228,t113:6.329625113):19.53791588,t153:3.415339394):14.66670327):1.924140685):0.2102977283,(((t175:5.191122818,((t420:2.423732699,t290:4.461329589):37.37238424,((t297:11.06506713,t383:9.880162648):7.035056572,(((((t447:3.390640227,t442:3.390640227):4.332193287,t301:7.722833515):3.964120745,t154:1.303680477):24.82648487,t193:9.74400729):0.7958925624,t122:7.688726638):4.976550507):10.19920339):5.795398837):0.7019717118,(t314:4.051521838,((t423:0.09660212656,((t134:3.349376706,t3:7.150447863):4.981977839,t384:0.7013132405):12.20687732):0.05546822798,(t335:3.013078878,((((t77:0.273506149,t147:0.273506149):16.11302161,((t234:1.556509155,t47:12.71759133):2.854651004,t209:4.641009809):0.8142854295):9.877743869,(t357:4.190382674,(t427:6.0471947,(t202:2.112375715,(t84:1.012735986,t272:1.012735986):1.099639728):3.934818985):5.90877503):14.3083019):8.387143562,t263:1.442006898):0.09533400895):10.91455704):12.88127718):0.4398727138):5.309484202,t35:22.56798515):0.7618834617):6.612600459):0.6564508742):0.2287424336,t94:8.311707661):0.7251839699):9.247197527):8.060867753):4.763091401,t215:6.521438697):1.462809407):4.479386777):12.13418805):2.996536542):0.3802707296,t25:4.135484017):2.185279809,t325:3.532535127):4.061317982):0.09290551602):4.888412193):9.648623309,((t222:20.6337417,t204:3.775494079):0.8597402272,t17:5.976926177):12.41054303):0.9147539014,t320:6.953418615):2.388418392):5.742921302;