from machine import Pin
import time

led_red = Pin(0, Pin.OUT)
led_yellow = Pin(2, Pin.OUT)
led_green = Pin(15, Pin.OUT)

while True:
    led_green.value(1)
    time.sleep(5)
    led_green.value(0)
    led_yellow.value(1)
    time.sleep(0.5)
    led_yellow.value(0)
    time.sleep(0.5)
    led_yellow.value(1)
    time.sleep(0.5)
    led_yellow.value(0.5)
    time.sleep(1)
    led_yellow.value(0.5)
    time.sleep(0.5)
    led_yellow.value(0)
    time.sleep(1)
    led_red.value(1)
    time.sleep(5)
    led_red.value(0)