const int PIN_VERDE = 6;
const int PIN_AMARILLO = 9;
const int PIN_ROJO = 12;
const int PIN_PULSADOR = 2;

void setup() {
  pinMode(PIN_VERDE, OUTPUT);
  pinMode(PIN_AMARILLO, OUTPUT);
  pinMode(PIN_ROJO, OUTPUT);

  pinMode(PIN_PULSADOR, INPUT);
}

void loop() {
  digitalWrite(PIN_VERDE, HIGH);
  delay(2000);

  if (digitalRead(PIN_PULSADOR) == HIGH) {

    digitalWrite(PIN_VERDE, LOW);
    digitalWrite(PIN_AMARILLO, HIGH);
    delay(1500);
    digitalWrite(PIN_AMARILLO, LOW);
    digitalWrite(PIN_ROJO, HIGH);
    delay(6000);
    digitalWrite(PIN_ROJO, LOW);

  }
}