5 schedule: '{ domain: "{ S_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_2[i,
6 j] : i >= 0 and i <= 99 and j >= 0 and j <= 99; S_1[i, j] : i >= 0 and i <= 99 and
7 j >= 0 and j <= 99 }", child: { schedule: "L_0[{ S_0[i, j] -> [(i)]; S_1[i, j] ->
8 [(i)]; S_2[i, j] -> [(i)] }]", child: { schedule: "L_1[{ S_0[i, j] -> [(j)]; S_1[i,
9 j] -> [(j)]; S_2[i, j] -> [(j)] }]", child: { sequence: [ { filter: "{ S_0[i, j]
10 }" }, { filter: "{ S_1[i, j] }" }, { filter: "{ S_2[i, j] }" } ] } } } }'
13 extent: '{ __pet_test_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
14 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
19 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
24 domain: '{ [S_0[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
32 index: '{ S_0[i, j] -> a[(i)] }'
33 reference: __pet_ref_1
40 index: '{ S_0[i, j] -> __pet_test_0[(i), ((-1 + j) : j >= 1)] }'
41 reference: __pet_ref_0
45 domain: '{ [S_1[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
53 index: '{ S_1[i, j] -> __pet_test_0[(i), (j)] }'
54 reference: __pet_ref_3
61 index: '{ S_1[i, j] -> __pet_test_0[(i), ((-1 + j) : j >= 1)] }'
62 reference: __pet_ref_2
66 domain: '{ [S_2[i, j] -> [0]] : i >= 0 and i <= 99 and j >= 0 and j <= 99 }'
74 index: '{ S_2[i, j] -> a[(i)] }'
75 reference: __pet_ref_5
82 index: '{ S_2[i, j] -> [(i)] }'
83 reference: __pet_ref_6
87 index: '{ S_2[i, j] -> [(j)] }'
88 reference: __pet_ref_7
93 index: '{ S_2[i, j] -> __pet_test_0[(i), (j)] }'
94 reference: __pet_ref_4
99 extension: '{ __pet_test_0[i, j] -> __pet_test_0[i, j''] : j'' <= j and i <= 99
100 and i >= 0 and j'' <= 99 and j'' >= 0 }'