Veliant

Как пример S0
rol(x, 25) ^ rol(x, 14) ^ (x >> 3)

rol обратим, xor обратим, сдвиг вправо не обратим. т.е. << (сдвиг влево) даст число с нулевыми младшими битами. Так что само выражением не обратимо