Meanings of asteroid names (3501-4000)