Clean checking system and add valcheck (check with Valgrind)
[candl.git] / tests / unitary / swim.c.orig.scop
blobe126880b44b408b30e26ca738b67c28c686c4926
1 [Clan] Info: parsing file #1 (./unitary/swim.c)
3 <OpenScop>
5 # =============================================== Global
6 # Language
9 # Context
10 CONTEXT
11 0 5 0 0 0 3
13 # Parameters are provided
15 <strings>
16 N3 M N
17 </strings>
19 # Number of statements
22 # =============================================== Statement 1
23 # Number of relations describing the statement:
26 # ----------------------------------------------  1.1 Domain
27 DOMAIN
28 3 6 1 0 0 3
29 # e/i|  t | N3    M    N |  1  
30    1    1    0    0    0    0    ## t >= 0
31    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
32    1    0    1    0    0   -1    ## N3-1 >= 0
34 # ----------------------------------------------  1.2 Scattering
35 SCATTERING
36 3 9 3 1 0 3
37 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
38    0   -1    0    0    0    0    0    0    0    ## c1 == 0
39    0    0   -1    0    1    0    0    0    0    ## c2 == t
40    0    0    0   -1    0    0    0    0    0    ## c3 == 0
42 # ----------------------------------------------  1.3 Access
43 WRITE
44 1 7 1 1 0 3
45 # e/i| Arr|  t | N3    M    N |  1  
46    0   -1    0    0    0    0    3    ## Arr == FSDX
48 READ
49 1 7 1 1 0 3
50 # e/i| Arr|  t | N3    M    N |  1  
51    0   -1    0    0    0    0    4    ## Arr == DX
53 # ----------------------------------------------  1.4 Statement Extensions
54 # Number of Statement Extensions
56 <body>
57 # Number of original iterators
59 # List of original iterators
61 # Statement body expression
62 FSDX = 4/DX;
63 </body>
65 # =============================================== Statement 2
66 # Number of relations describing the statement:
69 # ----------------------------------------------  2.1 Domain
70 DOMAIN
71 3 6 1 0 0 3
72 # e/i|  t | N3    M    N |  1  
73    1    1    0    0    0    0    ## t >= 0
74    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
75    1    0    1    0    0   -1    ## N3-1 >= 0
77 # ----------------------------------------------  2.2 Scattering
78 SCATTERING
79 3 9 3 1 0 3
80 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
81    0   -1    0    0    0    0    0    0    0    ## c1 == 0
82    0    0   -1    0    1    0    0    0    0    ## c2 == t
83    0    0    0   -1    0    0    0    0    1    ## c3 == 1
85 # ----------------------------------------------  2.3 Access
86 WRITE
87 1 7 1 1 0 3
88 # e/i| Arr|  t | N3    M    N |  1  
89    0   -1    0    0    0    0    5    ## Arr == FSDY
91 READ
92 1 7 1 1 0 3
93 # e/i| Arr|  t | N3    M    N |  1  
94    0   -1    0    0    0    0    6    ## Arr == DY
96 # ----------------------------------------------  2.4 Statement Extensions
97 # Number of Statement Extensions
99 <body>
100 # Number of original iterators
102 # List of original iterators
104 # Statement body expression
105 FSDY = 4/DY;
106 </body>
108 # =============================================== Statement 3
109 # Number of relations describing the statement:
112 # ----------------------------------------------  3.1 Domain
113 DOMAIN
114 9 8 3 0 0 3
115 # e/i|  t    i    j | N3    M    N |  1  
116    1    1    0    0    0    0    0    0    ## t >= 0
117    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
118    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
119    1    0    1    0    0    0    0    0    ## i >= 0
120    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
121    1    0    0    0    0    1    0   -1    ## M-1 >= 0
122    1    0    0    1    0    0    0    0    ## j >= 0
123    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
124    1    0    0    0    0    0    1   -1    ## N-1 >= 0
126 # ----------------------------------------------  3.2 Scattering
127 SCATTERING
128 7 15 7 3 0 3
129 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
130    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
131    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
132    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
133    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
134    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
135    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
136    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
138 # ----------------------------------------------  3.3 Access
139 WRITE
140 3 11 3 3 0 3
141 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
142    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
143    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
144    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
146 READ
147 3 11 3 3 0 3
148 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
149    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
150    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
151    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
153 READ
154 3 11 3 3 0 3
155 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
156    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
157    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
158    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
160 READ
161 3 11 3 3 0 3
162 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
163    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
164    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
165    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
167 # ----------------------------------------------  3.4 Statement Extensions
168 # Number of Statement Extensions
170 <body>
171 # Number of original iterators
173 # List of original iterators
174 t i j
175 # Statement body expression
176 CU[i+1][j] = 0.5*(P[i+1][j]+P[i][j])*U[i+1][j];
177 </body>
179 # =============================================== Statement 4
180 # Number of relations describing the statement:
183 # ----------------------------------------------  4.1 Domain
184 DOMAIN
185 9 8 3 0 0 3
186 # e/i|  t    i    j | N3    M    N |  1  
187    1    1    0    0    0    0    0    0    ## t >= 0
188    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
189    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
190    1    0    1    0    0    0    0    0    ## i >= 0
191    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
192    1    0    0    0    0    1    0   -1    ## M-1 >= 0
193    1    0    0    1    0    0    0    0    ## j >= 0
194    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
195    1    0    0    0    0    0    1   -1    ## N-1 >= 0
197 # ----------------------------------------------  4.2 Scattering
198 SCATTERING
199 7 15 7 3 0 3
200 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
201    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
202    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
203    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
204    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
205    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
206    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
207    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
209 # ----------------------------------------------  4.3 Access
210 WRITE
211 3 11 3 3 0 3
212 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
213    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
214    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
215    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
217 READ
218 3 11 3 3 0 3
219 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
220    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
221    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
222    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
224 READ
225 3 11 3 3 0 3
226 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
227    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
228    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
229    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
231 READ
232 3 11 3 3 0 3
233 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
234    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
235    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
236    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
238 # ----------------------------------------------  4.4 Statement Extensions
239 # Number of Statement Extensions
241 <body>
242 # Number of original iterators
244 # List of original iterators
245 t i j
246 # Statement body expression
247 CV[i][j+1] = 0.5*(P[i][j+1]+P[i][j])*V[i][j+1];
248 </body>
250 # =============================================== Statement 5
251 # Number of relations describing the statement:
254 # ----------------------------------------------  5.1 Domain
255 DOMAIN
256 9 8 3 0 0 3
257 # e/i|  t    i    j | N3    M    N |  1  
258    1    1    0    0    0    0    0    0    ## t >= 0
259    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
260    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
261    1    0    1    0    0    0    0    0    ## i >= 0
262    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
263    1    0    0    0    0    1    0   -1    ## M-1 >= 0
264    1    0    0    1    0    0    0    0    ## j >= 0
265    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
266    1    0    0    0    0    0    1   -1    ## N-1 >= 0
268 # ----------------------------------------------  5.2 Scattering
269 SCATTERING
270 7 15 7 3 0 3
271 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
272    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
273    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
274    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
275    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
276    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
277    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
278    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
280 # ----------------------------------------------  5.3 Access
281 WRITE
282 3 11 3 3 0 3
283 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
284    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
285    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
286    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
288 READ
289 1 9 1 3 0 3
290 # e/i| Arr|  t    i    j | N3    M    N |  1  
291    0   -1    0    0    0    0    0    0    3    ## Arr == FSDX
293 READ
294 3 11 3 3 0 3
295 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
296    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
297    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
298    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
300 READ
301 3 11 3 3 0 3
302 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
303    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
304    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
305    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
307 READ
308 1 9 1 3 0 3
309 # e/i| Arr|  t    i    j | N3    M    N |  1  
310    0   -1    0    0    0    0    0    0    5    ## Arr == FSDY
312 READ
313 3 11 3 3 0 3
314 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
315    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
316    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
317    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
319 READ
320 3 11 3 3 0 3
321 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
322    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
323    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
324    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
326 READ
327 3 11 3 3 0 3
328 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
329    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
330    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
331    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
333 READ
334 3 11 3 3 0 3
335 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
336    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
337    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
338    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
340 READ
341 3 11 3 3 0 3
342 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
343    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
344    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
345    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
347 READ
348 3 11 3 3 0 3
349 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
350    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
351    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
352    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
354 # ----------------------------------------------  5.4 Statement Extensions
355 # Number of Statement Extensions
357 <body>
358 # Number of original iterators
360 # List of original iterators
361 t i j
362 # Statement body expression
363 Z[i+1][j+1] = (FSDX*(V[i+1][j+1]-V[i][j+1])-FSDY*(U[i+1][j+1] -U[i+1][j]))/(P[i][j]+P[i+1][j]+P[i+1][j+1]+P[i][j+1]);
364 </body>
366 # =============================================== Statement 6
367 # Number of relations describing the statement:
370 # ----------------------------------------------  6.1 Domain
371 DOMAIN
372 9 8 3 0 0 3
373 # e/i|  t    i    j | N3    M    N |  1  
374    1    1    0    0    0    0    0    0    ## t >= 0
375    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
376    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
377    1    0    1    0    0    0    0    0    ## i >= 0
378    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
379    1    0    0    0    0    1    0   -1    ## M-1 >= 0
380    1    0    0    1    0    0    0    0    ## j >= 0
381    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
382    1    0    0    0    0    0    1   -1    ## N-1 >= 0
384 # ----------------------------------------------  6.2 Scattering
385 SCATTERING
386 7 15 7 3 0 3
387 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
388    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
389    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
390    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
391    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
392    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
393    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
394    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    3    ## c7 == 3
396 # ----------------------------------------------  6.3 Access
397 WRITE
398 3 11 3 3 0 3
399 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
400    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
401    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
402    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
404 READ
405 3 11 3 3 0 3
406 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
407    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
408    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
409    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
411 READ
412 3 11 3 3 0 3
413 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
414    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
415    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
416    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
418 READ
419 3 11 3 3 0 3
420 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
421    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
422    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
423    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
425 READ
426 3 11 3 3 0 3
427 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
428    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
429    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
430    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
432 READ
433 3 11 3 3 0 3
434 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
435    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
436    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
437    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
439 READ
440 3 11 3 3 0 3
441 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
442    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
443    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
444    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
446 READ
447 3 11 3 3 0 3
448 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
449    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
450    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
451    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
453 READ
454 3 11 3 3 0 3
455 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
456    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
457    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
458    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
460 READ
461 3 11 3 3 0 3
462 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
463    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
464    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
465    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
467 # ----------------------------------------------  6.4 Statement Extensions
468 # Number of Statement Extensions
470 <body>
471 # Number of original iterators
473 # List of original iterators
474 t i j
475 # Statement body expression
476 H[i][j] = P[i][j]+0.25*(U[i+1][j]*U[i+1][j]+U[i][j]*U[i][j] +V[i][j+1]*V[i][j+1]+V[i][j]*V[i][j]);
477 </body>
479 # =============================================== Statement 7
480 # Number of relations describing the statement:
483 # ----------------------------------------------  7.1 Domain
484 DOMAIN
485 6 7 2 0 0 3
486 # e/i|  t    j | N3    M    N |  1  
487    1    1    0    0    0    0    0    ## t >= 0
488    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
489    1    0    0    1    0    0   -1    ## N3-1 >= 0
490    1    0    1    0    0    0    0    ## j >= 0
491    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
492    1    0    0    0    0    1   -1    ## N-1 >= 0
494 # ----------------------------------------------  7.2 Scattering
495 SCATTERING
496 5 12 5 2 0 3
497 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
498    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
499    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
500    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
501    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
502    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
504 # ----------------------------------------------  7.3 Access
505 WRITE
506 3 10 3 2 0 3
507 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
508    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
509    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
510    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
512 READ
513 3 10 3 2 0 3
514 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
515    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
516    0    0   -1    0    0    0    0    1    0    1    ## [1] == M+1
517    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
519 # ----------------------------------------------  7.4 Statement Extensions
520 # Number of Statement Extensions
522 <body>
523 # Number of original iterators
525 # List of original iterators
526 t j
527 # Statement body expression
528 CU[0][j] = CU[M+1][j];
529 </body>
531 # =============================================== Statement 8
532 # Number of relations describing the statement:
535 # ----------------------------------------------  8.1 Domain
536 DOMAIN
537 6 7 2 0 0 3
538 # e/i|  t    j | N3    M    N |  1  
539    1    1    0    0    0    0    0    ## t >= 0
540    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
541    1    0    0    1    0    0   -1    ## N3-1 >= 0
542    1    0    1    0    0    0    0    ## j >= 0
543    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
544    1    0    0    0    0    1   -1    ## N-1 >= 0
546 # ----------------------------------------------  8.2 Scattering
547 SCATTERING
548 5 12 5 2 0 3
549 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
550    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
551    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
552    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
553    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
554    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
556 # ----------------------------------------------  8.3 Access
557 WRITE
558 3 10 3 2 0 3
559 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
560    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
561    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
562    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
564 READ
565 3 10 3 2 0 3
566 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
567    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
568    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
569    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
571 # ----------------------------------------------  8.4 Statement Extensions
572 # Number of Statement Extensions
574 <body>
575 # Number of original iterators
577 # List of original iterators
578 t j
579 # Statement body expression
580 CV[M][j+1] = CV[0][j+1];
581 </body>
583 # =============================================== Statement 9
584 # Number of relations describing the statement:
587 # ----------------------------------------------  9.1 Domain
588 DOMAIN
589 6 7 2 0 0 3
590 # e/i|  t    j | N3    M    N |  1  
591    1    1    0    0    0    0    0    ## t >= 0
592    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
593    1    0    0    1    0    0   -1    ## N3-1 >= 0
594    1    0    1    0    0    0    0    ## j >= 0
595    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
596    1    0    0    0    0    1   -1    ## N-1 >= 0
598 # ----------------------------------------------  9.2 Scattering
599 SCATTERING
600 5 12 5 2 0 3
601 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
602    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
603    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
604    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
605    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
606    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
608 # ----------------------------------------------  9.3 Access
609 WRITE
610 3 10 3 2 0 3
611 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
612    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
613    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
614    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
616 READ
617 3 10 3 2 0 3
618 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
619    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
620    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
621    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
623 # ----------------------------------------------  9.4 Statement Extensions
624 # Number of Statement Extensions
626 <body>
627 # Number of original iterators
629 # List of original iterators
630 t j
631 # Statement body expression
632 Z[0][j+1] = Z[M][j+1];
633 </body>
635 # =============================================== Statement 10
636 # Number of relations describing the statement:
639 # ---------------------------------------------- 10.1 Domain
640 DOMAIN
641 6 7 2 0 0 3
642 # e/i|  t    j | N3    M    N |  1  
643    1    1    0    0    0    0    0    ## t >= 0
644    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
645    1    0    0    1    0    0   -1    ## N3-1 >= 0
646    1    0    1    0    0    0    0    ## j >= 0
647    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
648    1    0    0    0    0    1   -1    ## N-1 >= 0
650 # ---------------------------------------------- 10.2 Scattering
651 SCATTERING
652 5 12 5 2 0 3
653 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
654    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
655    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
656    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
657    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
658    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
660 # ---------------------------------------------- 10.3 Access
661 WRITE
662 3 10 3 2 0 3
663 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
664    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
665    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
666    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
668 READ
669 3 10 3 2 0 3
670 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
671    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
672    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
673    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
675 # ---------------------------------------------- 10.4 Statement Extensions
676 # Number of Statement Extensions
678 <body>
679 # Number of original iterators
681 # List of original iterators
682 t j
683 # Statement body expression
684 H[M][j] = H[0][j];
685 </body>
687 # =============================================== Statement 11
688 # Number of relations describing the statement:
691 # ---------------------------------------------- 11.1 Domain
692 DOMAIN
693 6 7 2 0 0 3
694 # e/i|  t    i | N3    M    N |  1  
695    1    1    0    0    0    0    0    ## t >= 0
696    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
697    1    0    0    1    0    0   -1    ## N3-1 >= 0
698    1    0    1    0    0    0    0    ## i >= 0
699    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
700    1    0    0    0    1    0   -1    ## M-1 >= 0
702 # ---------------------------------------------- 11.2 Scattering
703 SCATTERING
704 5 12 5 2 0 3
705 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
706    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
707    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
708    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
709    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
710    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
712 # ---------------------------------------------- 11.3 Access
713 WRITE
714 3 10 3 2 0 3
715 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
716    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
717    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
718    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
720 READ
721 3 10 3 2 0 3
722 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
723    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
724    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
725    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
727 # ---------------------------------------------- 11.4 Statement Extensions
728 # Number of Statement Extensions
730 <body>
731 # Number of original iterators
733 # List of original iterators
734 t i
735 # Statement body expression
736 CU[i+1][N] = CU[i+1][0];
737 </body>
739 # =============================================== Statement 12
740 # Number of relations describing the statement:
743 # ---------------------------------------------- 12.1 Domain
744 DOMAIN
745 6 7 2 0 0 3
746 # e/i|  t    i | N3    M    N |  1  
747    1    1    0    0    0    0    0    ## t >= 0
748    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
749    1    0    0    1    0    0   -1    ## N3-1 >= 0
750    1    0    1    0    0    0    0    ## i >= 0
751    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
752    1    0    0    0    1    0   -1    ## M-1 >= 0
754 # ---------------------------------------------- 12.2 Scattering
755 SCATTERING
756 5 12 5 2 0 3
757 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
758    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
759    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
760    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
761    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
762    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
764 # ---------------------------------------------- 12.3 Access
765 WRITE
766 3 10 3 2 0 3
767 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
768    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
769    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
770    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
772 READ
773 3 10 3 2 0 3
774 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
775    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
776    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
777    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
779 # ---------------------------------------------- 12.4 Statement Extensions
780 # Number of Statement Extensions
782 <body>
783 # Number of original iterators
785 # List of original iterators
786 t i
787 # Statement body expression
788 CV[i][0] = CV[i][N];
789 </body>
791 # =============================================== Statement 13
792 # Number of relations describing the statement:
795 # ---------------------------------------------- 13.1 Domain
796 DOMAIN
797 6 7 2 0 0 3
798 # e/i|  t    i | N3    M    N |  1  
799    1    1    0    0    0    0    0    ## t >= 0
800    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
801    1    0    0    1    0    0   -1    ## N3-1 >= 0
802    1    0    1    0    0    0    0    ## i >= 0
803    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
804    1    0    0    0    1    0   -1    ## M-1 >= 0
806 # ---------------------------------------------- 13.2 Scattering
807 SCATTERING
808 5 12 5 2 0 3
809 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
810    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
811    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
812    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
813    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
814    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
816 # ---------------------------------------------- 13.3 Access
817 WRITE
818 3 10 3 2 0 3
819 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
820    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
821    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
822    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
824 READ
825 3 10 3 2 0 3
826 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
827    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
828    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
829    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
831 # ---------------------------------------------- 13.4 Statement Extensions
832 # Number of Statement Extensions
834 <body>
835 # Number of original iterators
837 # List of original iterators
838 t i
839 # Statement body expression
840 Z[i+1][0] = Z[i+1][N];
841 </body>
843 # =============================================== Statement 14
844 # Number of relations describing the statement:
847 # ---------------------------------------------- 14.1 Domain
848 DOMAIN
849 6 7 2 0 0 3
850 # e/i|  t    i | N3    M    N |  1  
851    1    1    0    0    0    0    0    ## t >= 0
852    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
853    1    0    0    1    0    0   -1    ## N3-1 >= 0
854    1    0    1    0    0    0    0    ## i >= 0
855    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
856    1    0    0    0    1    0   -1    ## M-1 >= 0
858 # ---------------------------------------------- 14.2 Scattering
859 SCATTERING
860 5 12 5 2 0 3
861 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
862    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
863    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
864    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
865    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
866    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
868 # ---------------------------------------------- 14.3 Access
869 WRITE
870 3 10 3 2 0 3
871 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
872    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
873    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
874    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
876 READ
877 3 10 3 2 0 3
878 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
879    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
880    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
881    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
883 # ---------------------------------------------- 14.4 Statement Extensions
884 # Number of Statement Extensions
886 <body>
887 # Number of original iterators
889 # List of original iterators
890 t i
891 # Statement body expression
892 H[i][N] = H[i][0];
893 </body>
895 # =============================================== Statement 15
896 # Number of relations describing the statement:
899 # ---------------------------------------------- 15.1 Domain
900 DOMAIN
901 3 6 1 0 0 3
902 # e/i|  t | N3    M    N |  1  
903    1    1    0    0    0    0    ## t >= 0
904    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
905    1    0    1    0    0   -1    ## N3-1 >= 0
907 # ---------------------------------------------- 15.2 Scattering
908 SCATTERING
909 3 9 3 1 0 3
910 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
911    0   -1    0    0    0    0    0    0    0    ## c1 == 0
912    0    0   -1    0    1    0    0    0    0    ## c2 == t
913    0    0    0   -1    0    0    0    0    5    ## c3 == 5
915 # ---------------------------------------------- 15.3 Access
916 WRITE
917 3 9 3 1 0 3
918 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
919    0   -1    0    0    0    0    0    0   11    ## Arr == CU
920    0    0   -1    0    0    0    0    0    0    ## [1] == 0
921    0    0    0   -1    0    0    0    1    0    ## [2] == N
923 READ
924 3 9 3 1 0 3
925 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
926    0   -1    0    0    0    0    0    0   11    ## Arr == CU
927    0    0   -1    0    0    0    1    0    0    ## [1] == M
928    0    0    0   -1    0    0    0    0    0    ## [2] == 0
930 # ---------------------------------------------- 15.4 Statement Extensions
931 # Number of Statement Extensions
933 <body>
934 # Number of original iterators
936 # List of original iterators
938 # Statement body expression
939 CU[0][N] = CU[M][0];
940 </body>
942 # =============================================== Statement 16
943 # Number of relations describing the statement:
946 # ---------------------------------------------- 16.1 Domain
947 DOMAIN
948 3 6 1 0 0 3
949 # e/i|  t | N3    M    N |  1  
950    1    1    0    0    0    0    ## t >= 0
951    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
952    1    0    1    0    0   -1    ## N3-1 >= 0
954 # ---------------------------------------------- 16.2 Scattering
955 SCATTERING
956 3 9 3 1 0 3
957 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
958    0   -1    0    0    0    0    0    0    0    ## c1 == 0
959    0    0   -1    0    1    0    0    0    0    ## c2 == t
960    0    0    0   -1    0    0    0    0    6    ## c3 == 6
962 # ---------------------------------------------- 16.3 Access
963 WRITE
964 3 9 3 1 0 3
965 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
966    0   -1    0    0    0    0    0    0   14    ## Arr == CV
967    0    0   -1    0    0    0    1    0    0    ## [1] == M
968    0    0    0   -1    0    0    0    0    0    ## [2] == 0
970 READ
971 3 9 3 1 0 3
972 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
973    0   -1    0    0    0    0    0    0   14    ## Arr == CV
974    0    0   -1    0    0    0    0    0    0    ## [1] == 0
975    0    0    0   -1    0    0    0    1    0    ## [2] == N
977 # ---------------------------------------------- 16.4 Statement Extensions
978 # Number of Statement Extensions
980 <body>
981 # Number of original iterators
983 # List of original iterators
985 # Statement body expression
986 CV[M][0] = CV[0][N];
987 </body>
989 # =============================================== Statement 17
990 # Number of relations describing the statement:
993 # ---------------------------------------------- 17.1 Domain
994 DOMAIN
995 3 6 1 0 0 3
996 # e/i|  t | N3    M    N |  1  
997    1    1    0    0    0    0    ## t >= 0
998    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
999    1    0    1    0    0   -1    ## N3-1 >= 0
1001 # ---------------------------------------------- 17.2 Scattering
1002 SCATTERING
1003 3 9 3 1 0 3
1004 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1005    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1006    0    0   -1    0    1    0    0    0    0    ## c2 == t
1007    0    0    0   -1    0    0    0    0    7    ## c3 == 7
1009 # ---------------------------------------------- 17.3 Access
1010 WRITE
1011 3 9 3 1 0 3
1012 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1013    0   -1    0    0    0    0    0    0   16    ## Arr == Z
1014    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1015    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1017 READ
1018 3 9 3 1 0 3
1019 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1020    0   -1    0    0    0    0    0    0   16    ## Arr == Z
1021    0    0   -1    0    0    0    1    0    0    ## [1] == M
1022    0    0    0   -1    0    0    0    1    0    ## [2] == N
1024 # ---------------------------------------------- 17.4 Statement Extensions
1025 # Number of Statement Extensions
1027 <body>
1028 # Number of original iterators
1030 # List of original iterators
1032 # Statement body expression
1033 Z[0][0] = Z[M][N];
1034 </body>
1036 # =============================================== Statement 18
1037 # Number of relations describing the statement:
1040 # ---------------------------------------------- 18.1 Domain
1041 DOMAIN
1042 3 6 1 0 0 3
1043 # e/i|  t | N3    M    N |  1  
1044    1    1    0    0    0    0    ## t >= 0
1045    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1046    1    0    1    0    0   -1    ## N3-1 >= 0
1048 # ---------------------------------------------- 18.2 Scattering
1049 SCATTERING
1050 3 9 3 1 0 3
1051 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1052    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1053    0    0   -1    0    1    0    0    0    0    ## c2 == t
1054    0    0    0   -1    0    0    0    0    8    ## c3 == 8
1056 # ---------------------------------------------- 18.3 Access
1057 WRITE
1058 3 9 3 1 0 3
1059 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1060    0   -1    0    0    0    0    0    0   17    ## Arr == H
1061    0    0   -1    0    0    0    1    0    0    ## [1] == M
1062    0    0    0   -1    0    0    0    1    0    ## [2] == N
1064 READ
1065 3 9 3 1 0 3
1066 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1067    0   -1    0    0    0    0    0    0   17    ## Arr == H
1068    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1069    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1071 # ---------------------------------------------- 18.4 Statement Extensions
1072 # Number of Statement Extensions
1074 <body>
1075 # Number of original iterators
1077 # List of original iterators
1079 # Statement body expression
1080 H[M][N] = H[0][0];
1081 </body>
1083 # =============================================== Statement 19
1084 # Number of relations describing the statement:
1087 # ---------------------------------------------- 19.1 Domain
1088 DOMAIN
1089 3 6 1 0 0 3
1090 # e/i|  t | N3    M    N |  1  
1091    1    1    0    0    0    0    ## t >= 0
1092    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1093    1    0    1    0    0   -1    ## N3-1 >= 0
1095 # ---------------------------------------------- 19.2 Scattering
1096 SCATTERING
1097 3 9 3 1 0 3
1098 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1099    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1100    0    0   -1    0    1    0    0    0    0    ## c2 == t
1101    0    0    0   -1    0    0    0    0    9    ## c3 == 9
1103 # ---------------------------------------------- 19.3 Access
1104 WRITE
1105 1 7 1 1 0 3
1106 # e/i| Arr|  t | N3    M    N |  1  
1107    0   -1    0    0    0    0   18    ## Arr == TDTS8
1109 READ
1110 1 7 1 1 0 3
1111 # e/i| Arr|  t | N3    M    N |  1  
1112    0   -1    0    0    0    0   19    ## Arr == TDT
1114 # ---------------------------------------------- 19.4 Statement Extensions
1115 # Number of Statement Extensions
1117 <body>
1118 # Number of original iterators
1120 # List of original iterators
1122 # Statement body expression
1123 TDTS8 = TDT/8;
1124 </body>
1126 # =============================================== Statement 20
1127 # Number of relations describing the statement:
1130 # ---------------------------------------------- 20.1 Domain
1131 DOMAIN
1132 3 6 1 0 0 3
1133 # e/i|  t | N3    M    N |  1  
1134    1    1    0    0    0    0    ## t >= 0
1135    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1136    1    0    1    0    0   -1    ## N3-1 >= 0
1138 # ---------------------------------------------- 20.2 Scattering
1139 SCATTERING
1140 3 9 3 1 0 3
1141 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1142    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1143    0    0   -1    0    1    0    0    0    0    ## c2 == t
1144    0    0    0   -1    0    0    0    0   10    ## c3 == 10
1146 # ---------------------------------------------- 20.3 Access
1147 WRITE
1148 1 7 1 1 0 3
1149 # e/i| Arr|  t | N3    M    N |  1  
1150    0   -1    0    0    0    0   20    ## Arr == TDTSDX
1152 READ
1153 1 7 1 1 0 3
1154 # e/i| Arr|  t | N3    M    N |  1  
1155    0   -1    0    0    0    0   19    ## Arr == TDT
1157 READ
1158 1 7 1 1 0 3
1159 # e/i| Arr|  t | N3    M    N |  1  
1160    0   -1    0    0    0    0    4    ## Arr == DX
1162 # ---------------------------------------------- 20.4 Statement Extensions
1163 # Number of Statement Extensions
1165 <body>
1166 # Number of original iterators
1168 # List of original iterators
1170 # Statement body expression
1171 TDTSDX = TDT/DX;
1172 </body>
1174 # =============================================== Statement 21
1175 # Number of relations describing the statement:
1178 # ---------------------------------------------- 21.1 Domain
1179 DOMAIN
1180 3 6 1 0 0 3
1181 # e/i|  t | N3    M    N |  1  
1182    1    1    0    0    0    0    ## t >= 0
1183    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1184    1    0    1    0    0   -1    ## N3-1 >= 0
1186 # ---------------------------------------------- 21.2 Scattering
1187 SCATTERING
1188 3 9 3 1 0 3
1189 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1190    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1191    0    0   -1    0    1    0    0    0    0    ## c2 == t
1192    0    0    0   -1    0    0    0    0   11    ## c3 == 11
1194 # ---------------------------------------------- 21.3 Access
1195 WRITE
1196 1 7 1 1 0 3
1197 # e/i| Arr|  t | N3    M    N |  1  
1198    0   -1    0    0    0    0   21    ## Arr == TDTSDY
1200 READ
1201 1 7 1 1 0 3
1202 # e/i| Arr|  t | N3    M    N |  1  
1203    0   -1    0    0    0    0   19    ## Arr == TDT
1205 READ
1206 1 7 1 1 0 3
1207 # e/i| Arr|  t | N3    M    N |  1  
1208    0   -1    0    0    0    0    6    ## Arr == DY
1210 # ---------------------------------------------- 21.4 Statement Extensions
1211 # Number of Statement Extensions
1213 <body>
1214 # Number of original iterators
1216 # List of original iterators
1218 # Statement body expression
1219 TDTSDY = TDT/DY;
1220 </body>
1222 # =============================================== Statement 22
1223 # Number of relations describing the statement:
1226 # ---------------------------------------------- 22.1 Domain
1227 DOMAIN
1228 9 8 3 0 0 3
1229 # e/i|  t    i    j | N3    M    N |  1  
1230    1    1    0    0    0    0    0    0    ## t >= 0
1231    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1232    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1233    1    0    1    0    0    0    0    0    ## i >= 0
1234    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1235    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1236    1    0    0    1    0    0    0    0    ## j >= 0
1237    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1238    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1240 # ---------------------------------------------- 22.2 Scattering
1241 SCATTERING
1242 7 15 7 3 0 3
1243 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1244    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1245    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1246    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1247    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1248    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1249    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1250    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
1252 # ---------------------------------------------- 22.3 Access
1253 WRITE
1254 3 11 3 3 0 3
1255 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1256    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
1257    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1258    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1260 READ
1261 3 11 3 3 0 3
1262 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1263    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
1264    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1265    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1267 READ
1268 1 9 1 3 0 3
1269 # e/i| Arr|  t    i    j | N3    M    N |  1  
1270    0   -1    0    0    0    0    0    0   18    ## Arr == TDTS8
1272 READ
1273 3 11 3 3 0 3
1274 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1275    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1276    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1277    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1279 READ
1280 3 11 3 3 0 3
1281 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1282    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1283    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1284    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1286 READ
1287 3 11 3 3 0 3
1288 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1289    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1290    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1291    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1293 READ
1294 3 11 3 3 0 3
1295 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1296    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1297    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1298    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1300 READ
1301 3 11 3 3 0 3
1302 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1303    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1304    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1305    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1307 READ
1308 3 11 3 3 0 3
1309 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1310    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1311    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1312    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1314 READ
1315 1 9 1 3 0 3
1316 # e/i| Arr|  t    i    j | N3    M    N |  1  
1317    0   -1    0    0    0    0    0    0   20    ## Arr == TDTSDX
1319 READ
1320 3 11 3 3 0 3
1321 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1322    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1323    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1324    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1326 READ
1327 3 11 3 3 0 3
1328 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1329    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1330    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1331    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1333 # ---------------------------------------------- 22.4 Statement Extensions
1334 # Number of Statement Extensions
1336 <body>
1337 # Number of original iterators
1339 # List of original iterators
1340 t i j
1341 # Statement body expression
1342 UNEW[i+1][j] = UOLD[i+1][j]+ TDTS8*(Z[i+1][j+1]+Z[i+1][j])*(CV[i+1][j+1]+CV[i][j+1]+CV[i][j] +CV[i+1][j])-TDTSDX*(H[i+1][j]-H[i][j]);
1343 </body>
1345 # =============================================== Statement 23
1346 # Number of relations describing the statement:
1349 # ---------------------------------------------- 23.1 Domain
1350 DOMAIN
1351 9 8 3 0 0 3
1352 # e/i|  t    i    j | N3    M    N |  1  
1353    1    1    0    0    0    0    0    0    ## t >= 0
1354    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1355    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1356    1    0    1    0    0    0    0    0    ## i >= 0
1357    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1358    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1359    1    0    0    1    0    0    0    0    ## j >= 0
1360    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1361    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1363 # ---------------------------------------------- 23.2 Scattering
1364 SCATTERING
1365 7 15 7 3 0 3
1366 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1367    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1368    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1369    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1370    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1371    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1372    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1373    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
1375 # ---------------------------------------------- 23.3 Access
1376 WRITE
1377 3 11 3 3 0 3
1378 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1379    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
1380    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1381    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1383 READ
1384 3 11 3 3 0 3
1385 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1386    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
1387    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1388    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1390 READ
1391 1 9 1 3 0 3
1392 # e/i| Arr|  t    i    j | N3    M    N |  1  
1393    0   -1    0    0    0    0    0    0   18    ## Arr == TDTS8
1395 READ
1396 3 11 3 3 0 3
1397 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1398    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1399    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1400    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1402 READ
1403 3 11 3 3 0 3
1404 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1405    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1406    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1407    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1409 READ
1410 3 11 3 3 0 3
1411 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1412    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1413    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1414    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1416 READ
1417 3 11 3 3 0 3
1418 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1419    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1420    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1421    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1423 READ
1424 3 11 3 3 0 3
1425 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1426    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1427    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1428    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1430 READ
1431 3 11 3 3 0 3
1432 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1433    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1434    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1435    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1437 READ
1438 1 9 1 3 0 3
1439 # e/i| Arr|  t    i    j | N3    M    N |  1  
1440    0   -1    0    0    0    0    0    0   21    ## Arr == TDTSDY
1442 READ
1443 3 11 3 3 0 3
1444 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1445    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1446    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1447    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1449 READ
1450 3 11 3 3 0 3
1451 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1452    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1453    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1454    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1456 # ---------------------------------------------- 23.4 Statement Extensions
1457 # Number of Statement Extensions
1459 <body>
1460 # Number of original iterators
1462 # List of original iterators
1463 t i j
1464 # Statement body expression
1465 VNEW[i][j+1] = VOLD[i][j+1]-TDTS8*(Z[i+1][j+1]+Z[i][j+1]) *(CU[i+1][j+1]+CU[i][j+1]+CU[i][j]+CU[i+1][j]) -TDTSDY*(H[i][j+1]-H[i][j]);
1466 </body>
1468 # =============================================== Statement 24
1469 # Number of relations describing the statement:
1472 # ---------------------------------------------- 24.1 Domain
1473 DOMAIN
1474 9 8 3 0 0 3
1475 # e/i|  t    i    j | N3    M    N |  1  
1476    1    1    0    0    0    0    0    0    ## t >= 0
1477    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1478    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1479    1    0    1    0    0    0    0    0    ## i >= 0
1480    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1481    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1482    1    0    0    1    0    0    0    0    ## j >= 0
1483    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1484    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1486 # ---------------------------------------------- 24.2 Scattering
1487 SCATTERING
1488 7 15 7 3 0 3
1489 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1490    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1491    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1492    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1493    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1494    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1495    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1496    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
1498 # ---------------------------------------------- 24.3 Access
1499 WRITE
1500 3 11 3 3 0 3
1501 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1502    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
1503    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1504    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1506 READ
1507 3 11 3 3 0 3
1508 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1509    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
1510    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1511    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1513 READ
1514 1 9 1 3 0 3
1515 # e/i| Arr|  t    i    j | N3    M    N |  1  
1516    0   -1    0    0    0    0    0    0   20    ## Arr == TDTSDX
1518 READ
1519 3 11 3 3 0 3
1520 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1521    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1522    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1523    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1525 READ
1526 3 11 3 3 0 3
1527 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1528    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1529    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1530    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1532 READ
1533 1 9 1 3 0 3
1534 # e/i| Arr|  t    i    j | N3    M    N |  1  
1535    0   -1    0    0    0    0    0    0   21    ## Arr == TDTSDY
1537 READ
1538 3 11 3 3 0 3
1539 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1540    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1541    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1542    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1544 READ
1545 3 11 3 3 0 3
1546 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1547    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1548    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1549    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1551 # ---------------------------------------------- 24.4 Statement Extensions
1552 # Number of Statement Extensions
1554 <body>
1555 # Number of original iterators
1557 # List of original iterators
1558 t i j
1559 # Statement body expression
1560 PNEW[i][j] = POLD[i][j]-TDTSDX*(CU[i+1][j]-CU[i][j]) -TDTSDY*(CV[i][j+1]-CV[i][j]);
1561 </body>
1563 # =============================================== Statement 25
1564 # Number of relations describing the statement:
1567 # ---------------------------------------------- 25.1 Domain
1568 DOMAIN
1569 6 7 2 0 0 3
1570 # e/i|  t    j | N3    M    N |  1  
1571    1    1    0    0    0    0    0    ## t >= 0
1572    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1573    1    0    0    1    0    0   -1    ## N3-1 >= 0
1574    1    0    1    0    0    0    0    ## j >= 0
1575    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1576    1    0    0    0    0    1   -1    ## N-1 >= 0
1578 # ---------------------------------------------- 25.2 Scattering
1579 SCATTERING
1580 5 12 5 2 0 3
1581 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1582    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1583    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1584    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1585    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1586    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
1588 # ---------------------------------------------- 25.3 Access
1589 WRITE
1590 3 10 3 2 0 3
1591 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1592    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1593    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1594    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1596 READ
1597 3 10 3 2 0 3
1598 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1599    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1600    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1601    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1603 # ---------------------------------------------- 25.4 Statement Extensions
1604 # Number of Statement Extensions
1606 <body>
1607 # Number of original iterators
1609 # List of original iterators
1610 t j
1611 # Statement body expression
1612 UNEW[0][j] = UNEW[M][j];
1613 </body>
1615 # =============================================== Statement 26
1616 # Number of relations describing the statement:
1619 # ---------------------------------------------- 26.1 Domain
1620 DOMAIN
1621 6 7 2 0 0 3
1622 # e/i|  t    j | N3    M    N |  1  
1623    1    1    0    0    0    0    0    ## t >= 0
1624    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1625    1    0    0    1    0    0   -1    ## N3-1 >= 0
1626    1    0    1    0    0    0    0    ## j >= 0
1627    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1628    1    0    0    0    0    1   -1    ## N-1 >= 0
1630 # ---------------------------------------------- 26.2 Scattering
1631 SCATTERING
1632 5 12 5 2 0 3
1633 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1634    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1635    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1636    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1637    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1638    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
1640 # ---------------------------------------------- 26.3 Access
1641 WRITE
1642 3 10 3 2 0 3
1643 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1644    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1645    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1646    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
1648 READ
1649 3 10 3 2 0 3
1650 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1651    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1652    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1653    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
1655 # ---------------------------------------------- 26.4 Statement Extensions
1656 # Number of Statement Extensions
1658 <body>
1659 # Number of original iterators
1661 # List of original iterators
1662 t j
1663 # Statement body expression
1664 VNEW[M][j+1] = VNEW[0][j+1];
1665 </body>
1667 # =============================================== Statement 27
1668 # Number of relations describing the statement:
1671 # ---------------------------------------------- 27.1 Domain
1672 DOMAIN
1673 6 7 2 0 0 3
1674 # e/i|  t    j | N3    M    N |  1  
1675    1    1    0    0    0    0    0    ## t >= 0
1676    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1677    1    0    0    1    0    0   -1    ## N3-1 >= 0
1678    1    0    1    0    0    0    0    ## j >= 0
1679    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1680    1    0    0    0    0    1   -1    ## N-1 >= 0
1682 # ---------------------------------------------- 27.2 Scattering
1683 SCATTERING
1684 5 12 5 2 0 3
1685 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1686    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1687    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1688    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1689    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1690    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
1692 # ---------------------------------------------- 27.3 Access
1693 WRITE
1694 3 10 3 2 0 3
1695 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1696    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1697    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1698    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1700 READ
1701 3 10 3 2 0 3
1702 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1703    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1704    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1705    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1707 # ---------------------------------------------- 27.4 Statement Extensions
1708 # Number of Statement Extensions
1710 <body>
1711 # Number of original iterators
1713 # List of original iterators
1714 t j
1715 # Statement body expression
1716 PNEW[M][j] = PNEW[0][j];
1717 </body>
1719 # =============================================== Statement 28
1720 # Number of relations describing the statement:
1723 # ---------------------------------------------- 28.1 Domain
1724 DOMAIN
1725 6 7 2 0 0 3
1726 # e/i|  t    i | N3    M    N |  1  
1727    1    1    0    0    0    0    0    ## t >= 0
1728    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1729    1    0    0    1    0    0   -1    ## N3-1 >= 0
1730    1    0    1    0    0    0    0    ## i >= 0
1731    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1732    1    0    0    0    1    0   -1    ## M-1 >= 0
1734 # ---------------------------------------------- 28.2 Scattering
1735 SCATTERING
1736 5 12 5 2 0 3
1737 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1738    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1739    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1740    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1741    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1742    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
1744 # ---------------------------------------------- 28.3 Access
1745 WRITE
1746 3 10 3 2 0 3
1747 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1748    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1749    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
1750    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1752 READ
1753 3 10 3 2 0 3
1754 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1755    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1756    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
1757    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1759 # ---------------------------------------------- 28.4 Statement Extensions
1760 # Number of Statement Extensions
1762 <body>
1763 # Number of original iterators
1765 # List of original iterators
1766 t i
1767 # Statement body expression
1768 UNEW[i+1][N] = UNEW[i+1][0];
1769 </body>
1771 # =============================================== Statement 29
1772 # Number of relations describing the statement:
1775 # ---------------------------------------------- 29.1 Domain
1776 DOMAIN
1777 6 7 2 0 0 3
1778 # e/i|  t    i | N3    M    N |  1  
1779    1    1    0    0    0    0    0    ## t >= 0
1780    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1781    1    0    0    1    0    0   -1    ## N3-1 >= 0
1782    1    0    1    0    0    0    0    ## i >= 0
1783    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1784    1    0    0    0    1    0   -1    ## M-1 >= 0
1786 # ---------------------------------------------- 29.2 Scattering
1787 SCATTERING
1788 5 12 5 2 0 3
1789 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1790    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1791    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1792    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1793    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1794    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
1796 # ---------------------------------------------- 29.3 Access
1797 WRITE
1798 3 10 3 2 0 3
1799 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1800    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1801    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1802    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1804 READ
1805 3 10 3 2 0 3
1806 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1807    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1808    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1809    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1811 # ---------------------------------------------- 29.4 Statement Extensions
1812 # Number of Statement Extensions
1814 <body>
1815 # Number of original iterators
1817 # List of original iterators
1818 t i
1819 # Statement body expression
1820 VNEW[i][0] = VNEW[i][N];
1821 </body>
1823 # =============================================== Statement 30
1824 # Number of relations describing the statement:
1827 # ---------------------------------------------- 30.1 Domain
1828 DOMAIN
1829 6 7 2 0 0 3
1830 # e/i|  t    i | N3    M    N |  1  
1831    1    1    0    0    0    0    0    ## t >= 0
1832    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1833    1    0    0    1    0    0   -1    ## N3-1 >= 0
1834    1    0    1    0    0    0    0    ## i >= 0
1835    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1836    1    0    0    0    1    0   -1    ## M-1 >= 0
1838 # ---------------------------------------------- 30.2 Scattering
1839 SCATTERING
1840 5 12 5 2 0 3
1841 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1842    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1843    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1844    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1845    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1846    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
1848 # ---------------------------------------------- 30.3 Access
1849 WRITE
1850 3 10 3 2 0 3
1851 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1852    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1853    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1854    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1856 READ
1857 3 10 3 2 0 3
1858 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1859    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1860    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1861    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1863 # ---------------------------------------------- 30.4 Statement Extensions
1864 # Number of Statement Extensions
1866 <body>
1867 # Number of original iterators
1869 # List of original iterators
1870 t i
1871 # Statement body expression
1872 PNEW[i][N] = PNEW[i][0];
1873 </body>
1875 # =============================================== Statement 31
1876 # Number of relations describing the statement:
1879 # ---------------------------------------------- 31.1 Domain
1880 DOMAIN
1881 3 6 1 0 0 3
1882 # e/i|  t | N3    M    N |  1  
1883    1    1    0    0    0    0    ## t >= 0
1884    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1885    1    0    1    0    0   -1    ## N3-1 >= 0
1887 # ---------------------------------------------- 31.2 Scattering
1888 SCATTERING
1889 3 9 3 1 0 3
1890 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1891    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1892    0    0   -1    0    1    0    0    0    0    ## c2 == t
1893    0    0    0   -1    0    0    0    0   15    ## c3 == 15
1895 # ---------------------------------------------- 31.3 Access
1896 WRITE
1897 3 9 3 1 0 3
1898 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1899    0   -1    0    0    0    0    0    0   22    ## Arr == UNEW
1900    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1901    0    0    0   -1    0    0    0    1    0    ## [2] == N
1903 READ
1904 3 9 3 1 0 3
1905 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1906    0   -1    0    0    0    0    0    0   22    ## Arr == UNEW
1907    0    0   -1    0    0    0    1    0    0    ## [1] == M
1908    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1910 # ---------------------------------------------- 31.4 Statement Extensions
1911 # Number of Statement Extensions
1913 <body>
1914 # Number of original iterators
1916 # List of original iterators
1918 # Statement body expression
1919 UNEW[0][N] = UNEW[M][0];
1920 </body>
1922 # =============================================== Statement 32
1923 # Number of relations describing the statement:
1926 # ---------------------------------------------- 32.1 Domain
1927 DOMAIN
1928 3 6 1 0 0 3
1929 # e/i|  t | N3    M    N |  1  
1930    1    1    0    0    0    0    ## t >= 0
1931    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1932    1    0    1    0    0   -1    ## N3-1 >= 0
1934 # ---------------------------------------------- 32.2 Scattering
1935 SCATTERING
1936 3 9 3 1 0 3
1937 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1938    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1939    0    0   -1    0    1    0    0    0    0    ## c2 == t
1940    0    0    0   -1    0    0    0    0   16    ## c3 == 16
1942 # ---------------------------------------------- 32.3 Access
1943 WRITE
1944 3 9 3 1 0 3
1945 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1946    0   -1    0    0    0    0    0    0   24    ## Arr == VNEW
1947    0    0   -1    0    0    0    1    0    0    ## [1] == M
1948    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1950 READ
1951 3 9 3 1 0 3
1952 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1953    0   -1    0    0    0    0    0    0   24    ## Arr == VNEW
1954    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1955    0    0    0   -1    0    0    0    1    0    ## [2] == N
1957 # ---------------------------------------------- 32.4 Statement Extensions
1958 # Number of Statement Extensions
1960 <body>
1961 # Number of original iterators
1963 # List of original iterators
1965 # Statement body expression
1966 VNEW[M][0] = VNEW[0][N];
1967 </body>
1969 # =============================================== Statement 33
1970 # Number of relations describing the statement:
1973 # ---------------------------------------------- 33.1 Domain
1974 DOMAIN
1975 3 6 1 0 0 3
1976 # e/i|  t | N3    M    N |  1  
1977    1    1    0    0    0    0    ## t >= 0
1978    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1979    1    0    1    0    0   -1    ## N3-1 >= 0
1981 # ---------------------------------------------- 33.2 Scattering
1982 SCATTERING
1983 3 9 3 1 0 3
1984 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1985    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1986    0    0   -1    0    1    0    0    0    0    ## c2 == t
1987    0    0    0   -1    0    0    0    0   17    ## c3 == 17
1989 # ---------------------------------------------- 33.3 Access
1990 WRITE
1991 3 9 3 1 0 3
1992 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1993    0   -1    0    0    0    0    0    0   26    ## Arr == PNEW
1994    0    0   -1    0    0    0    1    0    0    ## [1] == M
1995    0    0    0   -1    0    0    0    1    0    ## [2] == N
1997 READ
1998 3 9 3 1 0 3
1999 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
2000    0   -1    0    0    0    0    0    0   26    ## Arr == PNEW
2001    0    0   -1    0    0    0    0    0    0    ## [1] == 0
2002    0    0    0   -1    0    0    0    0    0    ## [2] == 0
2004 # ---------------------------------------------- 33.4 Statement Extensions
2005 # Number of Statement Extensions
2007 <body>
2008 # Number of original iterators
2010 # List of original iterators
2012 # Statement body expression
2013 PNEW[M][N] = PNEW[0][0];
2014 </body>
2016 # =============================================== Statement 34
2017 # Number of relations describing the statement:
2020 # ---------------------------------------------- 34.1 Domain
2021 DOMAIN
2022 3 6 1 0 0 3
2023 # e/i|  t | N3    M    N |  1  
2024    1    1    0    0    0    0    ## t >= 0
2025    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
2026    1    0    1    0    0   -1    ## N3-1 >= 0
2028 # ---------------------------------------------- 34.2 Scattering
2029 SCATTERING
2030 3 9 3 1 0 3
2031 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
2032    0   -1    0    0    0    0    0    0    0    ## c1 == 0
2033    0    0   -1    0    1    0    0    0    0    ## c2 == t
2034    0    0    0   -1    0    0    0    0   18    ## c3 == 18
2036 # ---------------------------------------------- 34.3 Access
2037 WRITE
2038 1 7 1 1 0 3
2039 # e/i| Arr|  t | N3    M    N |  1  
2040    0   -1    0    0    0    0   28    ## Arr == time
2042 READ
2043 1 7 1 1 0 3
2044 # e/i| Arr|  t | N3    M    N |  1  
2045    0   -1    0    0    0    0   28    ## Arr == time
2047 READ
2048 1 7 1 1 0 3
2049 # e/i| Arr|  t | N3    M    N |  1  
2050    0   -1    0    0    0    0   29    ## Arr == DT
2052 # ---------------------------------------------- 34.4 Statement Extensions
2053 # Number of Statement Extensions
2055 <body>
2056 # Number of original iterators
2058 # List of original iterators
2060 # Statement body expression
2061 time = time + DT;
2062 </body>
2064 # =============================================== Statement 35
2065 # Number of relations describing the statement:
2068 # ---------------------------------------------- 35.1 Domain
2069 DOMAIN
2070 9 8 3 0 0 3
2071 # e/i|  t    i    j | N3    M    N |  1  
2072    1    1    0    0    0    0    0    0    ## t >= 0
2073    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2074    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2075    1    0    1    0    0    0    0    0    ## i >= 0
2076    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2077    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2078    1    0    0    1    0    0    0    0    ## j >= 0
2079    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2080    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2082 # ---------------------------------------------- 35.2 Scattering
2083 SCATTERING
2084 7 15 7 3 0 3
2085 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2086    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2087    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2088    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2089    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2090    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2091    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2092    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
2094 # ---------------------------------------------- 35.3 Access
2095 WRITE
2096 3 11 3 3 0 3
2097 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2098    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
2099    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2100    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2102 READ
2103 3 11 3 3 0 3
2104 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2105    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2106    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2107    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2109 READ
2110 1 9 1 3 0 3
2111 # e/i| Arr|  t    i    j | N3    M    N |  1  
2112    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2114 READ
2115 3 11 3 3 0 3
2116 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2117    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
2118    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2119    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2121 READ
2122 3 11 3 3 0 3
2123 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2124    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2125    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2126    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2128 READ
2129 3 11 3 3 0 3
2130 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2131    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
2132    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2133    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2135 # ---------------------------------------------- 35.4 Statement Extensions
2136 # Number of Statement Extensions
2138 <body>
2139 # Number of original iterators
2141 # List of original iterators
2142 t i j
2143 # Statement body expression
2144 UOLD[i][j] = U[i][j]+ALPHA*(UNEW[i][j]-2*U[i][j]+UOLD[i][j]);
2145 </body>
2147 # =============================================== Statement 36
2148 # Number of relations describing the statement:
2151 # ---------------------------------------------- 36.1 Domain
2152 DOMAIN
2153 9 8 3 0 0 3
2154 # e/i|  t    i    j | N3    M    N |  1  
2155    1    1    0    0    0    0    0    0    ## t >= 0
2156    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2157    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2158    1    0    1    0    0    0    0    0    ## i >= 0
2159    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2160    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2161    1    0    0    1    0    0    0    0    ## j >= 0
2162    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2163    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2165 # ---------------------------------------------- 36.2 Scattering
2166 SCATTERING
2167 7 15 7 3 0 3
2168 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2169    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2170    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2171    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2172    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2173    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2174    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2175    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
2177 # ---------------------------------------------- 36.3 Access
2178 WRITE
2179 3 11 3 3 0 3
2180 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2181    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
2182    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2183    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2185 READ
2186 3 11 3 3 0 3
2187 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2188    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2189    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2190    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2192 READ
2193 1 9 1 3 0 3
2194 # e/i| Arr|  t    i    j | N3    M    N |  1  
2195    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2197 READ
2198 3 11 3 3 0 3
2199 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2200    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
2201    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2202    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2204 READ
2205 3 11 3 3 0 3
2206 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2207    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2208    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2209    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2211 READ
2212 3 11 3 3 0 3
2213 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2214    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
2215    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2216    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2218 # ---------------------------------------------- 36.4 Statement Extensions
2219 # Number of Statement Extensions
2221 <body>
2222 # Number of original iterators
2224 # List of original iterators
2225 t i j
2226 # Statement body expression
2227 VOLD[i][j] = V[i][j]+ALPHA*(VNEW[i][j]-2*V[i][j]+VOLD[i][j]);
2228 </body>
2230 # =============================================== Statement 37
2231 # Number of relations describing the statement:
2234 # ---------------------------------------------- 37.1 Domain
2235 DOMAIN
2236 9 8 3 0 0 3
2237 # e/i|  t    i    j | N3    M    N |  1  
2238    1    1    0    0    0    0    0    0    ## t >= 0
2239    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2240    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2241    1    0    1    0    0    0    0    0    ## i >= 0
2242    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2243    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2244    1    0    0    1    0    0    0    0    ## j >= 0
2245    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2246    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2248 # ---------------------------------------------- 37.2 Scattering
2249 SCATTERING
2250 7 15 7 3 0 3
2251 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2252    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2253    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2254    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2255    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2256    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2257    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2258    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
2260 # ---------------------------------------------- 37.3 Access
2261 WRITE
2262 3 11 3 3 0 3
2263 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2264    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
2265    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2266    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2268 READ
2269 3 11 3 3 0 3
2270 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2271    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2272    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2273    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2275 READ
2276 1 9 1 3 0 3
2277 # e/i| Arr|  t    i    j | N3    M    N |  1  
2278    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2280 READ
2281 3 11 3 3 0 3
2282 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2283    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
2284    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2285    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2287 READ
2288 3 11 3 3 0 3
2289 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2290    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2291    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2292    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2294 READ
2295 3 11 3 3 0 3
2296 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2297    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
2298    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2299    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2301 # ---------------------------------------------- 37.4 Statement Extensions
2302 # Number of Statement Extensions
2304 <body>
2305 # Number of original iterators
2307 # List of original iterators
2308 t i j
2309 # Statement body expression
2310 POLD[i][j] = P[i][j]+ALPHA*(PNEW[i][j]-2*P[i][j]+POLD[i][j]);
2311 </body>
2313 # =============================================== Statement 38
2314 # Number of relations describing the statement:
2317 # ---------------------------------------------- 38.1 Domain
2318 DOMAIN
2319 9 8 3 0 0 3
2320 # e/i|  t    i    j | N3    M    N |  1  
2321    1    1    0    0    0    0    0    0    ## t >= 0
2322    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2323    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2324    1    0    1    0    0    0    0    0    ## i >= 0
2325    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2326    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2327    1    0    0    1    0    0    0    0    ## j >= 0
2328    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2329    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2331 # ---------------------------------------------- 38.2 Scattering
2332 SCATTERING
2333 7 15 7 3 0 3
2334 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2335    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2336    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2337    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2338    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2339    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2340    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2341    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    3    ## c7 == 3
2343 # ---------------------------------------------- 38.3 Access
2344 WRITE
2345 3 11 3 3 0 3
2346 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2347    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2348    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2349    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2351 READ
2352 3 11 3 3 0 3
2353 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2354    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
2355    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2356    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2358 # ---------------------------------------------- 38.4 Statement Extensions
2359 # Number of Statement Extensions
2361 <body>
2362 # Number of original iterators
2364 # List of original iterators
2365 t i j
2366 # Statement body expression
2367 U[i][j] = UNEW[i][j];
2368 </body>
2370 # =============================================== Statement 39
2371 # Number of relations describing the statement:
2374 # ---------------------------------------------- 39.1 Domain
2375 DOMAIN
2376 9 8 3 0 0 3
2377 # e/i|  t    i    j | N3    M    N |  1  
2378    1    1    0    0    0    0    0    0    ## t >= 0
2379    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2380    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2381    1    0    1    0    0    0    0    0    ## i >= 0
2382    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2383    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2384    1    0    0    1    0    0    0    0    ## j >= 0
2385    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2386    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2388 # ---------------------------------------------- 39.2 Scattering
2389 SCATTERING
2390 7 15 7 3 0 3
2391 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2392    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2393    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2394    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2395    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2396    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2397    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2398    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    4    ## c7 == 4
2400 # ---------------------------------------------- 39.3 Access
2401 WRITE
2402 3 11 3 3 0 3
2403 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2404    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2405    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2406    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2408 READ
2409 3 11 3 3 0 3
2410 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2411    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
2412    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2413    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2415 # ---------------------------------------------- 39.4 Statement Extensions
2416 # Number of Statement Extensions
2418 <body>
2419 # Number of original iterators
2421 # List of original iterators
2422 t i j
2423 # Statement body expression
2424 V[i][j] = VNEW[i][j];
2425 </body>
2427 # =============================================== Statement 40
2428 # Number of relations describing the statement:
2431 # ---------------------------------------------- 40.1 Domain
2432 DOMAIN
2433 9 8 3 0 0 3
2434 # e/i|  t    i    j | N3    M    N |  1  
2435    1    1    0    0    0    0    0    0    ## t >= 0
2436    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2437    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2438    1    0    1    0    0    0    0    0    ## i >= 0
2439    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2440    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2441    1    0    0    1    0    0    0    0    ## j >= 0
2442    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2443    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2445 # ---------------------------------------------- 40.2 Scattering
2446 SCATTERING
2447 7 15 7 3 0 3
2448 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2449    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2450    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2451    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2452    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2453    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2454    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2455    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    5    ## c7 == 5
2457 # ---------------------------------------------- 40.3 Access
2458 WRITE
2459 3 11 3 3 0 3
2460 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2461    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2462    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2463    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2465 READ
2466 3 11 3 3 0 3
2467 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2468    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
2469    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2470    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2472 # ---------------------------------------------- 40.4 Statement Extensions
2473 # Number of Statement Extensions
2475 <body>
2476 # Number of original iterators
2478 # List of original iterators
2479 t i j
2480 # Statement body expression
2481 P[i][j] = PNEW[i][j];
2482 </body>
2484 # =============================================== Statement 41
2485 # Number of relations describing the statement:
2488 # ---------------------------------------------- 41.1 Domain
2489 DOMAIN
2490 6 7 2 0 0 3
2491 # e/i|  t    j | N3    M    N |  1  
2492    1    1    0    0    0    0    0    ## t >= 0
2493    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2494    1    0    0    1    0    0   -1    ## N3-1 >= 0
2495    1    0    1    0    0    0    0    ## j >= 0
2496    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2497    1    0    0    0    0    1   -1    ## N-1 >= 0
2499 # ---------------------------------------------- 41.2 Scattering
2500 SCATTERING
2501 5 12 5 2 0 3
2502 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2503    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2504    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2505    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2506    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2507    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
2509 # ---------------------------------------------- 41.3 Access
2510 WRITE
2511 3 10 3 2 0 3
2512 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2513    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2514    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2515    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2517 READ
2518 3 10 3 2 0 3
2519 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2520    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2521    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2522    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2524 # ---------------------------------------------- 41.4 Statement Extensions
2525 # Number of Statement Extensions
2527 <body>
2528 # Number of original iterators
2530 # List of original iterators
2531 t j
2532 # Statement body expression
2533 UOLD[M][j] = UOLD[0][j];
2534 </body>
2536 # =============================================== Statement 42
2537 # Number of relations describing the statement:
2540 # ---------------------------------------------- 42.1 Domain
2541 DOMAIN
2542 6 7 2 0 0 3
2543 # e/i|  t    j | N3    M    N |  1  
2544    1    1    0    0    0    0    0    ## t >= 0
2545    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2546    1    0    0    1    0    0   -1    ## N3-1 >= 0
2547    1    0    1    0    0    0    0    ## j >= 0
2548    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2549    1    0    0    0    0    1   -1    ## N-1 >= 0
2551 # ---------------------------------------------- 42.2 Scattering
2552 SCATTERING
2553 5 12 5 2 0 3
2554 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2555    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2556    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2557    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2558    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2559    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
2561 # ---------------------------------------------- 42.3 Access
2562 WRITE
2563 3 10 3 2 0 3
2564 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2565    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2566    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2567    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2569 READ
2570 3 10 3 2 0 3
2571 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2572    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2573    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2574    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2576 # ---------------------------------------------- 42.4 Statement Extensions
2577 # Number of Statement Extensions
2579 <body>
2580 # Number of original iterators
2582 # List of original iterators
2583 t j
2584 # Statement body expression
2585 VOLD[M][j] = VOLD[0][j];
2586 </body>
2588 # =============================================== Statement 43
2589 # Number of relations describing the statement:
2592 # ---------------------------------------------- 43.1 Domain
2593 DOMAIN
2594 6 7 2 0 0 3
2595 # e/i|  t    j | N3    M    N |  1  
2596    1    1    0    0    0    0    0    ## t >= 0
2597    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2598    1    0    0    1    0    0   -1    ## N3-1 >= 0
2599    1    0    1    0    0    0    0    ## j >= 0
2600    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2601    1    0    0    0    0    1   -1    ## N-1 >= 0
2603 # ---------------------------------------------- 43.2 Scattering
2604 SCATTERING
2605 5 12 5 2 0 3
2606 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2607    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2608    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2609    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2610    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2611    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
2613 # ---------------------------------------------- 43.3 Access
2614 WRITE
2615 3 10 3 2 0 3
2616 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2617    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2618    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2619    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2621 READ
2622 3 10 3 2 0 3
2623 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2624    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2625    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2626    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2628 # ---------------------------------------------- 43.4 Statement Extensions
2629 # Number of Statement Extensions
2631 <body>
2632 # Number of original iterators
2634 # List of original iterators
2635 t j
2636 # Statement body expression
2637 POLD[M][j] = POLD[0][j];
2638 </body>
2640 # =============================================== Statement 44
2641 # Number of relations describing the statement:
2644 # ---------------------------------------------- 44.1 Domain
2645 DOMAIN
2646 6 7 2 0 0 3
2647 # e/i|  t    j | N3    M    N |  1  
2648    1    1    0    0    0    0    0    ## t >= 0
2649    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2650    1    0    0    1    0    0   -1    ## N3-1 >= 0
2651    1    0    1    0    0    0    0    ## j >= 0
2652    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2653    1    0    0    0    0    1   -1    ## N-1 >= 0
2655 # ---------------------------------------------- 44.2 Scattering
2656 SCATTERING
2657 5 12 5 2 0 3
2658 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2659    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2660    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2661    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2662    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2663    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
2665 # ---------------------------------------------- 44.3 Access
2666 WRITE
2667 3 10 3 2 0 3
2668 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2669    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2670    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2671    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2673 READ
2674 3 10 3 2 0 3
2675 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2676    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2677    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2678    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2680 # ---------------------------------------------- 44.4 Statement Extensions
2681 # Number of Statement Extensions
2683 <body>
2684 # Number of original iterators
2686 # List of original iterators
2687 t j
2688 # Statement body expression
2689 U[M][j] = U[0][j];
2690 </body>
2692 # =============================================== Statement 45
2693 # Number of relations describing the statement:
2696 # ---------------------------------------------- 45.1 Domain
2697 DOMAIN
2698 6 7 2 0 0 3
2699 # e/i|  t    j | N3    M    N |  1  
2700    1    1    0    0    0    0    0    ## t >= 0
2701    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2702    1    0    0    1    0    0   -1    ## N3-1 >= 0
2703    1    0    1    0    0    0    0    ## j >= 0
2704    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2705    1    0    0    0    0    1   -1    ## N-1 >= 0
2707 # ---------------------------------------------- 45.2 Scattering
2708 SCATTERING
2709 5 12 5 2 0 3
2710 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2711    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2712    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2713    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2714    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2715    0    0    0    0    0   -1    0    0    0    0    0    4    ## c5 == 4
2717 # ---------------------------------------------- 45.3 Access
2718 WRITE
2719 3 10 3 2 0 3
2720 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2721    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
2722    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2723    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2725 READ
2726 3 10 3 2 0 3
2727 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2728    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
2729    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2730    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2732 # ---------------------------------------------- 45.4 Statement Extensions
2733 # Number of Statement Extensions
2735 <body>
2736 # Number of original iterators
2738 # List of original iterators
2739 t j
2740 # Statement body expression
2741 V[M][j] = V[0][j];
2742 </body>
2744 # =============================================== Statement 46
2745 # Number of relations describing the statement:
2748 # ---------------------------------------------- 46.1 Domain
2749 DOMAIN
2750 6 7 2 0 0 3
2751 # e/i|  t    j | N3    M    N |  1  
2752    1    1    0    0    0    0    0    ## t >= 0
2753    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2754    1    0    0    1    0    0   -1    ## N3-1 >= 0
2755    1    0    1    0    0    0    0    ## j >= 0
2756    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2757    1    0    0    0    0    1   -1    ## N-1 >= 0
2759 # ---------------------------------------------- 46.2 Scattering
2760 SCATTERING
2761 5 12 5 2 0 3
2762 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2763    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2764    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2765    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2766    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2767    0    0    0    0    0   -1    0    0    0    0    0    5    ## c5 == 5
2769 # ---------------------------------------------- 46.3 Access
2770 WRITE
2771 3 10 3 2 0 3
2772 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2773    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
2774    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2775    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2777 READ
2778 3 10 3 2 0 3
2779 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2780    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
2781    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2782    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2784 # ---------------------------------------------- 46.4 Statement Extensions
2785 # Number of Statement Extensions
2787 <body>
2788 # Number of original iterators
2790 # List of original iterators
2791 t j
2792 # Statement body expression
2793 P[M][j] = P[0][j];
2794 </body>
2796 # =============================================== Statement 47
2797 # Number of relations describing the statement:
2800 # ---------------------------------------------- 47.1 Domain
2801 DOMAIN
2802 6 7 2 0 0 3
2803 # e/i|  t    i | N3    M    N |  1  
2804    1    1    0    0    0    0    0    ## t >= 0
2805    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2806    1    0    0    1    0    0   -1    ## N3-1 >= 0
2807    1    0    1    0    0    0    0    ## i >= 0
2808    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2809    1    0    0    0    1    0   -1    ## M-1 >= 0
2811 # ---------------------------------------------- 47.2 Scattering
2812 SCATTERING
2813 5 12 5 2 0 3
2814 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2815    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2816    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2817    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2818    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2819    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
2821 # ---------------------------------------------- 47.3 Access
2822 WRITE
2823 3 10 3 2 0 3
2824 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2825    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2826    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2827    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2829 READ
2830 3 10 3 2 0 3
2831 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2832    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2833    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2834    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2836 # ---------------------------------------------- 47.4 Statement Extensions
2837 # Number of Statement Extensions
2839 <body>
2840 # Number of original iterators
2842 # List of original iterators
2843 t i
2844 # Statement body expression
2845 UOLD[i][N] = UOLD[i][0];
2846 </body>
2848 # =============================================== Statement 48
2849 # Number of relations describing the statement:
2852 # ---------------------------------------------- 48.1 Domain
2853 DOMAIN
2854 6 7 2 0 0 3
2855 # e/i|  t    i | N3    M    N |  1  
2856    1    1    0    0    0    0    0    ## t >= 0
2857    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2858    1    0    0    1    0    0   -1    ## N3-1 >= 0
2859    1    0    1    0    0    0    0    ## i >= 0
2860    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2861    1    0    0    0    1    0   -1    ## M-1 >= 0
2863 # ---------------------------------------------- 48.2 Scattering
2864 SCATTERING
2865 5 12 5 2 0 3
2866 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2867    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2868    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2869    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2870    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2871    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
2873 # ---------------------------------------------- 48.3 Access
2874 WRITE
2875 3 10 3 2 0 3
2876 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2877    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2878    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2879    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2881 READ
2882 3 10 3 2 0 3
2883 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2884    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2885    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2886    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2888 # ---------------------------------------------- 48.4 Statement Extensions
2889 # Number of Statement Extensions
2891 <body>
2892 # Number of original iterators
2894 # List of original iterators
2895 t i
2896 # Statement body expression
2897 VOLD[i][N] = VOLD[i][0];
2898 </body>
2900 # =============================================== Statement 49
2901 # Number of relations describing the statement:
2904 # ---------------------------------------------- 49.1 Domain
2905 DOMAIN
2906 6 7 2 0 0 3
2907 # e/i|  t    i | N3    M    N |  1  
2908    1    1    0    0    0    0    0    ## t >= 0
2909    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2910    1    0    0    1    0    0   -1    ## N3-1 >= 0
2911    1    0    1    0    0    0    0    ## i >= 0
2912    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2913    1    0    0    0    1    0   -1    ## M-1 >= 0
2915 # ---------------------------------------------- 49.2 Scattering
2916 SCATTERING
2917 5 12 5 2 0 3
2918 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2919    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2920    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2921    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2922    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2923    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
2925 # ---------------------------------------------- 49.3 Access
2926 WRITE
2927 3 10 3 2 0 3
2928 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2929    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2930    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2931    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2933 READ
2934 3 10 3 2 0 3
2935 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2936    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2937    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2938    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2940 # ---------------------------------------------- 49.4 Statement Extensions
2941 # Number of Statement Extensions
2943 <body>
2944 # Number of original iterators
2946 # List of original iterators
2947 t i
2948 # Statement body expression
2949 POLD[i][N] = POLD[i][0];
2950 </body>
2952 # =============================================== Statement 50
2953 # Number of relations describing the statement:
2956 # ---------------------------------------------- 50.1 Domain
2957 DOMAIN
2958 6 7 2 0 0 3
2959 # e/i|  t    i | N3    M    N |  1  
2960    1    1    0    0    0    0    0    ## t >= 0
2961    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2962    1    0    0    1    0    0   -1    ## N3-1 >= 0
2963    1    0    1    0    0    0    0    ## i >= 0
2964    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2965    1    0    0    0    1    0   -1    ## M-1 >= 0
2967 # ---------------------------------------------- 50.2 Scattering
2968 SCATTERING
2969 5 12 5 2 0 3
2970 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2971    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2972    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2973    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2974    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2975    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
2977 # ---------------------------------------------- 50.3 Access
2978 WRITE
2979 3 10 3 2 0 3
2980 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2981    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2982    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2983    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2985 READ
2986 3 10 3 2 0 3
2987 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2988    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2989    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2990    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2992 # ---------------------------------------------- 50.4 Statement Extensions
2993 # Number of Statement Extensions
2995 <body>
2996 # Number of original iterators
2998 # List of original iterators
2999 t i
3000 # Statement body expression
3001 U[i][N] = U[i][0];
3002 </body>
3004 # =============================================== Statement 51
3005 # Number of relations describing the statement:
3008 # ---------------------------------------------- 51.1 Domain
3009 DOMAIN
3010 6 7 2 0 0 3
3011 # e/i|  t    i | N3    M    N |  1  
3012    1    1    0    0    0    0    0    ## t >= 0
3013    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
3014    1    0    0    1    0    0   -1    ## N3-1 >= 0
3015    1    0    1    0    0    0    0    ## i >= 0
3016    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
3017    1    0    0    0    1    0   -1    ## M-1 >= 0
3019 # ---------------------------------------------- 51.2 Scattering
3020 SCATTERING
3021 5 12 5 2 0 3
3022 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
3023    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
3024    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
3025    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
3026    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
3027    0    0    0    0    0   -1    0    0    0    0    0    4    ## c5 == 4
3029 # ---------------------------------------------- 51.3 Access
3030 WRITE
3031 3 10 3 2 0 3
3032 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3033    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
3034    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3035    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
3037 READ
3038 3 10 3 2 0 3
3039 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3040    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
3041    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3042    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
3044 # ---------------------------------------------- 51.4 Statement Extensions
3045 # Number of Statement Extensions
3047 <body>
3048 # Number of original iterators
3050 # List of original iterators
3051 t i
3052 # Statement body expression
3053 V[i][N] = V[i][0];
3054 </body>
3056 # =============================================== Statement 52
3057 # Number of relations describing the statement:
3060 # ---------------------------------------------- 52.1 Domain
3061 DOMAIN
3062 6 7 2 0 0 3
3063 # e/i|  t    i | N3    M    N |  1  
3064    1    1    0    0    0    0    0    ## t >= 0
3065    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
3066    1    0    0    1    0    0   -1    ## N3-1 >= 0
3067    1    0    1    0    0    0    0    ## i >= 0
3068    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
3069    1    0    0    0    1    0   -1    ## M-1 >= 0
3071 # ---------------------------------------------- 52.2 Scattering
3072 SCATTERING
3073 5 12 5 2 0 3
3074 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
3075    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
3076    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
3077    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
3078    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
3079    0    0    0    0    0   -1    0    0    0    0    0    5    ## c5 == 5
3081 # ---------------------------------------------- 52.3 Access
3082 WRITE
3083 3 10 3 2 0 3
3084 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3085    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
3086    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3087    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
3089 READ
3090 3 10 3 2 0 3
3091 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3092    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
3093    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3094    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
3096 # ---------------------------------------------- 52.4 Statement Extensions
3097 # Number of Statement Extensions
3099 <body>
3100 # Number of original iterators
3102 # List of original iterators
3103 t i
3104 # Statement body expression
3105 P[i][N] = P[i][0];
3106 </body>
3108 # =============================================== Statement 53
3109 # Number of relations describing the statement:
3112 # ---------------------------------------------- 53.1 Domain
3113 DOMAIN
3114 3 6 1 0 0 3
3115 # e/i|  t | N3    M    N |  1  
3116    1    1    0    0    0    0    ## t >= 0
3117    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3118    1    0    1    0    0   -1    ## N3-1 >= 0
3120 # ---------------------------------------------- 53.2 Scattering
3121 SCATTERING
3122 3 9 3 1 0 3
3123 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3124    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3125    0    0   -1    0    1    0    0    0    0    ## c2 == t
3126    0    0    0   -1    0    0    0    0   22    ## c3 == 22
3128 # ---------------------------------------------- 53.3 Access
3129 WRITE
3130 3 9 3 1 0 3
3131 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3132    0   -1    0    0    0    0    0    0   23    ## Arr == UOLD
3133    0    0   -1    0    0    0    1    0    0    ## [1] == M
3134    0    0    0   -1    0    0    0    1    0    ## [2] == N
3136 READ
3137 3 9 3 1 0 3
3138 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3139    0   -1    0    0    0    0    0    0   23    ## Arr == UOLD
3140    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3141    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3143 # ---------------------------------------------- 53.4 Statement Extensions
3144 # Number of Statement Extensions
3146 <body>
3147 # Number of original iterators
3149 # List of original iterators
3151 # Statement body expression
3152 UOLD[M][N] = UOLD[0][0];
3153 </body>
3155 # =============================================== Statement 54
3156 # Number of relations describing the statement:
3159 # ---------------------------------------------- 54.1 Domain
3160 DOMAIN
3161 3 6 1 0 0 3
3162 # e/i|  t | N3    M    N |  1  
3163    1    1    0    0    0    0    ## t >= 0
3164    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3165    1    0    1    0    0   -1    ## N3-1 >= 0
3167 # ---------------------------------------------- 54.2 Scattering
3168 SCATTERING
3169 3 9 3 1 0 3
3170 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3171    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3172    0    0   -1    0    1    0    0    0    0    ## c2 == t
3173    0    0    0   -1    0    0    0    0   23    ## c3 == 23
3175 # ---------------------------------------------- 54.3 Access
3176 WRITE
3177 3 9 3 1 0 3
3178 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3179    0   -1    0    0    0    0    0    0   25    ## Arr == VOLD
3180    0    0   -1    0    0    0    1    0    0    ## [1] == M
3181    0    0    0   -1    0    0    0    1    0    ## [2] == N
3183 READ
3184 3 9 3 1 0 3
3185 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3186    0   -1    0    0    0    0    0    0   25    ## Arr == VOLD
3187    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3188    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3190 # ---------------------------------------------- 54.4 Statement Extensions
3191 # Number of Statement Extensions
3193 <body>
3194 # Number of original iterators
3196 # List of original iterators
3198 # Statement body expression
3199 VOLD[M][N] = VOLD[0][0];
3200 </body>
3202 # =============================================== Statement 55
3203 # Number of relations describing the statement:
3206 # ---------------------------------------------- 55.1 Domain
3207 DOMAIN
3208 3 6 1 0 0 3
3209 # e/i|  t | N3    M    N |  1  
3210    1    1    0    0    0    0    ## t >= 0
3211    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3212    1    0    1    0    0   -1    ## N3-1 >= 0
3214 # ---------------------------------------------- 55.2 Scattering
3215 SCATTERING
3216 3 9 3 1 0 3
3217 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3218    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3219    0    0   -1    0    1    0    0    0    0    ## c2 == t
3220    0    0    0   -1    0    0    0    0   24    ## c3 == 24
3222 # ---------------------------------------------- 55.3 Access
3223 WRITE
3224 3 9 3 1 0 3
3225 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3226    0   -1    0    0    0    0    0    0   27    ## Arr == POLD
3227    0    0   -1    0    0    0    1    0    0    ## [1] == M
3228    0    0    0   -1    0    0    0    1    0    ## [2] == N
3230 READ
3231 3 9 3 1 0 3
3232 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3233    0   -1    0    0    0    0    0    0   27    ## Arr == POLD
3234    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3235    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3237 # ---------------------------------------------- 55.4 Statement Extensions
3238 # Number of Statement Extensions
3240 <body>
3241 # Number of original iterators
3243 # List of original iterators
3245 # Statement body expression
3246 POLD[M][N] = POLD[0][0];
3247 </body>
3249 # =============================================== Statement 56
3250 # Number of relations describing the statement:
3253 # ---------------------------------------------- 56.1 Domain
3254 DOMAIN
3255 3 6 1 0 0 3
3256 # e/i|  t | N3    M    N |  1  
3257    1    1    0    0    0    0    ## t >= 0
3258    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3259    1    0    1    0    0   -1    ## N3-1 >= 0
3261 # ---------------------------------------------- 56.2 Scattering
3262 SCATTERING
3263 3 9 3 1 0 3
3264 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3265    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3266    0    0   -1    0    1    0    0    0    0    ## c2 == t
3267    0    0    0   -1    0    0    0    0   25    ## c3 == 25
3269 # ---------------------------------------------- 56.3 Access
3270 WRITE
3271 3 9 3 1 0 3
3272 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3273    0   -1    0    0    0    0    0    0   13    ## Arr == U
3274    0    0   -1    0    0    0    1    0    0    ## [1] == M
3275    0    0    0   -1    0    0    0    1    0    ## [2] == N
3277 READ
3278 3 9 3 1 0 3
3279 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3280    0   -1    0    0    0    0    0    0   13    ## Arr == U
3281    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3282    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3284 # ---------------------------------------------- 56.4 Statement Extensions
3285 # Number of Statement Extensions
3287 <body>
3288 # Number of original iterators
3290 # List of original iterators
3292 # Statement body expression
3293 U[M][N] = U[0][0];
3294 </body>
3296 # =============================================== Statement 57
3297 # Number of relations describing the statement:
3300 # ---------------------------------------------- 57.1 Domain
3301 DOMAIN
3302 3 6 1 0 0 3
3303 # e/i|  t | N3    M    N |  1  
3304    1    1    0    0    0    0    ## t >= 0
3305    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3306    1    0    1    0    0   -1    ## N3-1 >= 0
3308 # ---------------------------------------------- 57.2 Scattering
3309 SCATTERING
3310 3 9 3 1 0 3
3311 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3312    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3313    0    0   -1    0    1    0    0    0    0    ## c2 == t
3314    0    0    0   -1    0    0    0    0   26    ## c3 == 26
3316 # ---------------------------------------------- 57.3 Access
3317 WRITE
3318 3 9 3 1 0 3
3319 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3320    0   -1    0    0    0    0    0    0   15    ## Arr == V
3321    0    0   -1    0    0    0    1    0    0    ## [1] == M
3322    0    0    0   -1    0    0    0    1    0    ## [2] == N
3324 READ
3325 3 9 3 1 0 3
3326 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3327    0   -1    0    0    0    0    0    0   15    ## Arr == V
3328    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3329    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3331 # ---------------------------------------------- 57.4 Statement Extensions
3332 # Number of Statement Extensions
3334 <body>
3335 # Number of original iterators
3337 # List of original iterators
3339 # Statement body expression
3340 V[M][N] = V[0][0];
3341 </body>
3343 # =============================================== Statement 58
3344 # Number of relations describing the statement:
3347 # ---------------------------------------------- 58.1 Domain
3348 DOMAIN
3349 3 6 1 0 0 3
3350 # e/i|  t | N3    M    N |  1  
3351    1    1    0    0    0    0    ## t >= 0
3352    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3353    1    0    1    0    0   -1    ## N3-1 >= 0
3355 # ---------------------------------------------- 58.2 Scattering
3356 SCATTERING
3357 3 9 3 1 0 3
3358 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3359    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3360    0    0   -1    0    1    0    0    0    0    ## c2 == t
3361    0    0    0   -1    0    0    0    0   27    ## c3 == 27
3363 # ---------------------------------------------- 58.3 Access
3364 WRITE
3365 3 9 3 1 0 3
3366 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3367    0   -1    0    0    0    0    0    0   12    ## Arr == P
3368    0    0   -1    0    0    0    1    0    0    ## [1] == M
3369    0    0    0   -1    0    0    0    1    0    ## [2] == N
3371 READ
3372 3 9 3 1 0 3
3373 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3374    0   -1    0    0    0    0    0    0   12    ## Arr == P
3375    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3376    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3378 # ---------------------------------------------- 58.4 Statement Extensions
3379 # Number of Statement Extensions
3381 <body>
3382 # Number of original iterators
3384 # List of original iterators
3386 # Statement body expression
3387 P[M][N] = P[0][0];
3388 </body>
3390 # =============================================== Extensions
3391 <scatnames>
3392 b0 t b1 i b2 j b3
3393 </scatnames>
3395 <arrays>
3396 # Number of arrays
3398 # Mapping array-identifiers/array-names
3399 1 t
3400 2 N3
3401 3 FSDX
3402 4 DX
3403 5 FSDY
3404 6 DY
3405 7 i
3406 8 M
3407 9 j
3408 10 N
3409 11 CU
3410 12 P
3411 13 U
3412 14 CV
3413 15 V
3414 16 Z
3415 17 H
3416 18 TDTS8
3417 19 TDT
3418 20 TDTSDX
3419 21 TDTSDY
3420 22 UNEW
3421 23 UOLD
3422 24 VNEW
3423 25 VOLD
3424 26 PNEW
3425 27 POLD
3426 28 time
3427 29 DT
3428 30 ALPHA
3429 </arrays>
3431 <coordinates>
3432 # File name
3433 ./unitary/swim.c
3434 # Starting line and column
3435 35 0
3436 # Ending line and column
3437 143 0
3438 # Indentation
3440 </coordinates>
3442 </OpenScop>