3 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
6 extent: '[n] -> { __pet_test_0[x1, t] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[n] -> { x2[] }'
17 extent: '[n] -> { s[] }'
22 domain: '[n] -> { S1[x1] : x1 <= -1 + n and x1 >= 0 }'
23 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
29 relation: '[n] -> { S1[x1] -> s[] }'
30 index: '[n] -> { S1[x1] -> s[] }'
31 reference: __pet_ref_0
37 domain: '[n] -> { S_5[x1] : x1 <= -1 + n and x1 >= 0 }'
38 schedule: '[n] -> { S_5[x1] -> [0, x1, 1, 0] }'
44 relation: '[n] -> { S_5[x1] -> x2[] }'
45 index: '[n] -> { S_5[x1] -> x2[] }'
46 reference: __pet_ref_1
50 domain: '[n] -> { S_1[x1] : x1 <= -1 + n and x1 >= 0 }'
51 schedule: '[n] -> { S_1[x1] -> [0, x1, 1, 1] }'
57 relation: '[n] -> { S_1[x1] -> x2[] }'
58 index: '[n] -> { S_1[x1] -> x2[] }'
59 reference: __pet_ref_2
63 relation: '[n] -> { S_1[x1] -> s[] }'
64 index: '[n] -> { S_1[x1] -> s[] }'
65 reference: __pet_ref_3
69 domain: '[n] -> { [S_2[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
70 schedule: '[n] -> { S_2[x1, t] -> [0, x1, 1, 2, t, 0] }'
76 relation: '[n] -> { S_2[x1, t] -> __pet_test_0[x1, t] }'
77 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), (t)] }'
78 reference: __pet_ref_5
85 relation: '[n] -> { S_2[x1, t] -> [x1] }'
86 index: '[n] -> { S_2[x1, t] -> [(x1)] }'
87 reference: __pet_ref_6
91 relation: '[n] -> { S_2[x1, t] -> x2[] }'
92 index: '[n] -> { S_2[x1, t] -> x2[] }'
93 reference: __pet_ref_7
98 relation: '[n] -> { S_2[x1, t] -> __pet_test_0[x1, -1 + t] : t >= 1 }'
99 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), ((-1 + t) : t >= 1)] }'
100 reference: __pet_ref_4
104 domain: '[n] -> { [S2[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
105 schedule: '[n] -> { S2[x1, t] -> [0, x1, 1, 2, t, 1, 0] }'
111 relation: '[n] -> { S2[x1, t] -> s[] }'
112 index: '[n] -> { S2[x1, t] -> s[] }'
113 reference: __pet_ref_9
120 relation: '[n] -> { S2[x1, t] -> s[] }'
121 index: '[n] -> { S2[x1, t] -> s[] }'
122 reference: __pet_ref_10
127 relation: '[n] -> { S2[x1, t] -> __pet_test_0[x1, t] }'
128 index: '[n] -> { S2[x1, t] -> __pet_test_0[(x1), (t)] }'
129 reference: __pet_ref_8
133 domain: '[n] -> { [S_4[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
134 schedule: '[n] -> { S_4[x1, t] -> [0, x1, 1, 2, t, 2] }'
140 relation: '[n] -> { S_4[x1, t] -> x2[] }'
141 index: '[n] -> { S_4[x1, t] -> x2[] }'
142 reference: __pet_ref_12
146 relation: '[n] -> { S_4[x1, t] -> s[] }'
147 index: '[n] -> { S_4[x1, t] -> s[] }'
148 reference: __pet_ref_13
153 relation: '[n] -> { S_4[x1, t] -> __pet_test_0[x1, t] }'
154 index: '[n] -> { S_4[x1, t] -> __pet_test_0[(x1), (t)] }'
155 reference: __pet_ref_11
159 domain: '[n] -> { S_6[x1] : x1 <= -1 + n and x1 >= 0 }'
160 schedule: '[n] -> { S_6[x1] -> [0, x1, 1, 3] }'
166 relation: '[n] -> { S_6[x1] -> x2[] }'
167 index: '[n] -> { S_6[x1] -> x2[] }'
168 reference: __pet_ref_14
172 domain: '[n] -> { R[x1] : x1 <= -1 + n and x1 >= 0 }'
173 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
179 relation: '[n] -> { R[x1] -> s[] }'
180 index: '[n] -> { R[x1] -> s[] }'
181 reference: __pet_ref_15
186 extension: '[n] -> { __pet_test_0[x1, t] -> __pet_test_0[x1, t''] : x1 >= 0 and
187 x1 <= -1 + n and t'' <= t and t'' >= 0 }'