import time
import asyncio
import machine

async def verde():
  led = machine.Pin(16, machine.Pin.OUT)
  while True:
    led.toggle()
    await asyncio.sleep(1)

async def arancione():
  led = machine.Pin(18, machine.Pin.OUT)
  while True:
    led.toggle()
    await asyncio.sleep(.5)

async def rosso():
  led = machine.Pin(20, machine.Pin.OUT)
  while True:
    led.toggle()
    await asyncio.sleep(.25)


async def main():
  await asyncio.gather(verde(), arancione(), rosso())

asyncio.run(main())