Meanings of minor planet names: 731001