Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.55377397403003730734415895306314694816\ 4583499410307836332671148333675256788733\ 1027279