Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.88058334833982812421292378378449874368\ 2418648468153171811001818685448477056816\ 5283652