4 context: '[n] -> { : -2147483648 <= n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_7[]; S1[x1] : 0 <= x1 < n; S_4[x1] : 0 <= x1 < n;
6 S_3[x1] : 0 <= x1 < n; S_5[x1] : 0 <= x1 < n; R[x1] : 0 <= x1 < n }", child: { sequence:
7 [ { filter: "[n] -> { S1[x1]; S_4[x1]; S_3[x1]; S_5[x1]; R[x1] }", child: { schedule:
8 "[n] -> L_0[{ S1[x1] -> [(x1)]; S_4[x1] -> [(x1)]; S_3[x1] -> [(x1)]; S_5[x1] ->
9 [(x1)]; R[x1] -> [(x1)] }]", child: { sequence: [ { filter: "[n] -> { S1[x1] }"
10 }, { filter: "[n] -> { S_4[x1] }" }, { filter: "[n] -> { S_3[x1] }" }, { filter:
11 "[n] -> { S_5[x1] }" }, { filter: "[n] -> { R[x1] }" } ] } } }, { filter: "[n] ->
15 extent: '[n] -> { x2[] }'
20 extent: '[n] -> { s[] }'
25 domain: '[n] -> { S1[x1] : 0 <= x1 < n }'
33 index: '[n] -> { S1[x1] -> s[] }'
34 reference: __pet_ref_0
40 domain: '[n] -> { S_4[x1] : 0 <= x1 < n }'
48 killed: '[n] -> { S_4[x1] -> x2[] }'
49 index: '[n] -> { S_4[x1] -> x2[] }'
50 reference: __pet_ref_1
53 domain: '[n] -> { S_3[x1] : 0 <= x1 < n }'
59 index: '[n] -> { S_3[x1] -> x2[] }'
60 reference: __pet_ref_2
71 index: '[n] -> { S_3[x1] -> [(x1)] }'
72 reference: __pet_ref_3
76 index: '[n] -> { S_3[x1] -> x2[] }'
77 reference: __pet_ref_4
93 index: '[n] -> { S_3[x1] -> s[] }'
94 reference: __pet_ref_5
101 index: '[n] -> { S_3[x1] -> s[] }'
102 reference: __pet_ref_6
106 domain: '[n] -> { S_5[x1] : 0 <= x1 < n }'
114 killed: '[n] -> { S_5[x1] -> x2[] }'
115 index: '[n] -> { S_5[x1] -> x2[] }'
116 reference: __pet_ref_7
119 domain: '[n] -> { R[x1] : 0 <= x1 < n }'
127 index: '[n] -> { R[x1] -> s[] }'
128 reference: __pet_ref_8
132 domain: '[n] -> { S_7[] }'
140 killed: '[n] -> { S_7[] -> s[] }'
141 index: '[n] -> { S_7[] -> s[] }'
142 reference: __pet_ref_9