const int ledVermelho = 12;
const int ledAmarelo = 11;
const int ledVerde = 10;
const int ledAzul = 9;

void setup() {
 for (int pino = 12; pino >= 9; pino--){
  pinMode(pino, OUTPUT);
 }
}

void loop() {
  for (int pino = 12; pino >= 9; pino--){
    digitalWrite(pino, HIGH);
    delay(500);
  }
  for (int pino = 9; pino <= 12; pino++){
    digitalWrite(pino, LOW);
    delay(500);
  }  
}