from machine import Pin
from time import sleep

red = Pin(2,Pin.OUT)
yellow = Pin(0,Pin.OUT)
green = Pin(4,Pin.OUT)

while True:
    green.on()
    sleep(5)
    green.off()
    yellow.on()
    sleep(1)
    yellow.off()
    red.on()
    sleep(3)
    red.off()