Cnc Programs For 3018 Prover