Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.64547524456500392443573155456606636522\ 4677205594021516181680067531750955373125\ 688365139253927190