#include const unsigned short tf_4_var_86 = 1129; unsigned short tf_4_array_8 [9] = {52593, 34626, 28127, 8124, 11473, 14634, 8370, 31153, 31060}; unsigned short tf_4_var_2 = 29886; unsigned short tf_4_array_2 [6] = {7493, 64504, 22566, 54931, 44752, 18026}; unsigned short tf_4_array_3 [9] = {22671, 46595, 24007, 22460, 12020, 19732, 46148, 3906, 26139}; long int tf_4_var_98 = -4448775496354969734L; unsigned short tf_4_array_7 [9] = {24530, 26236, 61122, 9019, 26099, 31028, 1078, 27042, 36756}; const unsigned short tf_4_var_34 = 54077; unsigned short tf_4_array_4 [9] = {32711, 2853, 55531, 52731, 6621, 38797, 23543, 64627, 55640}; long int tf_4_var_132 = -6396431410421938408L; int main(void) { printf ("%u %u %u %u %u %u %u %ld %u %u %u %u\n", tf_4_var_86, tf_4_array_8 [0], tf_4_var_2, tf_4_array_2 [0], tf_4_array_3 [6], tf_4_var_34, tf_4_array_3 [7], tf_4_var_98, tf_4_array_7 [5], tf_4_array_7 [1], tf_4_array_4 [0], tf_4_array_4 [0]); printf ("%d %d\n", ((int) (tf_4_var_86)) && ((int) (tf_4_array_8 [0])), (((int) (tf_4_var_2)) || ((int) (8)))); printf ("%d\n", (((((int) (tf_4_var_86)) && ((int) (tf_4_array_8 [0]))) ? (((int) (tf_4_var_2)) || ((int) (8))) : (((int) (tf_4_array_2 [0])) || (-4096))))); printf ("%llu\n", ((unsigned long long int) (((((((int) (tf_4_var_86)) && ((int) (tf_4_array_8 [0]))) ? (((int) (tf_4_var_2)) || ((int) (8))) : (((int) (tf_4_array_2 [0])) || (-4096)))) || ((((int) (tf_4_array_3 [6])) || ((int) (tf_4_var_34))) && (((int) (tf_4_array_3 [7])) || ((int) (tf_4_var_98))))) % ((+((int) ((unsigned short) (-6)))) && ((((int) (tf_4_array_7 [5])) & ((int) (tf_4_array_7 [1]))) | (((int) (tf_4_array_4 [0])) & ((int) (tf_4_array_4 [0])))))))); printf ("%llu\n", (((unsigned long long int) ((int) ((unsigned short) (((7192886880476152731ULL) * (7192886880476152731ULL)) * ((unsigned long long int) (((-9223372036854775807L - 1L)) * ((long int) ((int) (0))))))))) * (((unsigned long long int) (((-6) * ((int) (3))) * (-((int) (4))))) * (((8ULL) * (4ULL)) * ((unsigned long long int) (((long int) (-6)) * (-3L))))))); tf_4_var_132 = (long int) (((unsigned long long int) (((((((int) (tf_4_var_86)) && ((int) (tf_4_array_8 [0]))) ? (((int) (tf_4_var_2)) || ((int) (8))) : (((int) (tf_4_array_2 [0])) || (-4096)))) || ((((int) (tf_4_array_3 [6])) || ((int) (tf_4_var_34))) && (((int) (tf_4_array_3 [7])) || ((int) (tf_4_var_98))))) % ((+((int) ((unsigned short) (-6)))) && ((((int) (tf_4_array_7 [5])) & ((int) (tf_4_array_7 [1]))) | (((int) (tf_4_array_4 [0])) & ((int) (tf_4_array_4 [0]))))))) <= (((unsigned long long int) ((int) ((unsigned short) (((7192886880476152731ULL) * (7192886880476152731ULL)) * ((unsigned long long int) (((-9223372036854775807L - 1L)) * ((long int) ((int) (0))))))))) * (((unsigned long long int) (((-6) * ((int) (3))) * (-((int) (4))))) * (((8ULL) * (4ULL)) * ((unsigned long long int) (((long int) (-6)) * (-3L))))))); printf("%ld\n", tf_4_var_132); }