Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.60364867603601031967070211804205268306\ 7044630407017007405858036219177837560339\ 670654973037230135740005790