Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.56001558345250906107665348525911356087\ 7391908687845120127661621378440994362784\ 6397279915810397222229094626081263773173\ 907498