1for (
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)