#include <stdio.h>

volatile signed long long x0  = 877364909LL;
volatile unsigned short x2  = 0U;
static const volatile signed char x7  = 1;

int main (void)
{
	int rc = 0;
	signed int test = 0;
	static volatile double x1  = -631047867858944.0;

	test = (x7-((((double)-631047867858944.0>(x2-(signed int)0))%((((double)1.0>x1)>=x2)<<((((signed long long)0LL/(x7%x0))==(double)-1.83003881679094e+16)>>(signed int)0)))*((signed int)0>=x2)));

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

	return rc;

}