Because of a power shutdown at work, the OEIS will be off the air for some time this weekend, starting at 17:00 today Sorry about this, but it is out of my control Neil