3 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
6 extent: '[n] -> { __pet_test_0[x1, x2] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1
7 <= -1 + n and x1 >= 0 and x2 <= 9) }'
8 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
13 extent: '[n] -> { s[] }'
18 domain: '[n] -> { S1[x1] : x1 <= -1 + n and x1 >= 0 }'
19 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
25 relation: '[n] -> { S1[x1] -> s[] }'
26 reference: __pet_ref_0
32 domain: '[n] -> { [S_1[x1, x2] -> [1]] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1
33 <= -1 + n and x1 >= 0 and x2 <= 9) }'
34 schedule: '[n] -> { S_1[x1, x2] -> [0, x1, 1, -x2, 0] }'
40 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, x2] }'
41 reference: __pet_ref_2
48 relation: '[n] -> { S_1[x1, x2] -> [x1] }'
49 reference: __pet_ref_3
53 relation: '[n] -> { S_1[x1, x2] -> [o0] : exists (e0 = [(-x2 + o0)/256]: 256e0
54 = -x2 + o0 and o0 <= 255 and o0 >= 0) }'
55 reference: __pet_ref_4
60 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(o1)/3]:
61 3e0 = o1 and o1 >= 3 + x2 and o1 <= 9) }'
62 reference: __pet_ref_1
66 domain: '[n] -> { [S2[x1, x2] -> [1]] : exists (e0 = [(x2)/3]: 3e0 = x2 and x1 <=
67 -1 + n and x1 >= 0 and x2 <= 9) }'
68 schedule: '[n] -> { S2[x1, x2] -> [0, x1, 1, -x2, 1, 0] }'
74 relation: '[n] -> { S2[x1, x2] -> s[] }'
75 reference: __pet_ref_6
82 relation: '[n] -> { S2[x1, x2] -> s[] }'
83 reference: __pet_ref_7
88 relation: '[n] -> { S2[x1, x2] -> __pet_test_0[x1, o1] : exists (e0 = [(o1)/3]:
89 3e0 = o1 and o1 >= x2 and o1 <= 9) }'
90 reference: __pet_ref_5
94 domain: '[n] -> { R[x1] : x1 <= -1 + n and x1 >= 0 }'
95 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
101 relation: '[n] -> { R[x1] -> s[] }'
102 reference: __pet_ref_8