1 for (int c0
= 0; c0
<= 128; c0
+= 1) {
4 for (int c3
= 0; c3
<= 1; c3
+= 1)
5 for (int c5
= c3
+ 58; c5
<= -c3
+ 61; c5
+= 1)
8 for (int c2
= 1; c2
<= 2; c2
+= 1)
9 for (int c3
= max(4 * c0
- 2, 4 * c0
+ 6 * c2
- 12); c3
<= min(4 * c0
+ 6 * c2
- 7, 4 * c0
+ 1); c3
+= 1)
10 for (int c5
= max(4 * c0
- c3
+ 57, -4 * c0
+ c3
+ 58); c5
<= min(-4 * c0
+ c3
+ 62, 4 * c0
- c3
+ 61); c5
+= 1)
12 for (int c2
= 1; c2
<= 2; c2
+= 1)
13 for (int c3
= max(4 * c0
+ 6 * c2
- 10, 4 * c0
); c3
<= min(4 * c0
+ 6 * c2
- 5, 4 * c0
+ 3); c3
+= 1)
14 for (int c5
= max(4 * c0
- c3
+ 62, -4 * c0
+ c3
+ 59); c5
<= min(4 * c0
- c3
+ 66, -4 * c0
+ c3
+ 63); c5
+= 1)
17 for (int c3
= 510; c3
<= 511; c3
+= 1)
18 for (int c5
= -c3
+ 569; c5
< c3
- 449; c5
+= 1)