Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.30408672398469636491457222038878454434\ 1685675280299856356030850988999295661278\ 876564894086912112743