https://redd.it/oeisdb