1 domain: "[M, N, O] -> { S1[i0] : i0 >= -M and i0 >= -N and i0 <= N and i0 <= O }" 2 child: 3 context: "[M, N, O] -> { [] }" 4 child: 5 schedule: "[M, N, O] -> [{ S1[i0] -> [(i0)] }]" 6 options: "[M, N, O] -> { separate[i0] }" 7
Indexes created Wed Aug 05 00:25:39 UTC 2026