1# Language 2c 3 4# Context 5 6 1 11 7 1 0 0 0 0 0 0 0 0 0 1 80 9 10# Number of statments 114 12 131 14# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 } 15 16 7 14 17 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 18 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 19 1 0 1 0 0 0 0 0 -1 0 0 0 0 0 20 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 21 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 22 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 23 1 0 0 0 0 0 0 0 0 0 0 0 0 1 24 250 0 0 261 27# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-p >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 } 28 29 7 14 30 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 31 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 32 1 0 1 0 0 0 0 0 -1 0 0 0 0 0 33 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 34 1 0 0 1 0 0 0 0 0 0 0 0 0 -1 35 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 36 1 0 0 0 0 0 0 0 0 0 0 0 0 1 37 380 0 0 391 40# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-o >= 0, -k+l-1 >= 0, 1 >= 0 } 41 42 7 14 43 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 44 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 45 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 46 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 47 1 0 0 1 0 0 0 -1 0 0 0 0 0 0 48 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 49 1 0 0 0 0 0 0 0 0 0 0 0 0 1 50 510 0 0 521 53# { (i,j,k,l,m,n,o,p,q,r,s,t) | i-1 >= 0, -i+n-1 >= 0, j-1 >= 0, -j+m-1 >= 0, k-1 >= 0, -k+l-1 >= 0, 1 >= 0 } 54 55 7 14 56 1 1 0 0 0 0 0 0 0 0 0 0 0 -1 57 1 -1 0 0 0 0 1 0 0 0 0 0 0 -1 58 1 0 1 0 0 0 0 0 0 0 0 0 0 -1 59 1 0 -1 0 0 1 0 0 0 0 0 0 0 -1 60 1 0 0 1 0 0 0 0 0 0 0 0 0 -1 61 1 0 0 -1 1 0 0 0 0 0 0 0 0 -1 62 1 0 0 0 0 0 0 0 0 0 0 0 0 1 63 640 0 0 650 66# Scattering functions 674 68 69 8 21 70 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 71 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 72 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 73 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 74 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 75 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 76 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 77 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 78 79 80 8 21 81 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 82 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 83 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 84 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 85 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 86 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 87 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 88 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 89 90 91 8 21 92 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 93 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 94 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 95 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 96 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 97 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 98 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 99 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 100 101 102 8 21 103 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 104 0 0 1 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 105 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 106 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 107 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 108 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 109 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 110 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 111 1120 113