4 context: '[N] -> { : N >= 8 and N <= 16 }'
5 schedule: '{ domain: "[N] -> { S_1[i, j] : i >= 0 and j >= 0 and j <= -1 + N; S_0[i,
6 j] : i >= 0 and j >= 0 and j <= -1 + N }", child: { schedule: "[N] -> L_0[{ S_1[i,
7 j] -> [(i)]; S_0[i, j] -> [(i)] }]", child: { sequence: [ { filter: "[N] -> { S_0[i,
8 j] }", child: { schedule: "[N] -> L_1[{ S_0[i, j] -> [(j)] }]" } }, { filter: "[N]
9 -> { S_1[i, j] }", child: { schedule: "[N] -> L_2[{ S_1[i, 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[i, j] : i >= 0 and j >= 0 and j <= -1 + N }'
30 index: '[N] -> { S_0[i, j] -> a[(j)] }'
31 reference: __pet_ref_0
37 domain: '[N] -> { S_1[i, j] : i >= 0 and j >= 0 and j <= -1 + N }'
45 index: '[N] -> { S_1[i, j] -> b[(j)] }'
46 reference: __pet_ref_1
50 index: '[N] -> { S_1[i, j] -> a[(j)] }'
51 reference: __pet_ref_2