1
2out vec4 sk_FragColor;
3uniform vec4 colorRed;
4uniform vec4 colorGreen;
5vec4 main() {
6    bool _0_ok = true;
7    float _1_x = 34.0;
8    _0_ok = _0_ok && _1_x == 34.0;
9    _1_x = 30.0;
10    _0_ok = _0_ok && _1_x == 30.0;
11    _1_x = 64.0;
12    _0_ok = _0_ok && _1_x == 64.0;
13    _1_x = 16.0;
14    _0_ok = _0_ok && _1_x == 16.0;
15    _1_x = 19.0;
16    _0_ok = _0_ok && _1_x == 19.0;
17    _1_x = 1.0;
18    _0_ok = _0_ok && _1_x == 1.0;
19    _1_x = -2.0;
20    _0_ok = _0_ok && _1_x == -2.0;
21    _1_x = 3.0;
22    _0_ok = _0_ok && _1_x == 3.0;
23    _1_x = -4.0;
24    _0_ok = _0_ok && _1_x == -4.0;
25    _1_x = 5.0;
26    _0_ok = _0_ok && _1_x == 5.0;
27    _1_x = -6.0;
28    _0_ok = _0_ok && _1_x == -6.0;
29    _1_x = 7.0;
30    _0_ok = _0_ok && _1_x == 7.0;
31    _1_x = -8.0;
32    _0_ok = _0_ok && _1_x == -8.0;
33    _1_x = 9.0;
34    _0_ok = _0_ok && _1_x == 9.0;
35    _1_x = -10.0;
36    _0_ok = _0_ok && _1_x == -10.0;
37    _1_x = 11.0;
38    _0_ok = _0_ok && _1_x == 11.0;
39    _1_x = -12.0;
40    _0_ok = _0_ok && _1_x == -12.0;
41    float _2_unknown = sqrt(4.0);
42    _1_x = _2_unknown;
43    _0_ok = _0_ok && _1_x == _2_unknown;
44    _1_x = _2_unknown;
45    _0_ok = _0_ok && _1_x == _2_unknown;
46    _1_x = _2_unknown;
47    _0_ok = _0_ok && _1_x == _2_unknown;
48    _1_x = 0.0;
49    _0_ok = _0_ok && _1_x == 0.0;
50    _1_x = _2_unknown;
51    _0_ok = _0_ok && _1_x == _2_unknown;
52    _1_x = _2_unknown;
53    _0_ok = _0_ok && _1_x == _2_unknown;
54    _1_x = 0.0;
55    _0_ok = _0_ok && _1_x == 0.0;
56    _1_x = _2_unknown;
57    _0_ok = _0_ok && _1_x == _2_unknown;
58    _1_x = 0.0;
59    _0_ok = _0_ok && _1_x == 0.0;
60    _1_x += 1.0;
61    _0_ok = _0_ok && _1_x == 1.0;
62    _0_ok = _0_ok && _1_x == 1.0;
63    _1_x -= 2.0;
64    _0_ok = _0_ok && _1_x == -1.0;
65    _0_ok = _0_ok && _1_x == -1.0;
66    _0_ok = _0_ok && _1_x == -1.0;
67    _1_x *= 2.0;
68    _0_ok = _0_ok && _1_x == -2.0;
69    _0_ok = _0_ok && _1_x == -2.0;
70    _1_x /= 2.0;
71    _0_ok = _0_ok && _1_x == -1.0;
72    return _0_ok ? colorGreen : colorRed;
73}
74