Число 8001257 состоит из следующих простых множителей: