Great solution

I like how you used the index i of the for loop as a time unit to determine the state of the traffic lights.
With this solution you are always able to tell the current state for each given point of time instead of cycling through the states one by one.

Would have wished for some more descriptive variables and some code extraction into little functions, but you already mentioned that.

Great solution, learned something new.