Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.13203378002080632299641907428726885415\ 5428296720418064192751203035170757168755\ 06308943318961837496712469