3 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
6 extent: '[n] -> { __pet_test_0[x, t] : x <= -1 + n and x >= 0 and t >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[n] -> { s[] }'
17 domain: '[n] -> { S1[x] : x <= -1 + n and x >= 0 }'
18 schedule: '[n] -> { S1[x] -> [0, x, 0] }'
24 relation: '[n] -> { S1[x] -> s[] }'
25 index: '[n] -> { S1[x] -> s[] }'
26 reference: __pet_ref_0
32 domain: '[n] -> { [S_1[x, t] -> [1]] : x <= -1 + n and x >= 0 and t >= 0 }'
33 schedule: '[n] -> { S_1[x, t] -> [0, x, 1, t, 0] }'
39 relation: '[n] -> { S_1[x, t] -> __pet_test_0[x, t] }'
40 index: '[n] -> { S_1[x, t] -> __pet_test_0[(x), (t)] }'
41 reference: __pet_ref_2
48 relation: '[n] -> { S_1[x, t] -> [x] }'
49 index: '[n] -> { S_1[x, t] -> [(x)] }'
50 reference: __pet_ref_3
54 relation: '[n] -> { S_1[x, t] -> s[] }'
55 index: '[n] -> { S_1[x, t] -> s[] }'
56 reference: __pet_ref_4
61 relation: '[n] -> { S_1[x, t] -> __pet_test_0[x, -1 + t] : t >= 1 }'
62 index: '[n] -> { S_1[x, t] -> __pet_test_0[(x), ((-1 + t) : t >= 1)] }'
63 reference: __pet_ref_1
67 domain: '[n] -> { [S2[x, t] -> [1]] : x <= -1 + n and x >= 0 and t >= 0 }'
68 schedule: '[n] -> { S2[x, t] -> [0, x, 1, t, 1, 0] }'
74 relation: '[n] -> { S2[x, t] -> s[] }'
75 index: '[n] -> { S2[x, t] -> s[] }'
76 reference: __pet_ref_6
83 relation: '[n] -> { S2[x, t] -> s[] }'
84 index: '[n] -> { S2[x, t] -> s[] }'
85 reference: __pet_ref_7
90 relation: '[n] -> { S2[x, t] -> __pet_test_0[x, t] }'
91 index: '[n] -> { S2[x, t] -> __pet_test_0[(x), (t)] }'
92 reference: __pet_ref_5
96 domain: '[n] -> { R[x] : x <= -1 + n and x >= 0 }'
97 schedule: '[n] -> { R[x] -> [0, x, 2] }'
103 relation: '[n] -> { R[x] -> s[] }'
104 index: '[n] -> { R[x] -> s[] }'
105 reference: __pet_ref_8
110 extension: '[n] -> { __pet_test_0[x, t] -> __pet_test_0[x, t''] : x >= 0 and x <=
111 -1 + n and t'' <= t and t'' >= 0 }'