{
  for (int c0 = a3; c0 <= min(min(a1 - 1, b3), a2 - 1); c0 += 1)
    s2(c0);
  for (int c0 = a1; c0 <= min(b1, a2 - 1); c0 += 1) {
    s0(c0);
    if (c0 >= a3 && b3 >= c0)
      s2(c0);
  }
  for (int c0 = max(max(a1, b1 + 1), a3); c0 <= min(b3, a2 - 1); c0 += 1)
    s2(c0);
  for (int c0 = a2; c0 <= b2; c0 += 1) {
    if (c0 >= a1 && b1 >= c0)
      s0(c0);
    s1(c0);
    if (c0 >= a3 && b3 >= c0)
      s2(c0);
  }
  for (int c0 = max(max(a3, a2), b2 + 1); c0 <= min(a1 - 1, b3); c0 += 1)
    s2(c0);
  for (int c0 = max(max(a1, a2), b2 + 1); c0 <= b1; c0 += 1) {
    s0(c0);
    if (c0 >= a3 && b3 >= c0)
      s2(c0);
  }
  for (int c0 = max(max(max(max(a1, b1 + 1), a3), a2), b2 + 1); c0 <= b3; c0 += 1)
    s2(c0);
}