Informasi yang berkaitan dengan arz/Meanings of minor planet names: 72001–73000