1# Language is C 2c 3 4# The context (no constraints on parameters) 51 4 # 1 lines and 4 columns 6# m n 1 71 0 0 0 # 0 >= 0, always true 80 # CLooG will set parameters names automatically 9 102 # 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 2 0 0 # i <= 2*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 -1 0 0 # i >= m 250 0 0 26 271 # Second statement 282 5 # 4 lines and 6 columns 29# i m n 1 301 1 0 -1 -1 # i >= 1 311 -1 0 2 0 # i <= n 320 0 0 330 # CLooG will set iterators names automatically 34 350 36