Go to the documentation of this file. 1for (
int c0 = 0;
c0 <= 36;
c0 += 1) {
2 for (
int c1 = -6;
c1 <
c0 / 14 - 5;
c1 += 1) {
3 for (
int c2 = -((-2 *
c1 + 3) / 5) + 9;
c2 <=
c1 + 12;
c2 += 1)
5 for (
int c2 =
c1 + 24;
c2 <= -2 *
c1 + 24;
c2 += 1)
7 for (
int c2 = -2 *
c1 + 30;
c2 <=
c1 + 48;
c2 += 1)
10 for (
int c1 =
c0 / 14 - 5;
c1 < 0;
c1 += 1) {
11 if (
c1 >= -3 && 2 *
c0 >= 7 *
c1 + 42)
13 for (
int c2 = max(
c1 - (6 *
c0 + 77) / 77 + 13, -((-2 *
c1 + 3) / 5) + 9);
c2 <=
c1 + 12;
c2 += 1)
15 for (
int c2 =
c1 - (3 *
c0 + 14) / 14 + 49;
c2 <=
c1 + 48;
c2 += 1)
20 for (
int c2 = 1;
c2 <= 5;
c2 += 1)
22 for (
int c2 = 6;
c2 <= 2 *
c0 / 21 + 4;
c2 += 1) {
26 for (
int c2 = max(6, 2 *
c0 / 21 + 5);
c2 <= -((6 *
c0 + 77) / 77) + 12;
c2 += 1)
28 for (
int c2 = -((6 *
c0 + 77) / 77) + 13;
c2 <= 12;
c2 += 1) {
32 for (
int c2 = 13;
c2 <= 24;
c2 += 1)
34 for (
int c2 = -((3 *
c0 + 14) / 14) + 49;
c2 <= 48;
c2 += 1)
36 for (
int c1 = 1;
c1 <= 18;
c1 += 1) {
37 for (
int c2 = -8 *
c1;
c2 <= min(6, -8 *
c1 + 24);
c2 += 1)
39 if (
c0 <= 34 &&
c1 == 1) {
43 }
else if (
c0 >= 35 &&
c1 == 1) {
47 for (
int c2 = 8;
c2 <= min(-8 *
c1 + 24,
c1 - (6 *
c0 + 77) / 77 + 12);
c2 += 1)
50 for (
int c2 = -((6 *
c0 + 77) / 77) + 14;
c2 <= 13;
c2 += 1) {
54 for (
int c2 = 14;
c2 <= 16;
c2 += 1)
57 for (
int c2 = max(-8 *
c1 + 25,
c1 - (6 *
c0 + 77) / 77 + 13);
c2 <=
c1 + 12;
c2 += 1)
59 for (
int c2 =
c1 - (3 *
c0 + 14) / 14 + 49;
c2 <=
c1 + 48;
c2 += 1)
62 for (
int c1 = 19;
c1 <= 24;
c1 += 1) {
63 for (
int c2 = -8 *
c1;
c2 <= -8 *
c1 + 24;
c2 += 1)
65 for (
int c2 =
c1 - (6 *
c0 + 77) / 77 + 13;
c2 <= 30;
c2 += 1)
69for (
int c0 = 37;
c0 <= 218;
c0 += 1) {
70 for (
int c1 = (
c0 + 5) / 14 - 8;
c1 < min(0,
c0 / 14 - 5);
c1 += 1) {
71 if (
c0 <= 46 &&
c1 == -3)
73 if (77 *
c1 + 77 * ((-2 *
c1 - 2) / 5) + 524 >= 6 *
c0)
74 S6(
c0,
c1, -((-2 *
c1 + 3) / 5) + 9);
75 for (
int c2 =
c1 + 24;
c2 <= -2 *
c1 + 24;
c2 += 1)
77 for (
int c2 = -2 *
c1 + 30;
c2 <=
c1 - (3 *
c0 + 17) / 14 + 56;
c2 += 1)
81 for (
int c1 = max(0, (
c0 + 5) / 14 - 8);
c1 <
c0 / 14 - 5;
c1 += 1) {
84 for (
int c2 = max(
c1 + 24, -2 *
c1 + 30);
c2 <=
c1 - (3 *
c0 + 17) / 14 + 56;
c2 += 1)
87 if (
c0 >= 70 &&
c0 % 14 >= 9)
88 for (
int c2 = max((
c0 + 5) / 14 + 18, -((3 *
c0 + 14) / 14) +
c0 / 14 + 44);
c2 <= -((3 *
c0 + 17) / 14) +
c0 / 14 + 51;
c2 += 1)
90 for (
int c1 =
c0 / 14 - 5;
c1 < 0;
c1 += 1) {
91 if (7 *
c1 + 114 >= 2 *
c0)
93 for (
int c2 = max(8,
c1 - (6 *
c0 + 77) / 77 + 13);
c2 <=
c1 - (6 *
c0 + 91) / 77 + 15;
c2 += 1)
95 for (
int c2 =
c1 - (3 *
c0 + 14) / 14 + 49;
c2 <=
c1 - (3 *
c0 + 17) / 14 + 56;
c2 += 1)
98 for (
int c1 = max(0, (
c0 + 5) / 14 - 5);
c1 <
c0 / 14 - 2;
c1 += 1) {
99 for (
int c2 = max(
c1, -2 *
c1 + 6);
c2 <= min(
c1 + 5, -2 *
c1 + 24);
c2 += 1)
101 for (
int c2 =
c1 + 6;
c2 <= min((2 *
c1 + 1) / 5 + 7, (2 *
c0 - 7 *
c1 - 10) / 21 + 1);
c2 += 1)
103 for (
int c2 = max(
c1 + 6, (2 *
c0 - 7 *
c1 - 10) / 21 + 2);
c2 <= (2 *
c1 + 1) / 5 + 7;
c2 += 1) {
109 for (
int c2 = (2 *
c1 + 1) / 5 + 9;
c2 <=
c1 - (6 *
c0 + 91) / 77 + 15;
c2 += 1) {
113 for (
int c2 = max(max(
c1 + 6,
c1 - (6 *
c0 + 91) / 77 + 16), (2 *
c1 + 1) / 5 + 9);
c2 <= -2 *
c1 + 24;
c2 += 1)
115 for (
int c2 = max(
c1, -2 *
c1 + 30);
c2 <= min(
c1 + 24,
c1 - (3 *
c0 + 17) / 14 + 47);
c2 += 1)
117 for (
int c2 = max(
c1 + 24,
c1 - (3 *
c0 + 14) / 14 + 49);
c2 <=
c1 - (3 *
c0 + 17) / 14 + 56;
c2 += 1)
120 for (
int c1 =
c0 / 14 - 2;
c1 <= 18;
c1 += 1) {
121 for (
int c2 = max(6, (
c0 + 5) / 14 + 1);
c2 <= min(min(
c1,
c0 / 14 + 3), -
c1 +
c1 / 2 + 18);
c2 += 1)
123 for (
int c2 = max(
c1 + (3 *
c0 + 3) / 14 - 40, -
c1 + (
c1 + 1) / 2 + 21);
c2 <= min(
c1,
c1 + 3 *
c0 / 14 - 33);
c2 += 1)
125 for (
int c2 =
c1 + 6;
c2 <= min((2 *
c1 + 1) / 5 + 7, (2 *
c0 - 7 *
c1 + 63) / 21 + 1);
c2 += 1)
127 for (
int c2 = max(max(
c1 + 6,
c1 - (6 *
c0 + 77) / 77 + 13), (2 *
c1 + 1) / 5 + 9);
c2 <=
c1 - (6 *
c0 + 91) / 77 + 15;
c2 += 1)
129 for (
int c2 = max(
c1,
c1 - (3 *
c0 + 14) / 14 + 40);
c2 <= min(
c1 + 24,
c1 - (3 *
c0 + 17) / 14 + 47);
c2 += 1)
131 for (
int c2 = max(
c1 + 24,
c1 - (3 *
c0 + 14) / 14 + 49);
c2 <=
c1 - (3 *
c0 + 17) / 14 + 56;
c2 += 1)
134 for (
int c1 = 19;
c1 <= 24;
c1 += 1) {
135 for (
int c2 = max(
c1 - 12, (
c0 + 5) / 14 + 1);
c2 <= min(
c0 / 14 + 3, -
c1 +
c1 / 2 + 18);
c2 += 1)
137 for (
int c2 = max(max(
c1 - 12,
c1 + (3 *
c0 + 3) / 14 - 40), -
c1 + (
c1 + 1) / 2 + 21);
c2 <= min(
c1,
c1 + 3 *
c0 / 14 - 33);
c2 += 1)
139 for (
int c2 = max(
c1 + 6,
c1 - (6 *
c0 + 77) / 77 + 13);
c2 <= min(30,
c1 - (6 *
c0 + 91) / 77 + 15);
c2 += 1)
141 for (
int c2 = max(
c1,
c1 - (3 *
c0 + 14) / 14 + 40);
c2 <= min(
c1 + 24,
c1 - (3 *
c0 + 17) / 14 + 47);
c2 += 1)
144 for (
int c1 = 25;
c1 <= min(42, -((3 *
c0 + 17) / 14) + 71);
c1 += 1)
145 for (
int c2 = max(
c1 - 12,
c1 + (3 *
c0 + 3) / 14 - 40);
c2 <= min(min(30,
c1),
c1 + 3 *
c0 / 14 - 33);
c2 += 1)