4 context: '[n] -> { : n >= 4 and n <= 2147483647 }'
5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
8 - context: '[n] -> { : n >= 0 }'
9 extent: '[n] -> { A[i0] : i0 >= 0 and i0 <= -1 + n }'
14 domain: '[n] -> { S_0[] }'
15 schedule: '{ S_0[] -> [0] }'
23 index: '[n] -> { S_0[] -> [(1)] }'
24 reference: __pet_ref_0
28 domain: '[n] -> { S_1[] }'
29 schedule: '{ S_1[] -> [1] }'
39 may_read: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
40 may_write: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
41 must_write: '[n] -> { S_1[] -> A[o0] : o0 <= 3 and o0 >= 0 }'
42 index: '[n] -> { S_1[] -> A[] }'
44 reference: __pet_ref_1