Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.37736148419740057925502505888921061439\ 2610803031594948250402210424417760902610\ 77468294924025720275