Pollard added, and small null check in util when printing and a check that the factorizing is correct in run. This can be removed later.