# 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 | |