from machine import Pin
import time
# LEDs
verde = Pin(5, Pin.OUT)
amarillo = Pin(1, Pin.OUT)
rojo = Pin(0, Pin.OUT)
contador=0
# Sensor IR
sensor= Pin(12, Pin.IN)

while True:
    if sensor.value()==1:
        contador=contador+1
        rojo.on()
        print("el contador es:", contador)
    else:
        rojo.off()