Catalan_pseudoprime loading ...