void setup() {
  // Semáforo 1
  pinMode(13, OUTPUT); // Rojo 1
  pinMode(12, OUTPUT); // Amarillo 1
  pinMode(11, OUTPUT); // Verde 1

  // Semáforo 2
  pinMode(10, OUTPUT); // Rojo 2
  pinMode(9, OUTPUT);  // Amarillo 2
  pinMode(8, OUTPUT);  // Verde 2

  // Semáforo 3
  pinMode(7, OUTPUT);  // Rojo 3
  pinMode(6, OUTPUT);  // Amarillo 3
  pinMode(5, OUTPUT);  // Verde 3

  // Semáforo 4
  pinMode(4, OUTPUT);  // Rojo 4
  pinMode(3, OUTPUT);  // Amarillo 4
  pinMode(2, OUTPUT);  // Verde 4
}

void loop() {
  // Fase 1: Semáforos 1 y 3 en rojo, Semáforos 2 y 4 también en rojo
  digitalWrite(13, HIGH); // Rojo 1
  digitalWrite(12, LOW);  // Amarillo 1
  digitalWrite(11, LOW);  // Verde 1

  digitalWrite(10, HIGH); // Rojo 2
  digitalWrite(9, LOW);   // Amarillo 2
  digitalWrite(8, LOW);   // Verde 2

  digitalWrite(7, HIGH);  // Rojo 3
  digitalWrite(6, LOW);   // Amarillo 3
  digitalWrite(5, LOW);   // Verde 3

  digitalWrite(4, HIGH);  // Rojo 4
  digitalWrite(3, LOW);   // Amarillo 4
  digitalWrite(2, LOW);   // Verde 4
  delay(2000);

  // Fase 2: Semáforos 1 y 3 cambian a amarillo
  digitalWrite(13, LOW);  // Rojo 1
  digitalWrite(12, HIGH); // Amarillo 1
  digitalWrite(11, LOW);  // Verde 1

  digitalWrite(7, LOW);   // Rojo 3
  digitalWrite(6, HIGH);  // Amarillo 3
  digitalWrite(5, LOW);   // Verde 3
  delay(2000);

  // Fase 3: Semáforos 1 y 3 cambian a verde
  digitalWrite(13, LOW);  // Rojo 1
  digitalWrite(12, LOW);  // Amarillo 1
  digitalWrite(11, HIGH); // Verde 1

  digitalWrite(7, LOW);   // Rojo 3
  digitalWrite(6, LOW);   // Amarillo 3
  digitalWrite(5, HIGH);  // Verde 3
  delay(4000);

  // Fase 4: Semáforos 1 y 3 cambian a amarillo
  digitalWrite(13, LOW);  // Rojo 1
  digitalWrite(12, HIGH); // Amarillo 1
  digitalWrite(11, LOW);  // Verde 1

  digitalWrite(7, LOW);   // Rojo 3
  digitalWrite(6, HIGH);  // Amarillo 3
  digitalWrite(5, LOW);   // Verde 3
  delay(2000);

  // Fase 5: Semáforos 1 y 3 vuelven a rojo
  digitalWrite(13, HIGH); // Rojo 1
  digitalWrite(12, LOW);  // Amarillo 1
  digitalWrite(11, LOW);  // Verde 1

  digitalWrite(7, HIGH);  // Rojo 3
  digitalWrite(6, LOW);   // Amarillo 3
  digitalWrite(5, LOW);   // Verde 3
  delay(2000);

  // Fase 6: Semáforos 2 y 4 cambian a amarillo
  digitalWrite(10, LOW);  // Rojo 2
  digitalWrite(9, HIGH);  // Amarillo 2
  digitalWrite(8, LOW);   // Verde 2

  digitalWrite(4, LOW);   // Rojo 4
  digitalWrite(3, HIGH);  // Amarillo 4
  digitalWrite(2, LOW);   // Verde 4
  delay(2000);

  // Fase 7: Semáforos 2 y 4 cambian a verde
  digitalWrite(10, LOW);  // Rojo 2
  digitalWrite(9, LOW);   // Amarillo 2
  digitalWrite(8, HIGH);  // Verde 2

  digitalWrite(4, LOW);   // Rojo 4
  digitalWrite(3, LOW);   // Amarillo 4
  digitalWrite(2, HIGH);  // Verde 4
  delay(4000);

  // Fase 8: Semáforos 2 y 4 cambian a amarillo
  digitalWrite(10, LOW);  // Rojo 2
  digitalWrite(9, HIGH);  // Amarillo 2
  digitalWrite(8, LOW);   // Verde 2

  digitalWrite(4, LOW);   // Rojo 4
  digitalWrite(3, HIGH);  // Amarillo 4
  digitalWrite(2, LOW);   // Verde 4
  delay(2000);

  // Fase 9: Semáforos 2 y 4 vuelven a rojo
  digitalWrite(10, HIGH); // Rojo 2
  digitalWrite(9, LOW);   // Amarillo 2
  digitalWrite(8, LOW);   // Verde 2

  digitalWrite(4, HIGH);  // Rojo 4
  digitalWrite(3, LOW);   // Amarillo 4
  digitalWrite(2, LOW);   // Verde 4
  delay(2000);
}