Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.50647404266389889947448581531894171749\ 6402342335741588089895428660187238820438\ 5691690