from machine import Pin
from time import ticks_ms

verde = Pin(25, Pin.OUT) 
amarelo = Pin(26, Pin.OUT)
vermelho = Pin(12, Pin.OUT)

taNaHora = ticks_ms() +7000
estado = "liberado"
verde.on()
amarelo.off()
vermelho.off()

while True:
    if ticks_ms() >= taNaHora:
      if estado == "liberado":
       estado = "atencao"
       taNaHora = ticks_ms() + 2000
       verde.off()
       amarelo.on()
       vermelho.off()

      elif estado == "atencao":
       estado = "pare"
       taNaHora = ticks_ms() + 5000
       verde.off()
       amarelo.off()
       vermelho.on()

      elif estado == "pare":
       estado = "liberado"
       taNaHora = ticks_ms() + 7000
       verde.on()
       amarelo.off()
       vermelho.off()