What affects strategy selection in arithmetic? The example of parity and five effects on product verification