\seqnum{A000005},
