3 context: '[N] -> { : N <= 2147483647 and N >= 0 }'
6 extent: '[N] -> { in[] }'
9 - context: '[N] -> { : N >= 0 }'
10 extent: '[N] -> { A[i0] : i0 <= -1 + N and i0 >= 0 }'
14 extent: '[N] -> { out[] }'
19 domain: '[N] -> { S_0[] }'
20 schedule: '{ S_0[] -> [0, 0] }'
26 relation: '[N] -> { S_0[] -> A[0] }'
27 reference: __pet_ref_0
31 relation: '[N] -> { S_0[] -> in[] }'
32 reference: __pet_ref_1
36 domain: '[N] -> { S_1[i] : i <= N and i >= 1 }'
37 schedule: '[N] -> { S_1[i] -> [0, 1, i, 0] }'
43 relation: '[N] -> { S_1[i] -> A[i] }'
44 reference: __pet_ref_2
54 relation: '[N] -> { S_1[i] -> A[o0] : 2o0 >= -1 + i and 2o0 <= i }'
55 reference: __pet_ref_3
59 domain: '[N] -> { S_2[] }'
60 schedule: '{ S_2[] -> [0, 2] }'
66 relation: '[N] -> { S_2[] -> out[] }'
67 reference: __pet_ref_4
74 relation: '[N] -> { S_2[] -> A[N] }'
75 reference: __pet_ref_5