1# language: C 2c 3 4# parameter n 51 3 6# n 1 71 1 -2 80 9 104 # Number of statements 11 121 13# S2 {k, l | 1<=k<=n; 1<=l<=k-1} 144 5 15# k l n 1 161 1 0 0 -1 171 -1 0 1 0 181 0 1 0 -1 191 1 -1 0 -1 200 0 0 21 221 23# S3 {k | 1<=k<=n} 242 4 25# k n 1 261 1 0 -1 271 -1 1 0 280 0 0 29 301 31# S5 {k, i, m | 1<=k<=n; k+1<=i<=n 1<=m<=k-1} 326 6 33# k i m n 1 341 1 0 0 0 -1 351 -1 0 0 1 0 361 -1 1 0 0 -1 371 0 -1 0 1 0 381 0 0 1 0 -1 391 1 0 -1 0 -1 400 0 0 41 421 43# S4 {k, i | 1<=k<=n; k+1<=i<=n} 444 5 45# k i n 1 461 1 0 0 -1 471 -1 0 1 0 481 -1 1 0 -1 491 0 -1 1 0 500 0 0 510 52 53 544 # Scattering functions 551 6 56# c1 k l n 1 570 1 -1 0 0 0 58 591 5 60# c1 k n 1 610 1 0 0 0 62 631 7 64# c1 k i m n 1 650 1 -1 0 0 0 0 66 671 6 68# c1 k i n 1 690 1 0 -1 0 0 701 71proc 72