3
# This is an automatic dump of an input file from a CloogProgram data
4
# structure. It can be correct ONLY if dumped before loop generation.
6
# Context (3 parameter(s)):
12
# Iteration domain of statement 1.
14
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
16
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
17
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
18
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0
19
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
20
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
21
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
22
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
23
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1
24
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
25
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1
26
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
27
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1
28
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
29
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
30
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
33
# Iteration domain of statement 2.
35
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
36
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0
37
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
38
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
39
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
40
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
41
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
42
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
43
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
44
1 0 0 0 0 0 0 0 0 0 1 0 0 0 2
45
1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
46
1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
49
# Iteration domain of statement 3.
51
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
52
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0
53
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
54
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0
55
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
56
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
57
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
58
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
59
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
60
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
61
1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0
62
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
63
1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
64
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
67
# Iteration domain of statement 4.
69
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
70
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
71
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
72
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
73
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
74
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
75
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
76
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
77
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
78
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
79
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
80
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
81
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
82
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
83
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
84
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
87
# Iteration domain of statement 5.
89
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
90
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
91
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
92
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
93
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
94
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
95
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1
96
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
97
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
98
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
99
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
100
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
101
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
102
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1
103
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
104
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
105
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
108
# Iteration domain of statement 6.
110
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
111
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
112
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
113
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
114
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
115
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
116
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
117
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
118
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
119
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
120
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
121
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
122
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
123
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
124
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
125
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
128
# Iteration domain of statement 7.
130
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
131
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
132
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
133
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
134
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
135
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
136
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
137
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
138
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
139
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
140
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
141
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
142
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
143
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
144
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
145
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
148
# Iteration domain of statement 8.
150
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
151
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
152
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
153
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
154
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
155
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
156
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
157
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
158
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
159
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
160
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
161
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
162
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
163
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
164
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
165
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
168
# Iteration domain of statement 9.
170
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
171
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
172
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
173
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
174
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
175
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
176
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
177
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
178
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
179
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
180
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
181
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
182
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
183
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
184
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
185
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
188
# Iteration domain of statement 10.
190
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
191
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
192
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
193
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
194
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
195
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
196
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
197
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
198
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
199
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
200
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
201
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
202
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
203
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
204
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
205
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
208
# Iteration domain of statement 11.
210
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
211
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
212
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
213
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
214
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
215
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
216
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
217
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
218
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
219
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
220
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
221
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
222
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
223
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
224
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
225
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
228
# Iteration domain of statement 12.
230
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
231
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
232
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
233
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
234
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
235
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
236
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
237
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
238
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
239
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
240
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
241
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
242
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
243
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
244
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
245
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
248
# Iteration domain of statement 13.
250
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
251
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
252
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
253
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
254
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2
255
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
256
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
257
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
258
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
259
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
260
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
261
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
262
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
263
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
264
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
265
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
266
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
269
# Iteration domain of statement 14.
271
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
272
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
273
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
274
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
275
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
276
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
277
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
278
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
279
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
280
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
281
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
282
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
283
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
284
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
285
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
286
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
289
# Iteration domain of statement 15.
291
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
292
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
293
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
294
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
295
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
296
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
297
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
298
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
299
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
300
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
301
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
302
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
303
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
304
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
305
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
306
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
309
# Iteration domain of statement 16.
311
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
312
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
313
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
314
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
315
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
316
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
317
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
318
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
319
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
320
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
321
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
322
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
323
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
324
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
325
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
326
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
329
# Iteration domain of statement 17.
331
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
332
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
333
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
334
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
335
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
336
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
337
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
338
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
339
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
340
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
341
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
342
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
343
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
344
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
345
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
346
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
349
# Iteration domain of statement 18.
351
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
352
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
353
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
354
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
355
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
356
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
357
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
358
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
359
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
360
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
361
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
362
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
363
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
364
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
365
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
366
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
369
# Iteration domain of statement 19.
371
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
372
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
373
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
374
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
375
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
376
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
377
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
378
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
379
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
380
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
381
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
382
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
383
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
384
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
385
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
386
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
389
# Iteration domain of statement 20.
391
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
392
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
393
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
394
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
395
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
396
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
397
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
398
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
399
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
400
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
401
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
402
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
403
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
404
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
405
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
406
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
409
# Iteration domain of statement 21.
411
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
412
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
413
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
414
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
415
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
416
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
417
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
418
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
419
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
420
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
421
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
422
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
423
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
424
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
425
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
426
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
429
# Iteration domain of statement 22.
431
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
432
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
433
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
434
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
435
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
436
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
437
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
438
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
439
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
440
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
441
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
442
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
443
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
444
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
445
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
446
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
449
# Iteration domain of statement 23.
451
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
452
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
453
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
454
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
455
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
456
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
457
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -9
458
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
459
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
460
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
461
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
462
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
463
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
464
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
465
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
466
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
469
# Iteration domain of statement 24.
471
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
472
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
473
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
474
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
475
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
476
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
477
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -10
478
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
479
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
480
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
481
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
482
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
483
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
484
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
485
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
486
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
489
# Iteration domain of statement 25.
491
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
492
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
493
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
494
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
495
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
496
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
497
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -11
498
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
499
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
500
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
501
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
502
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
503
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
504
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
505
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
506
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
509
# Iteration domain of statement 26.
511
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
512
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
513
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
514
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
515
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
516
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
517
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -12
518
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
519
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
520
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
521
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
522
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
523
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
524
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
525
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
526
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
529
# Iteration domain of statement 27.
531
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
532
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
533
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
534
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
535
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
536
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
537
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -13
538
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
539
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
540
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
541
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
542
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
543
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
544
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
545
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
546
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
549
# Iteration domain of statement 28.
551
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
552
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
553
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
554
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
555
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
556
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
557
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
558
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
559
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
560
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
561
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
562
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
563
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
564
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
565
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
566
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
569
# Iteration domain of statement 29.
571
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
572
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
573
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
574
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
575
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
576
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
577
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
578
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
579
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
580
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
581
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
582
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
583
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
584
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
585
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
586
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
589
# Iteration domain of statement 30.
591
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
592
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
593
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
594
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
595
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
596
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
597
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
598
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
599
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
600
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
601
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
602
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
603
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
604
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
605
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
606
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
609
# Iteration domain of statement 31.
611
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
612
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
613
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
614
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
615
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
616
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
617
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
618
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
619
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
620
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
621
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
622
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
623
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
624
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
625
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
626
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
629
# Iteration domain of statement 32.
631
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
632
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
633
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
634
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
635
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
636
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
637
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
638
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
639
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
640
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
641
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
642
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
643
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
644
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
645
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
646
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
649
# Iteration domain of statement 33.
651
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
652
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
653
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
654
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
655
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
656
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
657
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
658
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
659
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
660
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
661
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
662
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
663
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
664
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
665
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
668
# Iteration domain of statement 34.
670
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
671
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
672
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
673
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
674
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
675
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
676
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
677
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
678
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
679
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
680
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
681
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
682
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
683
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
684
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
687
# Iteration domain of statement 35.
689
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
690
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
691
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
692
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
693
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -6
694
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
695
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
696
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
697
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
698
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
699
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
700
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
701
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
702
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4
703
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 -3
704
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
705
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
708
# Iteration domain of statement 36.
710
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
711
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
712
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
713
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
714
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
715
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
716
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
717
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
718
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
719
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
720
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
721
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
722
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
723
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
724
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
727
# Iteration domain of statement 37.
729
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
730
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
731
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
732
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
733
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
734
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
735
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
736
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
737
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
738
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
739
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
740
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
741
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
742
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
743
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
746
# Iteration domain of statement 38.
748
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -2
749
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0
750
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
751
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
752
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
753
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
754
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
755
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
756
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
757
1 0 0 0 0 0 0 0 0 0 1 0 0 0 2
758
1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
759
1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
762
# Iteration domain of statement 39.
764
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
765
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0
766
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
767
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0
768
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
769
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
770
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
771
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
772
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
773
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
774
1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0
775
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
776
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
777
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
780
# Iteration domain of statement 40.
782
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
783
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
784
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
785
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
786
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
787
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
788
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
789
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
790
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
791
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
792
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
793
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
794
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
795
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
796
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
797
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
800
# Iteration domain of statement 41.
802
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
803
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
804
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
805
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
806
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
807
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
808
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1
809
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
810
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
811
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
812
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
813
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
814
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
815
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1
816
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
817
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
818
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
821
# Iteration domain of statement 42.
823
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
824
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
825
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
826
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
827
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
828
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
829
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
830
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
831
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
832
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
833
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
834
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
835
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
836
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
837
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
838
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
841
# Iteration domain of statement 43.
843
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
844
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
845
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
846
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
847
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
848
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
849
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
850
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
851
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
852
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
853
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
854
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
855
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
856
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
857
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
858
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
861
# Iteration domain of statement 44.
863
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
864
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
865
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
866
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
867
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
868
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
869
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
870
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
871
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
872
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
873
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
874
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
875
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
876
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
877
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
878
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
881
# Iteration domain of statement 45.
883
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
884
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
885
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
886
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
887
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
888
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
889
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
890
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
891
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
892
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
893
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
894
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
895
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
896
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
897
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
898
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
901
# Iteration domain of statement 46.
903
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
904
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
905
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
906
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
907
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
908
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
909
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
910
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
911
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
912
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
913
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
914
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
915
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
916
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
917
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
918
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
921
# Iteration domain of statement 47.
923
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
924
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
925
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
926
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
927
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
928
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
929
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
930
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
931
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
932
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
933
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
934
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
935
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
936
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
937
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
938
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
941
# Iteration domain of statement 48.
943
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
944
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
945
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
946
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
947
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
948
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
949
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
950
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
951
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
952
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
953
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
954
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
955
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
956
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
957
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
958
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
961
# Iteration domain of statement 49.
963
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
964
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
965
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
966
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
967
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2
968
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
969
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
970
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
971
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
972
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
973
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
974
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
975
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
976
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
977
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
978
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
979
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
982
# Iteration domain of statement 50.
984
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
985
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
986
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
987
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
988
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
989
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
990
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
991
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
992
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
993
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
994
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
995
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
996
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
997
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
998
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
999
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1002
# Iteration domain of statement 51.
1004
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1005
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1006
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1007
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1008
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1009
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1010
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
1011
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1012
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1013
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1014
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1015
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1016
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1017
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1018
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1019
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1022
# Iteration domain of statement 52.
1024
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1025
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1026
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1027
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1028
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1029
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1030
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
1031
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1032
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1033
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1034
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1035
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1036
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1037
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1038
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1039
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1042
# Iteration domain of statement 53.
1044
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1045
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1046
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1047
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1048
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1049
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1050
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
1051
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1052
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1053
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1054
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1055
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1056
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1057
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1058
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1059
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1062
# Iteration domain of statement 54.
1064
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1065
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1066
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1067
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1068
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1069
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1070
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
1071
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1072
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1073
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1074
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1075
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1076
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1077
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1078
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1079
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1082
# Iteration domain of statement 55.
1084
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1085
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1086
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1087
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1088
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1089
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1090
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
1091
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1092
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1093
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1094
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1095
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1096
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1097
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1098
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1099
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1102
# Iteration domain of statement 56.
1104
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1105
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1106
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1107
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1108
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1109
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1110
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
1111
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1112
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1113
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1114
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1115
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1116
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1117
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1118
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1119
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1122
# Iteration domain of statement 57.
1124
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1125
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1126
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1127
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1128
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1129
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1130
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
1131
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1132
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1133
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1134
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1135
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1136
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1137
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1138
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1139
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1142
# Iteration domain of statement 58.
1144
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1145
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1146
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1147
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1148
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1149
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1150
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
1151
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1152
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1153
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1154
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1155
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1156
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1157
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1158
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1159
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1162
# Iteration domain of statement 59.
1164
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1165
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1166
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1167
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1168
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1169
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1170
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -9
1171
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1172
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1173
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1174
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1175
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1176
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1177
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1178
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1179
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1182
# Iteration domain of statement 60.
1184
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1185
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1186
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1187
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1188
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1189
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1190
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -10
1191
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1192
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1193
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1194
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1195
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1196
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1197
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1198
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1199
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1202
# Iteration domain of statement 61.
1204
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1205
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1206
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1207
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1208
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1209
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1210
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -11
1211
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1212
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1213
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1214
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1215
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1216
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1217
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1218
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1219
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1222
# Iteration domain of statement 62.
1224
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1225
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1226
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1227
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1228
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1229
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1230
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -12
1231
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1232
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1233
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1234
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1235
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1236
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1237
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1238
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1239
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1242
# Iteration domain of statement 63.
1244
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1245
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1246
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1247
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1248
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1249
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1250
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -13
1251
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1252
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1253
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1254
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1255
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1256
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1257
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1258
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1259
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1262
# Iteration domain of statement 64.
1264
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1265
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1266
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1267
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1268
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1269
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1270
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1271
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1272
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1273
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1274
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1275
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1276
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1277
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1278
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1279
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1282
# Iteration domain of statement 65.
1284
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1285
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1286
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1287
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1288
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1289
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1290
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
1291
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1292
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1293
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1294
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1295
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1296
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1297
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1298
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1299
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1302
# Iteration domain of statement 66.
1304
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1305
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1306
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1307
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1308
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1309
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1310
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
1311
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1312
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1313
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1314
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1315
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1316
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1317
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1318
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1319
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1322
# Iteration domain of statement 67.
1324
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1325
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1326
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1327
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1328
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1329
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1330
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
1331
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1332
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1333
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1334
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1335
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1336
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1337
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1338
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1339
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1342
# Iteration domain of statement 68.
1344
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1345
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1346
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1347
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1348
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1349
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1350
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
1351
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1352
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1353
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1354
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1355
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1356
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1357
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1358
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1359
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1362
# Iteration domain of statement 69.
1364
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1365
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1366
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1367
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1368
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
1369
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1370
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1371
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1372
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1373
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1374
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1375
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1376
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1377
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1378
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1381
# Iteration domain of statement 70.
1383
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1384
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1385
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1386
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1387
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
1388
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1389
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
1390
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1391
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1392
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1393
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1394
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1395
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1396
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1397
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1400
# Iteration domain of statement 71.
1402
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1403
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
1404
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
1405
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
1406
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -6
1407
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
1408
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1409
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
1410
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1411
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
1412
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0 0
1413
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1414
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
1415
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4
1416
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -3
1417
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1418
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1421
# Iteration domain of statement 72.
1423
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1424
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1425
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1426
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1427
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
1428
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1429
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1430
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1431
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1432
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1433
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1434
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1435
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1436
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1437
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1440
# Iteration domain of statement 73.
1442
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2
1443
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1444
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1445
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1446
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
1447
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1448
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
1449
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1450
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1451
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1452
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0
1453
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1454
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1455
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1456
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1459
# Iteration domain of statement 74.
1461
0 1 0 0 0 0 0 0 0 0 0 0 0 0 -3
1462
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0
1463
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
1464
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1465
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1466
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1467
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1468
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
1469
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0
1470
1 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1471
1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0
1472
1 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1475
# Iteration domain of statement 75.
1477
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1478
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0
1479
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
1480
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0
1481
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1482
0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1483
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1484
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1485
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
1486
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1487
1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0
1488
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1489
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0
1490
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1493
# Iteration domain of statement 76.
1495
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1496
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1497
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1498
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1499
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1500
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1501
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1502
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1503
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1504
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1505
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1506
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1507
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1508
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1509
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1510
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1513
# Iteration domain of statement 77.
1515
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1516
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
1517
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
1518
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
1519
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -1
1520
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
1521
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 -1
1522
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
1523
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1524
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
1525
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0
1526
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1527
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
1528
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1
1529
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0
1530
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1531
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1534
# Iteration domain of statement 78.
1536
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1537
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1538
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1539
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1540
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1541
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1542
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
1543
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1544
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1545
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1546
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1547
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1548
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1549
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1550
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1551
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1554
# Iteration domain of statement 79.
1556
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1557
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1558
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1559
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1560
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1561
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1562
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
1563
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1564
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1565
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1566
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1567
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1568
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1569
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1570
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1571
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1574
# Iteration domain of statement 80.
1576
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1577
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1578
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1579
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1580
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1581
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1582
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
1583
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1584
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1585
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1586
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1587
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1588
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1589
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1590
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1591
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1594
# Iteration domain of statement 81.
1596
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1597
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1598
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1599
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1600
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1601
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1602
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
1603
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1604
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1605
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1606
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1607
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1608
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1609
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1610
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1611
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1614
# Iteration domain of statement 82.
1616
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1617
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1618
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1619
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1620
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1621
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1622
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
1623
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1624
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1625
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1626
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1627
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1628
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1629
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1630
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1631
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1634
# Iteration domain of statement 83.
1636
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1637
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1638
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1639
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1640
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1641
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1642
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
1643
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1644
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1645
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1646
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1647
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1648
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1649
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1650
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1651
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1654
# Iteration domain of statement 84.
1656
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1657
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1658
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1659
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1660
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -1
1661
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1662
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
1663
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1664
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1665
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1666
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1667
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1668
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1669
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1670
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1671
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1674
# Iteration domain of statement 85.
1676
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1677
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
1678
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
1679
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
1680
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -2
1681
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
1682
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
1683
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
1684
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1685
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
1686
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0
1687
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1688
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
1689
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1690
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0
1691
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
1692
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
1695
# Iteration domain of statement 86.
1697
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1698
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1699
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1700
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1701
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1702
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1703
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1704
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1705
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1706
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1707
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1708
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1709
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1710
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1711
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1712
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1715
# Iteration domain of statement 87.
1717
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1718
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1719
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1720
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1721
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1722
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1723
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
1724
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1725
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1726
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1727
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1728
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1729
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1730
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1731
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1732
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1735
# Iteration domain of statement 88.
1737
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1738
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1739
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1740
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1741
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1742
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1743
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
1744
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1745
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1746
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1747
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1748
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1749
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1750
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1751
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1752
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1755
# Iteration domain of statement 89.
1757
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1758
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1759
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1760
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1761
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1762
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1763
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
1764
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1765
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1766
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1767
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1768
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1769
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1770
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1771
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1772
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1775
# Iteration domain of statement 90.
1777
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1778
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1779
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1780
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1781
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1782
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1783
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
1784
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1785
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1786
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1787
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1788
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1789
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1790
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1791
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1792
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1795
# Iteration domain of statement 91.
1797
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1798
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1799
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1800
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1801
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1802
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1803
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -5
1804
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1805
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1806
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1807
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1808
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1809
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1810
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1811
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1812
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1815
# Iteration domain of statement 92.
1817
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1818
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1819
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1820
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1821
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1822
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1823
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -6
1824
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1825
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1826
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1827
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1828
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1829
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1830
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1831
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1832
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1835
# Iteration domain of statement 93.
1837
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1838
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1839
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1840
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1841
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1842
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1843
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -7
1844
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1845
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1846
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1847
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1848
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1849
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1850
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1851
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1852
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1855
# Iteration domain of statement 94.
1857
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1858
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1859
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1860
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1861
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1862
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1863
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -8
1864
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1865
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1866
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1867
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1868
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1869
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1870
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1871
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1872
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1875
# Iteration domain of statement 95.
1877
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1878
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1879
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1880
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1881
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1882
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1883
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -9
1884
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1885
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1886
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1887
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1888
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1889
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1890
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1891
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1892
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1895
# Iteration domain of statement 96.
1897
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1898
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1899
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1900
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1901
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1902
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1903
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -10
1904
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1905
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1906
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1907
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1908
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1909
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1910
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1911
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1912
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1915
# Iteration domain of statement 97.
1917
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1918
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1919
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1920
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1921
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1922
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1923
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -11
1924
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1925
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1926
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1927
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1928
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1929
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1930
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1931
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1932
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1935
# Iteration domain of statement 98.
1937
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1938
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1939
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1940
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1941
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1942
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1943
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -12
1944
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1945
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1946
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1947
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1948
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1949
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1950
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1951
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1952
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1955
# Iteration domain of statement 99.
1957
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1958
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1959
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1960
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1961
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -3
1962
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1963
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -13
1964
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1965
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1966
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1967
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1968
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1969
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1970
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1971
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1972
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1975
# Iteration domain of statement 100.
1977
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1978
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1979
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
1980
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
1981
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
1982
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
1983
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
1984
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
1985
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
1986
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
1987
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
1988
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
1989
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
1990
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
1991
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
1992
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
1995
# Iteration domain of statement 101.
1997
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
1998
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
1999
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2000
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2001
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
2002
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2003
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
2004
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2005
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2006
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2007
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2008
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2009
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2010
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
2011
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
2012
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2015
# Iteration domain of statement 102.
2017
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2018
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2019
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2020
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2021
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
2022
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2023
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -2
2024
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2025
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2026
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2027
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2028
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2029
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2030
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
2031
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
2032
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2035
# Iteration domain of statement 103.
2037
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2038
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2039
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2040
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2041
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
2042
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2043
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -3
2044
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2045
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2046
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2047
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2048
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2049
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2050
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
2051
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
2052
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2055
# Iteration domain of statement 104.
2057
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2058
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2059
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2060
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2061
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -4
2062
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2063
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -4
2064
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2065
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2066
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2067
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2068
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2069
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2070
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2
2071
1 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0
2072
1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2075
# Iteration domain of statement 105.
2077
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2078
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2079
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2080
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2081
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
2082
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2083
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
2084
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2085
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2086
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2087
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2088
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2089
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2090
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
2091
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
2094
# Iteration domain of statement 106.
2096
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2097
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2098
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2099
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2100
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -5
2101
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2102
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
2103
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2104
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2105
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2106
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2107
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2108
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2109
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
2110
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
2113
# Iteration domain of statement 107.
2115
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2116
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0
2117
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
2118
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0 0
2119
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 -6
2120
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0 0
2121
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0
2122
0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0
2123
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2124
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2
2125
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0 0
2126
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2127
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 1 0
2128
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 4
2129
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -3
2130
1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
2131
1 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
2134
# Iteration domain of statement 108.
2136
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2137
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2138
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2139
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2140
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
2141
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2142
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
2143
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2144
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2145
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2146
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2147
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2148
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2149
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
2150
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
2153
# Iteration domain of statement 109.
2155
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3
2156
0 0 1 0 0 0 0 0 0 0 -1 0 0 0 0 0 0
2157
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1
2158
0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 0
2159
0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 -7
2160
0 0 0 0 0 0 1 0 0 0 0 0 -1 0 0 0 0
2161
0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 -1
2162
0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0
2163
0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0
2164
1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2
2165
1 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0 0
2166
1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2
2167
1 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 1 0
2168
1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1
2169
1 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 5
2172
# Iteration domain of statement 110.
2174
0 1 0 0 0 0 0 0 0 0 0 0 0 -4
2175
0 0 1 0 0 0 0 0 0 0 0 0 0 0
2176
0 0 0 1 0 0 0 0 0 0 0 0 0 0
2177
0 0 0 0 1 0 0 0 0 0 0 0 0 0
2178
0 0 0 0 0 1 0 0 0 0 0 0 0 0
2179
0 0 0 0 0 0 1 0 0 0 0 0 0 0
2180
0 0 0 0 0 0 0 1 0 0 0 0 0 0
2181
0 0 0 0 0 0 0 0 1 0 0 0 0 0
2182
0 0 0 0 0 0 0 0 0 1 0 0 0 0
2183
1 0 0 0 0 0 0 0 0 0 0 0 0 1