#    Context
c # output in language C

# no constraints on parameters
1 3 # 1 line and 3 columns

# n 1
1 1 -30  # 0 >= 0 always true

1 	# Setting manually the parameter' sname
n  	# The name


# --------------------  Statements  ------------------
6 # Number of statements


1 # First statement: 1 domain 

# First domain

2 4  			# 2 lines and 4 columns
#   i   n    1
1   1   27   -1		# i >= 1
1  -1   1    28		# n >= i
0 0 0

1 # Second statement: 1 domain 

# First domain

4 5  			# 4 lines and 5 columns
#   i   k   n    1
1   1   29   0   -1		# i >= 1
1  -1   0   1    0		# n >= i
1   0   1   0   -1		# k >= 1
1   1  -1   0   -1		# k <= i-1
0 0 0


1 # Third statement: 1 domain 

# First domain

2 4  			# 2 lines and 4 columns
#   i   n    1
1   1   0   -1		# i >= 1
1  -1   1    0		# n >= i
0 0 0


1 # Fourth statement: 1 domain 

# First domain

4 5  			# 4 lines and 5 columns
#   i   j   n    1
1   1   0   0   -1		# i >= 1
1  -1   0   1    0		# n >= i
1  -1   1   0   -1		# j >= i+1
1   0  -1   1    0		# j <= n
0 0 0

1 # Fifth statement: 1 domain 

# First domain

6 6  			# 6 lines and 6 columns
#   i   j   k   n    1
1   1   0   0   0   -1		# i >= 1
1  -1   0   0   1    0		# n >= i
1  -1   1   0   0   -1		# j >= i+1
1   0  -1   0   1    0		# j <= n
1   0   0   1   0   -1		# k >= 1
1   1   0  -1   0   -1		# k <= i-1
0 0 0

1 # Sixth statement: 1 domain 

# First domain

4 5  			# 4 lines and 5 columns
#   i   j   n    1
1   1   0   0   -1		# i >= 1
1  -1   0   1    0		# n >= i
1  -1   1   0   -1		# j >= i+1
1   0  -1   1    0		# j <= n
0 0 0


1 # We manually set the iterator names
i j k


# ------------------------ Scattering -------------------

6 # Number of scattering functions


# First function
3 7					# 3 lines and 7 columns
#   p1  p2  p3   i   n   1
0    1   0   0  -2   0  -2	 	# p1 = 2i+2
0    0   1   0   0   0   0 		# p2 = 0
0    0   0   1   0   0   0	 	# p3 = 0

# Second function
3 8					# 3 lines and 8 columns
#   p1  p2  p3   i   j   n   1
0    1   0   0  -2  -2   0  -1 		# p1 = 2i+2j+1
0    0   1   0   0  -1   0   0 		# p2 = j
0    0   0   1   0   0   0   0 		# p3 = 0

# Third function
3 7					# 3 lines and 7 columns
#   p1  p2  p3   i   n   1	
0    1   0   0  -4   0  -1	 	# p1 = 4i+1
0    0   1   0   0   0   0 		# p2 = 0
0    0   0   1   0   0   0 		# p3 = 0

# Fourth function
3 8					# 3 lines and 8 columns
#   p1  p2  p3   i   j   n   1
0    1   0   0  -2  -2   0   0 		# p1 = 2i+2j
0    0   1   0   1   0   0   0 		# p2 = -i
0    0   0   1   0   0   0   0 		# p3 = 0


# Fifth function
3 9					# 3 lines and 9 columns
#   p1  p2  p3   i   j   k   n   1
0    1   0   0  -2  -2   0   0   0	# p1 = 2i+2j
0    0   1   0   1   0   0   0  -1	# p2 = -i+1
0    0   0   1   0   0  -1   0   0	# p3 = k

# Sixth function
3 8					# 3 lines and 8 columns
#   p1  p2  p3   i   j   n   1
0    1   0   0  -2  -2   0   0 		# p1 = 2i+2j
0    0   1   0   1   0   0  -2 		# p2 = -i+2
0    0   0   1   0   0   0   0 		# p3 = 0

1 # Manually set the scattering dimensions
p1 p2 p3