Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.52294594611311173724762383635981123713\ 9734525800260599023115764587447080079963\ 156537103275485065801