(12433_Tthe:0.3761379544,20983_Tthe:0.5051194169,(24862_Tthe:1.0546387234,(23520_Tthe:0.4408260273,(6861_Tthe:1.8664661861,13125_Tthe:0.5899189428)92:0.3785540724)35:0.3193595192)95:0.2738139137);