1# language: C 2c 3 4# parameter n 51 3 61 0 1 71 8n 9 102 # Number of statements 11 121 13# {c1, c2, i, j | c1=i, c2=n, 1<=i<=n; i+1<=j<=n} 146 7 150 1 0 -1 0 0 0 160 0 1 0 0 -1 0 171 0 0 1 0 0 -1 181 0 0 -1 0 1 0 191 0 0 -1 1 0 -1 201 0 0 0 -1 1 0 210 0 0 22 231 24# {c1, c2, i, j, k | c1=k, c2=j, 1<=i<=n; i+1<=j<=n i+1<=k<=n} 258 8 260 1 0 0 0 -1 0 0 270 0 1 0 -1 0 0 0 281 0 0 1 0 0 0 -1 291 0 0 -1 0 0 1 0 301 0 0 -1 1 0 0 -1 311 0 0 0 -1 0 1 0 321 0 0 -1 0 1 0 -1 331 0 0 0 0 -1 1 0 340 0 0 350 36 370 # Scattering functions 38