(18188_Tthe:0.3823364956,3655_Tthe:0.2586972904,((7413_Tthe:0.5900239344,((15961_Tthe:0.3654141873,4439_Tthe:0.4741452401)72:0.0936163171,(20331_Tthe:0.3995014730,2173_Tthe:0.6520472500)97:0.2735243500)55:0.0966619875)92:0.1492393843,(10107_Tthe:0.7721842644,(3995_Tthe:1.0944665298,(10871_Tthe:1.6931838535,((((19112_Tthe:1.7452459305,10523_Tthe:1.7437264469)64:0.5600236354,(13486_Tthe:1.3707187103,4069_Tthe:1.4408233776)21:0.1289855090)3:0.1093631653,((20748_Tthe:1.4155381049,24302_Tthe:1.3861474230)86:0.5876470100,(11236_Tthe:1.9040383790,(5729_Tthe:1.0274809595,24495_Tthe:2.3086689337)29:0.2563298713)17:0.1313883609)7:0.1265111864)6:0.1361772846,(4090_Tthe:2.2942556890,((15045_Tthe:1.8466899709,(2224_Tthe:2.6119378604,4723_Tthe:1.5805299841)15:0.1644505192)13:0.3914134135,((26746_Tthe:2.9481099514,((20262_Tthe:2.2357759534,((7935_Tthe:2.0608294019,(20643_Tthe:2.8665139643,19522_Tthe:1.3418409103)65:0.6294330506)24:0.2770476738,(19573_Tthe:1.8976242403,(15767_Tthe:3.1887059343,20456_Tthe:1.6251656621)70:0.7395653109)33:0.3082861473)11:0.1698973363)2:0.1088130520,(7231_Tthe:2.4685427291,(5692_Tthe:1.6434054051,(22340_Tthe:0.7893579186,28547_Tthe:0.7386787764)100:0.5930322020)97:0.5883989647)9:0.2008877730)2:0.1344148832)5:0.1020216173,(((10000_Tthe:1.2125037312,(3710_Tthe:1.2265711958,19962_Tthe:0.7391342949)78:0.2039212275)95:0.3848811323,(11509_Tthe:3.3070903964,(10685_Tthe:1.2130431411,27964_Tthe:1.0836420135)79:0.3464769130)60:0.3072598398)20:0.2109713747,(29162_Tthe:1.7765164819,(7312_Tthe:1.7870200774,((17684_Tthe:1.7661600853,(24195_Tthe:1.9751399551,22504_Tthe:1.6587852401)55:0.2799524781)28:0.1966913088,(5656_Tthe:1.6160203796,(15686_Tthe:1.3788215444,22235_Tthe:1.5535316443)23:0.0838618455)20:0.1623407946)52:0.2797200145)30:0.1349657299)78:0.3271000710)17:0.2058990932)11:0.1720564566)45:0.2643214232)16:0.1531628674)98:0.6969130424)74:0.2028101340)92:0.2590747848)99:0.3183602097)99:0.2023041094);