import machine
import time

rojo1=machine.pin(3, machine.pin.out)
verde1=machine.pin(4, machine.pin.out)
rojo2=machine.pin(7, machine.pin.out)
verde2=machine.pin(0, machine.pin.out)

def tintineo(n):
    if