#define rojo1 17
#define rojo2 32 
#define verde1 18
#define verde2 25 
#define amarillo1 5 
#define amarillo2 33 
int valor = 0;
int estado = 0;

void setup() {
  pinMode(verde1, OUTPUT); // VERDE1 
  pinMode(amarillo1, OUTPUT); // AMARILLO1 
  pinMode(rojo1, OUTPUT); // ROJO1 
  pinMode(verde2, OUTPUT); // VERDE2
  pinMode(amarillo2, OUTPUT); // AMARILLO2 
  pinMode(rojo2, OUTPUT); //ROJO2 
  pinMode(4, INPUT);
  Serial.begin(115200);
}

void loop() {
  if (digitalRead(4)== 1){
   estado = 1 
   Serial.println(valor); 
   delay(150);
  }
  if (estado == 5 && digitalRead(4) == 1){
    estado = 0 
    Serial.println(valor); 
  }
  if (estado ==1){
    valor=valor+1;
    Serial.println(valor);
    if (valor < 5 || valor > 9) 
  }
  digitalWrite(rojo1 HIGH); // ROJO1 
  digitalWrite(verde2, HIGH); // VERDE2
  digitalWrite(amarillo1 LOW); // AMARILLO1 
  digitalWrite(amarillo2, LOW); // AMARILLO2 
  digitalWrite(verde1, LOW); // VERDE1 
  digitalWrite(rojo2, LOW); // ROJO2 
  delay(7000);
  digitalWrite(rojo1, HIGH); // ROJO1
  digitalWrite(verde2, LOW); // VERDE2
  digitalWrite(amarillo1, LOW); // AMARILLO1 
  digitalWrite(amarillo2, HIGH); // AMARILLO2 
  digitalWrite(verde1, LOW); // VERDE1
  digitalWrite(rojo2, LOW); // ROJO2 
  delay(3000);
  digitalWrite(rojo1, LOW); // ROJO1
  digitalWrite(verde1, LOW); // VERDE1
  digitalWrite(amarilo1, LOW); // AMARILLO1 
  digitalWrite(amarillo2, LOW); // AMARILLO2 
  digitalWrite(vedrde1, HIGH); // VERDE1
  

  delay(500);
  digitalWrite(LED, LOW);
  delay(500);
}