from machine import Pin
from utime import sleep, sleep_ms

pir = Pin(15, Pin.IN)
rojo = Pin(35, Pin.OUT)
verde = Pin(36, Pin.OUT)

while True:
    dato = pir.value()
    print(dato)
    sleep_ms(100)
    if dato == 1:
        verde.value(1)
        rojo.value(0)
    else:
        verde.value(0)
        rojo.value(1)