12 domain: '{ S_0[k] : k >= 252 and k <= 257 }'
13 schedule: '{ S_0[k] -> [0, k, 0] }'
21 relation: '{ S_0[k] -> a[] }'
22 index: '{ S_0[k] -> a[] }'
23 reference: __pet_ref_0
29 domain: '{ S_1[k] : exists (e0 = floor((-1 + k)/256): k >= 252 and k <= 257 and
30 256e0 >= -256 + k and 256e0 <= -2 + k) }'
31 schedule: '{ S_1[k] -> [0, k, 2] }'
39 relation: '{ S_1[k] -> a[] }'
40 index: '{ S_1[k] -> a[] }'
41 reference: __pet_ref_1