We don't need the entire Lucas arithmetic
A mentalist doesn't have to produce all of the Lucas arithmetic. It's sufficient that he produce enough of the Lucas arithmetic to answer the mechanist at a given step of the game.
The success of the Lucas argument must be evaluated in the context of a particular machine being challenged by particular mentalist.
John Lucas (1970).