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