Pocklington's_algorithm loading ...