# language: C
c

# parameters n m
1 3
#  n  1
1  0  0
1
n

2 # Number of statements

1
# S1 {i, j, k | 1<=i<=n; 1<=j<=n,  1<=k<=n}
6 6
#  i  j  k  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  0  1  0
1  0  0  1  0 -1
1  0  0 -1  1  0
0  0  0

1
# S2 {i, j, k | 1<=i<=n; 1<=j<=n,  1<=k<=n}
6 6
#  i  j  k  n  1
1  1  0  0  0 -1
1 -1  0  0  1  0
1  0  1  0  0 -1
1  0 -1  0  1  0
1  0  0  1  0 -1
1  0  0 -1  1  0
0  0  0
0

2
# Scattering functions
3 9
# c1 c2 c3  i  j  k  n  1
0  1  0  0 -1  1  0  0  0
0  0  1  0 -1 -1  0  0  0
0  0  0  1 -1 -1 -2  0  0

3 9
# c1 c2 c3  i  j  k  n  1
0  1  0  0 -1  1  0  0 -1
0  0  1  0 -1 -1  0  0 -2
0  0  0  1  0  0 -1  0  0
1
t1 t2 t3