1 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
4 extent: '[n] -> { __pet_test_0[x, t] : x >= 0 and x <= -1 + n and t >= 0 }'
5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
10 extent: '[n] -> { s[] }'
15 domain: '[n] -> { S1[x] : x >= 0 and x <= -1 + n }'
16 schedule: '[n] -> { S1[x] -> [0, x, 0] }'
22 relation: '[n] -> { S1[x] -> s[] }'
28 domain: '[n] -> { [S_1[x, t] -> [1]] : x >= 0 and x <= -1 + n and t >= 0 }'
29 schedule: '[n] -> { S_1[x, t] -> [0, x, 1, t, 0] }'
35 relation: '[n] -> { S_1[x, t] -> __pet_test_0[x, t] }'
42 relation: '[n] -> { S_1[x, t] -> [x] }'
46 relation: '[n] -> { S_1[x, t] -> s[] }'
51 relation: '[n] -> { S_1[x, t] -> __pet_test_0[x, o1] : o1 >= 0 and o1 <= -1 +
56 domain: '[n] -> { [S2[x, t] -> [1]] : x >= 0 and x <= -1 + n and t >= 0 }'
57 schedule: '[n] -> { S2[x, t] -> [0, x, 1, t, 1, 0] }'
63 relation: '[n] -> { S2[x, t] -> s[] }'
70 relation: '[n] -> { S2[x, t] -> s[] }'
75 relation: '[n] -> { S2[x, t] -> __pet_test_0[x, o1] : o1 >= 0 and o1 <= t }'
79 domain: '[n] -> { R[x] : x >= 0 and x <= -1 + n }'
80 schedule: '[n] -> { R[x] -> [0, x, 2] }'
86 relation: '[n] -> { R[x] -> s[] }'