4 context: '[N] -> { : N >= 8 and N <= 16 }'
5 schedule: '{ domain: "[N] -> { S_1[t, j] : t >= 0 and j >= 0 and j <= -1 + N; S_0[t,
6 j] : t >= 0 and j >= 0 and j <= -1 + N }", child: { schedule: "[N] -> L_0[{ S_0[t,
7 j] -> [(t)]; S_1[t, j] -> [(t)] }]", child: { sequence: [ { filter: "[N] -> { S_0[t,
8 j] }", child: { schedule: "[N] -> L_1[{ S_0[t, j] -> [(j)] }]" } }, { filter: "[N]
9 -> { S_1[t, j] }", child: { schedule: "[N] -> L_2[{ S_1[t, j] -> [(j)] }]" } } ]
12 - context: '[N] -> { : N >= 0 }'
13 extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
16 - context: '[N] -> { : N >= 0 }'
17 extent: '[N] -> { b[i0] : i0 >= 0 and i0 <= -1 + N }'
22 domain: '[N] -> { S_0[t, j] : j >= 0 and j <= -1 + N and t >= 0 }'
23 schedule: '[N] -> { S_0[t, j] -> [0, t, 0, j] }'
31 index: '[N] -> { S_0[t, j] -> a[(j)] }'
32 reference: __pet_ref_0
38 domain: '[N] -> { S_1[t, j] : j >= 0 and j <= -1 + N and t >= 0 }'
39 schedule: '[N] -> { S_1[t, j] -> [0, t, 1, j] }'
47 index: '[N] -> { S_1[t, j] -> b[(j)] }'
48 reference: __pet_ref_1
52 index: '[N] -> { S_1[t, j] -> a[(j)] }'
53 reference: __pet_ref_2