The client's algorithm: Input: C
Select N, E
Calculate S = equix_solve(C || N || E)
Calculate R = blake2b(C || N || E || S)
if R * E > UINT32_MAX, go back to step 1)
Submit C, N, E, S (68 bytes total)
It looks like all the 40320 permutations of the 16-bit words in S are equix solutions. Are steps 3 to 5 supposed to be repeated for all the permutations?