Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.41746890933175398064880329658681175934\ 2558221806652408431105715924565167480422\ 412063422366823865560