# language: C
c

# Context
1 3
#  n  1
1  0  1
0

2 # Number of statements

1
3 5
#  i  j  n  1
1  1  0  0 -1 # i >= 1
1  0 -1  0  7 # j <= 7
1 -1  1  0  1 # j >= i-1
0  0  0

1
4 5
#  i  j  n  1
1  1  0  0 -2 # i >= 2
1 -1  0  0  6 # i <= 6
1  0  1  0  0 # j >= 0
1  0 -1  0  4 # j <= 4
0  0  0
0

0 # Scattering functions