> And if the inputs are very large then the probability of contradiction in the first few characters even is extremely high, so all the upfront normalization is

> And if the inputs are very large then the probability of contradiction in the first few characters even is extremely high, so all the upfront normalization is a huge waste. You're hired! :D