1# language: C 2c 3 4# Context 5#{N | 3<=N} 62 3 7# M 1 81 1 -3 91 0 1 100 11 124 # Number of statements 13 141 15#{t1,i | 3<=t1<=N+1; i=1; 3<=N} 165 5 17# i j M 1 180 0 1 0 -1 191 0 0 1 -3 201 -1 0 1 1 211 1 0 0 -3 221 0 0 0 1 230 0 0 24 251 26#{t1,i | 2i+1<=t1<=i+N; 2<=i} 274 5 28# i j M 1 291 1 -2 0 -1 301 0 1 0 -2 311 -1 1 1 0 321 0 0 0 1 330 0 0 34 351 36#{t1,i | t1=2; i=1; 3<=N} 374 5 38# i j M 1 390 1 0 0 -2 400 0 1 0 -1 411 0 0 1 -3 421 0 0 0 1 430 0 0 44 451 46#{t1,i | t1=2i; 2<=i<=N; 3<=N} 475 5 48# i j M 1 490 1 -2 0 0 501 0 0 1 -3 511 0 -1 1 0 521 0 1 0 -2 531 0 0 0 1 540 0 0 550 56 570 # Scattering functions 58