1# language: C 2c 3 4# Context 5# {M,N | 1>=0} 61 4 7# M N 1 81 0 0 1 90 10 111 # Number of statements 12 131 14# {i,j |1<=i<=N; 0<=j<=M; j<=i; j+i<=N}, i.e. 15# {i,j | (1,j)<=i<=-j+N; 0<=j<=M} 166 6 17# i j M N 1 181 1 0 0 0 -1 191 0 1 0 0 0 201 0 -1 1 0 0 211 1 -1 0 0 0 221 -1 -1 0 1 0 231 0 0 0 0 1 240 0 0 250 26 270 # Scattering functions 28