from machine import Pin
from time import sleep

re= Pin(13, Pin.OUT)
yellow= Pin (16, Pin.OUT)
green= Pin (18, Pin.OUT)

while True
    red.value(1)
    yellow.value(0)
    green.value(0)
    sleep(1)
    red.value