\seqnum{A001511},
\seqnum{A004747},
\seqnum{A087165},
\seqnum{A155167},
\seqnum{A354223},
\seqnum{A355080},
\seqnum{A357081},