#define LED PIN_PA7
#define BUTT PIN_PA1
#define HALL PIN_PA6

void setup() {
  // put your setup code here, to run once:
  pinMode(LED,OUTPUT);
  pinMode(BUTT, INPUT_PULLUP);
  pinMode(HALL, INPUT);

}

void loop() {
  // put your main code here, to run repeatedly:

  int hall_val = analogRead(HALL);
  int butt_val = digitalRead(BUTT);
  if (butt_val == LOW)
  {
    if (hall_val >= 520)
    {
      digitalWrite(LED, HIGH);
      delay(100);
      digitalWrite(LED, LOW);
      delay(100);       
    }
    else
    {
      digitalWrite(LED, HIGH);
    }
 
  }
  else
  {
    digitalWrite(LED, LOW);
  }

}