import utime 
from machine import Pin 

red=Pin(1,Pin.OUT)
yellow=Pin(6,Pin.OUT)
green=Pin(13,Pin.OUT)



def main():
    red.toggle()
    utime.sleep(1)
    red.toggle()
    yellow.toggle()
    utime.sleep(0.5)
    yellow.toggle()
    green.toggle()
    utime.sleep(0.3)
    green.toggle()



main()

def bonus():
     for i in range(3):
        red.value(1)
        green.value(1)
        yellow.value(1)

        utime.sleep(0.2)
        
       red.value(5) 
       green.value(4)
       yellow.value(2)