The parameter of a Hitting Set word is computed in polynomial time by the IMP+ program that reads the word — the codes of $n$, $m$ and $k$, then the sets — and writes $k$: at most $20000 (|x| + 1)^3$ steps, with values below $2 ^ (|x| + 7)$.