// Definición de pines
#define LED_ROJO     27
#define LED_AMARILLO 14
#define LED_VERDE    12

void setup() {
  pinMode(LED_ROJO, OUTPUT);
  pinMode(LED_AMARILLO, OUTPUT);
  pinMode(LED_VERDE, OUTPUT);
}

void loop() {
  // Rojo encendido
  digitalWrite(LED_ROJO, HIGH);
  digitalWrite(LED_AMARILLO, LOW);
  digitalWrite(LED_VERDE, LOW);
  delay(4000); // 4 segundos

  // Verde encendido (fase normal)
  digitalWrite(LED_ROJO, LOW);
  digitalWrite(LED_AMARILLO, LOW);
  digitalWrite(LED_VERDE, HIGH);
  delay(4000); // 4 segundos

  // Verde parpadeando (modo peatonal)
  for (int i = 0; i < 6; i++) {   // 6 parpadeos
    digitalWrite(LED_VERDE, HIGH);
    delay(300);
    digitalWrite(LED_VERDE, LOW);
    delay(300);
  }

  // Amarillo encendido
  digitalWrite(LED_ROJO, LOW);
  digitalWrite(LED_AMARILLO, HIGH);
  digitalWrite(LED_VERDE, LOW);
  delay(2000); // 2 segundos
}