#include <stdio.h>


int main (void)
{
	int rc = 0;
	unsigned long long test = 0;

	test = ((unsigned long long)2527946807956193385LLU>>(signed int)1);

	if(test == 1263973403978096640LLU)
	{
		printf("@OK@\n");
		printf("%llu\n",test);
	}
	else
	{
		rc = 1;
		printf("@NG@\n");
		printf("%llu\n",test);
	}

	return rc;

}