(15034_Tthe:0.6590103104,(14663_Tthe:1.2721622094,(23577_Tthe:2.0643407742,11603_Tthe:2.2971152706)22:0.3418247703)30:0.5231473643,(10969_Tthe:1.4979444143,(21877_Tthe:0.0201475816,n615_Tthe:0.8685328225)24:1.6230929615)22:0.3866677121);