2014-01-27 21:38:34 +01:00

4 lines
165 B
Plaintext

{ S1[i0, i1, i2] -> [i0, j, k, 0] : 2i1 = 3 - i0 and 2j = 3 - i0 and 2k = 9 + i0 and 2i2 = 9 + i0 and i0 >= 0 and i0 <= 1 }
{ : }
{ [i, j, k, l] -> separate[o0] }