{
  if (T_67 == 0 && T_66 <= -1) {
    S1(0);
  } else if (T_2 >= 1 && T_67 >= 1 && T_66 <= -1) {
    S1(0);
  } else if (T_2 >= 1 && T_67 >= 1 && T_66 >= 0) {
    S1(0);
    S2(0);
  }
  for (int c0 = 1; c0 <= min(min(T_2 - 1, T_67 - 1), T_66); c0 += 1) {
    S1(c0);
    S2(c0);
  }
  for (int c0 = max(1, T_66 + 1); c0 < min(T_2, T_67); c0 += 1)
    S1(c0);
  if (T_2 >= 1 && T_67 == 0 && T_66 >= 0) {
    S1(0);
    S2(0);
  }
  for (int c0 = max(1, T_67); c0 <= min(T_2 - 1, T_66); c0 += 1) {
    S1(c0);
    S2(c0);
  }
  for (int c0 = max(max(1, T_67), T_66 + 1); c0 < T_2; c0 += 1)
    S1(c0);
  if (T_2 == 0 && T_67 >= 1 && T_66 >= 0)
    S2(0);
  for (int c0 = max(1, T_2); c0 <= min(T_67 - 1, T_66); c0 += 1)
    S2(c0);
  if (T_2 == 0 && T_67 == 0 && T_66 >= 0)
    S1(0);
}