#include <stdio.h>
#include "pico/stdlib.h"
#define LED_BUILTIN 25

int main() {
  stdio_init_all();
  while (true) {
    digitalWrite(25, HIGH);
    delay(4000);
    digitalWrite(25, LOW);
    sleep_ms(250);
  }
}