\seqnum{A000372},