1 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
4 extent: '[n] -> { __pet_test_0[x1, x2] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1
5 >= 0 and x1 <= -1 + n and x2 <= 9) }'
6 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
11 extent: '[n] -> { s[] }'
16 domain: '[n] -> { S1[x1] : x1 >= 0 and x1 <= -1 + n }'
17 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
23 relation: '[n] -> { S1[x1] -> s[] }'
29 domain: '[n] -> { [S_1[x1, x2] -> [1]] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1
30 >= 0 and x1 <= -1 + n and x2 <= 9) }'
31 schedule: '[n] -> { S_1[x1, x2] -> [0, x1, 1, -x2, 0] }'
37 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, x2] }'
44 relation: '[n] -> { S_1[x1, x2] -> [x1] }'
48 relation: '[n] -> { S_1[x1, x2] -> [x2] }'
53 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(o1)/3]:
54 3e0 = o1 and o1 <= 9 and o1 >= 3 + x2) }'
58 domain: '[n] -> { [S2[x1, x2] -> [1]] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1 >=
59 0 and x1 <= -1 + n and x2 <= 9) }'
60 schedule: '[n] -> { S2[x1, x2] -> [0, x1, 1, -x2, 1, 0] }'
66 relation: '[n] -> { S2[x1, x2] -> s[] }'
73 relation: '[n] -> { S2[x1, x2] -> s[] }'
78 relation: '[n] -> { S2[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(o1)/3]:
79 3e0 = o1 and o1 <= 9 and o1 >= x2) }'
83 domain: '[n] -> { R[x1] : x1 >= 0 and x1 <= -1 + n }'
84 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
90 relation: '[n] -> { R[x1] -> s[] }'