from machine import Pin
from time import sleep
import time

red = Pin(15, Pin.OUT)
yellow = Pin(2, Pin.OUT)
green = Pin(4, Pin.OUT)

push = Pin(13, Pin.IN)


while True:
    test = push.value()

    if test == True:
        red.value(1)   
        yellow.value(0)
        green.value(0)
        print("STOP") 
        
    else:
        red.value(1)   
        yellow.value(0) 
        time.sleep(5) 
        yellow.value(0)


        red.value(0)
        yellow.value(1) 
        time.sleep(2)
        yellow.value(0)

       
        red.value(0)   
        green.value(1) 
        time.sleep(5)
        green.value(0)

  
        
           

    time.sleep(0.1)