@amir@types.pl (@gluegadget): "probably $18 and then $16: https://oeis.org/A008820" | nitter

@amir@types.pl @gluegadget

9 Jan 2019

probably $18 and then $16: oeis.org/A008820

Jan 9, 2019 · 4:30 PM UTC

2