Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.41974879242350936434644107690567301665\ 2269087337916016907238473875560858760947\ 6115897