#include <stdio.h>
#define OK()  printf("@OK@\n")
#define NG(fmt,val)  printf("@NG@ (test = " fmt ")\n",val)

int x77 = 1;
unsigned short x108 = 2U;
int x188 = 1;
unsigned int x279 = 1U;
unsigned long long t13 = 1LLU;
int t38 = 1;
unsigned long long k461 = 18446744073709551615LU;
int t42 = 1;
unsigned long long t46 = 0LLU;
int t72 = 1;
long long t141 = 1LL;
int t142 = 1;
int k779 = 1;
int t259 = 1;
int t260 = 1;
long long t449 = 1L;
unsigned int t451 = 1U;
long long t463 = 1LL;


int main (void)
{
	volatile unsigned int x40 = 1U;
	volatile long long x57 = -1L;
	volatile unsigned int x104 = 1U;
	volatile signed char x238 = -1;
	volatile unsigned int x331 = 1U;
	unsigned long long t65 = 1LLU;
	unsigned long long t126 = 1LLU;
	unsigned int t130 = 1U;
	unsigned int t146 = 1U;
	unsigned long long t156 = 1LLU;
	unsigned int t169 = 1U;
	int t257 = 1;
	long long t410 = 1LL;
	
	t38 = (x104<(unsigned int)1U);
	t42 = (x108>>((unsigned long long)1LLU<<((unsigned long long)1LLU+k461)));
	t65 = (((int)1<x188)*t13);
	t72 = (x40!=(unsigned int)4589878U);
	t126 = (t46/(unsigned int)131U);
	t130 = ((unsigned int)1U-x77);
	t141 = ((long long)32522922765548LL-(long long)1LL);
	t142 = ((unsigned int)651100017U<x238);
	t146 = (x331%(int)5);
	t156 = ((unsigned long long)18446744073709551615LLU%t13);
	t169 = ((unsigned int)5U*t72);
	t257 = (((int)-1+k779)<<((x57-(long long)0LL)+(long long)1LL));
	t259 = ((int)1%x108);
	t260 = ((int)1/(int)-1);
	t410 = ((long long)32522922765547LL>>((unsigned int)1U>=x279));
	t449 = (x108%(long long)65537LL);
	t451 = (t142%(unsigned int)31554710U);
	t463 = ((unsigned int)1U-(t142/(long long)1LL));
	
	if (t38 == 0) { OK(); } else { NG("%d", t38); }
	if (t42 == 1) { OK(); } else { NG("%d", t42); }
	if (t65 == 0LLU) { OK(); } else { NG("%llu", t65); }
	if (t72 == 1) { OK(); } else { NG("%d", t72); }
	if (t126 == 0LLU) { OK(); } else { NG("%llu", t126); }
	if (t130 == 0U) { OK(); } else { NG("%u", t130); }
	if (t141 == 32522922765547LL) { OK(); } else { NG("%lld", t141); }
	if (t142 == 1) { OK(); } else { NG("%d", t142); }
	if (t146 == 1U) { OK(); } else { NG("%u", t146); }
	if (t156 == 0LLU) { OK(); } else { NG("%llu", t156); }
	if (t169 == 5U) { OK(); } else { NG("%u", t169); }
	if (t257 == 0) { OK(); } else { NG("%d", t257); }
	if (t259 == 1) { OK(); } else { NG("%d", t259); }
	if (t260 == -1) { OK(); } else { NG("%d", t260); }
	if (t410 == 16261461382773LL) { OK(); } else { NG("%lld", t410); }
	if (t449 == 2LL) { OK(); } else { NG("%lld", t449); }
	if (t451 == 1U) { OK(); } else { NG("%u", t451); }
	if (t463 == 0LL) { OK(); } else { NG("%lld", t463); }
	
	return 0;
}