\seqnum{A006480},