lam=3: all omega in {0,1}^K, K=3..8 checked
lam=5/2: all omega in {0,1}^K, K=3..8 checked
lam=-7/3: all omega in {0,1}^K, K=3..8 checked
lam=1: all omega in {0,1}^K, K=3..8 checked
lam=8/3: all omega in {0,1}^K, K=3..8 checked
total configurations checked: 2520; failures: 0
RESULT: Claims 1 and 2 hold exactly for all checked cases
python3 reduction_exact.py  5.70s user 0.03s system 60% cpu 9.414 total
