SLP последовательность:

,

,

,

Для шага

без ограничения общности можно считать

, для этого при вычитании достаточно рассматривать абсолютную величину результата. Положим:

и

.
Теорема. Для любой SLP последовательности

существует эквивалентная ей последовательность

, состоящая из тех же чисел, что

, либо

.
Если убрать случай

, то резко сокращается пространство перебора.
Приведенную теорему необходимо проверить, т.к. я мог совершить ошибку. Первоначально мне показалось, что при переборе можно убрать вариант

, но для конкретной последовательности это невозможно в том варианте, как указано в теореме. При переборе же ситуация сложнее и, возможно, этот случай можно исключить. По крайней мере, конкретные решения мне удалось получить без использования последнего варианта.
Дополнительно полезно рассмотреть функцию

.