The main DIMES production code - both client and server