# language: C
c

# Context
#{M | }
1 3
# M 1
1 0 1
0

1 # Number of statements

1
#{i, j | i=2N; i=2j}
3 5
#  i  j  M  1
0  1  0 -2  0
0  1 -2  0  0
1  0  0  0  1
0  0  0
0

0 # Scattering functions