Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00149031296572280178837555886736214605\ 0670640834575260804769001490312965722801\ 788375558867362146050