(((Thein_0539:4.00277540111227,((Thein_0260:100.908567097757,Thein_1194:100.908567097757):0,(Thein_1077_2:4.73913475134529,(Thein_0910:109.467100908081,Thein_1102:109.467100908081):4.73913475134529):0):4.00277540111227):0,((Thein_0191:89.0501652899505,Thein_0350:89.0501652899505):0,(((Thein_0079:11.0166355848206,(Thein_1072:90.1923051596282,Thein_1448:90.1923051596282):11.0166355848206):0,(Thein_1670:0.829218707222608,(Thein_0347:106.714415026544,Thein_0396:106.714415026544):0.829218707222608):0):0,(Thein_1077_1:14.0227037526213,(Thein_1452:11.484911414127,(Thein_0349:108.104959940328,Thein_0363:108.104959940328):11.484911414127):14.0227037526213):0):0):0):0,(((Thein_0671:95.7808872076131,Thein_1806:95.7808872076131):0,(Thein_1808:120.216520944814,Thein_2062:120.216520944814):0):0,(((Thein_1583:27.4791451844996,(Thein_0412:76.5375846024357,Thein_1619:76.5375846024357):27.4791451844996):0,(Thein_1316:18.2612229706012,(Thein_1130:87.2718160952464,Thein_1831:87.2718160952464):18.2612229706012):0):0,((Thein_0484:12.9745914539417,(Thein_2064:7.08078541651876,(Thein_0322:69.3043987562658,Thein_1582:69.3043987562658):7.08078541651876):12.9745914539417):0,(Thein_1380:0.909602337238439,(Thein_0014:9.68423495031861,(Thein_1162:84.8386788993676,Thein_2220:84.8386788993676):9.68423495031861):0.909602337238439):0):0):0):0);