Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.05451425313276188036303391980200959687\ 7614349544575913649940264634085799363303\ 54610551573828247090613316