Hello, yes, Empirical makes sense, I agree. It is done the list is updated, there are 80737 formulas (36483 unique sequences are identified), the list is at : http://www.plouffe.fr/simon/OEIS/conjectures/ bonne journée, Simon Plouffe