10 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
15 domain: '{ S_0[i] : i >= 0 and i <= 99 }'
16 schedule: '{ S_0[i] -> [0, i, 0] }'
22 relation: '{ S_0[i] -> j[] }'
23 reference: __pet_ref_0
29 domain: '{ [S_3[i] -> [j]] : i >= 0 and i <= 99 and j >= 0 and j <= 1 }'
30 schedule: '{ S_3[i] -> [0, i, 1, 0] }'
36 relation: '{ S_3[i] -> a[i] }'
37 reference: __pet_ref_2
41 relation: '{ S_3[i] -> [i] }'
42 reference: __pet_ref_3
47 relation: '{ S_3[i] -> j[] }'
48 reference: __pet_ref_1