Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.08931177485448476294454236017109947708\ 2645895005084942444393389130115784570987\ 202810171032555968472