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
