from machine import Pin
led1 = Pin(2, Pin.OUT)
led2 = Pin(15, Pin.OUT)
key1 = Pin(12, Pin.IN, Pin.PULL_UP)
key2 = Pin(13, Pin.IN, Pin.PULL_UP)

while True:
  if key1.value() == 0:
    led1.value(1)
    led2.value(0)
  elif key2.value() == 0:
    led1.value(0)
    led2.value(1)
  else:
    led1.value(0)
    led2.value(0)