from machine import Pin
from time import sleep

led_red    = Pin(4, Pin.OUT)
led_yellow = Pin(15, Pin.OUT)
led_green  = Pin(14, Pin.OUT)

while True:
    led_red.on()
    sleep(10)
    led_red.off()

    for i in range(6):
        led_yellow.on()
        sleep(0.25)
        led_yellow.off()
        sleep(0.25)


    led_green.on()
    sleep(5)
    led_green.off()


    for i in range(4):
        led_yellow.on()
        sleep(0.25)
        led_yellow.off()
        sleep(0.25)