from machine import Pin

print("Hello, Pi Pico!")

LED1 = Pin(9, Pin.OUT)    # create output pin on GPIO0
LED1.value(0)                 # set pin to "on" (high) level
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT