7 extent: '{ __pet_test_0[] }'
8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
19 schedule: '{ S_0[] -> [0, 0] }'
27 index: '{ S_0[] -> __pet_test_0[] }'
28 reference: __pet_ref_0
34 domain: '{ [S_1[] -> [1]] }'
35 schedule: '{ S_1[] -> [0, 1] }'
43 index: '{ S_1[] -> t[] }'
44 reference: __pet_ref_2
51 index: '{ S_1[] -> __pet_test_0[] }'
52 reference: __pet_ref_1
56 domain: '{ [S_2[] -> [0]] }'
57 schedule: '{ S_2[] -> [0, 1] }'
65 index: '{ S_2[] -> t[] }'
66 reference: __pet_ref_4
73 index: '{ S_2[] -> __pet_test_0[] }'
74 reference: __pet_ref_3