Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.28445855040980187815920101812693174533\ 0052830789462698045877500301189895848292\ 397538694723606227221467646172447