"2505682"^^ . . "724729866"^^ . . "95"^^ . . . "Lucas prime"@en . . . .