Binary dumps of thesaurus for massive speedup