Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
12.5262794416288251144009548782822980181\ 8542889595709345430693838698563159299840\ 02039463040271648671