from machine import Pin
from time import sleep
roja=Pin(2,Pin.OUT)
lerde:Pin(4,Pin.OUT)
while True:
verde.on()
roja.off()
sleep(4)
for _ in range(10):
verde.on()
sleep(0.5)
verde.off()
sleep(0.5)
verde.off()
rojo.on()
sleep(5)