# Optimal code is in fact :
#
# for (i=0;i<=M;i+=2) {
#   S1 ;
# }
 
# language: C
c

# parameter n
1 3
#  n  1
1  1 -2
1
n

2 # Number of statements

1
# {i, j | i=2*j; 1<=i<=n}
3 5
#  i  j  n  1
0  1 -2  0  0
1  1  0  0 -1
1 -1  0  1  0
0  0  0

1
# {i, j | i=4*j; 1<=i<=n}
3 5
#  i  j  n  1
0  1 -4  0  0
1  1  0  0 -1
1 -1  0  1  0
0  0  0
0

0 # Scattering functions
5 10
# t1 t2 t3 t4 t5  i  j  n  1
0  1  0  0  0  0  0  0  0  0
0  0  1  0  0  0 -1  0  0  0
0  0  0  1  0  0  0  0  0  0
0  0  0  0  1  0  0 -1  0  0
0  0  0  0  0  1  0  0  0  0

5 10
# t1 t2 t3 t4 t5  i  j  n  1
0  1  0  0  0  0  0  0  0  0
0  0  1  0  0  0 -1  0  0  0
0  0  0  1  0  0  0  0  0  0
0  0  0  0  1  0  0 -1  0  0
0  0  0  0  0  1  0  0  0  0
0