1# language: C 2c 3 4# Context 5#{M | 3<=M} 62 3 7# M 1 81 1 -3 91 0 1 100 11 124 # Number of statements 13 141 15#{i,j,k | i=1; j=1; 2<=k<=M; 3<=M} 166 6 17# i j k M 1 180 1 0 0 0 -1 190 0 1 0 0 -1 201 0 0 0 1 -3 211 0 0 -1 1 0 221 0 0 1 0 -2 231 0 0 0 0 1 240 0 0 25 261 27#{i,j,k | 2<=i<=k-1; j=1; k<=M} 285 6 29# i j k M 1 300 0 1 0 0 -1 311 -1 0 1 0 -1 321 1 0 0 0 -2 331 0 0 -1 1 0 341 0 0 0 0 1 350 0 0 36 371 38#{i,j | i=1; j=0; 3<=M} 394 5 40# i j M 1 410 1 0 0 -1 420 0 1 0 0 431 0 0 1 -3 441 0 0 0 1 450 0 0 46 471 48#{i,j | 2<=i<=M; j=0; 3<=M} 494 5 50# i j M 1 510 0 1 0 0 521 1 0 0 -2 531 0 0 1 -3 541 -1 0 1 0 550 0 0 560 57 580 # Scattering functions 59