4 context: '[n] -> { : n >= 0 and n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_0[i] : i >= 0 and i <= -1 + n }", child: { schedule:
6 "[n] -> L_0[{ S_0[i] -> [(i)] }]" } }'
8 - context: '[n] -> { : n >= 0 }'
9 extent: '[n] -> { A[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1
15 domain: '[n] -> { S_0[i] : i >= 0 and i <= -1 + n }'
23 index: '[n] -> { S_0[i] -> [(n)] }'
24 reference: __pet_ref_0
28 may_write: '[n] -> { S_0[i] -> A[i, o1] : exists (e0 = floor((-1 + o1)/2):
29 2e0 = -1 + o1 and o1 <= -1 + n and o1 >= 1) }'
30 must_write: '[n] -> { }'
31 index: '[n] -> { S_0[i] -> A[(i)] }'
33 reference: __pet_ref_1