#include<stdio.h>

in main(void){

	unsigned long test64=18446744073709551615/2;
	printf("%d\n",test64);
	return 0;
}