(((Theos_1725:12.1155381740727,(Theos_0415:9.57432569516888,(Theos_0590:86.4738381851268,Theos_1507:86.4738381851268):9.57432569516888):12.1155381740727):0,(Theos_0062:16.1512231334971,((Theos_0172:8.11242463877412,(Theos_0095:68.9715465836094,Theos_0351:68.9715465836094):8.11242463877412):0,(Theos_1878:22.7342876792859,(Theos_0373:57.032279396803,Theos_0482:57.032279396803):22.7342876792859):0):16.1512231334971):0):0,((Theos_0661:61.5181879842661,Theos_1201:61.5181879842661):0,(Theos_0753:14.1143616564259,(Theos_0493:85.4070377513177,Theos_0905:85.4070377513177):14.1143616564259):0):0);