(3011_Tthe:0.8020862892,5933_Tthe:0.5413338221,((n1212_Tthe:1.4173269189,n169_Tthe:0.0001355037)47:0.1624703112,(20648_Tthe:0.6806370910,24353_Tthe:1.0703849151)38:0.2330876615)97:1.0387014624);