int RED = 25;
int YELLOW = 26;
int GREEN = 27;

// Pedestrian lights
int PED_RED = 14;
int PED_GREEN = 12;

void setup() {
  pinMode(RED, OUTPUT);
  pinMode(YELLOW, OUTPUT);
  pinMode(GREEN, OUTPUT);

  pinMode(PED_RED, OUTPUT);
  pinMode(PED_GREEN, OUTPUT);
}

void loop() {

  // CAR RED | PEDESTRIAN GREEN
  digitalWrite(RED, HIGH);
  digitalWrite(YELLOW, LOW);
  digitalWrite(GREEN, LOW);

  digitalWrite(PED_RED, LOW);
  digitalWrite(PED_GREEN, HIGH);
  delay(3000);

  // CAR YELLOW | PEDESTRIAN RED
  digitalWrite(RED, LOW);
  digitalWrite(YELLOW, HIGH);
  digitalWrite(GREEN, LOW);

  digitalWrite(PED_RED, HIGH);
  digitalWrite(PED_GREEN, LOW);
  delay(4000);

  // CAR GREEN | PEDESTRIAN RED
  digitalWrite(RED, LOW);
  digitalWrite(YELLOW, LOW);
  digitalWrite(GREEN, HIGH);

  digitalWrite(PED_RED, HIGH);
  digitalWrite(PED_GREEN, LOW);
  delay(4000);
}