Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.50104118644649038331514177906634649786\ 0849914544509067804320584446263302705524\ 705345840169452249128