#define VERMELHO 13
 #define AMARELO  12
 #define VERDE     8
void setup() {
  // put your setup code here, to run once:
  pinMode(VERMELHO, OUTPUT);
  pinMode(AMARELO,  OUTPUT);
  pinMode(VERDE,    OUTPUT);

  digitalWrite(VERMELHO, LOW);
  digitalWrite(AMARELO,  LOW);
  digitalWrite(VERDE,    LOW);
}
void loop() {
  // put your main code here, to run repeatedly:
  digitalWrite(VERMELHO, HIGH);

  delay(7000);
  digitalWrite(VERMELHO, LOW);
  digitalWrite(VERDE, HIGH);

  delay(5000);

  digitalWrite(VERDE, LOW);
  digitalWrite(AMARELO, HIGH);

  delay(2000);

  digitalWrite(AMARELO, LOW);
}