Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
4.54683594377634389380192154132128471635\ 0609693137023854565892363491200242976370\ 90454326127636809047