import time 
from machine import Pin

LED1 = Pin(14, Pin.OUT) #Red LED
LED2 = Pin(12, Pin.OUT) #Yellow LED
LED3 = Pin(13, Pin.OUT) #Green LED

#Red, yellow, green, repeat... :))
while True:
  LED1.value(1)
  LED2.value(0)
  LED3.value(0)
  time.sleep(8) #8 seconds of red light (STOP!)
  LED1.value(0)
  LED2.value(1)  
  time.sleep(1)
  LED1.value(0)
  LED2.value(0)
  LED3.value(1)
  time.sleep(5) #5 seconds of green light (GO!)
  LED1.value(0)
  LED2.value(1)
  LED3.value(0)
  time.sleep(1)