((hornungia petraea:0.483583[&&NHX:color_tag=_&&NHX_C_blue_],hornungia alpina subsp. brevicaulis:0.483583[&&NHX:color_tag=_&&NHX_C_blue_])1:8.72318,hornungia procumbens:9.20676[&&NHX:color_tag=_&&NHX_C_blue_],hornungia aragonensis:9.20676[&&NHX:color_tag=_&&NHX_C_blue_],hornungia alpina subsp. auerswaldii:9.20676[&&NHX:color_tag=_&&NHX_C_blue_],hornungia alpina:9.20676[&&NHX:color_tag=_&&NHX_C_blue_]);