from machine import Pin
from utime import sleep, sleep_ms, sleep_us

rojo = Pin(5, Pin.OUT)
amarillo = Pin(6, Pin.OUT)
verde = Pin(4, Pin.OUT)

while True:
    rojo.on()
    sleep_ms(200)
    rojo.off()
    sleep_ms(200)