Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.88333019719589193892589645088567710723\ 5059008842318823166763667316343195873322\ 612998733168831983331