Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.61407153661436281360363608364760166961\ 1235365708280311644255457672018702831560\ 334882835872099296596584354