Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.12921501840609984134157190007421977715\ 7336462038678744877300062539400961829710\ 427540396805677536545177336