Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
5.80947501931112532776889809967359941624\ 9382557937386239881360649170224637905468\ 55027893106528801027687445