1# language: C
2c
3# The context (no constraints on parameters)
41 4             # 1 lines and 4 columns
5#  m  n  1
61  0  0  0
70
8
91 # The number of statements
10
112 # First statement
12# The first domain
135 6              # 3 lines and 5 columns
14#  i  j  m  n  1 
151  1  0  0  0 -1    #  i >= 1
161 -1  0  0  1  0    #  i <= n
171  1  0 -1  0  0    #  i >= m
181  0  1  0  0 -1
191  0 -1  1  0  0
20# The second domain
215 6              # 3 lines and 5 columns
22#  i  j  m  n  1 
231  1  0  0  0 -1    #  i >= 1
241 -1  0  0  1  0    #  i <= n
251 -1  0  2  0  0    #  i <= 2*m
261  0  1  0  0 -1
271  0 -1  1  0  0
280 0 0
290
30
310
32