Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.22274952879492732448424967661082012816\ 3371259821106842563864985982702618782016\ 62481406000994584040