4 context: '[N] -> { : N >= 8 and N <= 16 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
10 - context: '[N] -> { : N >= 0 }'
11 extent: '[N] -> { b[i0] : i0 <= -1 + N and i0 >= 0 }'
16 domain: '[N] -> { S_0[t, j] : j >= 0 and t >= 0 and j <= -1 + N }'
17 schedule: '[N] -> { S_0[t, j] -> [0, t, 0, j] }'
23 relation: '[N] -> { S_0[t, j] -> a[j] }'
24 index: '[N] -> { S_0[t, j] -> a[(j)] }'
25 reference: __pet_ref_0
31 domain: '[N] -> { S_1[t, j] : j >= 0 and t >= 0 and j <= -1 + N }'
32 schedule: '[N] -> { S_1[t, j] -> [0, t, 1, j] }'
38 relation: '[N] -> { S_1[t, j] -> b[j] }'
39 index: '[N] -> { S_1[t, j] -> b[(j)] }'
40 reference: __pet_ref_1
44 relation: '[N] -> { S_1[t, j] -> a[j] }'
45 index: '[N] -> { S_1[t, j] -> a[(j)] }'
46 reference: __pet_ref_2