Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.35222110049958279636830167516331860509\ 4293215708549024707113421295548528341003\ 38926840412207284656688