for (int c0 = 1; c0 <= 5; c0 += 1)
  for (int c1 = 12; c1 <= 17; c1 += 1)
    s0(c0, c1);