void setup() {
  // Initialize digital pins as outputs
  pinMode(13, OUTPUT); // Green Light 1
  pinMode(12, OUTPUT); // Yellow Light 1
  pinMode(11, OUTPUT); // Red Light 1
  pinMode(10, OUTPUT); // Green Light 2
  pinMode(9, OUTPUT);  // Yellow Light 2
  pinMode(8, OUTPUT);  // Red Light 2
}

void loop() {
  digitalWrite(13, HIGH); // Green Light 1  ON
  digitalWrite(12, LOW);  // Yellow Light 1 OFF
  digitalWrite(11, LOW);  // Red Light 1    OFF
  digitalWrite(10, LOW);  // Green Light 2  OFF
  digitalWrite(9, LOW);   // Yellow Light 2 OFF
  digitalWrite(8, HIGH);  // Red Light 2    ON
  delay(2000); // Delay 2s
  digitalWrite(13, LOW);  // Green Light 1  OFF
  digitalWrite(12, HIGH); // Yellow Light 1 ON
  digitalWrite(11, LOW);  // Red Light 1    OFF
  digitalWrite(10, LOW);  // Green Light 2  OFF
  digitalWrite(9, LOW);   // Yellow Light 2 OFF
  digitalWrite(8, HIGH);  // Red Light 2    ON
  delay(1000); // Delay 1s
  digitalWrite(13, LOW);  // Green Light 1  OFF
  digitalWrite(12, LOW);  // Yellow Light 1 OFF
  digitalWrite(11, HIGH); // Red Light 1    ON
  digitalWrite(10, HIGH); // Green Light 2  ON
  digitalWrite(9, LOW);   // Yellow Light 2 OFF
  digitalWrite(8, LOW);   // Red Light 2    OFF
  delay(2000); // Delay 2s
  digitalWrite(13, LOW);  // Green Light 1  OFF
  digitalWrite(12, LOW);  // Yellow Light 1 OFF
  digitalWrite(11, HIGH); // Red Light 1    ON
  digitalWrite(10, LOW);  // Green Light 2  OFF
  digitalWrite(9, HIGH);  // Yellow Light 2 ON
  digitalWrite(8, LOW);   // Red Light 2    OFF
  delay(1000); // Delay 1s
}