#include <iostream>
#include <stdio.h>
#include <stdlib.h>
int main(int argc, char **argv) {
int x = 0; std::cin >> std::hex >> x; if (x != 0x01000000) abort();
return 0; }