Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.28136991662115586809857690453489498962\ 9229310291206030172771089292032296107051\ 31986755113050344703