Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.07305178568310115681095074927945672869\ 4724903095629576090280137085779735107324\ 07767726869557214308794234