from machine import Pin 
from utime import sleep

led1=Pin(5,Pin.OUT)
led2=Pin(9,Pin.OUT)
led3=Pin(13,Pin.OUT)

while true:
    led1.on()
    sleep(0.2)
    led1.off()

    led2.on()
    sleep(0.2)
    led2.off()

    led2.on()
    sleep(0.2)
    led3.off()
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT