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
+ 1, 4 * c0
+ 6 * c2
- 7); c3
+= 1)
10 for (int c5
= max(4 * c0
- c3
+ 57, -4 * c0
+ c3
+ 58); c5
<= min(4 * c0
- c3
+ 61, -4 * c0
+ c3
+ 62); c5
+= 1)
13 for (int c2
= 1; c2
<= 2; c2
+= 1)
14 for (int c3
= max(4 * c0
, 4 * c0
+ 6 * c2
- 10); c3
<= min(4 * c0
+ 3, 4 * c0
+ 6 * c2
- 5); c3
+= 1)
15 for (int c5
= max(-4 * c0
+ c3
+ 59, 4 * c0
- c3
+ 62); c5
<= min(-4 * c0
+ c3
+ 63, 4 * c0
- c3
+ 66); c5
+= 1)
18 for (int c3
= 510; c3
<= 511; c3
+= 1)
19 for (int c5
= -c3
+ 569; c5
< c3
- 449; c5
+= 1)