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 index: '{ S_0[i] -> j[] }'
36 reference: __pet_ref_0
42 domain: '{ S_1[i] : (i >= 0 and i <= 56) or (i >= 58 and i <= 99) }'
43 schedule: '{ S_1[i] -> [0, i, 2] }'
49 relation: '{ S_1[i] -> a[i] }'
50 index: '{ S_1[i] -> a[(i)] }'
51 reference: __pet_ref_1
55 relation: '{ S_1[i] -> [i] }'
56 index: '{ S_1[i] -> [(i)] }'
57 reference: __pet_ref_2
61 domain: '{ S_2[i] : (i >= 0 and i <= 56) or (i >= 58 and i <= 99) }'
62 schedule: '{ S_2[i] -> [0, i, 3] }'
68 relation: '{ S_2[i] -> j[] }'
69 index: '{ S_2[i] -> j[] }'
70 reference: __pet_ref_3
76 domain: '{ S_3[i] : (i >= 0 and i <= 56) or (i >= 58 and i <= 99) }'
77 schedule: '{ S_3[i] -> [0, i, 4, 0, 0] }'
83 relation: '{ S_3[i] -> __pet_test_0[i] }'
84 index: '{ S_3[i] -> __pet_test_0[(i)] }'
85 reference: __pet_ref_4
92 relation: '{ S_3[i] -> j[] }'
93 index: '{ S_3[i] -> j[] }'
94 reference: __pet_ref_5
98 relation: '{ S_3[i] -> [0] }'
99 index: '{ S_3[i] -> [(0)] }'
100 reference: __pet_ref_6
104 domain: '{ S_4[i] : i >= 0 and i <= 99 }'
105 schedule: '{ S_4[i] -> [0, i, 4, 1] }'
111 relation: '{ S_4[i] -> __pet_test_1[i] }'
112 index: '{ S_4[i] -> __pet_test_1[(i)] }'
113 reference: __pet_ref_7
119 relation: '{ S_4[i] -> [0] : i >= 58 or i <= 56; S_4[57] -> [1] }'
120 index: '{ S_4[i] -> [((1) : i = 57; (0) : i <= 56 or i >= 58)] }'
121 reference: __pet_ref_8
125 relation: '{ S_4[i] -> [1] }'
126 index: '{ S_4[i] -> [(1)] }'
127 reference: __pet_ref_9
131 relation: '{ S_4[i] -> __pet_test_0[i] : i >= 58 or i <= 56 }'
132 index: '{ S_4[i] -> __pet_test_0[(i)] }'
133 reference: __pet_ref_10
137 domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
138 schedule: '{ S_5[i] -> [0, i, 5] }'
144 relation: '{ S_5[i] -> a[i] }'
145 index: '{ S_5[i] -> a[(i)] }'
146 reference: __pet_ref_12
153 relation: '{ S_5[i] -> a[i] }'
154 index: '{ S_5[i] -> a[(i)] }'
155 reference: __pet_ref_13
159 relation: '{ S_5[i] -> [1] }'
160 index: '{ S_5[i] -> [(1)] }'
161 reference: __pet_ref_14
166 relation: '{ S_5[i] -> __pet_test_1[i] }'
167 index: '{ S_5[i] -> __pet_test_1[(i)] }'
168 reference: __pet_ref_11