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