Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.87427001649629550600622068377715682198\ 2039287053640943806909721696963544727627\ 6730319916622732979566