4 extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
10 extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
11 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
16 extent: '{ __pet_test_2[i] : i >= 0 and i <= 99 }'
17 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
22 extent: '{ __pet_test_3[i] : i >= 0 and i <= 99 }'
23 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
32 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
37 domain: '{ S_0[i] : i >= 0 and i <= 59 }'
38 schedule: '{ S_0[i] -> [0, i, 0, 0, 0, 0] }'
44 relation: '{ S_0[i] -> __pet_test_1[i] }'
51 relation: '{ S_0[i] -> a[i] }'
55 relation: '{ S_0[i] -> [5] }'
59 domain: '{ [S_1[i] -> [1]] : i >= 0 and i <= 59 }'
60 schedule: '{ S_1[i] -> [0, i, 0, 0, 0, 1, 0] }'
66 relation: '{ S_1[i] -> j[] }'
73 relation: '{ S_1[i] -> __pet_test_1[i] }'
77 domain: '{ [S_2[i] -> [1]] : i >= 0 and i <= 59 }'
78 schedule: '{ S_2[i] -> [0, i, 0, 0, 0, 1, 1, 0] }'
84 relation: '{ S_2[i] -> __pet_test_0[i] }'
91 relation: '{ S_2[i] -> j[] }'
95 relation: '{ S_2[i] -> [0] }'
100 relation: '{ S_2[i] -> __pet_test_1[i] }'
104 domain: '{ [S_3[i] -> [1, 0]] : i >= 0 and i <= 59 }'
105 schedule: '{ S_3[i] -> [0, i, 0, 0, 0, 1, 2] }'
111 relation: '{ S_3[i] -> a[i] }'
115 relation: '{ S_3[i] -> [i] }'
120 relation: '{ S_3[i] -> __pet_test_1[i] }'
124 relation: '{ S_3[i] -> __pet_test_0[i] }'
128 domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 59 }'
129 schedule: '{ S_4[i] -> [0, i, 0, 0, 0, 1] }'
135 relation: '{ S_4[i] -> a[i] }'
139 relation: '{ S_4[i] -> [0] }'
144 relation: '{ S_4[i] -> __pet_test_1[i] }'
148 domain: '{ S_5[i] : i >= 0 and i <= 59 }'
149 schedule: '{ S_5[i] -> [0, i, 0, 0, 0, 2] }'
155 relation: '{ S_5[i] -> __pet_test_2[i] }'
161 relation: '{ S_5[i] -> __pet_test_1[i] }'
165 relation: '{ [S_5[i] -> [1]] -> __pet_test_0[i] }'
170 relation: '{ S_5[i] -> __pet_test_1[i] }'
174 relation: '{ S_5[i] -> [0] }'
178 domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 59 }'
179 schedule: '{ S_6[i] -> [0, i, 0, 0, 1] }'
185 relation: '{ S_6[i] -> j[] }'
192 relation: '{ S_6[i] -> __pet_test_2[i] }'
196 domain: '{ S_7[i] : i >= 60 and i <= 99 }'
197 schedule: '{ S_7[i] -> [0, i, 0, 0] }'
203 relation: '{ S_7[i] -> a[i] }'
207 relation: '{ S_7[i] -> [i] }'
211 domain: '{ S_8[i] : i >= 0 and i <= 99 }'
212 schedule: '{ S_8[i] -> [0, i, 0, 1] }'
218 relation: '{ S_8[i] -> __pet_test_3[i] }'
224 relation: '{ S_8[i] -> [1] : i <= 59; S_8[i] -> [0] : i >= 60 }'
228 relation: '{ S_8[i] -> __pet_test_2[i] : i <= 59 }'
232 relation: '{ S_8[i] -> [0] }'
236 domain: '{ [S_9[i] -> [0]] : i >= 0 and i <= 99 }'
237 schedule: '{ S_9[i] -> [0, i, 1] }'
243 relation: '{ S_9[i] -> j[] }'
250 relation: '{ S_9[i] -> __pet_test_3[i] }'
254 domain: '{ [S_10[i] -> [0]] : i >= 0 and i <= 99 }'
255 schedule: '{ S_10[i] -> [0, i, 2] }'
261 relation: '{ S_10[i] -> a[i] }'
268 relation: '{ S_10[i] -> a[i] }'
272 relation: '{ S_10[i] -> [1] }'
277 relation: '{ S_10[i] -> __pet_test_3[i] }'