from machine import Pin
import utime

red = Pin(1, Pin.OUT)
yellow = Pin(5, Pin.OUT)
green = Pin(9, Pin.OUT)

def blink(led, count):
  for _ in range(count):
    led.toggle()
    utime.sleep(0.8)
    led.toggle()
    utime.sleep(0.8)

counter = 1
while True:
  blink(red, counter)
  counter += 1
  blink(yellow, counter)
  counter += 1
  blink(green, counter)
  counter += 1