# Optimal code is in fact :
# 
# for (i=0;i<=M;i++) {
#   S1 ;
#   for (j=0;j<=N;j++) {
#     S2 ;
#   }
#   S3 ;
# }

# language: C
c

# parameters {M, N | M>=1 N >=1}
0 2
0

3 # Number of statements

1
# {i | 0<=i<=5 i==j}
3 4
1  1  0  0
1 -1  0  5
0  1 -1  0
0  0  0

1
# {i | 0<=i<=5 i<=j<=5}
4 4
1  1  0  0
1 -1  0  5
1 -1  1  0
1  0 -1  5
0  0  0

1
# {i | 0<=i<=5 j==5}
3 4
1  1  0  0
1 -1  0  5
0  0  1 -5
0  0  0
0
 
0 # Scattering functions