Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.61288786471754475440724993862976291287\ 5771284806328172302700518210183584911257\ 3634422711396019848568676036819061320675\ 6372839874