from machine import Pin
from utime import sleep
rojo=Pin(15,Pin.OUT)
amarillo=Pin(16,Pin.OUT)
verde=Pin(17,Pin.OUT)
while 1:
    verde.on()
    sleep(3)
    verde.off()
    amarillo.on()
    sleep(1)
    amarillo.off()
    rojo.on()
    sleep(3)
    rojo.off()