ex:rn:seqcompacto