integer solutions to z =

0 <= z <= 7