((THEMA_07545:18.6572560603513,(THEMA_00370:42.0358824996574,THEMA_05975:42.0358824996574):18.6572560603513):0,(THEMA_01155:7.56714149027641,(THEMA_03835:5.62453396691343,(THEMA_02725:59.6626646038165,THEMA_08045:59.6626646038165):5.62453396691343):7.56714149027641):0);