"divisibility sequences"@en . . .