// LED 1 - Red LED - represents LED1
// LED 2 - Yellow LED - represents LED2
// LED 3 - Green LED - represents LED3

// The following defines are not required in person
#ifndef ARDUINO_ARCH_PIC32
#define PIN_LED1 13
#define PIN_LED2 12
#define PIN_LED3 11
#endif

void setup() {
  // Set LED pins to be outputs
  pinMode(PIN_LED1, OUTPUT);
  pinMode(PIN_LED2, OUTPUT);
  pinMode(PIN_LED3, OUTPUT);
}

void loop() {
  // Run the LED cycle repeatedly
  digitalWrite(PIN_LED2, HIGH);
  digitalWrite(PIN_LED3, HIGH);
  delay(1000);
  digitalWrite(PIN_LED2, LOW);
  digitalWrite(PIN_LED3, LOW);
  delay(1000);
}