from machine import Pin
import time

rosso = Pin(1, Pin.OUT)
giallo = Pin(5, Pin.OUT)
verde = Pin(9, Pin.OUT)

rosso2 = Pin(28, Pin.OUT)
giallo2 = Pin(27, Pin.OUT)
verde2 = Pin(21, Pin.OUT)

bottone = Pin(13, Pin.IN)
rossoPedone = Pin(15, Pin.OUT)
verdePedone = Pin(14, Pin.OUT)

while True:
    rossoPedone.value(1)
    rosso.value(1)
    verde2.value(1)
    time.sleep(2)
    verde2.value(0)
    giallo2.value(1)
    time.sleep(2)
    giallo2.value(0)
    rosso2.value(1)
    if bottone.value() == 1:
        rossoPedone.value(0)
        verdePedone.value(1)
        time.sleep(5)
        rossoPedone.value(1)
        verdePedone.value(0)

    verde.value(1)
    time.sleep(2)
    verde.value(0)
    giallo.value(1)
    time.sleep(2)
    rosso2.value(0)
    giallo.value(0)

    if bottone.value() == 1:
        rossoPedone.value(0)
        verdePedone.value(1)
        time.sleep(5)
        rossoPedone.value(1)
        verdePedone.value(0)