# Scan
#  D = { (i, j, k) | 0 <= i < 10, 1 <= j < 20, 2i + 3j = k, i + j + 3 = 3k }
#
# language: C
c

# parameter (none)
1 2
1 1
0

1 # Number of statements

1
6 5
#  i  j  k  1
1  1  0  0  0
1 -1  0  0 10
1  0  1  0 -1
1  0 -1  0 20
0  2  3 -1  0
0  1  1 -1  3
0  0  0
0 

0 # Scattering functions