public virtual string ToString(CoreLabel.OutputFormat format) { return(label.ToString(format) + ToPrimes()); }