Added primesolver.