Allow BLS75 theorem 7 n-1 proofs
pure perl factoring tweaks