A halting, binary-alphabet Turing machine which writes the most 1s on the tape, using only a limited set of states.