Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.18710080760640920168337009872276109935\ 2847151683665016027870450598357804062240\ 545650583759810034512