Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
19.2573565328080722245327767701944541155\ 2605383115487014986836294910430901601955\ 18092805462211284428635565