brouwer_srg_database.json graphs.db isgci_sage.xml smallgraphs.txt /usr/share/sagemath/graphs/
