for (int c0 = 1; c0 < n; c0 += 64)
for (int c1 = c0 - 1; c1 <= n; c1 += 64) {
for (int c2 = c0; c2 <= min(n, c0 + 63); c2 += 1) {
for (int c3 = c0; c3 <= min(c1 + 62, c2 - 1); c3 += 1)
for (int c4 = max(c1, c3 + 1); c4 <= min(n, c1 + 63); c4 += 1)
s1(c3, c4, c2);
for (int c4 = max(c1, c2 + 1); c4 <= min(n, c1 + 63); c4 += 1)
s0(c2, c4);
}
for (int c2 = c0 + 64; c2 <= n; c2 += 1)
for (int c3 = c0; c3 <= min(c0 + 63, c1 + 62); c3 += 1)
for (int c4 = max(c1, c3 + 1); c4 <= min(n, c1 + 63); c4 += 1)
s1(c3, c4, c2);
}