1# language: C 2c 3 4# parameter n 51 3 6# n 1 71 0 1 81 9n 10 116 # Number of statements 12 131 14# S1 {i | 1<=i<=n} 152 4 16# i n 1 171 1 0 -1 181 -1 1 0 190 0 0 20 211 22# S2 {i, j | 1<=i<=n; 1<=j<=i-1} 234 5 24# i j n 1 251 1 0 0 -1 261 -1 0 1 0 271 0 1 0 -1 281 1 -1 0 -1 290 0 0 30 311 32# S3 {i | 1<=i<=n} 332 4 34# i n 1 351 1 0 -1 361 -1 1 0 370 0 0 38 391 40# S4 {i, j | 1<=i<=n; i+1<=j<=n} 414 5 42# i j n 1 431 1 0 0 -1 441 -1 0 1 0 451 -1 1 0 -1 461 0 -1 1 0 470 0 0 48 491 50# S5 {i, j, k | 1<=i<=n; i+1<=j<=n 1<=k<=i-1} 516 6 52# i j k n 1 531 1 0 0 0 -1 541 -1 0 0 1 0 551 -1 1 0 0 -1 561 0 -1 0 1 0 571 0 0 1 0 -1 581 1 0 -1 0 -1 590 0 0 60 611 62# S6 {i, j | 1<=i<=n; i+1<=j<=n} 634 5 64# i j n 1 651 1 0 0 -1 661 -1 0 1 0 671 -1 1 0 -1 681 0 -1 1 0 690 0 0 700 71 726 # Scattering functions 73# Et les instructions de chunking (prog init)... 746 10 75# c1 c2 c3 c4 c5 c6 i n 1 760 1 0 0 0 0 0 -1 0 0 770 0 1 0 0 0 0 0 0 -1 780 0 0 1 0 0 0 0 0 0 790 0 0 0 1 0 0 0 0 0 800 0 0 0 0 1 0 0 0 0 810 0 0 0 0 0 1 0 0 0 82 836 11 84# c1 c2 c3 c4 c5 c6 i j n 1 850 1 0 0 0 0 0 -1 0 0 0 860 0 1 0 0 0 0 0 0 0 -2 870 0 0 1 0 0 0 0 -1 0 0 880 0 0 0 1 0 0 0 0 0 -1 890 0 0 0 0 1 0 0 0 0 0 900 0 0 0 0 0 1 0 0 0 0 91 926 10 93# c1 c2 c3 c4 c5 c6 i n 1 940 1 0 0 0 0 0 -1 0 0 950 0 1 0 0 0 0 0 0 -3 960 0 0 1 0 0 0 0 0 0 970 0 0 0 1 0 0 0 0 0 980 0 0 0 0 1 0 0 0 0 990 0 0 0 0 0 1 0 0 0 100 1016 11 102# c1 c2 c3 c4 c5 c6 i j n 1 1030 1 0 0 0 0 0 -1 0 0 0 1040 0 1 0 0 0 0 0 0 0 -4 1050 0 0 1 0 0 0 0 -1 0 0 1060 0 0 0 1 0 0 0 0 0 -1 1070 0 0 0 0 1 0 0 0 0 0 1080 0 0 0 0 0 1 0 0 0 0 109 1106 12 111# c1 c2 c3 c4 c5 c6 i j k n 1 1120 1 0 0 0 0 0 -1 0 0 0 0 1130 0 1 0 0 0 0 0 0 0 0 -4 1140 0 0 1 0 0 0 0 -1 0 0 0 1150 0 0 0 1 0 0 0 0 0 0 -2 1160 0 0 0 0 1 0 0 0 -1 0 0 1170 0 0 0 0 0 1 0 0 0 0 -1 118 1196 11 120# c1 c2 c3 c4 c5 c6 i j n 1 1210 1 0 0 0 0 0 -1 0 0 0 1220 0 1 0 0 0 0 0 0 0 -4 1230 0 0 1 0 0 0 0 -1 0 0 1240 0 0 0 1 0 0 0 0 0 -3 1250 0 0 0 0 1 0 0 0 0 0 1260 0 0 0 0 0 1 0 0 0 0 1270 128 129 130