Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.08323070592253990410908787763187978978\ 2945685582609026517181944881043045758717\ 5285907230000