Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.75112554446494248285870300477622769305\ 2365066756054295766390232357949164597665\ 800551991135695477631509881