(7517_Tthe:0.8834330804,(5142_Tthe:0.2498285080,5140_Tthe:0.3753888479)82:0.3420978846,(14039_Tthe:1.0252058860,(9015_Tthe:1.3847237091,10582_Tthe:0.7432838612)94:0.5089226007)100:1.2943491598);