Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
/* Generated by Frama-C */
#include "errno.h"
#include "math.h"
#include "stdarg.h"
#include "stddef.h"
#include "stdint.h"
#include "stdio.h"
int main(void)
{
int __retres;
int64_t n;
uint32_t i = (unsigned int)0;
uint32_t h[20] = {(unsigned int)0};
uint32_t x = ~ i / (uint32_t)15;
uint32_t f = x * x - x;
uint32_t a = f ^ x;
uint32_t b = f ^ x * (uint32_t)9;
uint32_t c = ~ a;
uint32_t d = ~ b;
int64_t z = (long)0;
int64_t g = (long)0;
while (1) {
i = (unsigned int)0;
n = (long)i;
h[n] += a;
a = h[n];
h[1] += b;
b = h[1];
h[2] += c;
c = h[2];
h[3] += d;
d = h[3];
if (! f) break;
while (1) {
uint32_t tmp_3;
int64_t tmp;
int64_t tmp_2;
if (n == (int64_t)56) {
h[18] = (unsigned int)g;
h[19] = (unsigned int)(g >> 32);
f = (unsigned int)(z >= (int64_t)0);
tmp_3 = f;
}
else tmp_3 = (unsigned int)(n < (int64_t)64);
if (! tmp_3) break;
tmp = n;
n += (int64_t)1;
if (z < (int64_t)0) tmp_2 = (long)0;
else {
int64_t tmp_1;
int tmp_0;
tmp_0 = getchar();
z = (long)tmp_0;
if (z >= (int64_t)0) {
g += (int64_t)8;
tmp_1 = z;
}
else tmp_1 = (long)128;
tmp_2 = tmp_1;
}
x = (unsigned int)((tmp_2 << 24) | (long)(x >> 8));
h[tmp / (int64_t)4 + (int64_t)4] = x;
}
while (1) {
unsigned int tmp_6;
uint32_t tmp_7;
double tmp_9;
double tmp_8;
x = i >> 4;
if (! (x < (uint32_t)4)) break;
n = (long)((((((i | (unsigned int)12) * (unsigned int)152) % (unsigned int)543) % (unsigned int)82) % (unsigned int)4 +
((i % (unsigned int)4) * (unsigned int)43) / (unsigned int)8) + (unsigned int)4);
if (x > (uint32_t)2) tmp_6 = ~ d | b;
else {
unsigned int tmp_5;
if (x > (uint32_t)1) tmp_5 = b ^ d;
else {
unsigned int tmp_4;
if (x) tmp_4 = (b ^ c) & d; else tmp_4 = (c ^ d) & ~ b;
tmp_5 = tmp_4;
}
tmp_6 = tmp_5;
}
tmp_7 = i;
i += (uint32_t)1;
x = (a + (tmp_6 ^ c)) + h[(((x * (uint32_t)7) / (uint32_t)2 & (unsigned int)5) -
~ (x * (uint32_t)5 & (unsigned int)6) * tmp_7) % (unsigned int)16 + (unsigned int)4];
tmp_8 = sin((double)i);
tmp_9 = fabs(tmp_8);
a = (unsigned int)((tmp_9 * (double)8) * (double)(8 << 26));
x += a;
a = d;
d = c;
c = b;
b += (x << n) | (x >> ((int64_t)32 - n));
}
}
while (n < (int64_t)33) {
uint32_t tmp_12;
int64_t tmp_10;
a = (h[n / (int64_t)8] >> ((n % (long)8) * (long)4 ^ (long)4)) & (unsigned int)15;
tmp_10 = n;
n += (int64_t)1;
;
if (tmp_10 < (int64_t)32) {
int tmp_11;
if (a > (uint32_t)9) tmp_11 = 'a' - 10; else tmp_11 = '0';
a += (uint32_t)tmp_11;
tmp_12 = a;
}
else tmp_12 = (unsigned int)'\n';
putchar((int)tmp_12);
}
__retres = 0;
return __retres;
}