3 context: '[N] -> { : N >= 0 and N <= 2147483647 }'
6 extent: '[N] -> { __pet_test_0[t] : t >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[N] -> { N[] }'
15 - context: '[N] -> { : N >= 0 }'
16 extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
20 extent: '[N] -> { i[] }'
25 domain: '[N] -> { S_0[] }'
26 schedule: '{ S_0[] -> [0] }'
32 relation: '[N] -> { S_0[] -> i[] }'
33 index: '[N] -> { S_0[] -> i[] }'
34 reference: __pet_ref_0
40 domain: '[N] -> { S_1[] }'
41 schedule: '{ S_1[] -> [1, 0] }'
47 relation: '[N] -> { S_1[] -> i[] }'
48 index: '[N] -> { S_1[] -> i[] }'
49 reference: __pet_ref_1
55 domain: '[N] -> { [S_2[t] -> [1]] : t >= 0 }'
56 schedule: '{ S_2[t] -> [1, 1, t, 0] }'
62 relation: '[N] -> { S_2[t] -> __pet_test_0[t] }'
63 index: '[N] -> { S_2[t] -> __pet_test_0[(t)] }'
64 reference: __pet_ref_3
71 relation: '[N] -> { S_2[t] -> i[] }'
72 index: '[N] -> { S_2[t] -> i[] }'
73 reference: __pet_ref_4
77 relation: '[N] -> { S_2[t] -> N[] }'
78 index: '[N] -> { S_2[t] -> N[] }'
79 reference: __pet_ref_5
84 relation: '[N] -> { S_2[t] -> __pet_test_0[-1 + t] : t >= 1 }'
85 index: '[N] -> { S_2[t] -> __pet_test_0[((-1 + t) : t >= 1)] }'
86 reference: __pet_ref_2
90 domain: '[N] -> { [S_3[t] -> [1]] : t >= 0 }'
91 schedule: '{ S_3[t] -> [1, 1, t, 1] }'
97 relation: '[N] -> { [S_3[t] -> [i1]] -> a[i1] : i1 >= 0 }'
98 index: '[N] -> { [S_3[t] -> [i1]] -> a[((i1) : i1 >= 0)] }'
99 reference: __pet_ref_8
104 relation: '[N] -> { S_3[t] -> i[] }'
105 index: '[N] -> { S_3[t] -> i[] }'
106 reference: __pet_ref_7
110 relation: '[N] -> { S_3[t] -> i[] }'
111 index: '[N] -> { S_3[t] -> i[] }'
112 reference: __pet_ref_9
117 relation: '[N] -> { S_3[t] -> __pet_test_0[t] }'
118 index: '[N] -> { S_3[t] -> __pet_test_0[(t)] }'
119 reference: __pet_ref_6
123 domain: '[N] -> { [S_4[t] -> [1]] : t >= 0 }'
124 schedule: '{ S_4[t] -> [1, 1, t, 2] }'
130 relation: '[N] -> { S_4[t] -> i[] }'
131 index: '[N] -> { S_4[t] -> i[] }'
132 reference: __pet_ref_11
136 relation: '[N] -> { S_4[t] -> i[] }'
137 index: '[N] -> { S_4[t] -> i[] }'
138 reference: __pet_ref_12
143 relation: '[N] -> { S_4[t] -> __pet_test_0[t] }'
144 index: '[N] -> { S_4[t] -> __pet_test_0[(t)] }'
145 reference: __pet_ref_10
150 extension: '{ __pet_test_0[t] -> __pet_test_0[t''] : t'' <= t and t'' >= 0 }'