\seqnum{A000587},