void setup() {
  // put your setup code here, to run once:
  Serial.begin(115200);
  Serial.println("Hello, ESP32!");
  pinMode(23, INPUT_PULLUP);
  for (int i=12; i<=17; i++){
    pinMode(i, OUTPUT);
  }
}

void loop() {
  // put your main code here, to run repeatedly:
  delay(10); // this speeds up the simulation

  if(digitalRead(23)==1){
    digitalWrite(17, 1);
    digitalWrite(12, 1);

  } else{
    digitalWrite(17, 0);
    digitalWrite(12, 0);
    delay(1000);
    digitalWrite(16, 1);
    digitalWrite(13, 1);
    delay(2500);
    digitalWrite(16, 0);
    digitalWrite(13, 0);
    delay(1000);
    digitalWrite(15, 1);
    digitalWrite(14, 1);
    delay(5500);
    digitalWrite(15, 0);
    digitalWrite(14, 0);
    delay(1000);
    digitalWrite(13, 1);
    digitalWrite(16, 1);
    delay(2500);
    digitalWrite(13, 0);
    digitalWrite(16, 0);
    delay(1000);
  }
}