| # Language | |
| c | |
| # Context | |
| 1 4 | |
| 1 0 0 1 | |
| 0 | |
| # Number of statments | |
| 2 | |
| 1 | |
| # { (i,j,k,l) | i-1 >= 0, -i+l >= 0, j-1 >= 0, -j+k >= 0, 1 >= 0 } | |
| 5 6 | |
| 1 1 0 0 0 -1 | |
| 1 -1 0 0 1 0 | |
| 1 0 1 0 0 -1 | |
| 1 0 -1 1 0 0 | |
| 1 0 0 0 0 1 | |
| 0 0 0 | |
| 1 | |
| # { (i,j,k,l) | i-1 >= 0, -i+l >= 0, j-1 >= 0, -j+k >= 0, 1 >= 0 } | |
| 5 6 | |
| 1 1 0 0 0 -1 | |
| 1 -1 0 0 1 0 | |
| 1 0 1 0 0 -1 | |
| 1 0 -1 1 0 0 | |
| 1 0 0 0 0 1 | |
| 0 0 0 | |
| 0 | |
| # Scattering functions | |
| 2 | |
| 6 11 | |
| 0 1 0 0 0 0 0 0 0 0 0 | |
| 0 0 1 0 0 0 -1 0 0 0 0 | |
| 0 0 0 1 0 0 0 0 0 0 -1 | |
| 0 0 0 0 1 0 0 -1 0 0 0 | |
| 0 0 0 0 0 1 0 0 0 0 0 | |
| 1 0 0 0 0 0 0 0 0 0 1 | |
| 6 11 | |
| 0 1 0 0 0 0 0 0 0 0 0 | |
| 0 0 1 0 0 0 -1 0 0 0 -1 | |
| 0 0 0 1 0 0 0 0 0 0 0 | |
| 0 0 0 0 1 0 0 -1 0 0 0 | |
| 0 0 0 0 0 1 0 0 0 0 0 | |
| 1 0 0 0 0 0 0 0 0 0 1 | |
| 0 |