(14039_Tthe:0.9602723723,(9015_Tthe:1.7924910719,10582_Tthe:0.6800185125)91:0.3948237317,(7517_Tthe:0.4288730618,(5142_Tthe:0.1236139383,(5140_Tthe:0.0952745177,(5142~b_Tth:0.1284314174,5140~b_Tth:0.0516353796)70:0.0361617013)95:0.1260037797)95:0.3025362011)97:0.5500294415);