1# language: C 2c 3 4# parameters n m 51 4 6# n m 1 71 0 1 0 80 9 104 # Number of statements 11 121 13# S1 {i | 0<=i<=n} 142 5 15# i n m 1 161 1 0 0 0 171 -1 1 0 0 180 0 0 19 201 21# S2 {i, j | 0<=i<=n; 0<=j<=m} 224 6 23# i j n m 1 241 1 0 0 0 0 251 -1 0 1 0 0 261 0 1 0 0 0 271 0 -1 0 1 0 280 0 0 29 301 31# S3 {i, j | 0<=i<=n; 0<=j<=m} 324 6 33# i j n m 1 341 1 0 0 0 0 351 -1 0 1 0 0 361 0 1 0 0 0 371 0 -1 0 1 0 380 0 0 39 401 41# S4 {i | 0<=i<=n} 422 5 43# i n m 1 441 1 0 0 0 451 -1 1 0 0 460 0 0 470 48 490 # Scattering functions 502 7 51# c1 C2 i n m 1 520 1 0 -1 0 0 0 530 0 1 0 0 0 -1 54 552 8 56# c1 C2 i j n m 1 570 1 0 -1 0 0 0 0 580 0 1 0 0 0 0 -2 59 602 8 61# c1 C2 i j n m 1 620 1 0 -1 0 0 0 0 630 0 1 0 0 0 0 -3 64 652 7 66# c1 C2 i n m 1 670 1 0 -1 0 0 0 680 0 1 0 0 0 -4 690 70