(((Thein_1077:6.77209586402675,(Thein_0260:51.4166441961647,Thein_1194:51.4166441961647):6.77209586402675):0,(Thein_1448:5.86708286662876,(Thein_1102:2.78244878162766,(Thein_0910:49.6591793864438,Thein_1072:49.6591793864438):2.78244878162766):5.86708286662876):0):0,(((Thein_0483:63.1913355754964,Thein_0672:63.1913355754964):0,(Thein_1131:78.6911769116621,Thein_1163:78.6911769116621):0):0,(((Thein_0411:48.3868390747939,Thein_1618:48.3868390747939):0,(Thein_0323:16.3219976611455,(Thein_1832:49.1393335453891,Thein_2063:49.1393335453891):16.3219976611455):0):0,(((Thein_0005:8.28223088196605,(Thein_0890:47.5136174200355,Thein_1061:47.5136174200355):8.28223088196605):0,(Thein_0347:13.5795204119692,(Thein_0128:55.9119405182605,Thein_0562:55.9119405182605):13.5795204119692):0):0,((Thein_1380:41.0406001647454,Thein_2219:41.0406001647454):0,(Thein_0395:60.3812967755538,Thein_1876:60.3812967755538):0):0):0):0):0);