@robinhouston The way the OEIS deals with this kind of comment is very frustrating. It should be possible to add lots more justification