(злостный оффтоп и пусть меня банят!)
Тройка 1880, 1881, 1882 подходит. Проверяется за минуту без всякой вычислительной техники.
Решение в стиле недетерминированной машины Тьюринга.
Без допинга я бы и до ваших 129, 130 и 133 не добрался бы :)))
Вот я знал, что решать нет смысла. И ведь перебрал руками до

.

Так мне и надо!
Назовем задачу бессмысленной, если решение единственно, совпадает с решением автора и является решением недетерминированной машины Тьюринга, и для любого прочего решения, выписанного детерминированной машиной Тьюринга, существует решение грубой силы, короче чем выписанное прочее решение.
Задача
не для слабаков: Найти верхнюю границу длины цепочек последовательных непорочных чисел.