1# language: C 2c 3 4# parameters n m 51 3 6# n 1 71 0 0 81 9n 10 112 # Number of statements 12 131 14# S1 {i, j, k | 1<=i<=n; 1<=j<=n, 1<=k<=n} 156 6 16# i j k n 1 171 1 0 0 0 -1 181 -1 0 0 1 0 191 0 1 0 0 -1 201 0 -1 0 1 0 211 0 0 1 0 -1 221 0 0 -1 1 0 230 0 0 24 251 26# S2 {i, j, k | 1<=i<=n; 1<=j<=n, 1<=k<=n} 276 6 28# i j k n 1 291 1 0 0 0 -1 301 -1 0 0 1 0 311 0 1 0 0 -1 321 0 -1 0 1 0 331 0 0 1 0 -1 341 0 0 -1 1 0 350 0 0 360 37 382 39# Scattering functions 403 9 41# c1 c2 c3 i j k n 1 420 1 0 0 -1 1 0 0 0 430 0 1 0 -1 -1 0 0 0 440 0 0 1 -1 -1 -2 0 0 45 463 9 47# c1 c2 c3 i j k n 1 480 1 0 0 -1 1 0 0 -1 490 0 1 0 -1 -1 0 0 -2 500 0 0 1 0 0 -1 0 0 511 52t1 t2 t3 53