a set of traffic lights with different numbers