Hard Factoring Example