Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.53865633590794169787237029940757761479\ 5742554676172202903378365773177138667661\ 96415365035337033994