6 extent: '{ __pet_test_0[k] : k >= 252 and k <= 261 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
17 domain: '{ [S_0[k] -> [0]] : (exists (e0 = floor((k)/256): 256e0 = k and k >= 252
18 and k <= 261)) or (exists (e0 = floor((257 - k)/256): k >= 252 and k <= 261 and
19 256e0 >= 2 - k and 256e0 <= 255 - k)) }'
20 schedule: '{ S_0[k] -> [0, k, 0] }'
26 relation: '{ S_0[k] -> a[] }'
27 index: '{ S_0[k] -> a[] }'
28 reference: __pet_ref_1
32 relation: '{ S_0[k] -> [5] }'
33 index: '{ S_0[k] -> [(5)] }'
34 reference: __pet_ref_2
39 relation: '{ S_0[k] -> __pet_test_0[-1 + k] : k >= 253 }'
40 index: '{ S_0[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
41 reference: __pet_ref_0
45 domain: '{ [S_1[k] -> [0]] : k >= 252 and k <= 261 }'
46 schedule: '{ S_1[k] -> [0, k, 1, 0] }'
52 relation: '{ S_1[k] -> __pet_test_0[k] }'
53 index: '{ S_1[k] -> __pet_test_0[(k)] }'
54 reference: __pet_ref_4
61 relation: '{ S_1[k] -> __pet_test_0[-1 + k] : k >= 253 }'
62 index: '{ S_1[k] -> __pet_test_0[((-1 + k) : k >= 253)] }'
63 reference: __pet_ref_3
67 domain: '{ [S_2[k] -> [0]] : k >= 252 and k <= 261 }'
68 schedule: '{ S_2[k] -> [0, k, 2] }'
74 relation: '{ S_2[k] -> a[] }'
75 index: '{ S_2[k] -> a[] }'
76 reference: __pet_ref_6
80 relation: '{ S_2[k] -> [o0] : exists (e0 = floor((-k + o0)/256): 256e0 = -k
81 + o0 and o0 >= 0 and o0 <= 255) }'
82 index: '{ S_2[k] -> [(k - 256*floor((k)/256))] }'
83 reference: __pet_ref_7
88 relation: '{ S_2[k] -> __pet_test_0[k] }'
89 index: '{ S_2[k] -> __pet_test_0[(k)] }'
90 reference: __pet_ref_5
95 extension: '{ __pet_test_0[k] -> __pet_test_0[k''] : k'' <= k and k'' >= 252 and