Our computers here will not be working Saturday February 15 from 06:00 until later in the day. So the OEIS will be unavailable. [This has something to do with the power supply. The joke is that we pay a lot of money for a UPS = Uninterruptible Power Supply system, but when there is any maintainence to be done they shut it down.] NJAS