All, The OEIS server was unresponsive, so I rebooted it. Since it had been 296 days since the last reboot, it is running a full filesystem check as part of the reboot. This should only take a few minutes, after which the server _should_ finish coming back up. I apologize for this downtime. David Applegate (OEIS admin)