# language: C c # Context 1 # {M | 2<=M} 2 3 # M 1 1 1 -2 1 0 1 0 2 # Number of statements 1 # {i,j,M | 1<=i<=M; 1<=j<=M} 5 5 # i j M 1 1 1 0 0 -1 1 0 1 0 -1 1 -1 0 1 0 1 0 -1 1 0 1 0 0 0 1 0 0 0 1 # {i,j,M | i=j-2; 3<=j<=M+2} 4 5 # i j M 1 0 1 -1 0 2 1 0 1 0 -3 1 0 -1 1 2 1 0 0 0 1 0 0 0 0 0 # Scattering functions