import time
from machine import Pin
import machine
import random
btn = Pin(1, Pin.IN)
led = Pin(5, Pin.OUT)
time.sleep(0.1) # Wait for USB to become ready

print("Hello, Pi Pico!")
delay = 1

def lighten(btn):
    for i in range (3):
        led.on()
        time.sleep(delay)
        led.off()
        time.sleep(delay)

def faster(btn):
    global delay 
    delay = delay - 0.1 
    lighten(btn)

btn.irq(faster, trigger = btn.IRQ_FALLING)