\seqnum{A008277},
\seqnum{A008299},
\seqnum{A132393},
\seqnum{A134991},
\seqnum{A274105},
\seqnum{A274106},
\seqnum{A378561},
\seqnum{A378590},