Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.63518142273073908501187210577028949955\ 8829735150089426463223622189130674373679\ 693271