Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.37667447497728449846981481128313080857\ 0412952999443865099926957953340295609956\ 8712146546157697084153022276