(1) small gadgets checked: 42
(2) long-cycle gadgets checked for L <= 60
(3) partner witnesses checked
(4)-(5) classification and partners checked for 24 <= n <= 47
(6) T(C) contained in E(mu, n) for the exact data 12 <= n <= 24
ALL CHECKS PASSED
