How Tokenization Works in RealProton