Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.72507834626840116746868771925116096886\ 9180594479508957878164769207773189994596\ 2835735923927864782020