from time import sleep
from machine import Pin


verde = Pin(2, Pin.OUT)
amarelo = Pin(3, Pin.OUT)
vermelho = Pin(4, Pin.OUT)

while True:
  verde.value(1)
  sleep(3)

  verde.value(0)
  amarelo.value(1)
  sleep(1)

  amarelo.value(0)
  vermelho.value(1)
  sleep(3)

  vermelho.value(0)