4 context: '[N] -> { : N >= 8 and N <= 16 }'
5 schedule: '{ domain: "[N] -> { S_4[]; S_1[t, j] : t >= 0 and j >= 0 and j <= -1 +
6 N; S_0[t, j] : t >= 0 and j >= 0 and j <= -1 + N; S_3[]; S_2[] }", child: { sequence:
7 [ { filter: "[N] -> { S_1[t, j]; S_0[t, j] }", child: { schedule: "[N] -> L_0[{
8 S_1[t, j] -> [(t)]; S_0[t, j] -> [(t)] }]", child: { sequence: [ { filter: "[N]
9 -> { S_0[t, j] }", child: { schedule: "[N] -> L_1[{ S_0[t, j] -> [(j)] }]" } },
10 { filter: "[N] -> { S_1[t, j] }", child: { schedule: "[N] -> L_2[{ S_1[t, j] ->
11 [(j)] }]" } } ] } } }, { filter: "[N] -> { S_4[]; S_3[]; S_2[] }", child: { set:
12 [ { filter: "{ S_2[] }" }, { filter: "{ S_3[] }" }, { filter: "{ S_4[] }" } ] }
15 - context: '[N] -> { : N >= 0 }'
16 extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
19 - context: '[N] -> { : N >= 0 }'
20 extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
24 extent: '[N] -> { j[] }'
29 domain: '[N] -> { S_0[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
37 index: '[N] -> { S_0[t, j] -> a[(j)] }'
38 reference: __pet_ref_0
44 domain: '[N] -> { S_1[t, j] : t >= 0 and j >= 0 and j <= -1 + N }'
52 index: '[N] -> { S_1[t, j] -> b[(j)] }'
53 reference: __pet_ref_1
57 index: '[N] -> { S_1[t, j] -> a[(j)] }'
58 reference: __pet_ref_2
62 domain: '[N] -> { S_2[] }'
70 killed: '[N] -> { S_2[] -> j[] }'
71 index: '[N] -> { S_2[] -> j[] }'
72 reference: __pet_ref_3
75 domain: '[N] -> { S_3[] }'
83 killed: '[N] -> { S_3[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
84 index: '[N] -> { S_3[] -> a[] }'
86 reference: __pet_ref_4
89 domain: '[N] -> { S_4[] }'
97 killed: '[N] -> { S_4[] -> b[o0] : o0 >= 0 and o0 <= -1 + N }'
98 index: '[N] -> { S_4[] -> b[] }'
100 reference: __pet_ref_5