# 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