3 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
6 extent: '[n] -> { __pet_test_0[x1, t] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[n] -> { s[] }'
16 extent: '[n] -> { x2[] }'
21 domain: '[n] -> { S1[x1] : x1 <= -1 + n and x1 >= 0 }'
22 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
28 relation: '[n] -> { S1[x1] -> s[] }'
29 index: '[n] -> { S1[x1] -> s[] }'
30 reference: __pet_ref_0
36 domain: '[n] -> { S_1[x1] : x1 <= -1 + n and x1 >= 0 }'
37 schedule: '[n] -> { S_1[x1] -> [0, x1, 1, 0] }'
43 relation: '[n] -> { S_1[x1] -> x2[] }'
44 index: '[n] -> { S_1[x1] -> x2[] }'
45 reference: __pet_ref_1
51 domain: '[n] -> { [S_2[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
52 schedule: '[n] -> { S_2[x1, t] -> [0, x1, 1, 1, t, 0] }'
58 relation: '[n] -> { S_2[x1, t] -> __pet_test_0[x1, t] }'
59 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), (t)] }'
60 reference: __pet_ref_3
67 relation: '[n] -> { S_2[x1, t] -> [x1] }'
68 index: '[n] -> { S_2[x1, t] -> [(x1)] }'
69 reference: __pet_ref_4
73 relation: '[n] -> { S_2[x1, t] -> x2[] }'
74 index: '[n] -> { S_2[x1, t] -> x2[] }'
75 reference: __pet_ref_5
80 relation: '[n] -> { S_2[x1, t] -> __pet_test_0[x1, -1 + t] : t >= 1 }'
81 index: '[n] -> { S_2[x1, t] -> __pet_test_0[(x1), ((-1 + t) : t >= 1)] }'
82 reference: __pet_ref_2
86 domain: '[n] -> { [S2[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
87 schedule: '[n] -> { S2[x1, t] -> [0, x1, 1, 1, t, 1, 0] }'
93 relation: '[n] -> { S2[x1, t] -> s[] }'
94 index: '[n] -> { S2[x1, t] -> s[] }'
95 reference: __pet_ref_7
102 relation: '[n] -> { S2[x1, t] -> s[] }'
103 index: '[n] -> { S2[x1, t] -> s[] }'
104 reference: __pet_ref_8
109 relation: '[n] -> { S2[x1, t] -> __pet_test_0[x1, t] }'
110 index: '[n] -> { S2[x1, t] -> __pet_test_0[(x1), (t)] }'
111 reference: __pet_ref_6
115 domain: '[n] -> { [S_4[x1, t] -> [1]] : x1 <= -1 + n and x1 >= 0 and t >= 0 }'
116 schedule: '[n] -> { S_4[x1, t] -> [0, x1, 1, 1, t, 2] }'
122 relation: '[n] -> { S_4[x1, t] -> x2[] }'
123 index: '[n] -> { S_4[x1, t] -> x2[] }'
124 reference: __pet_ref_10
128 relation: '[n] -> { S_4[x1, t] -> [n] }'
129 index: '[n] -> { S_4[x1, t] -> [(n)] }'
130 reference: __pet_ref_11
135 relation: '[n] -> { S_4[x1, t] -> __pet_test_0[x1, t] }'
136 index: '[n] -> { S_4[x1, t] -> __pet_test_0[(x1), (t)] }'
137 reference: __pet_ref_9
141 domain: '[n] -> { R[x1] : x1 <= -1 + n and x1 >= 0 }'
142 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
148 relation: '[n] -> { R[x1] -> s[] }'
149 index: '[n] -> { R[x1] -> s[] }'
150 reference: __pet_ref_12
155 extension: '[n] -> { __pet_test_0[x1, t] -> __pet_test_0[x1, t''] : x1 >= 0 and
156 x1 <= -1 + n and t'' <= t and t'' >= 0 }'