{

  for (int c0 = 5; c0 <= 8; c0 += 1)

    s0(c0);

  for (int c0 = 10; c0 <= 16; c0 += 2)

    s0(c0);

  for (int c0 = 20; c0 <= 25; c0 += 1)

    s0(c0);

}