| # Language | |
| c | |
| # Context | |
| # {n>=20} | |
| 1 3 | |
| 1 1 -20 | |
| 0 | |
| # Number of statments | |
| 2 | |
| 1 | |
| # {i,j | 0<=i<=10 1<=j<=i} | |
| 4 5 | |
| 1 1 0 0 -1 | |
| 1 -1 0 0 10 | |
| 1 0 1 0 -1 | |
| 1 1 -1 0 0 | |
| 0 0 0 | |
| 1 | |
| # {i,j | 0<=i<=10 11<=j<=n} | |
| 4 5 | |
| 1 1 0 0 -1 | |
| 1 -1 0 0 10 | |
| 1 0 1 0 -11 | |
| 1 0 -1 1 0 | |
| 0 0 0 | |
| 0 | |
| # Scattering functions | |
| 2 | |
| 5 10 | |
| 0 1 0 0 0 0 0 0 0 0 | |
| 0 0 1 0 0 0 -1 0 0 0 | |
| 0 0 0 1 0 0 0 0 0 0 | |
| 0 0 0 0 1 0 0 -1 0 0 | |
| 0 0 0 0 0 1 0 0 0 0 | |
| 5 10 | |
| 0 1 0 0 0 0 0 0 0 0 | |
| 0 0 1 0 0 0 -1 0 0 0 | |
| 0 0 0 1 0 0 0 0 0 0 | |
| 0 0 0 0 1 0 0 -1 0 0 | |
| 0 0 0 0 0 1 0 0 0 0 | |
| 0 | |