Given the formula_40 from step 1, we first show that it's possible to split up formula_43 into relatively large subprogressions such that the character formula_44 is roughly constant on each subprogression.