Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.49806429127565900458836109601565489828\ 1433527963238133146907441441152597030372\ 64136036972293338531