((TASI_0247:23.1370816008706,(TASI_0503:48.4711595793313,TASI_1305:48.4711595793313):23.1370816008706):0,(TASI_0074:12.2007578359088,(TASI_0904:64.130899487591,TASI_1427:64.130899487591):12.2007578359088):0);