10SN/A{
2157SN/A  for (int c1 = 0; c1 <= 1; c1 += 1)
30SN/A    if (c1 == 1) {
40SN/A      s0(1, 1, 1, 0, 0);
50SN/A      s0(1, 1, 1, N - 1, 0);
60SN/A    } else
7157SN/A      for (int c3 = 0; c3 < N; c3 += 1)
80SN/A        s0(1, 0, 1, c3, 0);
9157SN/A  for (int c1 = 0; c1 <= floord(T - 1, 1000); c1 += 1)
100SN/A    for (int c2 = 1000 * c1 + 1; c2 <= min(N + T - 3, N + 1000 * c1 + 997); c2 += 1)
110SN/A      for (int c3 = max(-N - 1000 * c1 + c2 + 2, 0); c3 <= min(min(999, T - 1000 * c1 - 1), -1000 * c1 + c2 - 1); c3 += 1)
120SN/A        s1(2, 1000 * c1 + c3, 1, -1000 * c1 + c2 - c3, 1);
130SN/A}
140SN/A