from machine import Pin
from utime import sleep

led_verde = Pin(16, Pin.OUT)
led_amarelo = Pin(17, Pin.OUT)
led_vermelho = Pin(18, Pin.OUT)

ordem = [(led_verde, 3), (led_amarelo, 1), (led_vermelho, 2)]

while True:
    for led, tempo in ordem:
        led.value(1)
        sleep(tempo)
        led.value(0)