11 domain: '{ S_0[i, j] : (exists (e0 = [(2 + 4i)/5]: i >= 3 and i <= 4 and j >= i
12 and j <= 2147483647 and 5e0 <= 5i - j and 5e0 <= 2 + 4i and 5e0 >= -2 + 4i)) or
13 (i >= 0 and i <= 2 and j >= i and j <= 0) }'
14 schedule: '{ S_0[i, j] -> [0, i, j] }'
20 relation: '{ S_0[i, j] -> a[] }'
24 relation: '{ S_0[i, j] -> [5] }'