Lemma A: tested 262 polynomials (skipped 38 near-critical ones); components without a zero: 0; connectivity-criterion mismatches: 0
Lemma B: tested 797 connected lemniscates; max |z - c| over L found: 1.844840 (<2 expected)
worst case zeros: [(1.815952+0j), (1.596921+0j), (1.185278+0j), (0.630674+0j), 0j, (-0.630674+0j), (-1.185278+0j), (-1.596921+0j), (-1.815952+0j)]
violations: 0
