\seqnum{A077990},
\seqnum{A078021},
\seqnum{A078064},
\seqnum{A215936},
\seqnum{A276229},