Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.45554452608187355662518203623334796282\ 7488505076931799457516122930455092775673\ 21452021067535825202577976394757