Процитирую свой ответ из
http://math.hashcode.ru/answer_link/242932/Другими словами, это нечетные

удовлетворяющие сравнению

Отсюда следует характеризация:

является решением если и только если для всякого простого

мультипликативный порядок

.
В частности, имеем, что для всякого простого

все числа

также являются решениями. ("накачка")
Заметив, что

всегда делит

, нетрудно получить:
- если
- минимальный простой делитель
, то мы с необходимостью имеем
, т.е.
. - для всякого простого
мультипликативный порядок
делит произведение всех простых делителей (с учетом кратности)
меньших
.
Таким образом, все решения (коих бесконечно много) можно получить из

итеративно через (i) накачку; (ii) умножая решение

на простой делитель числа

не делящий

.
Искомые

образуют последовательность
A045584.
Можно также итеративно построить последовательность

всех простых делителей искомых

: простое

если и только если все простые делители

(которые меньше

) принадлежат

. Вот несколько начальных членов

:

Скоро появится в OEIS как последовательность
A354026.