Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.63431829051875516221031596128405505594\ 0934358931555842123212369587180464095719\ 127025240709782660562986