// Definimos los pines para los LEDs
// Definición de pines
const int redA = 2;
const int greenA = 3;
const int yellowA = 4;
const int redB = 5;
const int greenB = 6;
const int yellowB = 7;
const int redC = 8;
const int greenC = 9;
const int yellowC = 10;
const int redD = 11;
const int greenD = 12;
const int yellowD = 13;

// Tiempos en milisegundos
const int greenTime = 5000;  // Tiempo en verde
const int yellowTime = 2000;  // Tiempo en amarillo
const int redTime = 5000;     // Tiempo en rojo

void setup() {
  // Configuración de pines como salida
  pinMode(red1, OUTPUT);
  pinMode(green1, OUTPUT);
  pinMode(yellow1, OUTPUT);

  pinMode(red2, OUTPUT);
  pinMode(green2, OUTPUT);
  pinMode(yellow2, OUTPUT);

  pinMode(red3, OUTPUT);
  pinMode(green3, OUTPUT);
  pinMode(yellow3, OUTPUT);

  pinMode(red4, OUTPUT);
  pinMode(green4, OUTPUT);
  pinMode(yellow4, OUTPUT);
}

void loop() {
  // Ciclo para cada semáforo
  // Semáforo 1
  digitalWrite(red1, HIGH);
  digitalWrite(green1, LOW);
  digitalWrite(yellow1, LOW);
  delay(5000)
 
  
  // Semáforo 2
  digitalWrite(red2, HIGH);
  digitalWrite(yellow2, HIGH);
  digitalWrite(green2, HIGH);
  delay(5000);

  
  // Semáforo 3
  digitalWrite(red3, HIGH);
  digitalWrite(yellow3, HIGH);
  digitalWrite(green3, LOW);
  delay(5000);
  
  // Semáforo 4
  digitalWrite(red4, LOW);
  digitalWrite(yellow4, );
  digitalWrite(green4, HIGH);
  delay(5000);
  
  // Tiempo de espera en rojo
  delay(redTime 5000);
}