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