Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.62076233658661471445212024732151537144\ 3411778587140916424830093731104902160236\ 801516371703115255762