Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.44098516321037377845138045423482842700\ 4449025824376194581239075810090685172316\ 13518122766191243449