Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.74366944124698009849223340988214130423\ 5127033994058463467812327402190108790170\ 59720091122367578662866162