2 for (
int c0 = a1;
c0 <= b1;
c0 += 1)
3 for (
int c1_0 =
c1; c1_0 <= d1; c1_0 += 1)
6 for (
int c0 = a1;
c0 <= min(b1, a2 - 1);
c0 += 1)
7 for (
int c1_0 =
c1; c1_0 <= d1; c1_0 += 1)
9 for (
int c0 = a2;
c0 <= b2;
c0 += 1) {
11 for (
int c1_0 =
c2; c1_0 <= d2; c1_0 += 1)
13 }
else if (
c0 >= b1 + 1) {
14 for (
int c1_0 =
c2; c1_0 <= d2; c1_0 += 1)
17 for (
int c1_0 =
c2; c1_0 <= min(
c1 - 1, d2); c1_0 += 1)
19 for (
int c1_0 =
c1; c1_0 <= min(d1,
c2 - 1); c1_0 += 1)
21 for (
int c1_0 = max(
c1,
c2); c1_0 <= min(d1, d2); c1_0 += 1) {
25 for (
int c1_0 = max(max(
c1, d1 + 1),
c2); c1_0 <= d2; c1_0 += 1)
27 for (
int c1_0 = max(
c1, d2 + 1); c1_0 <= d1; c1_0 += 1)
31 for (
int c0 = max(max(a1, a2), b2 + 1);
c0 <= b1;
c0 += 1)
32 for (
int c1_0 =
c1; c1_0 <= d1; c1_0 += 1)