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_1[i] : i >= 0 and i <= 99 }'
30 schedule: '{ S_1[i] -> [0, i, 1] }'
36 relation: '{ S_1[i] -> a[i] }'
37 reference: __pet_ref_1
43 relation: '{ S_1[i] -> j[] }'
44 reference: __pet_ref_2
48 relation: '{ S_1[i] -> [40] }'
49 reference: __pet_ref_3
53 relation: '{ S_1[i] -> [90] }'
54 reference: __pet_ref_4