Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.16125448077398067429612464986612092484\ 4220554122827717568334683298024813765695\ 537767128774086190041684552