Pure Integer Programming