const int botonPin = 2;
const int ledRojo = 9;
const int ledVerde = 10;

bool semaforoVerde = false;  
unsigned long tiempoAnterior = 0;
int parpadeos = 0;

void setup() {
  pinMode(botonPin, INPUT_PULLUP);  
  pinMode(ledRojo, OUTPUT);
  pinMode(ledVerde, OUTPUT);
  
  digitalWrite(ledRojo, HIGH);  
  digitalWrite(ledVerde, LOW);
}

void loop() {
  if (!semaforoVerde) {
    if (digitalRead(botonPin) == LOW) {  
      semaforoVerde = true;
      digitalWrite(ledRojo, LOW);
      digitalWrite(ledVerde, HIGH);
      delay(2000);  
      parpadeos = 0;
    }
  } else {
    for (int i = 0; i < 3; i++) {
      digitalWrite(ledVerde, LOW);
      delay(500);
      digitalWrite(ledVerde, HIGH);
      delay(500);
    }
    digitalWrite(ledVerde, LOW);
    digitalWrite(ledRojo, HIGH);
    semaforoVerde = false;
  }
}