\seqnum{A077285},
\seqnum{A102186},