Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
32.4696970113341457454801108962350370832\ 4252855756180723048928646332361848560906\ 53967072890782509975169897