computational number theory challenge aimed at factorizing a given set of semi-prime numbers