The sequences A054660 and A074025 are rigourously identical and have the same definitions. Is there any reason to keep them both? Roland Bacher