1# language: C 2c 3 4# parameters {n | n>=16} 51 3 6# n 1 71 1 -16 80 9 102 # Number of statements 11 121 13# {i, j | 1<=i<=n 5<=j<=n-10} 144 5 15# i j n 1 161 1 0 0 -1 171 -1 0 1 0 181 0 1 0 -5 191 0 -1 1 -10 200 0 0 21 221 23# {i, j | 1<=i<=n 5<=j<=n-10} 244 5 25# i j n 1 261 1 0 0 -1 271 -1 0 1 0 281 0 1 0 -5 291 0 -1 1 -10 300 0 0 310 32 332 # Scattering functions 34# Et les instructions de chunking (sol triviale)... 352 7 36# c1 c2 i j n 1 370 1 0 -1 0 0 0 380 0 1 0 -1 0 0 39 402 7 41# c1 c2 i j n 1 420 1 0 0 -1 0 0 430 0 1 -1 1 0 0 440 45 46# Et les instructions de chunking (sol aux inverse)... 472 7 48# c1 c2 i j n 1 490 1 0 -10 -3 0 -5 500 0 1 -4 -1 0 5 51 522 7 53# c1 c2 i j n 1 540 1 0 -9 -4 0 -15 550 0 1 -5 0 0 0 560 57 582 59# Et les instructions de chunking (sol aux egalites)... 602 7 61# c1 c2 i j n 1 620 1 0 1 -2 0 -30 630 0 1 -1 1 0 30 64 652 7 66# c1 c2 i j n 1 670 1 0 -1 1 0 15 680 0 1 1 -2 0 -30 690 70 71# Et les instructions de chunking (sol triviale)... 722 7 73# c1 c2 i j n 1 740 1 0 -1 0 0 0 750 0 1 0 -1 0 5 76 772 7 78# c1 c2 i j n 1 790 1 0 0 -1 0 -10 800 0 1 -1 0 0 0 810 82 83