5 schedule: '{ domain: "{ S_5[i] : 0 <= i <= 99; S_0[]; S_7[]; S_3[i, j] : 10 <= i <=
6 99 and 0 <= j <= 99 and j < i; S_8[]; S_6[]; S_2[i, j] : 0 <= i <= 99 and j >= 0
7 and ((i <= 9 and j <= 99) or (i >= 10 and j <= i)); S_4[i, j] : i <= 99 and ((i
8 <= 9 and 0 <= j < i) or (i >= 10 and 0 <= j < i) or (0 <= i <= 9 and i < j <= 99));
9 S_4[i, j = i] : 0 <= i <= 9; S_1[i] : 0 <= i <= 99 }", child: { sequence: [ { filter:
10 "{ S_0[] }" }, { filter: "{ S_5[i]; S_3[i, j]; S_2[i, j]; S_4[i, j]; S_1[i] }",
11 child: { schedule: "L_0[{ S_3[i, j] -> [(i)]; S_4[i, j] -> [(i)]; S_5[i] -> [(i)];
12 S_1[i] -> [(i)]; S_2[i, j] -> [(i)] }]", child: { sequence: [ { filter: "{ S_1[i]
13 }" }, { filter: "{ S_3[i, j]; S_2[i, j]; S_4[i, j] }", child: { schedule: "L_1[{
14 S_3[i, j] -> [(j)]; S_4[i, j] -> [(j)]; S_2[i, j] -> [(j)] }]", child: { sequence:
15 [ { filter: "{ S_2[i, j] }" }, { filter: "{ S_3[i, j] }" }, { filter: "{ S_4[i,
16 j] }" } ] } } }, { filter: "{ S_5[i] }" } ] } } }, { filter: "{ S_7[]; S_8[]; S_6[]
17 }", child: { set: [ { filter: "{ S_6[] }" }, { filter: "{ S_7[] }" }, { filter:
18 "{ S_8[] }" } ] } } ] } }'
21 extent: '{ a[i0] : 0 <= i0 <= 99 }'
42 index: '{ S_0[] -> i[] }'
43 reference: __pet_ref_0
49 domain: '{ S_1[i] : 0 <= i <= 99 }'
57 index: '{ S_1[i] -> j[] }'
58 reference: __pet_ref_1
64 domain: '{ S_2[i, j] : 0 <= i <= 99 and j >= 0 and ((i <= 9 and j <= 99) or (i >=
73 index: '{ S_2[i, j] -> a[(i)] }'
74 reference: __pet_ref_2
80 domain: '{ S_3[i, j] : 10 <= i <= 99 and 0 <= j <= 99 and j < i }'
88 index: '{ S_3[i, j] -> a[(i)] }'
89 reference: __pet_ref_3
93 index: '{ S_3[i, j] -> [(i + j)] }'
94 reference: __pet_ref_4
98 domain: '{ S_4[i, j] : i <= 99 and ((i <= 9 and 0 <= j < i) or (i >= 10 and 0 <=
99 j < i) or (0 <= i <= 9 and i < j <= 99)); S_4[i, j = i] : 0 <= i <= 9 }'
107 index: '{ S_4[i, j] -> j[] }'
108 reference: __pet_ref_5
112 index: '{ S_4[i, j] -> [(1 + j)] }'
113 reference: __pet_ref_6
117 domain: '{ S_5[i] : 0 <= i <= 99 }'
125 index: '{ S_5[i] -> i[] }'
126 reference: __pet_ref_7
130 index: '{ S_5[i] -> [(1 + i)] }'
131 reference: __pet_ref_8
143 killed: '{ S_6[] -> i[] }'
144 index: '{ S_6[] -> i[] }'
145 reference: __pet_ref_9
156 killed: '{ S_7[] -> j[] }'
157 index: '{ S_7[] -> j[] }'
158 reference: __pet_ref_10
169 killed: '{ S_8[] -> a[o0] : 0 <= o0 <= 99 }'
170 index: '{ S_8[] -> a[] }'
172 reference: __pet_ref_11