# Language c # Context 1 4 1 0 0 1 0 # Number of statments 10 1 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } 3 5 1 1 0 0 0 1 -1 0 1 -1 1 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } 5 6 1 1 0 0 0 0 1 -1 0 0 1 -1 1 -1 1 0 0 0 1 0 -1 1 0 -1 1 0 0 0 0 1 0 0 0 1 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } 3 5 1 1 0 0 0 1 -1 0 1 -1 1 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+l-1 >= 0, -i+j >= 0, -j+k-1 >= 0, 1 >= 0 } 5 6 1 1 0 0 0 0 1 -1 0 0 1 -1 1 -1 1 0 0 0 1 0 -1 1 0 -1 1 0 0 0 0 1 0 0 0 1 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } 3 5 1 1 0 0 0 1 -1 0 1 -1 1 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } 4 6 1 1 0 0 0 0 1 -1 1 0 0 -1 1 0 -1 0 1 -1 1 0 0 0 0 1 0 0 0 1 # { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } 6 7 1 1 0 0 0 0 0 1 -1 1 0 0 0 -1 1 0 -1 0 0 1 -1 1 -1 0 1 0 0 0 1 0 0 -1 1 0 -1 1 0 0 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+j-1 >= 0, -j+l-1 >= 0, 1 >= 0 } 4 6 1 1 0 0 0 0 1 -1 1 0 0 -1 1 0 -1 0 1 -1 1 0 0 0 0 1 0 0 0 1 # { (i,j,k,l,m) | i >= 0, -i+j-1 >= 0, -j+m-1 >= 0, -i+k >= 0, -k+l-1 >= 0, 1 >= 0 } 6 7 1 1 0 0 0 0 0 1 -1 1 0 0 0 -1 1 0 -1 0 0 1 -1 1 -1 0 1 0 0 0 1 0 0 -1 1 0 -1 1 0 0 0 0 0 1 0 0 0 1 # { (i,j,k) | i >= 0, -i+k-1 >= 0, 1 >= 0 } 3 5 1 1 0 0 0 1 -1 0 1 -1 1 0 0 0 1 0 0 0 0 # Scattering functions 10 8 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 8 13 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 -1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 8 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 -2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 8 13 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 -3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 8 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 -4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 8 13 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 -5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 8 14 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 0 -5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -4 0 0 0 -1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 8 13 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 -5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -4 0 0 -2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 8 14 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 0 0 -5 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 -4 0 0 0 -3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 8 12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 -5 0 0 -3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0