from machine import Pin 
import time

Green_led = Pin(5, Pin.OUT)
Yellow_led = Pin(7, Pin.OUT)
Red_led = Pin(12, Pin.OUT)

while True:
    Red_led.value(0)
    Green_led.value(1)
    time.sleep(3)
    
    Green_led.value(0)
    Yellow_led.value(2)
    time.sleep(2.5)
    
    Yellow_led.value(0)
    Red_led.value(1)
    time.sleep(3)