import time
from machine import Pin

led_a = Pin(15, Pin.OUT)
led_b = Pin(14, Pin.OUT)
button = Pin(13, Pin.IN, Pin.PULL_DOWN)

while True:
  if button.value() == 1:
    led_a.value(1)
    led_b.value(0)
  else:
    led_a.value(0)  
    led_b.value(1)
  

print("Hello, Pi Pico!")