# Language c # Context 1 4 1 0 0 1 0 # Number of statments 3 1 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 } 5 6 1 1 0 0 0 0 1 -1 0 1 0 0 1 0 1 0 0 0 1 0 -1 0 1 0 1 0 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 } 5 6 1 1 0 0 0 0 1 -1 0 1 0 0 1 0 1 0 0 0 1 0 -1 0 1 0 1 0 0 0 0 1 0 0 0 1 # { (i,j,k,l) | i >= 0, -i+k >= 0, j >= 0, -j+l >= 0, 1 >= 0 } 5 6 1 1 0 0 0 0 1 -1 0 1 0 0 1 0 1 0 0 0 1 0 -1 0 1 0 1 0 0 0 0 1 0 0 0 0 # Scattering functions 3 6 11 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -3 -1 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 6 11 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -3 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 6 11 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 -3 -1 0 0 0 0 0 0 1 0 0 0 0 0 0 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0