modified autogen.sh to remove reference to osl/
[converter.git] / tests / clan / swim.c.scop
blob9cb14c83623f91f93b5b50ad826b5b7619d0f718
1 #                                                     
2 #          <|                                         
3 #           A                                         
4 #          /.\                                       
5 #     <|  [""M#                                     
6 #      A   | #            Clan McCloog Castle         
7 #     /.\ [""M#           [Generated by Clan 0.7.0]
8 #    [""M# | #  U"U#U                              
9 #     | #  | #  \ .:/                                
10 #     | #  | #___| #                                  
11 #     | "--'     .-"                                
12 #   |"-"-"-"-"-#-#-##                            
13 #   |     # ## ######                                 
14 #    \       .::::'/                                 
15 #     \      ::::'/                                  
16 #   :8a|    # # ##                                    
17 #   ::88a      ###                                    
18 #  ::::888a  8a ##::.                                 
19 #  ::::::888a88a[]::::                                
20 # :::::::::SUNDOGa8a::::. ..                          
21 # :::::8::::888:Y8888:::::::::...                     
22 #::':::88::::888::Y88a______________________________________________________
23 #:: ::::88a::::88a:Y88a                                  __---__-- __
24 #' .: ::Y88a:::::8a:Y88a                            __----_-- -------_-__
25 #  :' ::::8P::::::::::88aa.                   _ _- --  --_ --- __  --- __--
26 #.::  :::::::::::::::::::Y88as88a...s88aa.
28 # [File generated by the OpenScop Library 0.8.3]
30 <OpenScop>
32 # =============================================== Global
33 # Language
36 # Context
37 CONTEXT
38 0 5 0 0 0 3
40 # Parameters are provided
42 <strings>
43 N3 M N
44 </strings>
46 # Number of statements
49 # =============================================== Statement 1
50 # Number of relations describing the statement:
53 # ----------------------------------------------  1.1 Domain
54 DOMAIN
55 3 6 1 0 0 3
56 # e/i|  t | N3    M    N |  1  
57    1    1    0    0    0    0    ## t >= 0
58    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
59    1    0    1    0    0   -1    ## N3-1 >= 0
61 # ----------------------------------------------  1.2 Scattering
62 SCATTERING
63 3 9 3 1 0 3
64 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
65    0   -1    0    0    0    0    0    0    0    ## c1 == 0
66    0    0   -1    0    1    0    0    0    0    ## c2 == t
67    0    0    0   -1    0    0    0    0    0    ## c3 == 0
69 # ----------------------------------------------  1.3 Access
70 WRITE
71 1 7 1 1 0 3
72 # e/i| Arr|  t | N3    M    N |  1  
73    0   -1    0    0    0    0    3    ## Arr == FSDX
75 READ
76 1 7 1 1 0 3
77 # e/i| Arr|  t | N3    M    N |  1  
78    0   -1    0    0    0    0    4    ## Arr == DX
80 # ----------------------------------------------  1.4 Body
81 # Statement body is provided
83 <body>
84 # Number of original iterators
86 # List of original iterators
88 # Statement body expression
89 FSDX=4/DX;
90 </body>
92 # =============================================== Statement 2
93 # Number of relations describing the statement:
96 # ----------------------------------------------  2.1 Domain
97 DOMAIN
98 3 6 1 0 0 3
99 # e/i|  t | N3    M    N |  1  
100    1    1    0    0    0    0    ## t >= 0
101    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
102    1    0    1    0    0   -1    ## N3-1 >= 0
104 # ----------------------------------------------  2.2 Scattering
105 SCATTERING
106 3 9 3 1 0 3
107 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
108    0   -1    0    0    0    0    0    0    0    ## c1 == 0
109    0    0   -1    0    1    0    0    0    0    ## c2 == t
110    0    0    0   -1    0    0    0    0    1    ## c3 == 1
112 # ----------------------------------------------  2.3 Access
113 WRITE
114 1 7 1 1 0 3
115 # e/i| Arr|  t | N3    M    N |  1  
116    0   -1    0    0    0    0    5    ## Arr == FSDY
118 READ
119 1 7 1 1 0 3
120 # e/i| Arr|  t | N3    M    N |  1  
121    0   -1    0    0    0    0    6    ## Arr == DY
123 # ----------------------------------------------  2.4 Body
124 # Statement body is provided
126 <body>
127 # Number of original iterators
129 # List of original iterators
131 # Statement body expression
132 FSDY=4/DY;
133 </body>
135 # =============================================== Statement 3
136 # Number of relations describing the statement:
139 # ----------------------------------------------  3.1 Domain
140 DOMAIN
141 9 8 3 0 0 3
142 # e/i|  t    i    j | N3    M    N |  1  
143    1    1    0    0    0    0    0    0    ## t >= 0
144    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
145    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
146    1    0    1    0    0    0    0    0    ## i >= 0
147    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
148    1    0    0    0    0    1    0   -1    ## M-1 >= 0
149    1    0    0    1    0    0    0    0    ## j >= 0
150    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
151    1    0    0    0    0    0    1   -1    ## N-1 >= 0
153 # ----------------------------------------------  3.2 Scattering
154 SCATTERING
155 7 15 7 3 0 3
156 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
157    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
158    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
159    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
160    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
161    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
162    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
163    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
165 # ----------------------------------------------  3.3 Access
166 WRITE
167 3 11 3 3 0 3
168 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
169    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
170    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
171    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
173 READ
174 3 11 3 3 0 3
175 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
176    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
177    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
178    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
180 READ
181 3 11 3 3 0 3
182 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
183    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
184    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
185    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
187 READ
188 3 11 3 3 0 3
189 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
190    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
191    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
192    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
194 # ----------------------------------------------  3.4 Body
195 # Statement body is provided
197 <body>
198 # Number of original iterators
200 # List of original iterators
201 t i j
202 # Statement body expression
203 CU[i+1][j]=0.5*(P[i+1][j]+P[i][j])*U[i+1][j];
204 </body>
206 # =============================================== Statement 4
207 # Number of relations describing the statement:
210 # ----------------------------------------------  4.1 Domain
211 DOMAIN
212 9 8 3 0 0 3
213 # e/i|  t    i    j | N3    M    N |  1  
214    1    1    0    0    0    0    0    0    ## t >= 0
215    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
216    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
217    1    0    1    0    0    0    0    0    ## i >= 0
218    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
219    1    0    0    0    0    1    0   -1    ## M-1 >= 0
220    1    0    0    1    0    0    0    0    ## j >= 0
221    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
222    1    0    0    0    0    0    1   -1    ## N-1 >= 0
224 # ----------------------------------------------  4.2 Scattering
225 SCATTERING
226 7 15 7 3 0 3
227 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
228    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
229    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
230    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
231    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
232    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
233    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
234    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
236 # ----------------------------------------------  4.3 Access
237 WRITE
238 3 11 3 3 0 3
239 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
240    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
241    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
242    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
244 READ
245 3 11 3 3 0 3
246 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
247    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
248    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
249    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
251 READ
252 3 11 3 3 0 3
253 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
254    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
255    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
256    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
258 READ
259 3 11 3 3 0 3
260 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
261    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
262    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
263    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
265 # ----------------------------------------------  4.4 Body
266 # Statement body is provided
268 <body>
269 # Number of original iterators
271 # List of original iterators
272 t i j
273 # Statement body expression
274 CV[i][j+1]=0.5*(P[i][j+1]+P[i][j])*V[i][j+1];
275 </body>
277 # =============================================== Statement 5
278 # Number of relations describing the statement:
281 # ----------------------------------------------  5.1 Domain
282 DOMAIN
283 9 8 3 0 0 3
284 # e/i|  t    i    j | N3    M    N |  1  
285    1    1    0    0    0    0    0    0    ## t >= 0
286    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
287    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
288    1    0    1    0    0    0    0    0    ## i >= 0
289    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
290    1    0    0    0    0    1    0   -1    ## M-1 >= 0
291    1    0    0    1    0    0    0    0    ## j >= 0
292    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
293    1    0    0    0    0    0    1   -1    ## N-1 >= 0
295 # ----------------------------------------------  5.2 Scattering
296 SCATTERING
297 7 15 7 3 0 3
298 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
299    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
300    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
301    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
302    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
303    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
304    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
305    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
307 # ----------------------------------------------  5.3 Access
308 WRITE
309 3 11 3 3 0 3
310 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
311    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
312    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
313    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
315 READ
316 1 9 1 3 0 3
317 # e/i| Arr|  t    i    j | N3    M    N |  1  
318    0   -1    0    0    0    0    0    0    3    ## Arr == FSDX
320 READ
321 3 11 3 3 0 3
322 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
323    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
324    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
325    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
327 READ
328 3 11 3 3 0 3
329 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
330    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
331    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
332    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
334 READ
335 1 9 1 3 0 3
336 # e/i| Arr|  t    i    j | N3    M    N |  1  
337    0   -1    0    0    0    0    0    0    5    ## Arr == FSDY
339 READ
340 3 11 3 3 0 3
341 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
342    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
343    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
344    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
346 READ
347 3 11 3 3 0 3
348 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
349    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
350    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
351    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
353 READ
354 3 11 3 3 0 3
355 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
356    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
357    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
358    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
360 READ
361 3 11 3 3 0 3
362 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
363    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
364    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
365    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
367 READ
368 3 11 3 3 0 3
369 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
370    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
371    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
372    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
374 READ
375 3 11 3 3 0 3
376 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
377    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
378    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
379    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
381 # ----------------------------------------------  5.4 Body
382 # Statement body is provided
384 <body>
385 # Number of original iterators
387 # List of original iterators
388 t i j
389 # Statement body expression
390 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]);
391 </body>
393 # =============================================== Statement 6
394 # Number of relations describing the statement:
397 # ----------------------------------------------  6.1 Domain
398 DOMAIN
399 9 8 3 0 0 3
400 # e/i|  t    i    j | N3    M    N |  1  
401    1    1    0    0    0    0    0    0    ## t >= 0
402    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
403    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
404    1    0    1    0    0    0    0    0    ## i >= 0
405    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
406    1    0    0    0    0    1    0   -1    ## M-1 >= 0
407    1    0    0    1    0    0    0    0    ## j >= 0
408    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
409    1    0    0    0    0    0    1   -1    ## N-1 >= 0
411 # ----------------------------------------------  6.2 Scattering
412 SCATTERING
413 7 15 7 3 0 3
414 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
415    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
416    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
417    0    0    0   -1    0    0    0    0    0    0    0    0    0    0    2    ## c3 == 2
418    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
419    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
420    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
421    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    3    ## c7 == 3
423 # ----------------------------------------------  6.3 Access
424 WRITE
425 3 11 3 3 0 3
426 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
427    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
428    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
429    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
431 READ
432 3 11 3 3 0 3
433 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
434    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
435    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
436    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
438 READ
439 3 11 3 3 0 3
440 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
441    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
442    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
443    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
445 READ
446 3 11 3 3 0 3
447 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
448    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
449    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
450    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
452 READ
453 3 11 3 3 0 3
454 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
455    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
456    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
457    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
459 READ
460 3 11 3 3 0 3
461 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
462    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
463    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
464    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
466 READ
467 3 11 3 3 0 3
468 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
469    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
470    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
471    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
473 READ
474 3 11 3 3 0 3
475 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
476    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
477    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
478    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
480 READ
481 3 11 3 3 0 3
482 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
483    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
484    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
485    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
487 READ
488 3 11 3 3 0 3
489 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
490    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
491    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
492    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
494 # ----------------------------------------------  6.4 Body
495 # Statement body is provided
497 <body>
498 # Number of original iterators
500 # List of original iterators
501 t i j
502 # Statement body expression
503 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]);
504 </body>
506 # =============================================== Statement 7
507 # Number of relations describing the statement:
510 # ----------------------------------------------  7.1 Domain
511 DOMAIN
512 6 7 2 0 0 3
513 # e/i|  t    j | N3    M    N |  1  
514    1    1    0    0    0    0    0    ## t >= 0
515    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
516    1    0    0    1    0    0   -1    ## N3-1 >= 0
517    1    0    1    0    0    0    0    ## j >= 0
518    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
519    1    0    0    0    0    1   -1    ## N-1 >= 0
521 # ----------------------------------------------  7.2 Scattering
522 SCATTERING
523 5 12 5 2 0 3
524 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
525    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
526    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
527    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
528    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
529    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
531 # ----------------------------------------------  7.3 Access
532 WRITE
533 3 10 3 2 0 3
534 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
535    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
536    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
537    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
539 READ
540 3 10 3 2 0 3
541 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
542    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
543    0    0   -1    0    0    0    0    1    0    1    ## [1] == M+1
544    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
546 # ----------------------------------------------  7.4 Body
547 # Statement body is provided
549 <body>
550 # Number of original iterators
552 # List of original iterators
553 t j
554 # Statement body expression
555 CU[0][j]=CU[M+1][j];
556 </body>
558 # =============================================== Statement 8
559 # Number of relations describing the statement:
562 # ----------------------------------------------  8.1 Domain
563 DOMAIN
564 6 7 2 0 0 3
565 # e/i|  t    j | N3    M    N |  1  
566    1    1    0    0    0    0    0    ## t >= 0
567    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
568    1    0    0    1    0    0   -1    ## N3-1 >= 0
569    1    0    1    0    0    0    0    ## j >= 0
570    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
571    1    0    0    0    0    1   -1    ## N-1 >= 0
573 # ----------------------------------------------  8.2 Scattering
574 SCATTERING
575 5 12 5 2 0 3
576 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
577    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
578    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
579    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
580    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
581    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
583 # ----------------------------------------------  8.3 Access
584 WRITE
585 3 10 3 2 0 3
586 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
587    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
588    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
589    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
591 READ
592 3 10 3 2 0 3
593 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
594    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
595    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
596    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
598 # ----------------------------------------------  8.4 Body
599 # Statement body is provided
601 <body>
602 # Number of original iterators
604 # List of original iterators
605 t j
606 # Statement body expression
607 CV[M][j+1]=CV[0][j+1];
608 </body>
610 # =============================================== Statement 9
611 # Number of relations describing the statement:
614 # ----------------------------------------------  9.1 Domain
615 DOMAIN
616 6 7 2 0 0 3
617 # e/i|  t    j | N3    M    N |  1  
618    1    1    0    0    0    0    0    ## t >= 0
619    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
620    1    0    0    1    0    0   -1    ## N3-1 >= 0
621    1    0    1    0    0    0    0    ## j >= 0
622    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
623    1    0    0    0    0    1   -1    ## N-1 >= 0
625 # ----------------------------------------------  9.2 Scattering
626 SCATTERING
627 5 12 5 2 0 3
628 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
629    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
630    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
631    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
632    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
633    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
635 # ----------------------------------------------  9.3 Access
636 WRITE
637 3 10 3 2 0 3
638 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
639    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
640    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
641    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
643 READ
644 3 10 3 2 0 3
645 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
646    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
647    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
648    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
650 # ----------------------------------------------  9.4 Body
651 # Statement body is provided
653 <body>
654 # Number of original iterators
656 # List of original iterators
657 t j
658 # Statement body expression
659 Z[0][j+1]=Z[M][j+1];
660 </body>
662 # =============================================== Statement 10
663 # Number of relations describing the statement:
666 # ---------------------------------------------- 10.1 Domain
667 DOMAIN
668 6 7 2 0 0 3
669 # e/i|  t    j | N3    M    N |  1  
670    1    1    0    0    0    0    0    ## t >= 0
671    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
672    1    0    0    1    0    0   -1    ## N3-1 >= 0
673    1    0    1    0    0    0    0    ## j >= 0
674    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
675    1    0    0    0    0    1   -1    ## N-1 >= 0
677 # ---------------------------------------------- 10.2 Scattering
678 SCATTERING
679 5 12 5 2 0 3
680 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
681    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
682    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
683    0    0    0   -1    0    0    0    0    0    0    0    3    ## c3 == 3
684    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
685    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
687 # ---------------------------------------------- 10.3 Access
688 WRITE
689 3 10 3 2 0 3
690 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
691    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
692    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
693    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
695 READ
696 3 10 3 2 0 3
697 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
698    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
699    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
700    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
702 # ---------------------------------------------- 10.4 Body
703 # Statement body is provided
705 <body>
706 # Number of original iterators
708 # List of original iterators
709 t j
710 # Statement body expression
711 H[M][j]=H[0][j];
712 </body>
714 # =============================================== Statement 11
715 # Number of relations describing the statement:
718 # ---------------------------------------------- 11.1 Domain
719 DOMAIN
720 6 7 2 0 0 3
721 # e/i|  t    i | N3    M    N |  1  
722    1    1    0    0    0    0    0    ## t >= 0
723    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
724    1    0    0    1    0    0   -1    ## N3-1 >= 0
725    1    0    1    0    0    0    0    ## i >= 0
726    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
727    1    0    0    0    1    0   -1    ## M-1 >= 0
729 # ---------------------------------------------- 11.2 Scattering
730 SCATTERING
731 5 12 5 2 0 3
732 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
733    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
734    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
735    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
736    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
737    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
739 # ---------------------------------------------- 11.3 Access
740 WRITE
741 3 10 3 2 0 3
742 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
743    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
744    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
745    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
747 READ
748 3 10 3 2 0 3
749 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
750    0   -1    0    0    0    0    0    0    0   11    ## Arr == CU
751    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
752    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
754 # ---------------------------------------------- 11.4 Body
755 # Statement body is provided
757 <body>
758 # Number of original iterators
760 # List of original iterators
761 t i
762 # Statement body expression
763 CU[i+1][N]=CU[i+1][0];
764 </body>
766 # =============================================== Statement 12
767 # Number of relations describing the statement:
770 # ---------------------------------------------- 12.1 Domain
771 DOMAIN
772 6 7 2 0 0 3
773 # e/i|  t    i | N3    M    N |  1  
774    1    1    0    0    0    0    0    ## t >= 0
775    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
776    1    0    0    1    0    0   -1    ## N3-1 >= 0
777    1    0    1    0    0    0    0    ## i >= 0
778    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
779    1    0    0    0    1    0   -1    ## M-1 >= 0
781 # ---------------------------------------------- 12.2 Scattering
782 SCATTERING
783 5 12 5 2 0 3
784 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
785    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
786    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
787    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
788    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
789    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
791 # ---------------------------------------------- 12.3 Access
792 WRITE
793 3 10 3 2 0 3
794 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
795    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
796    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
797    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
799 READ
800 3 10 3 2 0 3
801 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
802    0   -1    0    0    0    0    0    0    0   14    ## Arr == CV
803    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
804    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
806 # ---------------------------------------------- 12.4 Body
807 # Statement body is provided
809 <body>
810 # Number of original iterators
812 # List of original iterators
813 t i
814 # Statement body expression
815 CV[i][0]=CV[i][N];
816 </body>
818 # =============================================== Statement 13
819 # Number of relations describing the statement:
822 # ---------------------------------------------- 13.1 Domain
823 DOMAIN
824 6 7 2 0 0 3
825 # e/i|  t    i | N3    M    N |  1  
826    1    1    0    0    0    0    0    ## t >= 0
827    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
828    1    0    0    1    0    0   -1    ## N3-1 >= 0
829    1    0    1    0    0    0    0    ## i >= 0
830    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
831    1    0    0    0    1    0   -1    ## M-1 >= 0
833 # ---------------------------------------------- 13.2 Scattering
834 SCATTERING
835 5 12 5 2 0 3
836 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
837    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
838    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
839    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
840    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
841    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
843 # ---------------------------------------------- 13.3 Access
844 WRITE
845 3 10 3 2 0 3
846 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
847    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
848    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
849    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
851 READ
852 3 10 3 2 0 3
853 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
854    0   -1    0    0    0    0    0    0    0   16    ## Arr == Z
855    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
856    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
858 # ---------------------------------------------- 13.4 Body
859 # Statement body is provided
861 <body>
862 # Number of original iterators
864 # List of original iterators
865 t i
866 # Statement body expression
867 Z[i+1][0]=Z[i+1][N];
868 </body>
870 # =============================================== Statement 14
871 # Number of relations describing the statement:
874 # ---------------------------------------------- 14.1 Domain
875 DOMAIN
876 6 7 2 0 0 3
877 # e/i|  t    i | N3    M    N |  1  
878    1    1    0    0    0    0    0    ## t >= 0
879    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
880    1    0    0    1    0    0   -1    ## N3-1 >= 0
881    1    0    1    0    0    0    0    ## i >= 0
882    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
883    1    0    0    0    1    0   -1    ## M-1 >= 0
885 # ---------------------------------------------- 14.2 Scattering
886 SCATTERING
887 5 12 5 2 0 3
888 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
889    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
890    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
891    0    0    0   -1    0    0    0    0    0    0    0    4    ## c3 == 4
892    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
893    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
895 # ---------------------------------------------- 14.3 Access
896 WRITE
897 3 10 3 2 0 3
898 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
899    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
900    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
901    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
903 READ
904 3 10 3 2 0 3
905 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
906    0   -1    0    0    0    0    0    0    0   17    ## Arr == H
907    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
908    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
910 # ---------------------------------------------- 14.4 Body
911 # Statement body is provided
913 <body>
914 # Number of original iterators
916 # List of original iterators
917 t i
918 # Statement body expression
919 H[i][N]=H[i][0];
920 </body>
922 # =============================================== Statement 15
923 # Number of relations describing the statement:
926 # ---------------------------------------------- 15.1 Domain
927 DOMAIN
928 3 6 1 0 0 3
929 # e/i|  t | N3    M    N |  1  
930    1    1    0    0    0    0    ## t >= 0
931    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
932    1    0    1    0    0   -1    ## N3-1 >= 0
934 # ---------------------------------------------- 15.2 Scattering
935 SCATTERING
936 3 9 3 1 0 3
937 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
938    0   -1    0    0    0    0    0    0    0    ## c1 == 0
939    0    0   -1    0    1    0    0    0    0    ## c2 == t
940    0    0    0   -1    0    0    0    0    5    ## c3 == 5
942 # ---------------------------------------------- 15.3 Access
943 WRITE
944 3 9 3 1 0 3
945 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
946    0   -1    0    0    0    0    0    0   11    ## Arr == CU
947    0    0   -1    0    0    0    0    0    0    ## [1] == 0
948    0    0    0   -1    0    0    0    1    0    ## [2] == N
950 READ
951 3 9 3 1 0 3
952 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
953    0   -1    0    0    0    0    0    0   11    ## Arr == CU
954    0    0   -1    0    0    0    1    0    0    ## [1] == M
955    0    0    0   -1    0    0    0    0    0    ## [2] == 0
957 # ---------------------------------------------- 15.4 Body
958 # Statement body is provided
960 <body>
961 # Number of original iterators
963 # List of original iterators
965 # Statement body expression
966 CU[0][N]=CU[M][0];
967 </body>
969 # =============================================== Statement 16
970 # Number of relations describing the statement:
973 # ---------------------------------------------- 16.1 Domain
974 DOMAIN
975 3 6 1 0 0 3
976 # e/i|  t | N3    M    N |  1  
977    1    1    0    0    0    0    ## t >= 0
978    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
979    1    0    1    0    0   -1    ## N3-1 >= 0
981 # ---------------------------------------------- 16.2 Scattering
982 SCATTERING
983 3 9 3 1 0 3
984 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
985    0   -1    0    0    0    0    0    0    0    ## c1 == 0
986    0    0   -1    0    1    0    0    0    0    ## c2 == t
987    0    0    0   -1    0    0    0    0    6    ## c3 == 6
989 # ---------------------------------------------- 16.3 Access
990 WRITE
991 3 9 3 1 0 3
992 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
993    0   -1    0    0    0    0    0    0   14    ## Arr == CV
994    0    0   -1    0    0    0    1    0    0    ## [1] == M
995    0    0    0   -1    0    0    0    0    0    ## [2] == 0
997 READ
998 3 9 3 1 0 3
999 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1000    0   -1    0    0    0    0    0    0   14    ## Arr == CV
1001    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1002    0    0    0   -1    0    0    0    1    0    ## [2] == N
1004 # ---------------------------------------------- 16.4 Body
1005 # Statement body is provided
1007 <body>
1008 # Number of original iterators
1010 # List of original iterators
1012 # Statement body expression
1013 CV[M][0]=CV[0][N];
1014 </body>
1016 # =============================================== Statement 17
1017 # Number of relations describing the statement:
1020 # ---------------------------------------------- 17.1 Domain
1021 DOMAIN
1022 3 6 1 0 0 3
1023 # e/i|  t | N3    M    N |  1  
1024    1    1    0    0    0    0    ## t >= 0
1025    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1026    1    0    1    0    0   -1    ## N3-1 >= 0
1028 # ---------------------------------------------- 17.2 Scattering
1029 SCATTERING
1030 3 9 3 1 0 3
1031 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1032    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1033    0    0   -1    0    1    0    0    0    0    ## c2 == t
1034    0    0    0   -1    0    0    0    0    7    ## c3 == 7
1036 # ---------------------------------------------- 17.3 Access
1037 WRITE
1038 3 9 3 1 0 3
1039 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1040    0   -1    0    0    0    0    0    0   16    ## Arr == Z
1041    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1042    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1044 READ
1045 3 9 3 1 0 3
1046 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1047    0   -1    0    0    0    0    0    0   16    ## Arr == Z
1048    0    0   -1    0    0    0    1    0    0    ## [1] == M
1049    0    0    0   -1    0    0    0    1    0    ## [2] == N
1051 # ---------------------------------------------- 17.4 Body
1052 # Statement body is provided
1054 <body>
1055 # Number of original iterators
1057 # List of original iterators
1059 # Statement body expression
1060 Z[0][0]=Z[M][N];
1061 </body>
1063 # =============================================== Statement 18
1064 # Number of relations describing the statement:
1067 # ---------------------------------------------- 18.1 Domain
1068 DOMAIN
1069 3 6 1 0 0 3
1070 # e/i|  t | N3    M    N |  1  
1071    1    1    0    0    0    0    ## t >= 0
1072    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1073    1    0    1    0    0   -1    ## N3-1 >= 0
1075 # ---------------------------------------------- 18.2 Scattering
1076 SCATTERING
1077 3 9 3 1 0 3
1078 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1079    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1080    0    0   -1    0    1    0    0    0    0    ## c2 == t
1081    0    0    0   -1    0    0    0    0    8    ## c3 == 8
1083 # ---------------------------------------------- 18.3 Access
1084 WRITE
1085 3 9 3 1 0 3
1086 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1087    0   -1    0    0    0    0    0    0   17    ## Arr == H
1088    0    0   -1    0    0    0    1    0    0    ## [1] == M
1089    0    0    0   -1    0    0    0    1    0    ## [2] == N
1091 READ
1092 3 9 3 1 0 3
1093 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1094    0   -1    0    0    0    0    0    0   17    ## Arr == H
1095    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1096    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1098 # ---------------------------------------------- 18.4 Body
1099 # Statement body is provided
1101 <body>
1102 # Number of original iterators
1104 # List of original iterators
1106 # Statement body expression
1107 H[M][N]=H[0][0];
1108 </body>
1110 # =============================================== Statement 19
1111 # Number of relations describing the statement:
1114 # ---------------------------------------------- 19.1 Domain
1115 DOMAIN
1116 3 6 1 0 0 3
1117 # e/i|  t | N3    M    N |  1  
1118    1    1    0    0    0    0    ## t >= 0
1119    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1120    1    0    1    0    0   -1    ## N3-1 >= 0
1122 # ---------------------------------------------- 19.2 Scattering
1123 SCATTERING
1124 3 9 3 1 0 3
1125 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1126    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1127    0    0   -1    0    1    0    0    0    0    ## c2 == t
1128    0    0    0   -1    0    0    0    0    9    ## c3 == 9
1130 # ---------------------------------------------- 19.3 Access
1131 WRITE
1132 1 7 1 1 0 3
1133 # e/i| Arr|  t | N3    M    N |  1  
1134    0   -1    0    0    0    0   18    ## Arr == TDTS8
1136 READ
1137 1 7 1 1 0 3
1138 # e/i| Arr|  t | N3    M    N |  1  
1139    0   -1    0    0    0    0   19    ## Arr == TDT
1141 # ---------------------------------------------- 19.4 Body
1142 # Statement body is provided
1144 <body>
1145 # Number of original iterators
1147 # List of original iterators
1149 # Statement body expression
1150 TDTS8=TDT/8;
1151 </body>
1153 # =============================================== Statement 20
1154 # Number of relations describing the statement:
1157 # ---------------------------------------------- 20.1 Domain
1158 DOMAIN
1159 3 6 1 0 0 3
1160 # e/i|  t | N3    M    N |  1  
1161    1    1    0    0    0    0    ## t >= 0
1162    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1163    1    0    1    0    0   -1    ## N3-1 >= 0
1165 # ---------------------------------------------- 20.2 Scattering
1166 SCATTERING
1167 3 9 3 1 0 3
1168 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1169    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1170    0    0   -1    0    1    0    0    0    0    ## c2 == t
1171    0    0    0   -1    0    0    0    0   10    ## c3 == 10
1173 # ---------------------------------------------- 20.3 Access
1174 WRITE
1175 1 7 1 1 0 3
1176 # e/i| Arr|  t | N3    M    N |  1  
1177    0   -1    0    0    0    0   20    ## Arr == TDTSDX
1179 READ
1180 1 7 1 1 0 3
1181 # e/i| Arr|  t | N3    M    N |  1  
1182    0   -1    0    0    0    0   19    ## Arr == TDT
1184 READ
1185 1 7 1 1 0 3
1186 # e/i| Arr|  t | N3    M    N |  1  
1187    0   -1    0    0    0    0    4    ## Arr == DX
1189 # ---------------------------------------------- 20.4 Body
1190 # Statement body is provided
1192 <body>
1193 # Number of original iterators
1195 # List of original iterators
1197 # Statement body expression
1198 TDTSDX=TDT/DX;
1199 </body>
1201 # =============================================== Statement 21
1202 # Number of relations describing the statement:
1205 # ---------------------------------------------- 21.1 Domain
1206 DOMAIN
1207 3 6 1 0 0 3
1208 # e/i|  t | N3    M    N |  1  
1209    1    1    0    0    0    0    ## t >= 0
1210    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1211    1    0    1    0    0   -1    ## N3-1 >= 0
1213 # ---------------------------------------------- 21.2 Scattering
1214 SCATTERING
1215 3 9 3 1 0 3
1216 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1217    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1218    0    0   -1    0    1    0    0    0    0    ## c2 == t
1219    0    0    0   -1    0    0    0    0   11    ## c3 == 11
1221 # ---------------------------------------------- 21.3 Access
1222 WRITE
1223 1 7 1 1 0 3
1224 # e/i| Arr|  t | N3    M    N |  1  
1225    0   -1    0    0    0    0   21    ## Arr == TDTSDY
1227 READ
1228 1 7 1 1 0 3
1229 # e/i| Arr|  t | N3    M    N |  1  
1230    0   -1    0    0    0    0   19    ## Arr == TDT
1232 READ
1233 1 7 1 1 0 3
1234 # e/i| Arr|  t | N3    M    N |  1  
1235    0   -1    0    0    0    0    6    ## Arr == DY
1237 # ---------------------------------------------- 21.4 Body
1238 # Statement body is provided
1240 <body>
1241 # Number of original iterators
1243 # List of original iterators
1245 # Statement body expression
1246 TDTSDY=TDT/DY;
1247 </body>
1249 # =============================================== Statement 22
1250 # Number of relations describing the statement:
1253 # ---------------------------------------------- 22.1 Domain
1254 DOMAIN
1255 9 8 3 0 0 3
1256 # e/i|  t    i    j | N3    M    N |  1  
1257    1    1    0    0    0    0    0    0    ## t >= 0
1258    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1259    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1260    1    0    1    0    0    0    0    0    ## i >= 0
1261    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1262    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1263    1    0    0    1    0    0    0    0    ## j >= 0
1264    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1265    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1267 # ---------------------------------------------- 22.2 Scattering
1268 SCATTERING
1269 7 15 7 3 0 3
1270 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1271    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1272    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1273    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1274    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1275    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1276    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1277    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
1279 # ---------------------------------------------- 22.3 Access
1280 WRITE
1281 3 11 3 3 0 3
1282 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1283    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
1284    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1285    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1287 READ
1288 3 11 3 3 0 3
1289 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1290    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
1291    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1292    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1294 READ
1295 1 9 1 3 0 3
1296 # e/i| Arr|  t    i    j | N3    M    N |  1  
1297    0   -1    0    0    0    0    0    0   18    ## Arr == TDTS8
1299 READ
1300 3 11 3 3 0 3
1301 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1302    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1303    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1304    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1306 READ
1307 3 11 3 3 0 3
1308 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1309    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1310    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1311    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1313 READ
1314 3 11 3 3 0 3
1315 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1316    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1317    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1318    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1320 READ
1321 3 11 3 3 0 3
1322 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1323    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1324    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1325    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1327 READ
1328 3 11 3 3 0 3
1329 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1330    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1331    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1332    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1334 READ
1335 3 11 3 3 0 3
1336 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1337    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1338    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1339    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1341 READ
1342 1 9 1 3 0 3
1343 # e/i| Arr|  t    i    j | N3    M    N |  1  
1344    0   -1    0    0    0    0    0    0   20    ## Arr == TDTSDX
1346 READ
1347 3 11 3 3 0 3
1348 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1349    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1350    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1351    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1353 READ
1354 3 11 3 3 0 3
1355 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1356    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1357    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1358    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1360 # ---------------------------------------------- 22.4 Body
1361 # Statement body is provided
1363 <body>
1364 # Number of original iterators
1366 # List of original iterators
1367 t i j
1368 # Statement body expression
1369 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]);
1370 </body>
1372 # =============================================== Statement 23
1373 # Number of relations describing the statement:
1376 # ---------------------------------------------- 23.1 Domain
1377 DOMAIN
1378 9 8 3 0 0 3
1379 # e/i|  t    i    j | N3    M    N |  1  
1380    1    1    0    0    0    0    0    0    ## t >= 0
1381    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1382    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1383    1    0    1    0    0    0    0    0    ## i >= 0
1384    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1385    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1386    1    0    0    1    0    0    0    0    ## j >= 0
1387    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1388    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1390 # ---------------------------------------------- 23.2 Scattering
1391 SCATTERING
1392 7 15 7 3 0 3
1393 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1394    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1395    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1396    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1397    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1398    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1399    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1400    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
1402 # ---------------------------------------------- 23.3 Access
1403 WRITE
1404 3 11 3 3 0 3
1405 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1406    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
1407    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1408    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1410 READ
1411 3 11 3 3 0 3
1412 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1413    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
1414    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1415    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1417 READ
1418 1 9 1 3 0 3
1419 # e/i| Arr|  t    i    j | N3    M    N |  1  
1420    0   -1    0    0    0    0    0    0   18    ## Arr == TDTS8
1422 READ
1423 3 11 3 3 0 3
1424 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1425    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1426    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1427    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1429 READ
1430 3 11 3 3 0 3
1431 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1432    0   -1    0    0    0    0    0    0    0    0   16    ## Arr == Z
1433    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1434    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1436 READ
1437 3 11 3 3 0 3
1438 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1439    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1440    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1441    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1443 READ
1444 3 11 3 3 0 3
1445 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1446    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1447    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1448    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1450 READ
1451 3 11 3 3 0 3
1452 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1453    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1454    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1455    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1457 READ
1458 3 11 3 3 0 3
1459 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1460    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1461    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1462    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1464 READ
1465 1 9 1 3 0 3
1466 # e/i| Arr|  t    i    j | N3    M    N |  1  
1467    0   -1    0    0    0    0    0    0   21    ## Arr == TDTSDY
1469 READ
1470 3 11 3 3 0 3
1471 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1472    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1473    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1474    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1476 READ
1477 3 11 3 3 0 3
1478 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1479    0   -1    0    0    0    0    0    0    0    0   17    ## Arr == H
1480    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1481    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1483 # ---------------------------------------------- 23.4 Body
1484 # Statement body is provided
1486 <body>
1487 # Number of original iterators
1489 # List of original iterators
1490 t i j
1491 # Statement body expression
1492 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]);
1493 </body>
1495 # =============================================== Statement 24
1496 # Number of relations describing the statement:
1499 # ---------------------------------------------- 24.1 Domain
1500 DOMAIN
1501 9 8 3 0 0 3
1502 # e/i|  t    i    j | N3    M    N |  1  
1503    1    1    0    0    0    0    0    0    ## t >= 0
1504    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
1505    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
1506    1    0    1    0    0    0    0    0    ## i >= 0
1507    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
1508    1    0    0    0    0    1    0   -1    ## M-1 >= 0
1509    1    0    0    1    0    0    0    0    ## j >= 0
1510    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1511    1    0    0    0    0    0    1   -1    ## N-1 >= 0
1513 # ---------------------------------------------- 24.2 Scattering
1514 SCATTERING
1515 7 15 7 3 0 3
1516 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
1517    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1518    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
1519    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   12    ## c3 == 12
1520    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
1521    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
1522    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
1523    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
1525 # ---------------------------------------------- 24.3 Access
1526 WRITE
1527 3 11 3 3 0 3
1528 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1529    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
1530    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1531    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1533 READ
1534 3 11 3 3 0 3
1535 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1536    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
1537    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1538    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1540 READ
1541 1 9 1 3 0 3
1542 # e/i| Arr|  t    i    j | N3    M    N |  1  
1543    0   -1    0    0    0    0    0    0   20    ## Arr == TDTSDX
1545 READ
1546 3 11 3 3 0 3
1547 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1548    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1549    0    0   -1    0    0    1    0    0    0    0    1    ## [1] == i+1
1550    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1552 READ
1553 3 11 3 3 0 3
1554 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1555    0   -1    0    0    0    0    0    0    0    0   11    ## Arr == CU
1556    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1557    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1559 READ
1560 1 9 1 3 0 3
1561 # e/i| Arr|  t    i    j | N3    M    N |  1  
1562    0   -1    0    0    0    0    0    0   21    ## Arr == TDTSDY
1564 READ
1565 3 11 3 3 0 3
1566 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1567    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1568    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1569    0    0    0   -1    0    0    1    0    0    0    1    ## [2] == j+1
1571 READ
1572 3 11 3 3 0 3
1573 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
1574    0   -1    0    0    0    0    0    0    0    0   14    ## Arr == CV
1575    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
1576    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
1578 # ---------------------------------------------- 24.4 Body
1579 # Statement body is provided
1581 <body>
1582 # Number of original iterators
1584 # List of original iterators
1585 t i j
1586 # Statement body expression
1587 PNEW[i][j]=POLD[i][j]-TDTSDX*(CU[i+1][j]-CU[i][j])-TDTSDY*(CV[i][j+1]-CV[i][j]);
1588 </body>
1590 # =============================================== Statement 25
1591 # Number of relations describing the statement:
1594 # ---------------------------------------------- 25.1 Domain
1595 DOMAIN
1596 6 7 2 0 0 3
1597 # e/i|  t    j | N3    M    N |  1  
1598    1    1    0    0    0    0    0    ## t >= 0
1599    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1600    1    0    0    1    0    0   -1    ## N3-1 >= 0
1601    1    0    1    0    0    0    0    ## j >= 0
1602    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1603    1    0    0    0    0    1   -1    ## N-1 >= 0
1605 # ---------------------------------------------- 25.2 Scattering
1606 SCATTERING
1607 5 12 5 2 0 3
1608 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1609    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1610    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1611    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1612    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1613    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
1615 # ---------------------------------------------- 25.3 Access
1616 WRITE
1617 3 10 3 2 0 3
1618 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1619    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1620    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1621    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1623 READ
1624 3 10 3 2 0 3
1625 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1626    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1627    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1628    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1630 # ---------------------------------------------- 25.4 Body
1631 # Statement body is provided
1633 <body>
1634 # Number of original iterators
1636 # List of original iterators
1637 t j
1638 # Statement body expression
1639 UNEW[0][j]=UNEW[M][j];
1640 </body>
1642 # =============================================== Statement 26
1643 # Number of relations describing the statement:
1646 # ---------------------------------------------- 26.1 Domain
1647 DOMAIN
1648 6 7 2 0 0 3
1649 # e/i|  t    j | N3    M    N |  1  
1650    1    1    0    0    0    0    0    ## t >= 0
1651    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1652    1    0    0    1    0    0   -1    ## N3-1 >= 0
1653    1    0    1    0    0    0    0    ## j >= 0
1654    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1655    1    0    0    0    0    1   -1    ## N-1 >= 0
1657 # ---------------------------------------------- 26.2 Scattering
1658 SCATTERING
1659 5 12 5 2 0 3
1660 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1661    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1662    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1663    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1664    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1665    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
1667 # ---------------------------------------------- 26.3 Access
1668 WRITE
1669 3 10 3 2 0 3
1670 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1671    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1672    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1673    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
1675 READ
1676 3 10 3 2 0 3
1677 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1678    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1679    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1680    0    0    0   -1    0    1    0    0    0    1    ## [2] == j+1
1682 # ---------------------------------------------- 26.4 Body
1683 # Statement body is provided
1685 <body>
1686 # Number of original iterators
1688 # List of original iterators
1689 t j
1690 # Statement body expression
1691 VNEW[M][j+1]=VNEW[0][j+1];
1692 </body>
1694 # =============================================== Statement 27
1695 # Number of relations describing the statement:
1698 # ---------------------------------------------- 27.1 Domain
1699 DOMAIN
1700 6 7 2 0 0 3
1701 # e/i|  t    j | N3    M    N |  1  
1702    1    1    0    0    0    0    0    ## t >= 0
1703    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1704    1    0    0    1    0    0   -1    ## N3-1 >= 0
1705    1    0    1    0    0    0    0    ## j >= 0
1706    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
1707    1    0    0    0    0    1   -1    ## N-1 >= 0
1709 # ---------------------------------------------- 27.2 Scattering
1710 SCATTERING
1711 5 12 5 2 0 3
1712 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
1713    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1714    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1715    0    0    0   -1    0    0    0    0    0    0    0   13    ## c3 == 13
1716    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
1717    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
1719 # ---------------------------------------------- 27.3 Access
1720 WRITE
1721 3 10 3 2 0 3
1722 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1723    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1724    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
1725    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1727 READ
1728 3 10 3 2 0 3
1729 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
1730    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1731    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
1732    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
1734 # ---------------------------------------------- 27.4 Body
1735 # Statement body is provided
1737 <body>
1738 # Number of original iterators
1740 # List of original iterators
1741 t j
1742 # Statement body expression
1743 PNEW[M][j]=PNEW[0][j];
1744 </body>
1746 # =============================================== Statement 28
1747 # Number of relations describing the statement:
1750 # ---------------------------------------------- 28.1 Domain
1751 DOMAIN
1752 6 7 2 0 0 3
1753 # e/i|  t    i | N3    M    N |  1  
1754    1    1    0    0    0    0    0    ## t >= 0
1755    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1756    1    0    0    1    0    0   -1    ## N3-1 >= 0
1757    1    0    1    0    0    0    0    ## i >= 0
1758    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1759    1    0    0    0    1    0   -1    ## M-1 >= 0
1761 # ---------------------------------------------- 28.2 Scattering
1762 SCATTERING
1763 5 12 5 2 0 3
1764 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1765    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1766    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1767    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1768    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1769    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
1771 # ---------------------------------------------- 28.3 Access
1772 WRITE
1773 3 10 3 2 0 3
1774 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1775    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1776    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
1777    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1779 READ
1780 3 10 3 2 0 3
1781 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1782    0   -1    0    0    0    0    0    0    0   22    ## Arr == UNEW
1783    0    0   -1    0    0    1    0    0    0    1    ## [1] == i+1
1784    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1786 # ---------------------------------------------- 28.4 Body
1787 # Statement body is provided
1789 <body>
1790 # Number of original iterators
1792 # List of original iterators
1793 t i
1794 # Statement body expression
1795 UNEW[i+1][N]=UNEW[i+1][0];
1796 </body>
1798 # =============================================== Statement 29
1799 # Number of relations describing the statement:
1802 # ---------------------------------------------- 29.1 Domain
1803 DOMAIN
1804 6 7 2 0 0 3
1805 # e/i|  t    i | N3    M    N |  1  
1806    1    1    0    0    0    0    0    ## t >= 0
1807    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1808    1    0    0    1    0    0   -1    ## N3-1 >= 0
1809    1    0    1    0    0    0    0    ## i >= 0
1810    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1811    1    0    0    0    1    0   -1    ## M-1 >= 0
1813 # ---------------------------------------------- 29.2 Scattering
1814 SCATTERING
1815 5 12 5 2 0 3
1816 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1817    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1818    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1819    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1820    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1821    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
1823 # ---------------------------------------------- 29.3 Access
1824 WRITE
1825 3 10 3 2 0 3
1826 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1827    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1828    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1829    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1831 READ
1832 3 10 3 2 0 3
1833 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1834    0   -1    0    0    0    0    0    0    0   24    ## Arr == VNEW
1835    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1836    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1838 # ---------------------------------------------- 29.4 Body
1839 # Statement body is provided
1841 <body>
1842 # Number of original iterators
1844 # List of original iterators
1845 t i
1846 # Statement body expression
1847 VNEW[i][0]=VNEW[i][N];
1848 </body>
1850 # =============================================== Statement 30
1851 # Number of relations describing the statement:
1854 # ---------------------------------------------- 30.1 Domain
1855 DOMAIN
1856 6 7 2 0 0 3
1857 # e/i|  t    i | N3    M    N |  1  
1858    1    1    0    0    0    0    0    ## t >= 0
1859    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
1860    1    0    0    1    0    0   -1    ## N3-1 >= 0
1861    1    0    1    0    0    0    0    ## i >= 0
1862    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
1863    1    0    0    0    1    0   -1    ## M-1 >= 0
1865 # ---------------------------------------------- 30.2 Scattering
1866 SCATTERING
1867 5 12 5 2 0 3
1868 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
1869    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
1870    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
1871    0    0    0   -1    0    0    0    0    0    0    0   14    ## c3 == 14
1872    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
1873    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
1875 # ---------------------------------------------- 30.3 Access
1876 WRITE
1877 3 10 3 2 0 3
1878 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1879    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1880    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1881    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
1883 READ
1884 3 10 3 2 0 3
1885 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
1886    0   -1    0    0    0    0    0    0    0   26    ## Arr == PNEW
1887    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
1888    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
1890 # ---------------------------------------------- 30.4 Body
1891 # Statement body is provided
1893 <body>
1894 # Number of original iterators
1896 # List of original iterators
1897 t i
1898 # Statement body expression
1899 PNEW[i][N]=PNEW[i][0];
1900 </body>
1902 # =============================================== Statement 31
1903 # Number of relations describing the statement:
1906 # ---------------------------------------------- 31.1 Domain
1907 DOMAIN
1908 3 6 1 0 0 3
1909 # e/i|  t | N3    M    N |  1  
1910    1    1    0    0    0    0    ## t >= 0
1911    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1912    1    0    1    0    0   -1    ## N3-1 >= 0
1914 # ---------------------------------------------- 31.2 Scattering
1915 SCATTERING
1916 3 9 3 1 0 3
1917 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1918    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1919    0    0   -1    0    1    0    0    0    0    ## c2 == t
1920    0    0    0   -1    0    0    0    0   15    ## c3 == 15
1922 # ---------------------------------------------- 31.3 Access
1923 WRITE
1924 3 9 3 1 0 3
1925 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1926    0   -1    0    0    0    0    0    0   22    ## Arr == UNEW
1927    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1928    0    0    0   -1    0    0    0    1    0    ## [2] == N
1930 READ
1931 3 9 3 1 0 3
1932 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1933    0   -1    0    0    0    0    0    0   22    ## Arr == UNEW
1934    0    0   -1    0    0    0    1    0    0    ## [1] == M
1935    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1937 # ---------------------------------------------- 31.4 Body
1938 # Statement body is provided
1940 <body>
1941 # Number of original iterators
1943 # List of original iterators
1945 # Statement body expression
1946 UNEW[0][N]=UNEW[M][0];
1947 </body>
1949 # =============================================== Statement 32
1950 # Number of relations describing the statement:
1953 # ---------------------------------------------- 32.1 Domain
1954 DOMAIN
1955 3 6 1 0 0 3
1956 # e/i|  t | N3    M    N |  1  
1957    1    1    0    0    0    0    ## t >= 0
1958    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
1959    1    0    1    0    0   -1    ## N3-1 >= 0
1961 # ---------------------------------------------- 32.2 Scattering
1962 SCATTERING
1963 3 9 3 1 0 3
1964 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
1965    0   -1    0    0    0    0    0    0    0    ## c1 == 0
1966    0    0   -1    0    1    0    0    0    0    ## c2 == t
1967    0    0    0   -1    0    0    0    0   16    ## c3 == 16
1969 # ---------------------------------------------- 32.3 Access
1970 WRITE
1971 3 9 3 1 0 3
1972 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1973    0   -1    0    0    0    0    0    0   24    ## Arr == VNEW
1974    0    0   -1    0    0    0    1    0    0    ## [1] == M
1975    0    0    0   -1    0    0    0    0    0    ## [2] == 0
1977 READ
1978 3 9 3 1 0 3
1979 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
1980    0   -1    0    0    0    0    0    0   24    ## Arr == VNEW
1981    0    0   -1    0    0    0    0    0    0    ## [1] == 0
1982    0    0    0   -1    0    0    0    1    0    ## [2] == N
1984 # ---------------------------------------------- 32.4 Body
1985 # Statement body is provided
1987 <body>
1988 # Number of original iterators
1990 # List of original iterators
1992 # Statement body expression
1993 VNEW[M][0]=VNEW[0][N];
1994 </body>
1996 # =============================================== Statement 33
1997 # Number of relations describing the statement:
2000 # ---------------------------------------------- 33.1 Domain
2001 DOMAIN
2002 3 6 1 0 0 3
2003 # e/i|  t | N3    M    N |  1  
2004    1    1    0    0    0    0    ## t >= 0
2005    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
2006    1    0    1    0    0   -1    ## N3-1 >= 0
2008 # ---------------------------------------------- 33.2 Scattering
2009 SCATTERING
2010 3 9 3 1 0 3
2011 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
2012    0   -1    0    0    0    0    0    0    0    ## c1 == 0
2013    0    0   -1    0    1    0    0    0    0    ## c2 == t
2014    0    0    0   -1    0    0    0    0   17    ## c3 == 17
2016 # ---------------------------------------------- 33.3 Access
2017 WRITE
2018 3 9 3 1 0 3
2019 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
2020    0   -1    0    0    0    0    0    0   26    ## Arr == PNEW
2021    0    0   -1    0    0    0    1    0    0    ## [1] == M
2022    0    0    0   -1    0    0    0    1    0    ## [2] == N
2024 READ
2025 3 9 3 1 0 3
2026 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
2027    0   -1    0    0    0    0    0    0   26    ## Arr == PNEW
2028    0    0   -1    0    0    0    0    0    0    ## [1] == 0
2029    0    0    0   -1    0    0    0    0    0    ## [2] == 0
2031 # ---------------------------------------------- 33.4 Body
2032 # Statement body is provided
2034 <body>
2035 # Number of original iterators
2037 # List of original iterators
2039 # Statement body expression
2040 PNEW[M][N]=PNEW[0][0];
2041 </body>
2043 # =============================================== Statement 34
2044 # Number of relations describing the statement:
2047 # ---------------------------------------------- 34.1 Domain
2048 DOMAIN
2049 3 6 1 0 0 3
2050 # e/i|  t | N3    M    N |  1  
2051    1    1    0    0    0    0    ## t >= 0
2052    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
2053    1    0    1    0    0   -1    ## N3-1 >= 0
2055 # ---------------------------------------------- 34.2 Scattering
2056 SCATTERING
2057 3 9 3 1 0 3
2058 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
2059    0   -1    0    0    0    0    0    0    0    ## c1 == 0
2060    0    0   -1    0    1    0    0    0    0    ## c2 == t
2061    0    0    0   -1    0    0    0    0   18    ## c3 == 18
2063 # ---------------------------------------------- 34.3 Access
2064 WRITE
2065 1 7 1 1 0 3
2066 # e/i| Arr|  t | N3    M    N |  1  
2067    0   -1    0    0    0    0   28    ## Arr == time
2069 READ
2070 1 7 1 1 0 3
2071 # e/i| Arr|  t | N3    M    N |  1  
2072    0   -1    0    0    0    0   28    ## Arr == time
2074 READ
2075 1 7 1 1 0 3
2076 # e/i| Arr|  t | N3    M    N |  1  
2077    0   -1    0    0    0    0   29    ## Arr == DT
2079 # ---------------------------------------------- 34.4 Body
2080 # Statement body is provided
2082 <body>
2083 # Number of original iterators
2085 # List of original iterators
2087 # Statement body expression
2088 time=time+DT;
2089 </body>
2091 # =============================================== Statement 35
2092 # Number of relations describing the statement:
2095 # ---------------------------------------------- 35.1 Domain
2096 DOMAIN
2097 9 8 3 0 0 3
2098 # e/i|  t    i    j | N3    M    N |  1  
2099    1    1    0    0    0    0    0    0    ## t >= 0
2100    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2101    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2102    1    0    1    0    0    0    0    0    ## i >= 0
2103    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2104    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2105    1    0    0    1    0    0    0    0    ## j >= 0
2106    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2107    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2109 # ---------------------------------------------- 35.2 Scattering
2110 SCATTERING
2111 7 15 7 3 0 3
2112 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2113    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2114    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2115    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2116    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2117    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2118    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2119    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    0    ## c7 == 0
2121 # ---------------------------------------------- 35.3 Access
2122 WRITE
2123 3 11 3 3 0 3
2124 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2125    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
2126    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2127    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2129 READ
2130 3 11 3 3 0 3
2131 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2132    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2133    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2134    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2136 READ
2137 1 9 1 3 0 3
2138 # e/i| Arr|  t    i    j | N3    M    N |  1  
2139    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2141 READ
2142 3 11 3 3 0 3
2143 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2144    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
2145    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2146    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2148 READ
2149 3 11 3 3 0 3
2150 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2151    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2152    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2153    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2155 READ
2156 3 11 3 3 0 3
2157 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2158    0   -1    0    0    0    0    0    0    0    0   23    ## Arr == UOLD
2159    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2160    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2162 # ---------------------------------------------- 35.4 Body
2163 # Statement body is provided
2165 <body>
2166 # Number of original iterators
2168 # List of original iterators
2169 t i j
2170 # Statement body expression
2171 UOLD[i][j]=U[i][j]+ALPHA*(UNEW[i][j]-2*U[i][j]+UOLD[i][j]);
2172 </body>
2174 # =============================================== Statement 36
2175 # Number of relations describing the statement:
2178 # ---------------------------------------------- 36.1 Domain
2179 DOMAIN
2180 9 8 3 0 0 3
2181 # e/i|  t    i    j | N3    M    N |  1  
2182    1    1    0    0    0    0    0    0    ## t >= 0
2183    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2184    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2185    1    0    1    0    0    0    0    0    ## i >= 0
2186    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2187    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2188    1    0    0    1    0    0    0    0    ## j >= 0
2189    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2190    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2192 # ---------------------------------------------- 36.2 Scattering
2193 SCATTERING
2194 7 15 7 3 0 3
2195 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2196    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2197    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2198    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2199    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2200    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2201    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2202    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    1    ## c7 == 1
2204 # ---------------------------------------------- 36.3 Access
2205 WRITE
2206 3 11 3 3 0 3
2207 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2208    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
2209    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2210    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2212 READ
2213 3 11 3 3 0 3
2214 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2215    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2216    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2217    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2219 READ
2220 1 9 1 3 0 3
2221 # e/i| Arr|  t    i    j | N3    M    N |  1  
2222    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2224 READ
2225 3 11 3 3 0 3
2226 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2227    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
2228    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2229    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2231 READ
2232 3 11 3 3 0 3
2233 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2234    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2235    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2236    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2238 READ
2239 3 11 3 3 0 3
2240 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2241    0   -1    0    0    0    0    0    0    0    0   25    ## Arr == VOLD
2242    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2243    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2245 # ---------------------------------------------- 36.4 Body
2246 # Statement body is provided
2248 <body>
2249 # Number of original iterators
2251 # List of original iterators
2252 t i j
2253 # Statement body expression
2254 VOLD[i][j]=V[i][j]+ALPHA*(VNEW[i][j]-2*V[i][j]+VOLD[i][j]);
2255 </body>
2257 # =============================================== Statement 37
2258 # Number of relations describing the statement:
2261 # ---------------------------------------------- 37.1 Domain
2262 DOMAIN
2263 9 8 3 0 0 3
2264 # e/i|  t    i    j | N3    M    N |  1  
2265    1    1    0    0    0    0    0    0    ## t >= 0
2266    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2267    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2268    1    0    1    0    0    0    0    0    ## i >= 0
2269    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2270    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2271    1    0    0    1    0    0    0    0    ## j >= 0
2272    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2273    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2275 # ---------------------------------------------- 37.2 Scattering
2276 SCATTERING
2277 7 15 7 3 0 3
2278 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2279    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2280    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2281    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2282    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2283    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2284    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2285    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    2    ## c7 == 2
2287 # ---------------------------------------------- 37.3 Access
2288 WRITE
2289 3 11 3 3 0 3
2290 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2291    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
2292    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2293    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2295 READ
2296 3 11 3 3 0 3
2297 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2298    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2299    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2300    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2302 READ
2303 1 9 1 3 0 3
2304 # e/i| Arr|  t    i    j | N3    M    N |  1  
2305    0   -1    0    0    0    0    0    0   30    ## Arr == ALPHA
2307 READ
2308 3 11 3 3 0 3
2309 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2310    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
2311    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2312    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2314 READ
2315 3 11 3 3 0 3
2316 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2317    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2318    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2319    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2321 READ
2322 3 11 3 3 0 3
2323 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2324    0   -1    0    0    0    0    0    0    0    0   27    ## Arr == POLD
2325    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2326    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2328 # ---------------------------------------------- 37.4 Body
2329 # Statement body is provided
2331 <body>
2332 # Number of original iterators
2334 # List of original iterators
2335 t i j
2336 # Statement body expression
2337 POLD[i][j]=P[i][j]+ALPHA*(PNEW[i][j]-2*P[i][j]+POLD[i][j]);
2338 </body>
2340 # =============================================== Statement 38
2341 # Number of relations describing the statement:
2344 # ---------------------------------------------- 38.1 Domain
2345 DOMAIN
2346 9 8 3 0 0 3
2347 # e/i|  t    i    j | N3    M    N |  1  
2348    1    1    0    0    0    0    0    0    ## t >= 0
2349    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2350    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2351    1    0    1    0    0    0    0    0    ## i >= 0
2352    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2353    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2354    1    0    0    1    0    0    0    0    ## j >= 0
2355    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2356    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2358 # ---------------------------------------------- 38.2 Scattering
2359 SCATTERING
2360 7 15 7 3 0 3
2361 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2362    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2363    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2364    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2365    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2366    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2367    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2368    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    3    ## c7 == 3
2370 # ---------------------------------------------- 38.3 Access
2371 WRITE
2372 3 11 3 3 0 3
2373 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2374    0   -1    0    0    0    0    0    0    0    0   13    ## Arr == U
2375    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2376    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2378 READ
2379 3 11 3 3 0 3
2380 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2381    0   -1    0    0    0    0    0    0    0    0   22    ## Arr == UNEW
2382    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2383    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2385 # ---------------------------------------------- 38.4 Body
2386 # Statement body is provided
2388 <body>
2389 # Number of original iterators
2391 # List of original iterators
2392 t i j
2393 # Statement body expression
2394 U[i][j]=UNEW[i][j];
2395 </body>
2397 # =============================================== Statement 39
2398 # Number of relations describing the statement:
2401 # ---------------------------------------------- 39.1 Domain
2402 DOMAIN
2403 9 8 3 0 0 3
2404 # e/i|  t    i    j | N3    M    N |  1  
2405    1    1    0    0    0    0    0    0    ## t >= 0
2406    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2407    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2408    1    0    1    0    0    0    0    0    ## i >= 0
2409    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2410    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2411    1    0    0    1    0    0    0    0    ## j >= 0
2412    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2413    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2415 # ---------------------------------------------- 39.2 Scattering
2416 SCATTERING
2417 7 15 7 3 0 3
2418 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2419    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2420    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2421    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2422    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2423    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2424    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2425    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    4    ## c7 == 4
2427 # ---------------------------------------------- 39.3 Access
2428 WRITE
2429 3 11 3 3 0 3
2430 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2431    0   -1    0    0    0    0    0    0    0    0   15    ## Arr == V
2432    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2433    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2435 READ
2436 3 11 3 3 0 3
2437 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2438    0   -1    0    0    0    0    0    0    0    0   24    ## Arr == VNEW
2439    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2440    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2442 # ---------------------------------------------- 39.4 Body
2443 # Statement body is provided
2445 <body>
2446 # Number of original iterators
2448 # List of original iterators
2449 t i j
2450 # Statement body expression
2451 V[i][j]=VNEW[i][j];
2452 </body>
2454 # =============================================== Statement 40
2455 # Number of relations describing the statement:
2458 # ---------------------------------------------- 40.1 Domain
2459 DOMAIN
2460 9 8 3 0 0 3
2461 # e/i|  t    i    j | N3    M    N |  1  
2462    1    1    0    0    0    0    0    0    ## t >= 0
2463    1   -1    0    0    1    0    0   -1    ## -t+N3-1 >= 0
2464    1    0    0    0    1    0    0   -1    ## N3-1 >= 0
2465    1    0    1    0    0    0    0    0    ## i >= 0
2466    1    0   -1    0    0    1    0   -1    ## -i+M-1 >= 0
2467    1    0    0    0    0    1    0   -1    ## M-1 >= 0
2468    1    0    0    1    0    0    0    0    ## j >= 0
2469    1    0    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2470    1    0    0    0    0    0    1   -1    ## N-1 >= 0
2472 # ---------------------------------------------- 40.2 Scattering
2473 SCATTERING
2474 7 15 7 3 0 3
2475 # e/i| c1   c2   c3   c4   c5   c6   c7 |  t    i    j | N3    M    N |  1  
2476    0   -1    0    0    0    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2477    0    0   -1    0    0    0    0    0    1    0    0    0    0    0    0    ## c2 == t
2478    0    0    0   -1    0    0    0    0    0    0    0    0    0    0   19    ## c3 == 19
2479    0    0    0    0   -1    0    0    0    0    1    0    0    0    0    0    ## c4 == i
2480    0    0    0    0    0   -1    0    0    0    0    0    0    0    0    0    ## c5 == 0
2481    0    0    0    0    0    0   -1    0    0    0    1    0    0    0    0    ## c6 == j
2482    0    0    0    0    0    0    0   -1    0    0    0    0    0    0    5    ## c7 == 5
2484 # ---------------------------------------------- 40.3 Access
2485 WRITE
2486 3 11 3 3 0 3
2487 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2488    0   -1    0    0    0    0    0    0    0    0   12    ## Arr == P
2489    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2490    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2492 READ
2493 3 11 3 3 0 3
2494 # e/i| Arr  [1]  [2]|  t    i    j | N3    M    N |  1  
2495    0   -1    0    0    0    0    0    0    0    0   26    ## Arr == PNEW
2496    0    0   -1    0    0    1    0    0    0    0    0    ## [1] == i
2497    0    0    0   -1    0    0    1    0    0    0    0    ## [2] == j
2499 # ---------------------------------------------- 40.4 Body
2500 # Statement body is provided
2502 <body>
2503 # Number of original iterators
2505 # List of original iterators
2506 t i j
2507 # Statement body expression
2508 P[i][j]=PNEW[i][j];
2509 </body>
2511 # =============================================== Statement 41
2512 # Number of relations describing the statement:
2515 # ---------------------------------------------- 41.1 Domain
2516 DOMAIN
2517 6 7 2 0 0 3
2518 # e/i|  t    j | N3    M    N |  1  
2519    1    1    0    0    0    0    0    ## t >= 0
2520    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2521    1    0    0    1    0    0   -1    ## N3-1 >= 0
2522    1    0    1    0    0    0    0    ## j >= 0
2523    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2524    1    0    0    0    0    1   -1    ## N-1 >= 0
2526 # ---------------------------------------------- 41.2 Scattering
2527 SCATTERING
2528 5 12 5 2 0 3
2529 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2530    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2531    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2532    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2533    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2534    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
2536 # ---------------------------------------------- 41.3 Access
2537 WRITE
2538 3 10 3 2 0 3
2539 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2540    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2541    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2542    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2544 READ
2545 3 10 3 2 0 3
2546 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2547    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2548    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2549    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2551 # ---------------------------------------------- 41.4 Body
2552 # Statement body is provided
2554 <body>
2555 # Number of original iterators
2557 # List of original iterators
2558 t j
2559 # Statement body expression
2560 UOLD[M][j]=UOLD[0][j];
2561 </body>
2563 # =============================================== Statement 42
2564 # Number of relations describing the statement:
2567 # ---------------------------------------------- 42.1 Domain
2568 DOMAIN
2569 6 7 2 0 0 3
2570 # e/i|  t    j | N3    M    N |  1  
2571    1    1    0    0    0    0    0    ## t >= 0
2572    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2573    1    0    0    1    0    0   -1    ## N3-1 >= 0
2574    1    0    1    0    0    0    0    ## j >= 0
2575    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2576    1    0    0    0    0    1   -1    ## N-1 >= 0
2578 # ---------------------------------------------- 42.2 Scattering
2579 SCATTERING
2580 5 12 5 2 0 3
2581 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2582    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2583    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2584    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2585    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2586    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
2588 # ---------------------------------------------- 42.3 Access
2589 WRITE
2590 3 10 3 2 0 3
2591 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2592    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2593    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2594    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2596 READ
2597 3 10 3 2 0 3
2598 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2599    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2600    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2601    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2603 # ---------------------------------------------- 42.4 Body
2604 # Statement body is provided
2606 <body>
2607 # Number of original iterators
2609 # List of original iterators
2610 t j
2611 # Statement body expression
2612 VOLD[M][j]=VOLD[0][j];
2613 </body>
2615 # =============================================== Statement 43
2616 # Number of relations describing the statement:
2619 # ---------------------------------------------- 43.1 Domain
2620 DOMAIN
2621 6 7 2 0 0 3
2622 # e/i|  t    j | N3    M    N |  1  
2623    1    1    0    0    0    0    0    ## t >= 0
2624    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2625    1    0    0    1    0    0   -1    ## N3-1 >= 0
2626    1    0    1    0    0    0    0    ## j >= 0
2627    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2628    1    0    0    0    0    1   -1    ## N-1 >= 0
2630 # ---------------------------------------------- 43.2 Scattering
2631 SCATTERING
2632 5 12 5 2 0 3
2633 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2634    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2635    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2636    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2637    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2638    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
2640 # ---------------------------------------------- 43.3 Access
2641 WRITE
2642 3 10 3 2 0 3
2643 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2644    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2645    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2646    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2648 READ
2649 3 10 3 2 0 3
2650 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2651    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2652    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2653    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2655 # ---------------------------------------------- 43.4 Body
2656 # Statement body is provided
2658 <body>
2659 # Number of original iterators
2661 # List of original iterators
2662 t j
2663 # Statement body expression
2664 POLD[M][j]=POLD[0][j];
2665 </body>
2667 # =============================================== Statement 44
2668 # Number of relations describing the statement:
2671 # ---------------------------------------------- 44.1 Domain
2672 DOMAIN
2673 6 7 2 0 0 3
2674 # e/i|  t    j | N3    M    N |  1  
2675    1    1    0    0    0    0    0    ## t >= 0
2676    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2677    1    0    0    1    0    0   -1    ## N3-1 >= 0
2678    1    0    1    0    0    0    0    ## j >= 0
2679    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2680    1    0    0    0    0    1   -1    ## N-1 >= 0
2682 # ---------------------------------------------- 44.2 Scattering
2683 SCATTERING
2684 5 12 5 2 0 3
2685 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2686    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2687    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2688    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2689    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2690    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
2692 # ---------------------------------------------- 44.3 Access
2693 WRITE
2694 3 10 3 2 0 3
2695 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2696    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2697    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2698    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2700 READ
2701 3 10 3 2 0 3
2702 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2703    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
2704    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2705    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2707 # ---------------------------------------------- 44.4 Body
2708 # Statement body is provided
2710 <body>
2711 # Number of original iterators
2713 # List of original iterators
2714 t j
2715 # Statement body expression
2716 U[M][j]=U[0][j];
2717 </body>
2719 # =============================================== Statement 45
2720 # Number of relations describing the statement:
2723 # ---------------------------------------------- 45.1 Domain
2724 DOMAIN
2725 6 7 2 0 0 3
2726 # e/i|  t    j | N3    M    N |  1  
2727    1    1    0    0    0    0    0    ## t >= 0
2728    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2729    1    0    0    1    0    0   -1    ## N3-1 >= 0
2730    1    0    1    0    0    0    0    ## j >= 0
2731    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2732    1    0    0    0    0    1   -1    ## N-1 >= 0
2734 # ---------------------------------------------- 45.2 Scattering
2735 SCATTERING
2736 5 12 5 2 0 3
2737 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2738    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2739    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2740    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2741    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2742    0    0    0    0    0   -1    0    0    0    0    0    4    ## c5 == 4
2744 # ---------------------------------------------- 45.3 Access
2745 WRITE
2746 3 10 3 2 0 3
2747 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2748    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
2749    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2750    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2752 READ
2753 3 10 3 2 0 3
2754 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2755    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
2756    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2757    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2759 # ---------------------------------------------- 45.4 Body
2760 # Statement body is provided
2762 <body>
2763 # Number of original iterators
2765 # List of original iterators
2766 t j
2767 # Statement body expression
2768 V[M][j]=V[0][j];
2769 </body>
2771 # =============================================== Statement 46
2772 # Number of relations describing the statement:
2775 # ---------------------------------------------- 46.1 Domain
2776 DOMAIN
2777 6 7 2 0 0 3
2778 # e/i|  t    j | N3    M    N |  1  
2779    1    1    0    0    0    0    0    ## t >= 0
2780    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2781    1    0    0    1    0    0   -1    ## N3-1 >= 0
2782    1    0    1    0    0    0    0    ## j >= 0
2783    1    0   -1    0    0    1   -1    ## -j+N-1 >= 0
2784    1    0    0    0    0    1   -1    ## N-1 >= 0
2786 # ---------------------------------------------- 46.2 Scattering
2787 SCATTERING
2788 5 12 5 2 0 3
2789 # e/i| c1   c2   c3   c4   c5 |  t    j | N3    M    N |  1  
2790    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2791    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2792    0    0    0   -1    0    0    0    0    0    0    0   20    ## c3 == 20
2793    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == j
2794    0    0    0    0    0   -1    0    0    0    0    0    5    ## c5 == 5
2796 # ---------------------------------------------- 46.3 Access
2797 WRITE
2798 3 10 3 2 0 3
2799 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2800    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
2801    0    0   -1    0    0    0    0    1    0    0    ## [1] == M
2802    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2804 READ
2805 3 10 3 2 0 3
2806 # e/i| Arr  [1]  [2]|  t    j | N3    M    N |  1  
2807    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
2808    0    0   -1    0    0    0    0    0    0    0    ## [1] == 0
2809    0    0    0   -1    0    1    0    0    0    0    ## [2] == j
2811 # ---------------------------------------------- 46.4 Body
2812 # Statement body is provided
2814 <body>
2815 # Number of original iterators
2817 # List of original iterators
2818 t j
2819 # Statement body expression
2820 P[M][j]=P[0][j];
2821 </body>
2823 # =============================================== Statement 47
2824 # Number of relations describing the statement:
2827 # ---------------------------------------------- 47.1 Domain
2828 DOMAIN
2829 6 7 2 0 0 3
2830 # e/i|  t    i | N3    M    N |  1  
2831    1    1    0    0    0    0    0    ## t >= 0
2832    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2833    1    0    0    1    0    0   -1    ## N3-1 >= 0
2834    1    0    1    0    0    0    0    ## i >= 0
2835    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2836    1    0    0    0    1    0   -1    ## M-1 >= 0
2838 # ---------------------------------------------- 47.2 Scattering
2839 SCATTERING
2840 5 12 5 2 0 3
2841 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2842    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2843    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2844    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2845    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2846    0    0    0    0    0   -1    0    0    0    0    0    0    ## c5 == 0
2848 # ---------------------------------------------- 47.3 Access
2849 WRITE
2850 3 10 3 2 0 3
2851 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2852    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2853    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2854    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2856 READ
2857 3 10 3 2 0 3
2858 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2859    0   -1    0    0    0    0    0    0    0   23    ## Arr == UOLD
2860    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2861    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2863 # ---------------------------------------------- 47.4 Body
2864 # Statement body is provided
2866 <body>
2867 # Number of original iterators
2869 # List of original iterators
2870 t i
2871 # Statement body expression
2872 UOLD[i][N]=UOLD[i][0];
2873 </body>
2875 # =============================================== Statement 48
2876 # Number of relations describing the statement:
2879 # ---------------------------------------------- 48.1 Domain
2880 DOMAIN
2881 6 7 2 0 0 3
2882 # e/i|  t    i | N3    M    N |  1  
2883    1    1    0    0    0    0    0    ## t >= 0
2884    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2885    1    0    0    1    0    0   -1    ## N3-1 >= 0
2886    1    0    1    0    0    0    0    ## i >= 0
2887    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2888    1    0    0    0    1    0   -1    ## M-1 >= 0
2890 # ---------------------------------------------- 48.2 Scattering
2891 SCATTERING
2892 5 12 5 2 0 3
2893 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2894    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2895    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2896    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2897    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2898    0    0    0    0    0   -1    0    0    0    0    0    1    ## c5 == 1
2900 # ---------------------------------------------- 48.3 Access
2901 WRITE
2902 3 10 3 2 0 3
2903 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2904    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2905    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2906    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2908 READ
2909 3 10 3 2 0 3
2910 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2911    0   -1    0    0    0    0    0    0    0   25    ## Arr == VOLD
2912    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2913    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2915 # ---------------------------------------------- 48.4 Body
2916 # Statement body is provided
2918 <body>
2919 # Number of original iterators
2921 # List of original iterators
2922 t i
2923 # Statement body expression
2924 VOLD[i][N]=VOLD[i][0];
2925 </body>
2927 # =============================================== Statement 49
2928 # Number of relations describing the statement:
2931 # ---------------------------------------------- 49.1 Domain
2932 DOMAIN
2933 6 7 2 0 0 3
2934 # e/i|  t    i | N3    M    N |  1  
2935    1    1    0    0    0    0    0    ## t >= 0
2936    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2937    1    0    0    1    0    0   -1    ## N3-1 >= 0
2938    1    0    1    0    0    0    0    ## i >= 0
2939    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2940    1    0    0    0    1    0   -1    ## M-1 >= 0
2942 # ---------------------------------------------- 49.2 Scattering
2943 SCATTERING
2944 5 12 5 2 0 3
2945 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2946    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2947    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
2948    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
2949    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
2950    0    0    0    0    0   -1    0    0    0    0    0    2    ## c5 == 2
2952 # ---------------------------------------------- 49.3 Access
2953 WRITE
2954 3 10 3 2 0 3
2955 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2956    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2957    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2958    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
2960 READ
2961 3 10 3 2 0 3
2962 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
2963    0   -1    0    0    0    0    0    0    0   27    ## Arr == POLD
2964    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
2965    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
2967 # ---------------------------------------------- 49.4 Body
2968 # Statement body is provided
2970 <body>
2971 # Number of original iterators
2973 # List of original iterators
2974 t i
2975 # Statement body expression
2976 POLD[i][N]=POLD[i][0];
2977 </body>
2979 # =============================================== Statement 50
2980 # Number of relations describing the statement:
2983 # ---------------------------------------------- 50.1 Domain
2984 DOMAIN
2985 6 7 2 0 0 3
2986 # e/i|  t    i | N3    M    N |  1  
2987    1    1    0    0    0    0    0    ## t >= 0
2988    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
2989    1    0    0    1    0    0   -1    ## N3-1 >= 0
2990    1    0    1    0    0    0    0    ## i >= 0
2991    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
2992    1    0    0    0    1    0   -1    ## M-1 >= 0
2994 # ---------------------------------------------- 50.2 Scattering
2995 SCATTERING
2996 5 12 5 2 0 3
2997 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
2998    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
2999    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
3000    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
3001    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
3002    0    0    0    0    0   -1    0    0    0    0    0    3    ## c5 == 3
3004 # ---------------------------------------------- 50.3 Access
3005 WRITE
3006 3 10 3 2 0 3
3007 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3008    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
3009    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3010    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
3012 READ
3013 3 10 3 2 0 3
3014 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3015    0   -1    0    0    0    0    0    0    0   13    ## Arr == U
3016    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3017    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
3019 # ---------------------------------------------- 50.4 Body
3020 # Statement body is provided
3022 <body>
3023 # Number of original iterators
3025 # List of original iterators
3026 t i
3027 # Statement body expression
3028 U[i][N]=U[i][0];
3029 </body>
3031 # =============================================== Statement 51
3032 # Number of relations describing the statement:
3035 # ---------------------------------------------- 51.1 Domain
3036 DOMAIN
3037 6 7 2 0 0 3
3038 # e/i|  t    i | N3    M    N |  1  
3039    1    1    0    0    0    0    0    ## t >= 0
3040    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
3041    1    0    0    1    0    0   -1    ## N3-1 >= 0
3042    1    0    1    0    0    0    0    ## i >= 0
3043    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
3044    1    0    0    0    1    0   -1    ## M-1 >= 0
3046 # ---------------------------------------------- 51.2 Scattering
3047 SCATTERING
3048 5 12 5 2 0 3
3049 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
3050    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
3051    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
3052    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
3053    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
3054    0    0    0    0    0   -1    0    0    0    0    0    4    ## c5 == 4
3056 # ---------------------------------------------- 51.3 Access
3057 WRITE
3058 3 10 3 2 0 3
3059 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3060    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
3061    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3062    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
3064 READ
3065 3 10 3 2 0 3
3066 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3067    0   -1    0    0    0    0    0    0    0   15    ## Arr == V
3068    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3069    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
3071 # ---------------------------------------------- 51.4 Body
3072 # Statement body is provided
3074 <body>
3075 # Number of original iterators
3077 # List of original iterators
3078 t i
3079 # Statement body expression
3080 V[i][N]=V[i][0];
3081 </body>
3083 # =============================================== Statement 52
3084 # Number of relations describing the statement:
3087 # ---------------------------------------------- 52.1 Domain
3088 DOMAIN
3089 6 7 2 0 0 3
3090 # e/i|  t    i | N3    M    N |  1  
3091    1    1    0    0    0    0    0    ## t >= 0
3092    1   -1    0    1    0    0   -1    ## -t+N3-1 >= 0
3093    1    0    0    1    0    0   -1    ## N3-1 >= 0
3094    1    0    1    0    0    0    0    ## i >= 0
3095    1    0   -1    0    1    0   -1    ## -i+M-1 >= 0
3096    1    0    0    0    1    0   -1    ## M-1 >= 0
3098 # ---------------------------------------------- 52.2 Scattering
3099 SCATTERING
3100 5 12 5 2 0 3
3101 # e/i| c1   c2   c3   c4   c5 |  t    i | N3    M    N |  1  
3102    0   -1    0    0    0    0    0    0    0    0    0    0    ## c1 == 0
3103    0    0   -1    0    0    0    1    0    0    0    0    0    ## c2 == t
3104    0    0    0   -1    0    0    0    0    0    0    0   21    ## c3 == 21
3105    0    0    0    0   -1    0    0    1    0    0    0    0    ## c4 == i
3106    0    0    0    0    0   -1    0    0    0    0    0    5    ## c5 == 5
3108 # ---------------------------------------------- 52.3 Access
3109 WRITE
3110 3 10 3 2 0 3
3111 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3112    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
3113    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3114    0    0    0   -1    0    0    0    0    1    0    ## [2] == N
3116 READ
3117 3 10 3 2 0 3
3118 # e/i| Arr  [1]  [2]|  t    i | N3    M    N |  1  
3119    0   -1    0    0    0    0    0    0    0   12    ## Arr == P
3120    0    0   -1    0    0    1    0    0    0    0    ## [1] == i
3121    0    0    0   -1    0    0    0    0    0    0    ## [2] == 0
3123 # ---------------------------------------------- 52.4 Body
3124 # Statement body is provided
3126 <body>
3127 # Number of original iterators
3129 # List of original iterators
3130 t i
3131 # Statement body expression
3132 P[i][N]=P[i][0];
3133 </body>
3135 # =============================================== Statement 53
3136 # Number of relations describing the statement:
3139 # ---------------------------------------------- 53.1 Domain
3140 DOMAIN
3141 3 6 1 0 0 3
3142 # e/i|  t | N3    M    N |  1  
3143    1    1    0    0    0    0    ## t >= 0
3144    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3145    1    0    1    0    0   -1    ## N3-1 >= 0
3147 # ---------------------------------------------- 53.2 Scattering
3148 SCATTERING
3149 3 9 3 1 0 3
3150 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3151    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3152    0    0   -1    0    1    0    0    0    0    ## c2 == t
3153    0    0    0   -1    0    0    0    0   22    ## c3 == 22
3155 # ---------------------------------------------- 53.3 Access
3156 WRITE
3157 3 9 3 1 0 3
3158 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3159    0   -1    0    0    0    0    0    0   23    ## Arr == UOLD
3160    0    0   -1    0    0    0    1    0    0    ## [1] == M
3161    0    0    0   -1    0    0    0    1    0    ## [2] == N
3163 READ
3164 3 9 3 1 0 3
3165 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3166    0   -1    0    0    0    0    0    0   23    ## Arr == UOLD
3167    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3168    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3170 # ---------------------------------------------- 53.4 Body
3171 # Statement body is provided
3173 <body>
3174 # Number of original iterators
3176 # List of original iterators
3178 # Statement body expression
3179 UOLD[M][N]=UOLD[0][0];
3180 </body>
3182 # =============================================== Statement 54
3183 # Number of relations describing the statement:
3186 # ---------------------------------------------- 54.1 Domain
3187 DOMAIN
3188 3 6 1 0 0 3
3189 # e/i|  t | N3    M    N |  1  
3190    1    1    0    0    0    0    ## t >= 0
3191    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3192    1    0    1    0    0   -1    ## N3-1 >= 0
3194 # ---------------------------------------------- 54.2 Scattering
3195 SCATTERING
3196 3 9 3 1 0 3
3197 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3198    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3199    0    0   -1    0    1    0    0    0    0    ## c2 == t
3200    0    0    0   -1    0    0    0    0   23    ## c3 == 23
3202 # ---------------------------------------------- 54.3 Access
3203 WRITE
3204 3 9 3 1 0 3
3205 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3206    0   -1    0    0    0    0    0    0   25    ## Arr == VOLD
3207    0    0   -1    0    0    0    1    0    0    ## [1] == M
3208    0    0    0   -1    0    0    0    1    0    ## [2] == N
3210 READ
3211 3 9 3 1 0 3
3212 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3213    0   -1    0    0    0    0    0    0   25    ## Arr == VOLD
3214    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3215    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3217 # ---------------------------------------------- 54.4 Body
3218 # Statement body is provided
3220 <body>
3221 # Number of original iterators
3223 # List of original iterators
3225 # Statement body expression
3226 VOLD[M][N]=VOLD[0][0];
3227 </body>
3229 # =============================================== Statement 55
3230 # Number of relations describing the statement:
3233 # ---------------------------------------------- 55.1 Domain
3234 DOMAIN
3235 3 6 1 0 0 3
3236 # e/i|  t | N3    M    N |  1  
3237    1    1    0    0    0    0    ## t >= 0
3238    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3239    1    0    1    0    0   -1    ## N3-1 >= 0
3241 # ---------------------------------------------- 55.2 Scattering
3242 SCATTERING
3243 3 9 3 1 0 3
3244 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3245    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3246    0    0   -1    0    1    0    0    0    0    ## c2 == t
3247    0    0    0   -1    0    0    0    0   24    ## c3 == 24
3249 # ---------------------------------------------- 55.3 Access
3250 WRITE
3251 3 9 3 1 0 3
3252 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3253    0   -1    0    0    0    0    0    0   27    ## Arr == POLD
3254    0    0   -1    0    0    0    1    0    0    ## [1] == M
3255    0    0    0   -1    0    0    0    1    0    ## [2] == N
3257 READ
3258 3 9 3 1 0 3
3259 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3260    0   -1    0    0    0    0    0    0   27    ## Arr == POLD
3261    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3262    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3264 # ---------------------------------------------- 55.4 Body
3265 # Statement body is provided
3267 <body>
3268 # Number of original iterators
3270 # List of original iterators
3272 # Statement body expression
3273 POLD[M][N]=POLD[0][0];
3274 </body>
3276 # =============================================== Statement 56
3277 # Number of relations describing the statement:
3280 # ---------------------------------------------- 56.1 Domain
3281 DOMAIN
3282 3 6 1 0 0 3
3283 # e/i|  t | N3    M    N |  1  
3284    1    1    0    0    0    0    ## t >= 0
3285    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3286    1    0    1    0    0   -1    ## N3-1 >= 0
3288 # ---------------------------------------------- 56.2 Scattering
3289 SCATTERING
3290 3 9 3 1 0 3
3291 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3292    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3293    0    0   -1    0    1    0    0    0    0    ## c2 == t
3294    0    0    0   -1    0    0    0    0   25    ## c3 == 25
3296 # ---------------------------------------------- 56.3 Access
3297 WRITE
3298 3 9 3 1 0 3
3299 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3300    0   -1    0    0    0    0    0    0   13    ## Arr == U
3301    0    0   -1    0    0    0    1    0    0    ## [1] == M
3302    0    0    0   -1    0    0    0    1    0    ## [2] == N
3304 READ
3305 3 9 3 1 0 3
3306 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3307    0   -1    0    0    0    0    0    0   13    ## Arr == U
3308    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3309    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3311 # ---------------------------------------------- 56.4 Body
3312 # Statement body is provided
3314 <body>
3315 # Number of original iterators
3317 # List of original iterators
3319 # Statement body expression
3320 U[M][N]=U[0][0];
3321 </body>
3323 # =============================================== Statement 57
3324 # Number of relations describing the statement:
3327 # ---------------------------------------------- 57.1 Domain
3328 DOMAIN
3329 3 6 1 0 0 3
3330 # e/i|  t | N3    M    N |  1  
3331    1    1    0    0    0    0    ## t >= 0
3332    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3333    1    0    1    0    0   -1    ## N3-1 >= 0
3335 # ---------------------------------------------- 57.2 Scattering
3336 SCATTERING
3337 3 9 3 1 0 3
3338 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3339    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3340    0    0   -1    0    1    0    0    0    0    ## c2 == t
3341    0    0    0   -1    0    0    0    0   26    ## c3 == 26
3343 # ---------------------------------------------- 57.3 Access
3344 WRITE
3345 3 9 3 1 0 3
3346 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3347    0   -1    0    0    0    0    0    0   15    ## Arr == V
3348    0    0   -1    0    0    0    1    0    0    ## [1] == M
3349    0    0    0   -1    0    0    0    1    0    ## [2] == N
3351 READ
3352 3 9 3 1 0 3
3353 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3354    0   -1    0    0    0    0    0    0   15    ## Arr == V
3355    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3356    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3358 # ---------------------------------------------- 57.4 Body
3359 # Statement body is provided
3361 <body>
3362 # Number of original iterators
3364 # List of original iterators
3366 # Statement body expression
3367 V[M][N]=V[0][0];
3368 </body>
3370 # =============================================== Statement 58
3371 # Number of relations describing the statement:
3374 # ---------------------------------------------- 58.1 Domain
3375 DOMAIN
3376 3 6 1 0 0 3
3377 # e/i|  t | N3    M    N |  1  
3378    1    1    0    0    0    0    ## t >= 0
3379    1   -1    1    0    0   -1    ## -t+N3-1 >= 0
3380    1    0    1    0    0   -1    ## N3-1 >= 0
3382 # ---------------------------------------------- 58.2 Scattering
3383 SCATTERING
3384 3 9 3 1 0 3
3385 # e/i| c1   c2   c3 |  t | N3    M    N |  1  
3386    0   -1    0    0    0    0    0    0    0    ## c1 == 0
3387    0    0   -1    0    1    0    0    0    0    ## c2 == t
3388    0    0    0   -1    0    0    0    0   27    ## c3 == 27
3390 # ---------------------------------------------- 58.3 Access
3391 WRITE
3392 3 9 3 1 0 3
3393 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3394    0   -1    0    0    0    0    0    0   12    ## Arr == P
3395    0    0   -1    0    0    0    1    0    0    ## [1] == M
3396    0    0    0   -1    0    0    0    1    0    ## [2] == N
3398 READ
3399 3 9 3 1 0 3
3400 # e/i| Arr  [1]  [2]|  t | N3    M    N |  1  
3401    0   -1    0    0    0    0    0    0   12    ## Arr == P
3402    0    0   -1    0    0    0    0    0    0    ## [1] == 0
3403    0    0    0   -1    0    0    0    0    0    ## [2] == 0
3405 # ---------------------------------------------- 58.4 Body
3406 # Statement body is provided
3408 <body>
3409 # Number of original iterators
3411 # List of original iterators
3413 # Statement body expression
3414 P[M][N]=P[0][0];
3415 </body>
3417 # =============================================== Extensions
3418 <scatnames>
3419 b0 t b1 i b2 j b3
3420 </scatnames>
3422 <arrays>
3423 # Number of arrays
3425 # Mapping array-identifiers/array-names
3426 1 t
3427 2 N3
3428 3 FSDX
3429 4 DX
3430 5 FSDY
3431 6 DY
3432 7 i
3433 8 M
3434 9 j
3435 10 N
3436 11 CU
3437 12 P
3438 13 U
3439 14 CV
3440 15 V
3441 16 Z
3442 17 H
3443 18 TDTS8
3444 19 TDT
3445 20 TDTSDX
3446 21 TDTSDY
3447 22 UNEW
3448 23 UOLD
3449 24 VNEW
3450 25 VOLD
3451 26 PNEW
3452 27 POLD
3453 28 time
3454 29 DT
3455 30 ALPHA
3456 </arrays>
3458 <coordinates>
3459 # File name
3460 ./tests/swim.c
3461 # Starting line
3463 # Ending line
3465 # Indentation
3467 </coordinates>
3469 </OpenScop>