Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.41632970423011263898244065163005347571\ 1528903350372455044152040153136569296070\ 479637240684895779439