| # language: C |
| c |
| |
| # parameter n |
| 1 3 |
| # n 1 |
| 1 0 1 |
| 1 |
| n |
| |
| 6 # Number of statements |
| |
| 1 |
| # S1 {i | 1<=i<=n} |
| 2 4 |
| # i n 1 |
| 1 1 0 -1 |
| 1 -1 1 0 |
| 0 0 0 |
| |
| 1 |
| # S2 {i, j | 1<=i<=n; 1<=j<=i-1} |
| 4 5 |
| # i j n 1 |
| 1 1 0 0 -1 |
| 1 -1 0 1 0 |
| 1 0 1 0 -1 |
| 1 1 -1 0 -1 |
| 0 0 0 |
| |
| 1 |
| # S3 {i | 1<=i<=n} |
| 2 4 |
| # i n 1 |
| 1 1 0 -1 |
| 1 -1 1 0 |
| 0 0 0 |
| |
| 1 |
| # S4 {i, j | 1<=i<=n; i+1<=j<=n} |
| 4 5 |
| # i j n 1 |
| 1 1 0 0 -1 |
| 1 -1 0 1 0 |
| 1 -1 1 0 -1 |
| 1 0 -1 1 0 |
| 0 0 0 |
| |
| 1 |
| # S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1} |
| 6 6 |
| # i j k n 1 |
| 1 1 0 0 0 -1 |
| 1 -1 0 0 1 0 |
| 1 -1 1 0 0 -1 |
| 1 0 -1 0 1 0 |
| 1 0 0 1 0 -1 |
| 1 1 0 -1 0 -1 |
| 0 0 0 |
| |
| 1 |
| # S6 {i, j | 1<=i<=n; i+1<=j<=n} |
| 4 5 |
| # i j n 1 |
| 1 1 0 0 -1 |
| 1 -1 0 1 0 |
| 1 -1 1 0 -1 |
| 1 0 -1 1 0 |
| 0 0 0 |
| 0 |
| |
| 6 # Scattering functions |
| # Et les instructions de chunking (prog init)... |
| 6 10 |
| # c1 c2 c3 c4 c5 c6 i n 1 |
| 0 1 0 0 0 0 0 -1 0 0 |
| 0 0 1 0 0 0 0 0 0 -1 |
| 0 0 0 1 0 0 0 0 0 0 |
| 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 1 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 |
| |
| 6 11 |
| # c1 c2 c3 c4 c5 c6 i j n 1 |
| 0 1 0 0 0 0 0 -1 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 -2 |
| 0 0 0 1 0 0 0 0 -1 0 0 |
| 0 0 0 0 1 0 0 0 0 0 -1 |
| 0 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 0 |
| |
| 6 10 |
| # c1 c2 c3 c4 c5 c6 i n 1 |
| 0 1 0 0 0 0 0 -1 0 0 |
| 0 0 1 0 0 0 0 0 0 -3 |
| 0 0 0 1 0 0 0 0 0 0 |
| 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 1 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 |
| |
| 6 11 |
| # c1 c2 c3 c4 c5 c6 i j n 1 |
| 0 1 0 0 0 0 0 -1 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 -4 |
| 0 0 0 1 0 0 0 0 -1 0 0 |
| 0 0 0 0 1 0 0 0 0 0 -1 |
| 0 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 0 |
| |
| 6 12 |
| # c1 c2 c3 c4 c5 c6 i j k n 1 |
| 0 1 0 0 0 0 0 -1 0 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 0 -4 |
| 0 0 0 1 0 0 0 0 -1 0 0 0 |
| 0 0 0 0 1 0 0 0 0 0 0 -2 |
| 0 0 0 0 0 1 0 0 0 -1 0 0 |
| 0 0 0 0 0 0 1 0 0 0 0 -1 |
| |
| 6 11 |
| # c1 c2 c3 c4 c5 c6 i j n 1 |
| 0 1 0 0 0 0 0 -1 0 0 0 |
| 0 0 1 0 0 0 0 0 0 0 -4 |
| 0 0 0 1 0 0 0 0 -1 0 0 |
| 0 0 0 0 1 0 0 0 0 0 -3 |
| 0 0 0 0 0 1 0 0 0 0 0 |
| 0 0 0 0 0 0 1 0 0 0 0 |
| 0 |
| |
| |