// The state of each LED when its corresponding push button is pressed

const int ledPins[] = {13, 14, 12};  // Pin numbers for the LEDs
const int buttonPins[] = {2, 4, 5};  // Pin numbers for the push buttons
int buttonStates[] = {0,0,0};

void setup() {
  for (int i = 0; i < 3; i++) {
    pinMode(ledPins[i], OUTPUT);
    pinMode(buttonPins[i], INPUT);
  }
}

void loop() {
  for (int i = 0; i < 3; i++) {
    buttonStates[i] = digitalRead(buttonPins[i]);
  if (buttonStates[i] == HIGH){
    for (int j = 0; j < 9; j++){
      digitalWrite(ledPins[i], HIGH);  // LED ON
      delay(500);
      digitalWrite(ledPins[i], LOW);  // LED OFF
      delay(500);
    }
  }
  }
}