6 extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
13 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
22 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
27 domain: '{ S_0[i] : i >= 0 and i <= 99 }'
28 schedule: '{ S_0[i] -> [0, i, 0] }'
34 relation: '{ S_0[i] -> j[] }'
35 reference: __pet_ref_0
41 domain: '{ S_1[i] : i >= 0 and i <= 99 }'
42 schedule: '{ S_1[i] -> [0, i, 1, 0] }'
48 relation: '{ S_1[i] -> __pet_test_0[i] }'
49 reference: __pet_ref_1
56 relation: '{ S_1[i] -> j[] }'
57 reference: __pet_ref_2
61 relation: '{ S_1[i] -> [0] }'
62 reference: __pet_ref_3
66 domain: '{ [S_2[i] -> [0]] : i >= 0 and i <= 99 }'
67 schedule: '{ S_2[i] -> [0, i, 2] }'
73 relation: '{ S_2[i] -> a[i] }'
74 reference: __pet_ref_5
78 relation: '{ S_2[i] -> [i] }'
79 reference: __pet_ref_6
84 relation: '{ S_2[i] -> __pet_test_0[i] }'
85 reference: __pet_ref_4
89 domain: '{ [S_3[i] -> [0]] : i >= 0 and i <= 99 }'
90 schedule: '{ S_3[i] -> [0, i, 3] }'
96 relation: '{ S_3[i] -> j[] }'
97 reference: __pet_ref_8
104 relation: '{ S_3[i] -> __pet_test_0[i] }'
105 reference: __pet_ref_7
109 domain: '{ S_4[i] : i >= 0 and i <= 99 }'
110 schedule: '{ S_4[i] -> [0, i, 4, 1] }'
116 relation: '{ S_4[i] -> __pet_test_1[i] }'
117 reference: __pet_ref_9
123 relation: '{ S_4[i] -> __pet_test_0[i] }'
124 reference: __pet_ref_10
128 relation: '{ S_4[i] -> [1] }'
129 reference: __pet_ref_11
133 relation: '{ [S_4[i] -> [0]] -> [0] : i >= 58 or i <= 56; [S_4[57] -> [0]]
135 reference: __pet_ref_13
140 relation: '{ S_4[i] -> __pet_test_0[i] }'
141 reference: __pet_ref_12
145 domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
146 schedule: '{ S_5[i] -> [0, i, 5] }'
152 relation: '{ S_5[i] -> a[i] }'
153 reference: __pet_ref_15
160 relation: '{ S_5[i] -> a[i] }'
161 reference: __pet_ref_16
165 relation: '{ S_5[i] -> [1] }'
166 reference: __pet_ref_17
171 relation: '{ S_5[i] -> __pet_test_1[i] }'
172 reference: __pet_ref_14