Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.15114994701951815421617318813684631102\ 3672187341061714630823744615676931760529\ 490307010415684338347404685