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,t2 | 2<=t1<=N; t2=1; 3<=N} 165 5 17# i j M 1 180 0 1 0 -1 191 0 0 1 -3 201 -1 0 1 0 211 1 0 0 -2 221 0 0 0 1 230 0 0 24 251 26#{t1,t2 | t2+1<=t1<=N; 2<=t2} 274 5 28# i j M 1 291 1 -1 0 -1 301 0 1 0 -2 311 -1 0 1 0 321 0 0 0 1 330 0 0 34 351 36#{t1,t2 | t1=1; t2=1; 3<=N} 374 5 38# i j M 1 390 1 0 0 -1 400 0 1 0 -1 411 0 0 1 -3 421 0 0 0 1 430 0 0 44 451 46#{t1,t2 | t1=t2; 2<=t2<=N; 3<=N} 474 5 48# i j M 1 490 1 -1 0 0 501 0 0 1 -3 511 0 -1 1 0 521 0 1 0 -2 530 0 0 540 55 560 # Scattering functions 57