7 extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j <= 99 and j >= 0 }'
8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
13 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
18 domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j <= 99 and j >= 0 }'
19 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
27 index: '{ S_0[i, j] -> a[(i)] }'
28 reference: __pet_ref_1
35 index: '{ S_0[i, j] -> __pet_test_0[(i), ((-1 + j) : j >= 1)] }'
36 reference: __pet_ref_0
40 domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j <= 99 and j >= 0 }'
41 schedule: '{ S_1[i, j] -> [0, i, j, 1, 0] }'
49 index: '{ S_1[i, j] -> __pet_test_0[(i), (j)] }'
50 reference: __pet_ref_3
57 index: '{ S_1[i, j] -> __pet_test_0[(i), ((-1 + j) : j >= 1)] }'
58 reference: __pet_ref_2
62 domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j <= 99 and j >= 0 }'
63 schedule: '{ S_2[i, j] -> [0, i, j, 2] }'
71 index: '{ S_2[i, j] -> a[(i)] }'
72 reference: __pet_ref_5
79 index: '{ S_2[i, j] -> [(i)] }'
80 reference: __pet_ref_6
84 index: '{ S_2[i, j] -> [(j)] }'
85 reference: __pet_ref_7
90 index: '{ S_2[i, j] -> __pet_test_0[(i), (j)] }'
91 reference: __pet_ref_4
96 extension: '{ __pet_test_0[i, j] -> __pet_test_0[i, j''] : j'' <= j and i >= 0 and
97 i <= 99 and j'' >= 0 and j'' <= 99 }'