3 context: '[N] -> { : N <= 2147483647 and N >= 0 }'
5 - context: '[N] -> { : N >= 0 }'
6 extent: '[N] -> { a[i0, i1] : i1 >= 0 and i0 >= 0 and i1 <= -1 + N }'
10 extent: '[N] -> { ind[] }'
15 domain: '[N] -> { S_0[i, j] : j >= i and i >= 0 and j <= -1 + N }'
16 schedule: '[N] -> { S_0[i, j] -> [0, i, j, 0] }'
22 relation: '[N] -> { S_0[i, j] -> ind[] }'
23 reference: __pet_ref_0
29 relation: '[N] -> { S_0[i, j] -> [1] : i >= 1; S_0[0, j] -> [0] }'
30 reference: __pet_ref_1
37 relation: '[N] -> { S_0[i, j] -> [i] }'
38 reference: __pet_ref_2
42 relation: '[N] -> { S_0[i, j] -> [1] }'
43 reference: __pet_ref_3
47 relation: '[N] -> { S_0[i, j] -> [i] }'
48 reference: __pet_ref_4
52 domain: '[N] -> { S_1[i, j] : j >= i and i >= 0 and j <= -1 + N }'
53 schedule: '[N] -> { S_1[i, j] -> [0, i, j, 1] }'
59 relation: '[N] -> { S_1[i, j] -> a[i, j] }'
60 reference: __pet_ref_5
64 relation: '[N] -> { S_1[i, j] -> a[-1 + i, 0] : i >= 1; S_1[0, j] -> a[0, 0]
66 reference: __pet_ref_6