| [m, n, p] -> { S1[i, k, j] -> [i, j', j, 0] : 2k = -1 + i and 2j' = -1 + i and i >= 1 and i <= m and j >= 1 and j <= p; S2[i, k, j] -> [i, j', j, 1] : 2k = -1 + i and 2j' = -1 + i and i >= 1 and i <= n and j >= 1 and j <= i } | |
| [m, n, p] -> { : n = 6 and m >= 7 and p >= 7 } | |
| [m, n, p] -> { [i, j, k, l] -> separate[o0] } |