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 index: '[N] -> { S_0[] -> s[] }'
26 reference: __pet_ref_0
30 relation: '[N] -> { S_0[] -> [0] }'
31 index: '[N] -> { S_0[] -> [(0)] }'
32 reference: __pet_ref_1
36 domain: '[N] -> { [S_1[t] -> [1]] : t >= 0 }'
37 schedule: '{ S_1[t] -> [1, t, 0] }'
43 relation: '[N] -> { S_1[t] -> __pet_test_0[t] }'
44 index: '[N] -> { S_1[t] -> __pet_test_0[(t)] }'
45 reference: __pet_ref_3
52 relation: '[N] -> { S_1[t] -> __pet_test_0[-1 + t] : t >= 1 }'
53 index: '[N] -> { S_1[t] -> __pet_test_0[((-1 + t) : t >= 1)] }'
54 reference: __pet_ref_2
58 domain: '[N] -> { [S_2[t, i] -> [1]] : t >= 0 and i >= 0 and N <= 1073741823 and
60 schedule: '[N] -> { S_2[t, i] -> [1, t, 1, 0, i] }'
66 relation: '[N] -> { S_2[t, i] -> s[] }'
67 index: '[N] -> { S_2[t, i] -> s[] }'
68 reference: __pet_ref_5
75 relation: '[N] -> { S_2[t, i] -> s[] }'
76 index: '[N] -> { S_2[t, i] -> s[] }'
77 reference: __pet_ref_6
81 relation: '[N] -> { S_2[t, i] -> [1] }'
82 index: '[N] -> { S_2[t, i] -> [(1)] }'
83 reference: __pet_ref_7
88 relation: '[N] -> { S_2[t, i] -> __pet_test_0[t] }'
89 index: '[N] -> { S_2[t, i] -> __pet_test_0[(t)] }'
90 reference: __pet_ref_4
95 extension: '{ __pet_test_0[t] -> __pet_test_0[t''] : t'' <= t and t'' >= 0 }'