numbers-1000.txt is no longer used, so remove it