4 context: '[n, m] -> { : n <= 2147483647 and m <= 2147483647 - n and m >= -2147483648
5 and n >= -2147483648 and m <= 2147483647 }'
8 extent: '[n, m] -> { A[i0] : i0 >= 0 }'
12 extent: '[n, m] -> { B[i0] : i0 >= 0 }'
16 extent: '[n, m] -> { C[i0] : i0 >= 0 }'
21 domain: '[n, m] -> { S_0[i, j] : i >= 0 and j <= m and j >= 0 and i <= n }'
22 schedule: '[n, m] -> { S_0[i, j] -> [0, i, j] }'
30 index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
31 reference: __pet_ref_0
38 index: '[n, m] -> { S_0[i, j] -> C[(i + j)] }'
39 reference: __pet_ref_1
46 index: '[n, m] -> { S_0[i, j] -> A[(i)] }'
47 reference: __pet_ref_2
51 index: '[n, m] -> { S_0[i, j] -> B[(j)] }'
52 reference: __pet_ref_3