Home | History | Annotate | Line # | Download | only in omega 
      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