Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.17960530202677490071353133222317901678\ 9561076695819816257046212438825478685620\ 525578297367618868602