4 context: '[N] -> { : N >= 0 and N <= 2147483647 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
12 domain: '[N] -> { S_0[i] : 2i <= -2 + N and 3i >= N }'
13 schedule: '[N] -> { S_0[i] -> [0, i] }'
19 relation: '[N] -> { S_0[i] -> a[o0] : exists (e0 = floor((-i + o0)/5): 5e0 =
20 -i + o0 and o0 <= 4 and o0 >= 0) }'
21 index: '[N] -> { S_0[i] -> a[(i - 5*floor((i)/5))] }'
22 reference: __pet_ref_0
26 relation: '[N] -> { S_0[i] -> [i] }'
27 index: '[N] -> { S_0[i] -> [(i)] }'
28 reference: __pet_ref_1