Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.88410387938990024134828704596247030444\ 8219838787570889410631687919099518667753\ 4937075655632808395969