\seqnum{A006012},