Group G2

For each time i, let j and k run through all possible pairs of tape squares from -p(n) to p(n)+1. For each pair (j,k), and each time i, add the clause {H[i,j],H[i,k]}.

For each time i, add the clause: {H[i,-p(n)],H[i,-p(n)+1],…,H[i,p(n)+1]}