6 extent: '{ __pet_test_0[] }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '{ test[i0] : i0 >= 0 }'
22 schedule: '{ S_0[] -> [0] }'
28 relation: '{ S_0[] -> index[] }'
29 reference: __pet_ref_0
36 schedule: '{ S_1[] -> [1, 0] }'
42 relation: '{ S_1[] -> __pet_test_0[] }'
43 reference: __pet_ref_1
47 relation: '{ [S_1[] -> [i0]] -> test[i0] : i0 >= 0 }'
48 reference: __pet_ref_3
53 relation: '{ S_1[] -> index[] }'
54 reference: __pet_ref_2
58 domain: '{ [S_2[] -> [1]] }'
59 schedule: '{ S_2[] -> [1, 1] }'
65 relation: '{ S_2[] -> index[] }'
66 reference: __pet_ref_5
70 relation: '{ S_2[] -> [5] }'
71 reference: __pet_ref_6
76 relation: '{ S_2[] -> __pet_test_0[] }'
77 reference: __pet_ref_4