Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
20.5698779509612303710752174190531114141\ 5386967473078348950852850026729499619380\ 35005904749408060353498790