(a) small gadgets parsed and verified: 42, all good: True
(b) long-cycle gadgets verified for L <= 150 (evenness for odd L): True
(c) case analysis: every even type of n not in E(mu,n) has a gadget, 24 <= n <= 60: True
(d) partner witnesses and injectivity, 24 <= n <= 80: True
ALL OK
