4 extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
10 extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
11 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
20 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
25 domain: '{ S_0[i] : i >= 0 and i <= 99 }'
26 schedule: '{ S_0[i] -> [0, i, 0] }'
32 relation: '{ S_0[i] -> j[] }'
38 domain: '{ S_1[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
39 schedule: '{ S_1[i] -> [0, i, 2] }'
45 relation: '{ S_1[i] -> a[i] }'
49 relation: '{ S_1[i] -> [i] }'
53 domain: '{ S_2[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
54 schedule: '{ S_2[i] -> [0, i, 3] }'
60 relation: '{ S_2[i] -> j[] }'
66 domain: '{ S_3[i] : (i >= 58 and i <= 99) or (i >= 0 and i <= 56) }'
67 schedule: '{ S_3[i] -> [0, i, 4, 0, 0] }'
73 relation: '{ S_3[i] -> __pet_test_0[i] }'
80 relation: '{ S_3[i] -> j[] }'
84 relation: '{ S_3[i] -> [0] }'
88 domain: '{ S_4[i] : i >= 0 and i <= 99 }'
89 schedule: '{ S_4[i] -> [0, i, 4, 1] }'
95 relation: '{ S_4[i] -> __pet_test_1[i] }'
101 relation: '{ S_4[i] -> [0] : i <= 56 or i >= 58; S_4[57] -> [1] }'
105 relation: '{ S_4[i] -> [1] }'
109 relation: '{ S_4[i] -> __pet_test_0[i] : i >= 58 or i <= 56 }'
113 domain: '{ [S_5[i] -> [0]] : i >= 0 and i <= 99 }'
114 schedule: '{ S_5[i] -> [0, i, 5] }'
120 relation: '{ S_5[i] -> a[i] }'
127 relation: '{ S_5[i] -> a[i] }'
131 relation: '{ S_5[i] -> [1] }'
136 relation: '{ S_5[i] -> __pet_test_1[i] }'