Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.61475722723339062159331924809119009947\ 1162544625698363858264672621625611461796\ 2041616881569991939501