4 context: '[n] -> { : n >= 4 and n <= 2147483647 }'
6 - context: '[n] -> { : n >= 0 }'
7 extent: '[n] -> { A[i0] : i0 <= -1 + n and i0 >= 0 }'
12 domain: '[n] -> { S_0[] }'
13 schedule: '{ S_0[] -> [0] }'
21 index: '[n] -> { S_0[] -> [(1)] }'
22 reference: __pet_ref_0
26 domain: '[n] -> { S_1[] }'
27 schedule: '{ S_1[] -> [1] }'
37 may_read: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
38 may_write: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
39 must_write: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
40 index: '[n] -> { S_1[] -> A[] }'
42 reference: __pet_ref_1