3 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
6 extent: '[N] -> { __pet_test_0[T] : T >= 0 }'
7 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
12 extent: '[N] -> { s[] }'
17 domain: '[N] -> { S_0[] }'
18 schedule: '{ S_0[] -> [0] }'
24 relation: '[N] -> { S_0[] -> s[] }'
25 reference: __pet_ref_0
29 relation: '[N] -> { S_0[] -> [0] }'
30 reference: __pet_ref_1
34 domain: '[N] -> { [S_1[T] -> [1]] : T >= 0 }'
35 schedule: '{ S_1[T] -> [1, T, 0] }'
41 relation: '[N] -> { S_1[T] -> __pet_test_0[T] }'
42 reference: __pet_ref_3
49 relation: '[N] -> { S_1[T] -> __pet_test_0[-1 + T] : T >= 1 }'
50 reference: __pet_ref_2
54 domain: '[N] -> { [S_2[T, i] -> [1]] : T >= 0 and i >= 0 and N <= 1073741823 and
56 schedule: '[N] -> { S_2[T, i] -> [1, T, 1, 0, i] }'
62 relation: '[N] -> { S_2[T, i] -> s[] }'
63 reference: __pet_ref_5
70 relation: '[N] -> { S_2[T, i] -> s[] }'
71 reference: __pet_ref_6
75 relation: '[N] -> { S_2[T, i] -> [1] }'
76 reference: __pet_ref_7
81 relation: '[N] -> { S_2[T, i] -> __pet_test_0[T] }'
82 reference: __pet_ref_4
87 extension: '{ __pet_test_0[T] -> __pet_test_0[T''] : T'' <= T and T'' >= 0 }'