7 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
16 domain: '{ S_0[i] : i >= 0 and i <= 99 }'
17 schedule: '{ S_0[i] -> [0, i, 0] }'
23 relation: '{ S_0[i] -> j[] }'
24 index: '{ S_0[i] -> j[] }'
25 reference: __pet_ref_0
31 domain: '{ [S_1[i] -> [j]] : i >= 0 and i <= 99 and j <= 1 and j >= 0 }'
32 schedule: '{ S_1[i] -> [0, i, 1, 0] }'
38 relation: '{ S_1[i] -> a[i] }'
39 index: '{ S_1[i] -> a[(i)] }'
40 reference: __pet_ref_2
44 relation: '{ S_1[i] -> [i] }'
45 index: '{ S_1[i] -> [(i)] }'
46 reference: __pet_ref_3
51 relation: '{ S_1[i] -> j[] }'
52 index: '{ S_1[i] -> j[] }'
53 reference: __pet_ref_1