Table 1 of the note, recomputed (library A = verification_run_A/programs, library K = original/scripts)
link                                     (n+,n-) (s,sA,sB) sig  d-  w-s+1  mdeg P sig-d- mdeg F
positive trefoil T+                      (3, 0)  (2, 2, 3)   2   0      2       2      2      2
negative trefoil T-                      (0, 3)  (2, 3, 2)  -2   1     -4      -4     -3     -5
positive Hopf link H+                    (2, 0)  (2, 2, 2)   1   0      1       1      1      1
negative Hopf link H-                    (0, 2)  (2, 2, 2)  -1   1     -3      -3     -2     -3
figure-eight knot 4_1                    (2, 2)  (3, 3, 3)   0   1     -2      -2     -1     -2
6_1                                      (4, 2)  (5, 5, 3)   0   1     -2      -2     -1     -2
T(2,4), antiparallel, negative           (0, 4)  (4, 2, 4)  -1   3     -7      -5     -4     -5
unknot, one negative kink (not reduced)  (0, 1)  (2, 1, 2)   0   1     -2       0     -1      0

V(T+) = t + t^3 - t^4 and V(H+) = -t^(1/2) - t^(5/2): True
caption, wrong conventions: opposite sign of sigma on T+: -2 >= 2 is False
caption, wrong conventions: l replaced by 1/l on T+: 2 >= -4 >= 2 is False
caption, wrong conventions: F(a,z) in place of F(1/a,z) on T-: -4 >= 2 is False
Section 2.5: the two bounds are (1, 1) for T+ and (-5, -6) for T-
closure of sigma_1^k in B_2, k = 2..9: min deg_l P = k - 1, max deg_l P = k + 1
T(2,4) antiparallel: Seifert graph = cycle of four negative edges; sigma - n_- = -5
6_1: highest power m^2 with coefficient {2: -1, 0: -1}; lowest power of l in the coefficient of m^0: -2; s_+ = 2
unknot with one negative kink: s = 2, w = -1, s_+ = 2; right-hand side of (9) = 0 = min deg_l P

TOTAL failures: 0
