(((THEMA_07540:2.8769644791946,(THEMA_02350:19.6591828752436,(THEMA_02730:78.9458268630458,THEMA_05970:78.9458268630458):19.6591828752436):2.8769644791946):0,(THEMA_04175:110.713345709777,THEMA_08040:110.713345709777):0):0,(THEMA_04090:22.1527026393363,(THEMA_00430:52.7974920928877,(THEMA_01165:63.6619717591672,THEMA_02685:63.6619717591672):52.7974920928877):22.1527026393363):0);