| # language: C | |
| c | |
| # Context | |
| # {M,N | 1>=0} | |
| 1 4 | |
| # M N 1 | |
| 1 0 0 1 | |
| 0 | |
| 1 # Number of statements | |
| 1 | |
| # {i,j |1<=i<=N; 0<=j<=M; j<=i; j+i<=N}, i.e. | |
| # {i,j | (1,j)<=i<=-j+N; 0<=j<=M} | |
| 10 7 | |
| # i j k M N 1 | |
| 1 1 0 0 0 0 -1 | |
| 1 0 1 0 0 0 0 | |
| 1 0 -1 0 1 0 0 | |
| 1 1 -1 0 0 0 0 | |
| 1 -1 -1 0 0 1 0 | |
| 1 0 0 1 0 0 0 | |
| 1 0 0 -1 1 0 0 | |
| 1 1 0 -1 0 0 0 | |
| 1 -1 0 -1 0 1 0 | |
| 1 0 0 0 0 0 1 | |
| 0 0 0 | |
| 0 | |
| 0 # Scattering functions |