Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.88415287650177974325259267151756021918\ 7166439193989124966280568341013160035960\ 187640368002663630937740750