3 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
6 extent: '[n] -> { __pet_test_0[x1, x2] : x1 <= -1 + n and x1 >= 0 and x2 >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[n] -> { s[] }'
17 domain: '[n] -> { S1[x1] : x1 <= -1 + n and x1 >= 0 }'
18 schedule: '[n] -> { S1[x1] -> [0, x1, 0] }'
24 relation: '[n] -> { S1[x1] -> s[] }'
25 reference: __pet_ref_0
31 domain: '[n] -> { [S_1[x1, x2] -> [1]] : x1 <= -1 + n and x1 >= 0 and x2 >= 0 }'
32 schedule: '[n] -> { S_1[x1, x2] -> [0, x1, 1, x2, 0] }'
38 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, x2] }'
39 reference: __pet_ref_2
46 relation: '[n] -> { S_1[x1, x2] -> [x1] }'
47 reference: __pet_ref_3
51 relation: '[n] -> { S_1[x1, x2] -> [x2] }'
52 reference: __pet_ref_4
57 relation: '[n] -> { S_1[x1, x2] -> __pet_test_0[x1, -1 + x2] : x2 >= 1 }'
58 reference: __pet_ref_1
62 domain: '[n] -> { [S2[x1, x2] -> [1]] : x1 <= -1 + n and x1 >= 0 and x2 >= 0 }'
63 schedule: '[n] -> { S2[x1, x2] -> [0, x1, 1, x2, 1, 0] }'
69 relation: '[n] -> { S2[x1, x2] -> s[] }'
70 reference: __pet_ref_6
77 relation: '[n] -> { S2[x1, x2] -> s[] }'
78 reference: __pet_ref_7
83 relation: '[n] -> { S2[x1, x2] -> __pet_test_0[x1, x2] }'
84 reference: __pet_ref_5
88 domain: '[n] -> { R[x1] : x1 <= -1 + n and x1 >= 0 }'
89 schedule: '[n] -> { R[x1] -> [0, x1, 2] }'
95 relation: '[n] -> { R[x1] -> s[] }'
96 reference: __pet_ref_8
101 extension: '[n] -> { __pet_test_0[x1, x2] -> __pet_test_0[x1, x2''] : x1 >= 0 and
102 x1 <= -1 + n and x2'' <= x2 and x2'' >= 0 }'