Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.00146842878120411160058737151248164464\ 0234948604992657856093979441997063142437\ 591776798825256975036