\seqnum{A002487},