Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.30675535413775300701165163473336014783\ 9096190270198457090682020160241511841318\ 132958255624246745152