\seqnum{A001764},