from machine import Pin
from time import sleep

rojo     = Pin(0, Pin.OUT)
amarillo = Pin(1, Pin.OUT)
verde    = Pin(2,Pin.OUT)

while True:
    rojo.value(1)
    amarillo.value(0)
    verde.value(0)
    sleep(3)

    rojo.value(1)
    amarillo.value(1)
    verde.value(0)
    sleep(1)

    rojo.value(0)
    amarillo.value(0)
    verde.value(1)
    sleep(5)

    rojo.value(0)
    amarillo.value(1)
    verde.value(0)
    sleep(1)