4 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
5 schedule: '{ domain: "[n] -> { S2[x1, x2] : exists (e0 = floor((x2)/3): 3e0 = x2 and
6 x1 >= 0 and x1 <= -1 + n and x2 <= 9); S_4[]; S1[x1] : x1 >= 0 and x1 <= -1 + n;
7 S_1[x1, x2] : exists (e0 = floor((x2)/3): 3e0 = x2 and x1 >= 0 and x1 <= -1 + n
8 and x2 <= 9); R[x1] : x1 >= 0 and x1 <= -1 + n }", child: { sequence: [ { filter:
9 "[n] -> { S2[x1, x2]; S1[x1]; S_1[x1, x2]; R[x1] }", child: { schedule: "[n] ->
10 L_0[{ S2[x1, x2] -> [(x1)]; S1[x1] -> [(x1)]; S_1[x1, x2] -> [(x1)]; R[x1] -> [(x1)]
11 }]", child: { sequence: [ { filter: "[n] -> { S1[x1] }" }, { filter: "[n] -> { S2[x1,
12 x2]; S_1[x1, x2] }", child: { schedule: "[n] -> L_1[{ S2[x1, x2] -> [(-x2)]; S_1[x1,
13 x2] -> [(-x2)] }]", child: { sequence: [ { filter: "[n] -> { S_1[x1, x2] }" }, {
14 filter: "[n] -> { S2[x1, x2] }" } ] } } }, { filter: "[n] -> { R[x1] }" } ] } }
15 }, { filter: "[n] -> { S_4[] }" } ] } }'
18 extent: '[n] -> { __pet_test_0[x1, x2] : exists (e0 = floor((x2)/3): 3e0 = x2 and
19 x1 >= 0 and x1 <= -1 + n and x2 <= 9) }'
20 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
25 extent: '[n] -> { s[] }'
30 domain: '[n] -> { S1[x1] : x1 >= 0 and x1 <= -1 + n }'
38 index: '[n] -> { S1[x1] -> s[] }'
39 reference: __pet_ref_0
45 domain: '[n] -> { [S_1[x1, x2] -> [1]] : exists (e0 = floor((x2)/3): 3e0 = x2 and
46 x1 >= 0 and x1 <= -1 + n and x2 <= 9) }'
54 index: '[n] -> { S_1[x1, x2] -> __pet_test_0[(x1), (x2)] }'
55 reference: __pet_ref_2
62 index: '[n] -> { S_1[x1, x2] -> [(x1)] }'
63 reference: __pet_ref_3
67 index: '[n] -> { S_1[x1, x2] -> [(x2)] }'
68 reference: __pet_ref_4
73 index: '[n] -> { S_1[x1, x2] -> __pet_test_0[(x1), ((3 + x2) : x2 <= 6)] }'
74 reference: __pet_ref_1
78 domain: '[n] -> { [S2[x1, x2] -> [1]] : exists (e0 = floor((x2)/3): 3e0 = x2 and
79 x1 >= 0 and x1 <= -1 + n and x2 <= 9) }'
87 index: '[n] -> { S2[x1, x2] -> s[] }'
88 reference: __pet_ref_6
95 index: '[n] -> { S2[x1, x2] -> s[] }'
96 reference: __pet_ref_7
101 index: '[n] -> { S2[x1, x2] -> __pet_test_0[(x1), (x2)] }'
102 reference: __pet_ref_5
106 domain: '[n] -> { R[x1] : x1 >= 0 and x1 <= -1 + n }'
114 index: '[n] -> { R[x1] -> s[] }'
115 reference: __pet_ref_8
119 domain: '[n] -> { S_4[] }'
127 killed: '[n] -> { S_4[] -> s[] }'
128 index: '[n] -> { S_4[] -> s[] }'
129 reference: __pet_ref_9
133 extension: '[n] -> { __pet_test_0[x1, x2] -> __pet_test_0[x1, x2''] : exists (e0
134 = floor((x2'')/3): 3e0 = x2'' and x2'' >= x2 and x1 >= 0 and x1 <= -1 + n and