\seqnum{A001006},