1# Optimal code is in fact :
2# 
3# for (i=0;i<=M;i++) {
4#   S1 ;
5#   for (j=0;j<=N;j++) {
6#     S2 ;
7#   }
8#   S3 ;
9# }
10
11# language: C
12c
13
14# parameters {n, m | n>=2 m>=n}
152  4
161  1  0 -2
171 -1  1  0
181
19n m
20
213 # Number of statements
22
231
24# {i | 0<=i<=n i==j}
253 6
261  1  0  0  0 -1
271 -1  0  1  0  0
280  1 -1  0  0  0
290  0  0
30
311
32# {i | 0<=i<=n i<=j<=n}
334 6
341  1  0  0  0 -1
351 -1  0  1  0  0
361 -1  1  0  0  0
371  0 -1  1  0  0
380  0  0
39
401
41# {i | 0<=i<=m j==n}
423 6
431  1  0  0  0 -1
441 -1  0  0  1  0
450  0  1 -1  0  0
460  0  0
470
48 
490 # Scattering functions
50