uploading the thesaurus, in four formats