4 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
7 extent: '[n] -> { x2[] }'
12 extent: '[n] -> { s[] }'
17 domain: '[n] -> { S1[x1] : x1 >= 0 and x1 <= -1 + n }'
18 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
26 index: '[n] -> { S1[x1] -> s[] }'
27 reference: __pet_ref_0
33 domain: '[n] -> { S_4[x1] : x1 >= 0 and x1 <= -1 + n }'
34 schedule: '[n] -> { S_4[x1] -> [0, x1, 1, 0] }'
42 killed: '[n] -> { S_4[x1] -> x2[] }'
43 index: '[n] -> { S_4[x1] -> x2[] }'
44 reference: __pet_ref_1
47 domain: '[n] -> { S_3[x1] : x1 >= 0 and x1 <= -1 + n }'
48 schedule: '[n] -> { S_3[x1] -> [0, x1, 1, 1] }'
54 index: '[n] -> { S_3[x1] -> x2[] }'
55 reference: __pet_ref_2
66 index: '[n] -> { S_3[x1] -> [(x1)] }'
67 reference: __pet_ref_3
71 index: '[n] -> { S_3[x1] -> x2[] }'
72 reference: __pet_ref_4
88 index: '[n] -> { S_3[x1] -> s[] }'
89 reference: __pet_ref_5
96 index: '[n] -> { S_3[x1] -> s[] }'
97 reference: __pet_ref_6
101 domain: '[n] -> { S_5[x1] : x1 >= 0 and x1 <= -1 + n }'
102 schedule: '[n] -> { S_5[x1] -> [0, x1, 1, 2] }'
110 killed: '[n] -> { S_5[x1] -> x2[] }'
111 index: '[n] -> { S_5[x1] -> x2[] }'
112 reference: __pet_ref_7
115 domain: '[n] -> { R[x1] : x1 >= 0 and x1 <= -1 + n }'
116 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
124 index: '[n] -> { R[x1] -> s[] }'
125 reference: __pet_ref_8