def next_word_slow
import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Coreimport Base
80# Reverse history: at round t, index j contains W[t-1-j].
81def next_word_slow(+history: List<&2, U32>) -> U32:
82 (small1(get(history, 1n)) + get(history, 6n)
83 + small0(get(history, 14n)) + get(history, 15n) : U32)