4 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
5 schedule: '{ domain: "[N] -> { S_11[t] : t >= 0; S_3[t] : t >= 0; S_8[t] : t >= 0;
6 S_10[t] : t >= 0; S_4[t] : t >= 0; S_6[t] : N = 0 and t >= 0; S_6[0] : N <= -1 or
7 N >= 1; S_7[t] : N = 0 and t >= 0; S_1[t] : N = 0 and t >= 0; S_5[t] : N = 0 and
8 t >= 0; S_5[0] : N <= -1 or N >= 1; S_9[t] : t >= 0; S_2[t] : t >= 0; S_0[t] : N
9 = 0 and t >= 0; S_0[0] : N <= -1 or N >= 1 }", child: { sequence: [ { filter: "[N]
10 -> { S_1[t]; S_0[t] }", child: { schedule: "[N] -> L_0[{ S_1[t] -> [(t)]; S_0[t]
11 -> [(t)] }]", child: { sequence: [ { filter: "[N] -> { S_0[t] }" }, { filter: "[N]
12 -> { S_1[t] }" } ] } } }, { filter: "[N] -> { S_3[t]; S_4[t]; S_2[t] }", child:
13 { schedule: "L_1[{ S_4[t] -> [(t)]; S_2[t] -> [(t)]; S_3[t] -> [(t)] }]", child:
14 { sequence: [ { filter: "{ S_2[t] }" }, { filter: "{ S_3[t] }" }, { filter: "{ S_4[t]
15 }" } ] } } }, { filter: "[N] -> { S_6[t]; S_7[t]; S_5[t] }", child: { schedule:
16 "[N] -> L_2[{ S_6[t] -> [(t)]; S_7[t] -> [(t)]; S_5[t] -> [(t)] }]", child: { sequence:
17 [ { filter: "[N] -> { S_5[t] }" }, { filter: "[N] -> { S_6[t] }" }, { filter: "[N]
18 -> { S_7[t] }" } ] } } }, { filter: "[N] -> { S_11[t]; S_8[t]; S_10[t]; S_9[t] }",
19 child: { schedule: "L_3[{ S_9[t] -> [(t)]; S_10[t] -> [(t)]; S_8[t] -> [(t)]; S_11[t]
20 -> [(t)] }]", child: { sequence: [ { filter: "{ S_8[t] }" }, { filter: "{ S_9[t]
21 }" }, { filter: "{ S_10[t] }" }, { filter: "{ S_11[t] }" } ] } } } ] } }'
24 extent: '[N] -> { __pet_test_0[t] : t >= 0 }'
25 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
30 extent: '[N] -> { __pet_test_1[t] : N = 0 and t >= 0; __pet_test_1[0] : N <= -1
32 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
37 extent: '[N] -> { __pet_test_2[t] : t >= 0 }'
38 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
43 extent: '[N] -> { __pet_test_3[t] : t >= 0 }'
44 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
49 extent: '[N] -> { a[] }'
54 domain: '[N] -> { S_0[t] : N = 0 and t >= 0; S_0[0] : N <= -1 or N >= 1 }'
62 index: '[N] -> { S_0[t] -> a[] }'
63 reference: __pet_ref_0
69 domain: '[N] -> { S_1[t] : N = 0 and t >= 0 }'
77 index: '[N] -> { S_1[t] -> a[] }'
78 reference: __pet_ref_1
84 domain: '[N] -> { [S_2[t] -> [0]] : t >= 0 }'
92 index: '[N] -> { S_2[t] -> a[] }'
93 reference: __pet_ref_3
100 index: '[N] -> { S_2[t] -> __pet_test_0[((-1 + t) : t >= 1)] }'
101 reference: __pet_ref_2
105 domain: '[N] -> { [S_3[t] -> [0]] : t >= 0 }'
113 index: '[N] -> { S_3[t] -> __pet_test_0[(t)] }'
114 reference: __pet_ref_5
121 index: '[N] -> { S_3[t] -> __pet_test_0[((-1 + t) : t >= 1)] }'
122 reference: __pet_ref_4
126 domain: '[N] -> { [S_4[t] -> [0]] : t >= 0 }'
134 index: '[N] -> { S_4[t] -> a[] }'
135 reference: __pet_ref_7
142 index: '[N] -> { S_4[t] -> __pet_test_0[(t)] }'
143 reference: __pet_ref_6
147 domain: '[N] -> { [S_5[t] -> [1]] : N = 0 and t >= 0; [S_5[0] -> [1]] : N <= -1
156 index: '[N] -> { S_5[t] -> __pet_test_1[(t)] }'
157 reference: __pet_ref_9
164 index: '[N] -> { S_5[t] -> __pet_test_1[((-1 + t) : (t = 1 and N <= -1) or (t
165 = 1 and N >= 1) or (N = 0 and t >= 1))] }'
166 reference: __pet_ref_8
170 domain: '[N] -> { [S_6[t] -> [1]] : N = 0 and t >= 0; [S_6[0] -> [1]] : N <= -1
179 index: '[N] -> { S_6[t] -> a[] }'
180 reference: __pet_ref_11
187 index: '[N] -> { S_6[t] -> __pet_test_1[(t)] }'
188 reference: __pet_ref_10
192 domain: '[N] -> { [S_7[t] -> [1]] : N = 0 and t >= 0 }'
200 index: '[N] -> { S_7[t] -> a[] }'
201 reference: __pet_ref_13
208 index: '[N] -> { S_7[t] -> __pet_test_1[(t)] }'
209 reference: __pet_ref_12
213 domain: '[N] -> { [S_8[t] -> [1, 0]] : t >= 0 }'
221 index: '[N] -> { S_8[t] -> __pet_test_2[(t)] }'
222 reference: __pet_ref_16
229 index: '[N] -> { S_8[t] -> __pet_test_2[((-1 + t) : t >= 1)] }'
230 reference: __pet_ref_14
234 index: '[N] -> { S_8[t] -> __pet_test_3[((-1 + t) : t >= 1)] }'
235 reference: __pet_ref_15
239 domain: '[N] -> { [S_9[t] -> [1, 0]] : t >= 0 }'
247 index: '[N] -> { S_9[t] -> a[] }'
248 reference: __pet_ref_19
255 index: '[N] -> { S_9[t] -> __pet_test_2[(t)] }'
256 reference: __pet_ref_17
260 index: '[N] -> { S_9[t] -> __pet_test_3[((-1 + t) : t >= 1)] }'
261 reference: __pet_ref_18
265 domain: '[N] -> { [S_10[t] -> [1, 0]] : t >= 0 }'
273 index: '[N] -> { S_10[t] -> __pet_test_3[(t)] }'
274 reference: __pet_ref_22
281 index: '[N] -> { S_10[t] -> __pet_test_2[(t)] }'
282 reference: __pet_ref_20
286 index: '[N] -> { S_10[t] -> __pet_test_3[((-1 + t) : t >= 1)] }'
287 reference: __pet_ref_21
291 domain: '[N] -> { [S_11[t] -> [1, 0]] : t >= 0 }'
299 index: '[N] -> { S_11[t] -> a[] }'
300 reference: __pet_ref_25
307 index: '[N] -> { S_11[t] -> __pet_test_2[(t)] }'
308 reference: __pet_ref_23
312 index: '[N] -> { S_11[t] -> __pet_test_3[(t)] }'
313 reference: __pet_ref_24
318 extension: '{ __pet_test_0[t] -> __pet_test_0[t''] : t'' <= t and t'' >= 0 }'
320 extension: '[N] -> { __pet_test_1[t] -> __pet_test_1[t''] : N = 0 and t'' <= t and
321 t'' >= 0; __pet_test_1[t] -> __pet_test_1[0] : (N >= 1 and t >= 0) or (N <= -1
324 extension: '{ __pet_test_3[t] -> __pet_test_3[t''] : t'' <= t and t'' >= 0 }'
326 extension: '{ __pet_test_2[t] -> __pet_test_2[t''] : t'' <= t and t'' >= 0 }'