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 71 8m n 9 101 # The number of statements 11 122 # First statement 13# The first domain 143 5 # 3 lines and 5 columns 15# i m n 1 161 1 0 0 -1 # i >= 1 171 -1 0 1 0 # i <= n 181 1 -1 0 0 # i >= m 19# The second domain 203 5 # 3 lines and 5 columns 21# i m n 1 221 1 0 0 -1 # i >= 1 231 -1 0 1 0 # i <= n 241 -1 2 0 0 # i <= 2*m 250 0 0 260 27 280 29