import machine as Gpio
import utime as TM

LED_pin = Gpio.Pin(3, Gpio.Pin.OUT) 


def set_red_color(Red):
    LED_pin.value(Red)


while True:
    set_red_color(1) 
    TM.sleep(1)       
    set_red_color(0)  
    TM.sleep(1)      
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT