#include "pico/stdlib.h"

// Definimos los pines para los LEDs
#define LED_MULT5 12
#define LED_MULT7 13

int main() {
  int contador = 0;

  // 1. Inicializamos cada pin por separado
  gpio_init(LED_MULT5);
  gpio_init(LED_MULT7);

  // 2. Configuramos cada pin como salida (GPIO_OUT)
  gpio_set_dir(LED_MULT5, GPIO_OUT);
  gpio_set_dir(LED_MULT7, GPIO_OUT);

  while (true) {
    contador++; // Aumentamos el contador

    // 3. Evaluamos y encendemos/apagamos cada LED individualmente
    // gpio_put recibe el pin y el estado (true/1 para encender, false/0 para apagar)
    gpio_put(LED_MULT5, contador % 5 == 0); 
    gpio_put(LED_MULT7, contador % 7 == 0);

    // Esperamos 1 segundo
    sleep_ms(1000); 
  }
}