3 context: '[n, m] -> { : n <= 2147483647 and m <= 2147483647 - n and m >= -2147483648
4 and n >= -2147483648 and m <= 2147483647 }'
7 extent: '[n, m] -> { A[i0] : i0 >= 0 }'
11 extent: '[n, m] -> { B[i0] : i0 >= 0 }'
15 extent: '[n, m] -> { C[i0] : i0 >= 0 }'
20 domain: '[n, m] -> { S_0[i, j] : i >= 0 and j <= m and j >= 0 and i <= n }'
21 schedule: '[m, n] -> { S_0[i, j] -> [0, i, j] }'
27 relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
28 reference: __pet_ref_0
35 relation: '[n, m] -> { S_0[i, j] -> C[i + j] }'
36 reference: __pet_ref_1
43 relation: '[n, m] -> { S_0[i, j] -> A[i] }'
44 reference: __pet_ref_2
48 relation: '[n, m] -> { S_0[i, j] -> B[j] }'
49 reference: __pet_ref_3