Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.65044560842191269139044436110465964557\ 7010296922054976020193588555234286916821\ 3677493