from machine import Pin
import time

pines = [6, 7, 8, 9, 10, 11, 12]
leds = list()

for i in range(len(pines)):
    leds.append(Pin(pines[i], Pin.OUT))

boton1 = Pin(18, Pin.IN, Pin.PULL_DOWN)
boton2 = Pin(19, Pin.IN, Pin.PULL_DOWN)

tabla = {
    0 : [1, 1, 1, 1, 1, 1, 0],
    1 : [0, 1, 1, 0, 0, 0, 0],
    2 : [1, 1, 0, 1, 1, 0, 1],
    3 : [1, 1, 1, 1, 0, 0, 1],
    4 : [0, 1, 1, 0, 0, 1, 1],
    5 : [1, 0, 1, 1, 0, 1, 1],
    6 : [1, 0, 1, 1, 1, 1, 1],
    7 : [1, 1, 1, 0, 0, 0, 0],
    8 : [1, 1, 1, 1, 1, 1, 1],
    9 : [1, 1, 1, 0, 0, 1, 1],
}

def salida(valor):
    for i in range(len(leds)):
        leds[i].value(tabla[valor][i]) 

contador = 0

def fun_up(boton1):
    global contador
    contador = (contador + 1) % 10
    salida(contador)

def fun_down(boton2):
    global contador
    contador = (contador - 1) % 10
    salida(contador)

boton1.irq(trigger=Pin.IRQ_RISING, handler=fun_up)
boton2.irq(trigger=Pin.IRQ_RISING, handler=fun_down)

while True:
    pass