Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.67244130487352951343296045208940199738\ 0126680971980035549666668447547024843713\ 13433901408722755422