#include <dummy_rp2040.h>

const int ledPin1 = 0;
const int ledPin2 = 1;
const int push1 = 4;
const int push2 = 3; 
const int pushc = 2; 
int val1;
int val2;
int val3;

void setup() {
  
  pinMode(ledPin1, OUTPUT);
  pinMode(ledPin2, OUTPUT);
  pinMode(push1, INPUT);
  pinMode(push2, INPUT);
  pinMode(pushc, INPUT);
}

void loop() {
  val1=digitalRead(push1);
  val2=digitalRead(push2);
  val3=digitalRead(pushc);
  
  if (val1==HIGH){
  digitalWrite(ledPin1, HIGH);
  }
  if (val2==HIGH){
  digitalWrite(ledPin1, LOW);
  }
  if (val3==LOW){
    for (int i=0; i <3; i++){
  digitalWrite(ledPin1, HIGH);
  digitalWrite(ledPin2, HIGH);
  delay(1000); 
  
  digitalWrite(ledPin1, LOW);
  digitalWrite(ledPin2, LOW);
  delay(1000); 
  }
  }
 }