1 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
4 extent: '[N] -> { __pet_test_0[T] : T >= 0 }'
5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
10 extent: '[N] -> { s[] }'
15 domain: '[N] -> { S_0[] }'
16 schedule: '{ S_0[] -> [0] }'
22 relation: '[N] -> { S_0[] -> s[] }'
26 relation: '[N] -> { S_0[] -> [0] }'
30 domain: '[N] -> { [S_1[T] -> [1]] : T >= 0 }'
31 schedule: '{ S_1[T] -> [1, T, 0] }'
37 relation: '[N] -> { S_1[T] -> __pet_test_0[T] }'
44 relation: '[N] -> { S_1[T] -> __pet_test_0[o0] : o0 <= -1 + T and o0 >= 0 }'
48 domain: '[N] -> { [S_2[T, i] -> [1]] : T >= 0 and i <= -1 + 2N and N <= 1073741823
50 schedule: '[N] -> { S_2[T, i] -> [1, T, 1, 0, i] }'
56 relation: '[N] -> { S_2[T, i] -> s[] }'
63 relation: '[N] -> { S_2[T, i] -> s[] }'
67 relation: '[N] -> { S_2[T, i] -> [1] }'
72 relation: '[N] -> { S_2[T, i] -> __pet_test_0[o0] : o0 >= 0 and o0 <= T }'