nondegenerate integer lam with entries in {-3..3}: 108756; monomial system constructed and verified: 108756; failures: 0
