1# language: C 2c 3 4# parameter n 51 3 6# n 1 71 0 1 80 9 104 # Number of statements 11 121 13# {i, j | 1<=i<=n; i+1<=j<=n} 144 5 15# i j n 1 161 1 0 0 -1 171 -1 0 1 0 181 -1 1 0 -1 191 0 -1 1 0 200 0 0 21 221 23# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n} 246 6 25# i j k n 1 261 1 0 0 0 -1 271 -1 0 0 1 0 281 -1 1 0 0 -1 291 0 -1 0 1 0 301 -1 0 1 0 -1 311 0 0 -1 1 0 320 0 0 33 341 35# {i, j, k | 1<=i<=n; i+1<=j<=n i+1<=k<=n} 366 6 37# i j k n 1 381 1 0 0 0 -1 391 -1 0 0 1 0 401 -1 1 0 0 -1 411 0 -1 0 1 0 421 -1 0 1 0 -1 431 0 0 -1 1 0 440 0 0 45 461 47# {i, j | 1<=i<=n; i+1<=j<=n} 484 5 49# i j n 1 501 1 0 0 -1 511 -1 0 1 0 521 -1 1 0 -1 531 0 -1 1 0 540 0 0 550 56 570 # Scattering functions 58 59