add test5 (non-consecutive labelings)