\seqnum{A008275},