import machine
import time

# connect your LED to these GPIO pins on your Raspberry Pipico
red_led = machine.Pin(15, machine.Pin.OUT)
yellow_led = machine.Pin(14, machine.Pin.OUT)
green_led = machine.Pin(13, machine.Pin.OUT)
orange_led = machine.Pin(12, machine.Pin.OUT)
white_led = machine.Pin(11, machine.Pin.OUT)
blue_led = machine.Pin(10, machine.Pin.OUT)

while True:
    red_led(1)
    yellow_led(1)
    green_led(1)
    orange_led(1)
    white_led(1)
    blue_led(1)
    time.sleep(3) # wait for 3 seconds