5 schedule: '{ domain: "{ S_3[i] : i >= 0 and i <= 59; S_5[i] : i >= 0 and i <= 59;
6 S_6[i] : i >= 0 and i <= 59; S_9[i] : i >= 0 and i <= 99; S_8[i] : i >= 0 and i
7 <= 99; S_2[i] : i >= 0 and i <= 59; S_7[i] : i >= 60 and i <= 99; S_4[i] : i >=
8 0 and i <= 59; S_10[i] : i >= 0 and i <= 99; S_0[i] : i >= 0 and i <= 59; S_1[i]
9 : i >= 0 and i <= 59 }", child: { schedule: "L_0[{ S_8[i] -> [(i)]; S_9[i] -> [(i)];
10 S_6[i] -> [(i)]; S_10[i] -> [(i)]; S_0[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)];
11 S_5[i] -> [(i)]; S_2[i] -> [(i)]; S_1[i] -> [(i)]; S_7[i] -> [(i)] }]", child: {
12 sequence: [ { filter: "{ S_3[i]; S_5[i]; S_6[i]; S_2[i]; S_7[i]; S_4[i]; S_0[i];
13 S_1[i] }", child: { set: [ { filter: "{ S_3[i]; S_5[i]; S_6[i]; S_2[i]; S_4[i];
14 S_0[i]; S_1[i] }", child: { sequence: [ { filter: "{ S_0[i] }" }, { filter: "{ S_3[i];
15 S_2[i]; S_4[i]; S_1[i] }", child: { set: [ { filter: "{ S_3[i]; S_2[i]; S_1[i] }",
16 child: { sequence: [ { filter: "{ S_1[i] }" }, { filter: "{ S_2[i] }" }, { filter:
17 "{ S_3[i] }" } ] } }, { filter: "{ S_4[i] }" } ] } }, { filter: "{ S_5[i] }" },
18 { filter: "{ S_6[i] }" } ] } }, { filter: "{ S_7[i] }" } ] } }, { filter: "{ S_8[i]
19 }" }, { filter: "{ S_9[i] }" }, { filter: "{ S_10[i] }" } ] } } }'
22 extent: '{ __pet_test_0[i] : i >= 0 and i <= 59 }'
23 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
28 extent: '{ __pet_test_1[i] : i >= 0 and i <= 59 }'
29 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
34 extent: '{ __pet_test_2[i] : i >= 0 and i <= 59 }'
35 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
40 extent: '{ __pet_test_3[i] : i >= 0 and i <= 99 }'
41 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
46 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
55 domain: '{ S_0[i] : i >= 0 and i <= 59 }'
63 index: '{ S_0[i] -> __pet_test_0[(i)] }'
64 reference: __pet_ref_0
71 index: '{ S_0[i] -> a[(i)] }'
72 reference: __pet_ref_1
78 domain: '{ [S_1[i] -> [1]] : i >= 0 and i <= 59 }'
86 index: '{ S_1[i] -> j[] }'
87 reference: __pet_ref_3
94 index: '{ S_1[i] -> __pet_test_0[(i)] }'
95 reference: __pet_ref_2
99 domain: '{ [S_2[i] -> [1]] : i >= 0 and i <= 59 }'
107 index: '{ S_2[i] -> __pet_test_1[(i)] }'
108 reference: __pet_ref_5
115 index: '{ S_2[i] -> j[] }'
116 reference: __pet_ref_6
123 index: '{ S_2[i] -> __pet_test_0[(i)] }'
124 reference: __pet_ref_4
128 domain: '{ [S_3[i] -> [1, 0]] : i >= 0 and i <= 59 }'
136 index: '{ S_3[i] -> a[(i)] }'
137 reference: __pet_ref_9
141 index: '{ S_3[i] -> [(i)] }'
142 reference: __pet_ref_10
147 index: '{ S_3[i] -> __pet_test_0[(i)] }'
148 reference: __pet_ref_7
152 index: '{ S_3[i] -> __pet_test_1[(i)] }'
153 reference: __pet_ref_8
157 domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 59 }'
165 index: '{ S_4[i] -> a[(i)] }'
166 reference: __pet_ref_12
173 index: '{ S_4[i] -> __pet_test_0[(i)] }'
174 reference: __pet_ref_11
178 domain: '{ S_5[i] : i >= 0 and i <= 59 }'
186 index: '{ S_5[i] -> __pet_test_2[(i)] }'
187 reference: __pet_ref_13
194 index: '{ S_5[i] -> __pet_test_0[(i)] }'
195 reference: __pet_ref_14
199 may_read: '{ [S_5[i] -> [1]] -> __pet_test_1[i] }'
200 index: '{ [S_5[i] -> [__pet_test_0]] -> __pet_test_1[(i)] }'
201 reference: __pet_ref_16
206 index: '{ S_5[i] -> __pet_test_0[(i)] }'
207 reference: __pet_ref_15
211 index: '{ S_5[i] -> [(0)] }'
212 reference: __pet_ref_17
216 domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 59 }'
224 index: '{ S_6[i] -> j[] }'
225 reference: __pet_ref_19
232 index: '{ S_6[i] -> __pet_test_2[(i)] }'
233 reference: __pet_ref_18
237 domain: '{ S_7[i] : i >= 60 and i <= 99 }'
245 index: '{ S_7[i] -> a[(i)] }'
246 reference: __pet_ref_20
250 index: '{ S_7[i] -> [(i)] }'
251 reference: __pet_ref_21
255 domain: '{ S_8[i] : i >= 0 and i <= 99 }'
263 index: '{ S_8[i] -> __pet_test_3[(i)] }'
264 reference: __pet_ref_22
271 index: '{ S_8[i] -> [((1) : i <= 59; (0) : i >= 60)] }'
272 reference: __pet_ref_23
276 may_read: '{ S_8[i] -> __pet_test_2[i] : i <= 59 }'
277 index: '{ S_8[i] -> __pet_test_2[(i)] }'
278 reference: __pet_ref_24
282 index: '{ S_8[i] -> [(0)] }'
283 reference: __pet_ref_25
287 domain: '{ [S_9[i] -> [0]] : i >= 0 and i <= 99 }'
295 index: '{ S_9[i] -> j[] }'
296 reference: __pet_ref_27
303 index: '{ S_9[i] -> __pet_test_3[(i)] }'
304 reference: __pet_ref_26
308 domain: '{ [S_10[i] -> [0]] : i >= 0 and i <= 99 }'
316 index: '{ S_10[i] -> a[(i)] }'
317 reference: __pet_ref_29
324 index: '{ S_10[i] -> a[(i)] }'
325 reference: __pet_ref_30
332 index: '{ S_10[i] -> __pet_test_3[(i)] }'
333 reference: __pet_ref_28