Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.23512528481117486563558817439187900988\ 0984519583529598582677966316703190513713\ 2487471409000015003117