Не посчитали вот и нет.
Я не утверждал, что нет. И ссылку я Вам дал для того, чтобы Вы проверили сами. За делителями чисел Ферма специально охотятся, и если находят, то вносят их в базу данных, на которую я сослался. Если они, конечно, достаточно велики. Если Вы эти делители нашли в каком-то списке в интернете, то тот, кто их первым нашёл, наверняка внёс их в указанную базу.
Кстати, формулы Вы написали неправильно.