Lucas_pseudoprime loading ...