| # language: C | |
| c | |
| # Context | |
| # {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; 1<=j<=M} | |
| 4 5 | |
| # i j M 1 | |
| 0 1 -1 0 0 | |
| 1 0 1 0 -1 | |
| 1 0 -1 1 0 | |
| 1 0 0 0 1 | |
| 0 0 0 | |
| 0 | |
| 0 # Scattering functions |