from machine import Pin
from time import sleep_ms

Rojo = Pin(15, Pin.OUT)
Amarillo = Pin(2, Pin.OUT)
Verde = Pin(4, Pin.OUT)

boton = Pin(12, Pin.IN, Pin.PULL_DOWN)

Rojo.value(1)
Amarillo.value(0)
Verde.value(0)

while True:

    if boton.value() == True:

        Rojo.value(1)
        Amarillo.value(0)
        Verde.value(0)
        sleep_ms(5000)

        Rojo.value(0)
        Amarillo.value(1)
        Verde.value(0)
        sleep_ms(2000)
        
        Rojo.value(0)
        Amarillo.value(0)
        Verde.value(1)
        sleep_ms(5000)

    Rojo.value(1)
    Amarillo.value(0)
    Verde.value(0)
    sleep_ms(100)