Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.18742642282823108026456931227327508125\ 3069011770311557081032608388180233310620\ 2849764992310602445881