Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.37561411650496101621490736371738666539\ 6719453988838023677127797595235730253981\ 9006067