I don't seem to be able to access the OEIS web site. Is it down, or is it just my connection? (Verizon is installing Fios here today) Maybe some other EiC could approve the updated A200715 Neil