(22819_Tthe:0.0000173703,26270_Tthe:0.1481351930,(21147_Tthe:0.9511445669,(((23086_Tthe:2.0062786337,(((28064_Tthe:0.0061072881,28064~b_Tt:0.0000000001)99:0.1538831639,((22828_Tthe:0.0129732147,22828~b_Tt:0.0000005747)99:0.1188914589,(22826_Tthe:0.0063968777,22826~b_Tt:0.0000000001)91:0.0976476427)53:0.1023606538)98:0.7554096127,(n1190_Tthe:2.2835550588,((24005~b_Tt:0.2160876614,((24009_Tthe:0.0000000001,24009~b_Tt:0.0000000001)99:0.0368070365,(13323~b_Tt:0.0061405105,(24007~b_Tt:0.0128871006,(27697_Tthe:0.0000000001,27697~b_Tt:0.0000000001)96:0.0501244238)26:0.0135964733)20:0.0073777711)64:0.0482368646)93:0.2990489200,((((25504_Tthe:0.0000000001,25504~b_Tt:0.0000000001)96:0.1025248942,(25503_Tthe:0.0000000001,25503~b_Tt:0.0000000001)98:0.0714706343)94:0.3616877335,((13374~b_Tt:0.0408072791,(13367~b_Tt:0.0000000001,13367_Tthe:0.0000008047)69:0.0000000001)78:0.0477563515,(13371_Tthe:0.0000000001,13371~b_Tt:0.0000000001)89:0.0124836860)100:0.3296304504)83:0.2965062501,((12230_Tthe:0.0000013745,12230~b_Tt:0.0117471345)94:0.0612543474,((19028~b_Tt:0.0783913974,((12227_Tthe:0.0000000001,12227~b_Tt:0.0000000001)100:0.1624519721,(19025_Tthe:0.0000000002,19025~b_Tt:0.0000000088)73:0.0000013900)64:0.0181981964)69:0.0552293570,((28067_Tthe:0.0000000001,28067~b_Tt:0.0000000001)71:0.0171557294,(12233_Tthe:0.0000000001,12233~b_Tt:0.0000005212)44:0.0000005212)87:0.0525402924)69:0.0394905823)79:0.2273064106)29:0.0636572992)80:0.3186201639)28:0.3375139282)30:0.3480870940)23:0.4252995835,((10885_Tthe:0.2545802765,10886_Tthe:0.1897762527)98:0.9301495745,((28099_Tthe:0.0000005742,((26273_Tthe:0.0649675664,(23998_Tthe:0.0575808309,(16697_Tthe:0.0843849161,(7644_Tthe_:0.1786742022,(13310_Tthe:0.0455132311,((24213_Tthe:0.0607108973,(8908_Tthe_:0.1063968427,(14781_Tthe:0.1780816415,(15778_Tthe:0.1134172032,(15780_Tthe:0.0225104578,(5060_Tthe_:0.0898256828,15779_Tthe:0.0617352360)79:0.0260343605)61:0.0099555868)64:0.0469052933)40:0.0145595916)14:0.0000007551)22:0.0324188087,((14779_Tthe:0.0851133878,2605_Tthe_:0.0000041133)53:0.0387648216,((29554_Tthe:0.0266020336,14782_Tthe:0.0060078731)81:0.0155445881,(26387_Tthe:0.0230976969,29103_Tthe:0.0760776092)39:0.0061111108)45:0.0114728373)32:0.0182808476)68:0.0515173044)89:0.2768162701)9:0.0000012377)53:0.0817012135)59:0.0586820715)90:0.2584881874,((22827_Tthe:0.2482853230,28065_Tthe:0.1221304021)100:1.3774491645,(13374_Tthe:0.3345122151,(19028_Tthe:0.3547326525,(24005_Tthe:0.0326661121,(13323_Tthe:0.0682734117,(24007_Tthe:0.0139561972,27698_Tthe:0.2246250529)81:0.0184287809)50:0.0417316625)94:0.3409165242)66:0.2156427269)73:0.4001649271)66:0.6506145918)43:0.6323150984)21:0.4833333165,((((6997_Tthe_:0.0000007184,6997~b_Tth:0.0000000001)100:0.0456709160,(23998~b_Tt:0.0337170216,(23995_Tthe:0.0000006967,23995~b_Tt:0.0000000001)97:0.0404322108)84:0.0181580754)65:0.0263632055,(n1214_Tthe:0.0000013904,((26273~b_Tt:0.1064617127,(25205_Tthe:0.0000007340,25205~b_Tt:0.0000000001)99:0.0515250667)49:0.0203998595,(((6998~b_Tth:0.0000000001,((19409~b_Tt:0.0000004057,2817~b_Tth:0.0000001603)21:0.0000001603,(21155~b_Tt:0.1935639703,(2817_Tthe_:0.0000000001,(21155_Tthe:0.0000000001,(6998_Tthe_:0.0000000001,19409_Tthe:0.0000000002)15:0.0000000001)22:0.0000005587)70:0.0065846396)8:0.0000004057)6:0.0000004057)100:0.1091739654,(((13347_Tthe:0.0000000001,13347~b_Tt:0.0000007052)97:0.0443708209,((13336_Tthe:0.0061134912,13336~b_Tt:0.0000002545)94:0.0330379996,(28243_Tthe:0.0067974766,28243~b_Tt:0.0000007249)99:0.0305586922)54:0.0158789074)47:0.0207986874,((29634_Tthe:0.0000000001,29634~b_Tt:0.0000004239)100:0.0741400311,(((23667_Tthe:0.0000008264,23667~b_Tt:0.0000000001)100:0.1949417892,((13310~b_Tt:0.0257151332,(12085_Tthe:0.0000003741,12085~b_Tt:0.0115917834)90:0.0354410759)89:0.0475467693,(((17855_Tthe:0.0000007044,(17855~b_Tt:0.0000002705,(3357_Tthe_:0.0069552797,(2605~b_Tth:0.1234802102,3357~b_Tth:0.0000000001)8:0.0000000001)22:0.0199807803)11:0.0000002705)19:0.0066130836,((30140_Tthe:0.0482371040,(29103~b_Tt:0.0000005650,30140~b_Tt:0.0084885982)48:0.0065434715)7:0.0000003532,(17269_Tthe:0.0302469016,14782~b_Tt:0.0044859270)16:0.0021993944)57:0.0065110892)84:0.0763292729,(24213~b_Tt:0.0503106110,((5060~b_Tth:0.0980697806,(n1188_Tthe:0.3026524172,(15780~b_Tt:0.0596947260,(15779~b_Tt:0.0551350641,(21704_Tthe:0.0069517590,21704~b_Tt:0.0000000001)60:0.0239724782)34:0.0084271673)3:0.0000014693)11:0.0117676036)35:0.0347297199,(14780_Tthe:0.0582452871,14779~b_Tt:0.0779501420)48:0.0218369558)17:0.0129443839)17:0.0137316514)10:0.0078106236)50:0.0568805189)78:0.4503145318,(17858_Tthe:0.0000007897,17858~b_Tt:0.0000000001)100:0.0447721923)17:0.0236588504)11:0.0299223381)9:0.0213803593)19:0.0416373801,(2815_Tthe_:0.0068845367,2815~b_Tth:0.0000005498)96:0.0426681891)17:0.0251311294)8:0.0080870893)9:0.0000025815)13:0.0138887091,(25202_Tthe:0.0000003335,(25202~b_Tt:0.0000000002,28099~b_Tt:0.0000000001)23:0.0000003466)62:0.0492019877)33:0.2543759310)15:0.3999558651)16:0.2287858158)15:0.4511102619,(10356_Tthe:2.3772275647,(21147~b_Tt:2.4293794704,23086~b_Tt:2.1810905615)19:0.1813911211)28:0.5515400847)61:0.4299723636)100:2.1639674295);