Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.72514364034031412682866374934080407487\ 6798676678143284961099491034973639415579\ 94224089173568585122