Lemma Z, k=6, d_j in (1, 2), inner n_j = +-1, n_k in {-1,0,1} (exhaustive): 6144 configurations, non-zero spaces: 0  [0.2s]
Lemma Z, k=7, d_j in (1, 2), inner n_j = +-1, n_k in {-1,0,1} (exhaustive): 24576 configurations, non-zero spaces: 0  [2.4s]
Lemma Z, k=8, d_j in (1, 2), inner n_j = +-1, n_k in {-1,0,1} (exhaustive): 98304 configurations, non-zero spaces: 0  [24.7s]
Lemma Z, k=5, d_j in (1, 2, 3), inner n_j = +-1, n_k in {-1,0,1} (exhaustive): 11664 configurations, non-zero spaces: 0  [25.0s]
Lemma Z, k=6, d_j in (1, 2, 3), inner n_j = +-1, n_k in {-1,0,1} (exhaustive): 69984 configurations, non-zero spaces: 0  [30.0s]
Lemma Z, k=9, random sample (seed 1), d_j in {1,2,3} with sum <= 16, exponents +-1, +-2: 4000 configurations, non-zero spaces: 0  [33.3s]
Lemma Z, k=10, random sample (seed 1), d_j in {1,2,3} with sum <= 16, exponents +-1, +-2: 4000 configurations, non-zero spaces: 0  [40.2s]
Lemma Z, k=11, random sample (seed 1), d_j in {1,2,3} with sum <= 16, exponents +-1, +-2: 4000 configurations, non-zero spaces: 0  [53.2s]
Lemma Z, k=12, random sample (seed 1), d_j in {1,2,3} with sum <= 16, exponents +-1, +-2: 4000 configurations, non-zero spaces: 0  [73.5s]
controls (some inner exponent 0; non-zero values show that the test can fail): [((1, 1, 1, 1, 1, 1), [1, 0, -1, 1, 0, -1], 1), ((2, 2, 1, 1, 1, 1), [0, 1, 1, 0, -1, -1], 1), ((1, 1, 2, 2, 1, 1, 1, 1), [1, 0, -1, 0, 1, 1, 0, -2], 0)]
