((((Theco_3382:7.99731325622478,(Theco_0404:4.54707112920643,(Theco_1360:7.48066612685935,(Theco_0637:49.1326633402617,Theco_2951:49.1326633402617):7.48066612685935):4.54707112920643):7.99731325622478):0,(Theco_0627:78.4984933366558,Theco_2850:78.4984933366558):0):0,((((Theco_1184:52.2050487551731,Theco_1540:52.2050487551731):0,(Theco_3225:3.74559380643426,(Theco_0994:53.2955700918941,Theco_2998:53.2955700918941):3.74559380643426):0):0,(((Theco_0878:62.1237526177991,Theco_2827:62.1237526177991):0,(Theco_1621:8.96084207505015,(Theco_1232:64.9355585003125,Theco_3265:64.9355585003125):8.96084207505015):0):0,(Theco_0374:79.8310411485251,Theco_1281:79.8310411485251):0):0):0,(((Theco_0022:64.6483009395452,Theco_0485:64.6483009395452):0,(Theco_0456:69.3845132317364,Theco_3110:69.3845132317364):0):0,((Theco_3345:16.3422246224635,(Theco_2468:14.9858743022551,(Theco_0657:67.7971409965421,Theco_1367:67.7971409965421):14.9858743022551):16.3422246224635):0,(((Theco_0058:58.4976663508468,Theco_3361:58.4976663508468):0,(Theco_0435:68.4871029746295,Theco_0854:68.4871029746295):0):0,((Theco_1254:47.233022138886,Theco_1656:47.233022138886):0,(Theco_1519:67.3233318353117,Theco_3337:67.3233318353117):0):0):0):0):0):0):0,(((Theco_3818:2.90414601788457,(Theco_1098:51.2623701959098,Theco_3251:51.2623701959098):2.90414601788457):0,(Theco_0471:11.5403316773662,(Theco_0355:4.06192869797181,(Theco_2884:13.8980697173265,(Theco_0648:40.0545071152424,Theco_2703:40.0545071152424):13.8980697173265):4.06192869797181):11.5403316773662):0):0,(((Theco_0702:28.6664223521614,Theco_3402:28.6664223521614):0,((Theco_0899:19.8845230885003,(Theco_0804:7.48959359034083,(Theco_2771:46.1488837808402,Theco_2816:46.1488837808402):7.48959359034083):19.8845230885003):0,((Theco_1296:23.2008320980814,(Theco_0141:48.566417345425,Theco_1888:48.566417345425):23.2008320980814):0,(Theco_0448:9.23312532752281,(Theco_1730:66.1544090299543,Theco_3426:66.1544090299543):9.23312532752281):0):0):0):0,((Theco_1024:25.8485412692052,((Theco_3283:39.2563029674535,Theco_3604:39.2563029674535):0,(Theco_1304:60.8680927618486,Theco_3941:60.8680927618486):0):25.8485412692052):0,((Theco_2081:64.0876161073261,Theco_3411:64.0876161073261):0,(Theco_0676:15.2179685670844,(Theco_2698_1:52.4502060408965,Theco_2698_2:52.4502060408965):15.2179685670844):0):0):0):0):0);