Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.57841676278890075907460205814619567479\ 9483969436645501548317674941796020824122\ 0714506582748700279391