\seqnum{A000670},