from machine import Pin
from time import sleep

ama = Pin(22, Pin.OUT)
verm = Pin(19, Pin.OUT)
bot = Pin(12, Pin.IN, Pin.PULL_UP)

def vermelho(pin):
  if bot.value() == 0:
    verm.on()
  else:
    verm.off()

bot.irq(trigger=Pin.IRQ_RISING, handler=vermelho)

while True:
  ama.on()
  sleep(2)
  ama.off()
  sleep(2)