Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.49171523687474176068174700998588702290\ 5890691827101250117497987504924660501529\ 371413858289851867225385