#include <stdio.h>

unsigned long long M17project_cranelift_4main_A0a_RI();

int main() {
  unsigned long long outcome = M17project_cranelift_4main_A0a_RI();
  printf("%lld\n", outcome);
}