files: 7  CPU seconds: 1038
stats: {'diagrams': 4684, 'oriented': 19834, 'multi': 16132, 'positive': 803, 'sharp0': 803, 'sharp1': 9929, 'mingap_nonpos': 2, 'sigmin': -11, 'sigmax': 11, 'maxcomp': 6, 'morton_eq': 19834, 'bracket_checked': 1868}
    19834 checked, 0 failed : diagram is connected, reduced, alternating
    19834 checked, 0 failed : reduced alternating => A-adequate and B-adequate
    19834 checked, 0 failed : sA + sB = n + 2
    19834 checked, 0 failed : Goeritz signature: two colourings agree
    19834 checked, 0 failed : nullity 0 (non-split alternating)
    19834 checked, 0 failed : Lemma 4 (Traczyk): sigma = n+ - sA + 1 = sB - n- - 1
    19834 checked, 0 failed : MFW: w - s + 1 <= min deg_l P
    19834 checked, 0 failed : MFW: max deg_l P <= w + s - 1
    19834 checked, 0 failed : Lemma 2 (Morton): max deg_m P <= n - s + 1
    19834 checked, 0 failed : Lemma 1: min deg_t V >= min deg_l P - max deg_m P / 2
    19834 checked, 0 failed : Lemma 3 (KMT): min deg_t V = (3w - n - 2 sA + 2)/4
    19834 checked, 0 failed : (J): min deg_t V = sigma/2 - n-
    19834 checked, 0 failed : max deg_t V = sigma/2 + n+
     1868 checked, 0 failed : Jones: state sum (-A^3)^-w <D>, A=t^-1/4  ==  P(t, t^1/2 - t^-1/2)
    19834 checked, 0 failed : Lemma 5: sA = s + n- (mod 2), |sA - s| <= n-
    19031 checked, 0 failed : Lemma 5: n- >= 1 => sA <= s + n- - 2
    19834 checked, 0 failed : d_- integer >= 0, >= 1 if n- >= 1
    19834 checked, 0 failed : identity sigma - d_- = w - s + 1 + d_-
    19834 checked, 0 failed : THEOREM A: min deg_l P <= sigma - d_-
    19834 checked, 0 failed : mirror form: sigma + d_+ <= max deg_l P
    19834 checked, 0 failed : (I1): sigma >= min deg_l P
    19834 checked, 0 failed : equality in (I1) iff D positive
    19834 checked, 0 failed : d_- = s_+(D) - 1 (Ito's s_+), d_+ = s_-(D) - 1
    19834 checked, 0 failed : Ito Prop.1 + Traczyk: sigma = w - s + 2 s_+ - 1
    19834 checked, 0 failed : Kauffman-bound form of (I2): sigma - n- = w - sA + 1 <= min deg_l P
TOTAL FAILURES: 0
