compact_interval_set
