\seqnum{A001318},