Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.14215329254258073370068350453149660697\ 0538358458153041923462550392234984393544\ 40214575134457894514383826