1 context: '[N, K] -> { : N >= 8 and N <= 16 and K >= 100 and K <= 1000 }'
3 - context: '[N] -> { : N >= 0 }'
4 extent: '[N] -> { R[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + N and i1 <= -1
7 - context: '[N, K] -> { : K >= 0 and N >= 0 }'
8 extent: '[K, N] -> { X[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + K and i1 <=
16 domain: '[N] -> { S_0[j, i] : j >= 0 and j <= -1 + N and i >= j and i <= -1 + N
18 schedule: '[N] -> { S_0[j, i] -> [0, j, i] }'
24 relation: '[N] -> { S_0[j, i] -> R[j, i] }'
30 domain: '[N, K] -> { S_1[k, j] : k >= 0 and k <= -1 + K and j >= 0 and j <= -1 +
32 schedule: '[N, K] -> { S_1[k, j] -> [1, k, j] }'
38 relation: '[N, K] -> { S_1[k, j] -> X[k, j] }'
44 domain: '[N, K] -> { S_2[k, j] : k >= 0 and k <= -1 + K and j >= 0 and j <= -1 +
46 schedule: '[N, K] -> { S_2[k, j] -> [2, k, j, 0] }'
52 relation: '[N, K] -> { S_2[k, j] -> R[j, j] }'
56 relation: '[N, K] -> { S_2[k, j] -> X[k, j] }'
60 relation: '[N, K] -> { S_2[k, j] -> R[j, j] }'
64 relation: '[N, K] -> { S_2[k, j] -> X[k, j] }'
68 relation: '[N, K] -> { S_2[k, j] -> t[] }'
72 domain: '[N, K] -> { S_3[k, j, i] : k >= 0 and k <= -1 + K and j >= 0 and j <= -1
73 + N and i >= 1 + j and i <= -1 + N }'
74 schedule: '[N, K] -> { S_3[k, j, i] -> [2, k, j, 1, i] }'
80 relation: '[N, K] -> { S_3[k, j, i] -> R[j, i] }'
84 relation: '[N, K] -> { S_3[k, j, i] -> X[k, i] }'
88 relation: '[N, K] -> { S_3[k, j, i] -> t[] }'
92 relation: '[N, K] -> { S_3[k, j, i] -> R[j, i] }'
96 relation: '[N, K] -> { S_3[k, j, i] -> X[k, i] }'
100 relation: '[N, K] -> { S_3[k, j, i] -> t[] }'
104 domain: '[N] -> { S_4[j, i] : j >= 0 and j <= -1 + N and i >= j and i <= -1 + N
106 schedule: '[N] -> { S_4[j, i] -> [3, j, i] }'
112 relation: '[N] -> { S_4[j, i] -> R[j, i] }'