Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.58116231881196489297989866791811204585\ 0024189614407974596721469485392662384509\ 762398601