# language: C
c

# parameters {n}
1 3
#  n  1
1  1 -25
1
n

2 # Number of statements

1
# {i | 0<=i<=n, 0<=j<=n-15}
4 5
#  i  j  n  1
1  1  0  0  0
1 -1  0  1  0
1  0  1  0  0
1  0 -1  1 -15
0  0  0
 
1
# {i | 15<=i<=n, 10<=j<=n}
4 5
#  i  j  n  1
1  1  0  0 -15
1 -1  0  1  0
1  0  1  0 -10
1  0 -1  1  0
0  0  0
0

0 # Scattering functions