1# language: FORTRAN
2f
3
4# The context (no constraints on parameters)
51 4             # 1 lines and 4 columns
6#  m  n  1
71  0  0  0
81
9m n
10
111 # 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 -1  0  0    #  i >= 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  2  0  0    #  i <= 2*m
260 0 0
270
28
290
30