1 for (int c0 = a2; c0 <= min(min(a1 - 1, a3 - 1), b2); c0 += 1) 2 s1(c0); 3 for (int c0 = a3; c0 <= min(min(a1 - 1, b3), a2 - 1); c0 += 1) 4 s2(c0); 5 for (int c0 = max(a3, a2); c0 <= min(min(a1 - 1, b3), b2); c0 += 1) { 6 s1(c0); 7 s2(c0); 8 } 9 for (int c0 = max(max(a3, b3 + 1), a2); c0 <= min(a1 - 1, b2); c0 += 1) 10 s1(c0); 11 for (int c0 = a1; c0 <= min(min(b1, a3 - 1), a2 - 1); c0 += 1) 12 s0(c0); 13 for (int c0 = max(a1, a2); c0 <= min(min(b1, a3 - 1), b2); c0 += 1) { 14 s0(c0); 15 s1(c0); 16 } 17 for (int c0 = max(a1, a3); c0 <= min(min(b1, b3), a2 - 1); c0 += 1) { 18 s0(c0); 19 s2(c0); 20 } 21 for (int c0 = max(max(a1, a3), b3 + 1); c0 <= min(b1, a2 - 1); c0 += 1) 22 s0(c0); 23 for (int c0 = max(max(a1, a3), a2); c0 <= min(min(b1, b3), b2); c0 += 1) { 24 s0(c0); 25 s1(c0); 26 s2(c0); 27 } 28 for (int c0 = max(max(max(a1, a3), b3 + 1), a2); c0 <= min(b1, b2); c0 += 1) { 29 s0(c0); 30 s1(c0); 31 } 32 for (int c0 = max(max(a1, a2), b2 + 1); c0 <= min(b1, a3 - 1); c0 += 1) 33 s0(c0); 34 for (int c0 = max(max(a3, a2), b2 + 1); c0 <= min(a1 - 1, b3); c0 += 1) 35 s2(c0); 36 for (int c0 = max(max(max(a1, a3), a2), b2 + 1); c0 <= min(b1, b3); c0 += 1) { 37 s0(c0); 38 s2(c0); 39 } 40 for (int c0 = max(max(max(max(a1, a3), b3 + 1), a2), b2 + 1); c0 <= b1; c0 += 1) 41 s0(c0); 42 for (int c0 = max(max(a1, b1 + 1), a2); c0 <= min(a3 - 1, b2); c0 += 1) 43 s1(c0); 44 for (int c0 = max(max(a1, b1 + 1), a3); c0 <= min(b3, a2 - 1); c0 += 1) 45 s2(c0); 46 for (int c0 = max(max(max(a1, b1 + 1), a3), a2); c0 <= min(b3, b2); c0 += 1) { 47 s1(c0); 48 s2(c0); 49 } 50 for (int c0 = max(max(max(max(a1, b1 + 1), a3), b3 + 1), a2); c0 <= b2; c0 += 1) 51 s1(c0); 52 for (int c0 = max(max(max(max(a1, b1 + 1), a3), a2), b2 + 1); c0 <= b3; c0 += 1) 53 s2(c0); 54