import RPi.GPIO as GPIO
import time

GPIO.setmode(GPIO.BCM)
GPIO.setup(5, GPIO.IN)
GPIO.setup(9, GPIO.OUT)
GPIO.setup(13, GPIO.OUT)

try:
    while True:
        if GPIO.input(5):
            GPIO.output(9, GPIO.LOW)
            GPIO.output(13, GPIO.LOW)
        else:
            GPIO.output(9, GPIO.HIGH)
            GPIO.output(13, GPIO.HIGH)
        time.sleep(0.1)  # small delay to avoid rapid state changes
except KeyboardInterrupt:
    GPIO.cleanup()  # clean up GPIO on CTRL+C exit