"OEIS name"@en . .