private void WriteIntSet(IntSet intSet) { writer.Write("{"); bool first = true; foreach (var interval in intSet.EnumerateIntervals()) { if (first) { first = false; } else { writer.Write(" "); } WriteInterval(interval); } writer.Write("}"); }