no sympy
Lemma 2 inertia test: 3600 exact tests, failures 0
lam=2.2: Bloch check, hits in gaps/outside: 0
lam=3.0: Bloch check, hits in gaps/outside: 0
lam=4.0: Bloch check, hits in gaps/outside: 0
lam=7.0: Bloch check, hits in gaps/outside: 0
lam=-5.0: Bloch check, hits in gaps/outside: 0
lam=3 all words K<=12, 3 phases: hits 0 matrices 24570
