A LARGE DATABASE OF GRAPHS AND ITS USE FOR BENCHMARKING GRAPH ISOMORPHISM ALGORITHMS