from machine import Pin
import time

ledRojo=Pin(0,Pin.OUT)
ledAmarillo=Pin(1,Pin.OUT)
ledVerde=Pin(2,Pin.OUT)
pulsador=Pin(28,Pin.IN)


while True:
  if pulsador.value()==1:
    for i in range(5):
        ledRojo.off()
        ledAmarillo.on()
        ledVerde.off()
        time.sleep(0.5) #Espera 0.5 segundo
        ledAmarillo.off()
        time.sleep(0.5) #Espera 0.5 segundos

    ledRojo.on()
    ledAmarillo.off()
    ledVerde.off()
    time.sleep(10) #Espera 10 segundos

  ledRojo.off()
  ledAmarillo.off()
  ledVerde.on()
  time.sleep(0.1)