Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.77989340037682282947420641365269013663\ 0625708136320960103133583178071760979108\ 890108778707305278528158989