The database file for the Encyclopedia of Finite Graphs (simple connected graphs up to order 10)