1# language: C
2c
3
4# The context (no constraints on parameters)
51 4             # 1 lines and 4 columns
6#  m  n  1
71  0  0  0      # 0 >= 0, always true
81 # We want to set the parameter names
9m n
10
112 # The number of statements
12
132 # First statement
14# The first domain
153 5              # 3 lines and 5 columns
16#  i  m  n  1 
171  1  0  0 -1    #  i >= 1
181 -1  0  1  0    #  i <= n
191 -1  2  0  0    #  i <= 2*m
20# The second domain
213 5              # 3 lines and 5 columns
22#  i  m  n  1 
231  1  0  0 -1    #  i >= 1
241 -1  0  1  0    #  i <= n
251  1 -1  0  0    #  i >= m
260 0 0
27
281 # Second statement
294 6              # 4 lines and 6 columns
30#  i  j  m  n  1 
311  1  0  0  0 -1 #  i >= 1
321 -1  0  0  1  0 #  i <= n
331  0  1  0  0 -1 #  j >= 1
341  0 -1  1  0  0 #  j <= m
350 0 0
360
37
380 # Scattering functions
39# The first function
402 7                    # 2 lines and 7 columns
41# c1 c2  i  m  n  1 
420  1  0 -1  0  0  0    #  c1 = i
430  0  1  0  0  0  0    #  c2 = 0
44# The second function
452 8                    # 2 lines and 8 columns
46# c1 c2  i  j  m  n  1 
470  1  0  0  0  0 -1  0 #  c1 = n
480  0  1 -1 -1  0  0  0 #  c2 = i+j
490
50