\seqnum{A006558},