ПамасПилотажныйВ смысле, что при преобразовании в символьный вид - в стандартных библиотеках не более 20 значимых разрядов, и нужны спецбиблиотеки, которые не быстры.
- тут не требуется никаких спецбиблиотек, вслего лишь созать метод +1 (++)
для символьного представления числа, т.е
string s = "1299";
string r = INC(s); // вернет r="1300"
причем можно учитывать число позиций/разрядов участвующих в "переносе"
для проверки удовлетворения условию, т.к s уже удовлетворяет условию

Так и один из приемов в спецвычислениях больших чисел - на каких-то фазах преобразовывать в символьное представление (наверно в двоичное же). И разные хитрости оптимизации в таком состоянии.
То есть к истокам, к абстрактным машинам (норм. алг. Маркова, машина Тьюринга, лямбда-исчисление, ...).
Пузырь лопается. B эти "смешные" алгоритмы над списками - самые живучие.

Попробовать - измерить в что выливается?