from machoine import Pin
import time

led_red = Pin(......, Pin.OUT)
led_yellow = Pin(......,Pin.OUT)
led_green = Pin(......,Pin.OUT)

while True:
    led_red.value(......)
    time.sleep(......)
    led_red.value(......)
    led_yellow.value(......)
    time.sleep(......)
    led_yellow.value(......)
    time.sleep(......)
    led_yellow.value(......)
    time.sleep(......)
    led_yellow.value(......)
    time.sleep(......)
    led_yellow.value(......)
    time.sleep(......)
    led_yellow.value(......)
    time.sleep(......)
    led_green.value(......)
    time.sleep(......)
    led_green.value(......)
$abcdeabcde151015202530fghijfghij