\seqnum{A000048},