1 context: '[N] -> { : N >= 0 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N] -> { A[i0] : i0 >= 0 and i0 <= -1 + N }'
14 domain: '[N] -> { S_0[] : N >= 0 }'
15 schedule: '{ S_0[] -> [0, 0] }'
21 relation: '{ S_0[] -> A[0] }'
25 relation: '{ S_0[] -> in[] }'
29 domain: '[N] -> { S_1[i] : i >= 1 and i <= N and N >= 0 }'
30 schedule: '[N] -> { S_1[i] -> [0, 1, i, 0] }'
36 relation: '[N] -> { S_1[i] -> A[i] }'
46 relation: '[N] -> { S_1[i] -> A[o0] : (2o0 <= i and 2o0 >= -1 + i and i
47 >= 0) or (2o0 >= i and 2o0 <= 1 + i and i <= -1) }'
51 domain: '[N] -> { S_2[] : N >= 0 }'
52 schedule: '{ S_2[] -> [0, 2] }'
58 relation: '{ S_2[] -> out[] }'
65 relation: '[N] -> { S_2[] -> A[N] }'