a set of traffic lights with different colors