massimo-nocentini/oeis-tools not found