1# language: C 2c 3 4# Context 5# {M | 2<=M} 62 3 7# M 1 81 1 -2 91 0 1 100 11 122 # Number of statements 13 141 15# {i,j,M | 1<=i<=M; 1<=j<=M} 165 5 17# i j M 1 181 1 0 0 -1 191 0 1 0 -1 201 -1 0 1 0 211 0 -1 1 0 221 0 0 0 1 230 0 0 24 251 26# {i,j,M | i=j; 1<=j<=M} 274 5 28# i j M 1 290 1 -1 0 0 301 0 1 0 -1 311 0 -1 1 0 321 0 0 0 1 330 0 0 340 35 360 # Scattering functions 37