from machine import Pin
from utime import sleep

button = Pin(15, Pin.IN, Pin.PULL_UP)

R1 = Pin(5, Pin.OUT)
Y1 = Pin(4, Pin.OUT)
G1 = Pin(3, Pin.OUT)
R2 = Pin(8, Pin.OUT)
Y2 = Pin(7, Pin.OUT)
G2 = Pin(6, Pin.OUT)
R3 = Pin(9, Pin.OUT)
Y3 = Pin(10, Pin.OUT)
G3 = Pin(11, Pin.OUT)
R4 = Pin(12, Pin.OUT)
Y4 = Pin(13, Pin.OUT)
G4 = Pin(14, Pin.OUT)
def R1234_1():
  R1(1)
  R2(1)
  R3(1)
  R4(1)
  R1(0)
def R1234_2():
  G1(1)
  sleep(0.5)
  G1(0)
  sleep(0.5)
  Y1(1)
  sleep(0.5)
  Y1(0)
  sleep(0.5)
  R1(1)
  sleep(0.5)
  R2(0)
  sleep(0.5)
def R1234_3():
  G2(1)
  sleep(0.5)
  G2(0)
  sleep(0.5)
  Y2(1)
  sleep(0.5)
  Y2(0)
  sleep(0.5)
  R2(1)
  sleep(0.5)
def R1234_4 ():
  R3(0)
  sleep(0.5)
  G3(1)
  sleep(0.5)
  G3(0)
  sleep(0.5)
  Y3(1)
  sleep(0.5)
  Y3(0)
  sleep(0.5)
  R3(1)
  sleep(0.5)
def R1234_5 ():
  R4(0)
  sleep(0.5)
  G4(1)
  sleep(0.5)
  G4(0)
  sleep(0.5)
  Y4(1)
  sleep(0.5)
  Y4(0)
  sleep(0.5)
  R4(1)
  sleep(0.5)

while True:
    if button.value() == 0:  
        for _ in range(1000000): 
            R1234_1()
            R1234_2()
            R1234_3()
            R1234_4()
            R1234_5()
            sleep(0.1)
        
        while button.value() == 0:
            sleep(0.1)