3_1 (3,) {'crossings': 3, 'alternating': True, 'n+': 0, 'n-': 3, 'sA': 3, 'sigma_traczyk': 2, 'det_colouring': 3} p = 3
4_1 (2, 1, 1) {'crossings': 4, 'alternating': True, 'n+': 2, 'n-': 2, 'sA': 3, 'sigma_traczyk': 0, 'det_colouring': 5} p = 5
5_1 (5,) {'crossings': 5, 'alternating': True, 'n+': 0, 'n-': 5, 'sA': 5, 'sigma_traczyk': 4, 'det_colouring': 5} p = 5
5_2 (3, 1, 1) {'crossings': 5, 'alternating': True, 'n+': 5, 'n-': 0, 'sA': 4, 'sigma_traczyk': -2, 'det_colouring': 7} p = 7
6_1 (4, 1, 1) {'crossings': 6, 'alternating': True, 'n+': 4, 'n-': 2, 'sA': 5, 'sigma_traczyk': 0, 'det_colouring': 9} p = 9
6_2 (3, 1, 2) {'crossings': 6, 'alternating': True, 'n+': 2, 'n-': 4, 'sA': 5, 'sigma_traczyk': 2, 'det_colouring': 11} p = 11
6_3 (2, 1, 1, 1, 1) {'crossings': 6, 'alternating': True, 'n+': 3, 'n-': 3, 'sA': 4, 'sigma_traczyk': 0, 'det_colouring': 13} p = 13
7_1 (7,) {'crossings': 7, 'alternating': True, 'n+': 0, 'n-': 7, 'sA': 7, 'sigma_traczyk': 6, 'det_colouring': 7} p = 7
7_2 (5, 1, 1) {'crossings': 7, 'alternating': True, 'n+': 7, 'n-': 0, 'sA': 6, 'sigma_traczyk': -2, 'det_colouring': 11} p = 11
7_3 (4, 2, 1) {'crossings': 7, 'alternating': True, 'n+': 0, 'n-': 7, 'sA': 5, 'sigma_traczyk': 4, 'det_colouring': 13} p = 13
7_4 (3, 1, 3) {'crossings': 7, 'alternating': True, 'n+': 7, 'n-': 0, 'sA': 6, 'sigma_traczyk': -2, 'det_colouring': 15} p = 15
7_5 (3, 2, 2) {'crossings': 7, 'alternating': True, 'n+': 0, 'n-': 7, 'sA': 5, 'sigma_traczyk': 4, 'det_colouring': 17} p = 17
7_6 (2, 2, 1, 1, 1) {'crossings': 7, 'alternating': True, 'n+': 5, 'n-': 2, 'sA': 4, 'sigma_traczyk': -2, 'det_colouring': 19} p = 19
7_7 (2, 1, 1, 1, 2) {'crossings': 7, 'alternating': True, 'n+': 4, 'n-': 3, 'sA': 5, 'sigma_traczyk': 0, 'det_colouring': 21} p = 21
9_4 (5, 3, 1) {'crossings': 9, 'alternating': True, 'n+': 9, 'n-': 0, 'sA': 6, 'sigma_traczyk': -4, 'det_colouring': 21} p = 21
three-method agreement (diagram/Traczyk, floor sum, even-CF Seifert form) on 8282 pairs (p,q), p <= 201

named knots:
5_1: p=5, q=1; diagram C(5,): crossings=5, alternating=True, det=5, sigma(Traczyk)=4; floor-sum sigma=4; even-CF form: det=5, sigma=4; claimed Conway notation [5]: value 5, numerator 5, denominator class ok: True; claimed diagram: det=5, sigma=4
7_3: p=13, q=4; diagram C(3, 3, 1): crossings=7, alternating=True, det=13, sigma(Traczyk)=-4; floor-sum sigma=4; even-CF form: det=13, sigma=4; claimed Conway notation [4, 3]: value 13/3, numerator 13, denominator class ok: True; claimed diagram: det=13, sigma=4
9_4: p=21, q=4; diagram C(5, 3, 1): crossings=9, alternating=True, det=21, sigma(Traczyk)=-4; floor-sum sigma=4; even-CF form: det=21, sigma=4; claimed Conway notation [5, 4]: value 21/4, numerator 21, denominator class ok: True; claimed diagram: det=21, sigma=-4
7_5: p=17, q=5; diagram C(3, 2, 2): crossings=7, alternating=True, det=17, sigma(Traczyk)=4; floor-sum sigma=4; even-CF form: det=17, sigma=4; claimed Conway notation [3, 2, 2]: value 17/5, numerator 17, denominator class ok: True; claimed diagram: det=17, sigma=4
9_23: p=45, q=19; diagram C(2, 2, 1, 2, 2): crossings=9, alternating=True, det=45, sigma(Traczyk)=4; floor-sum sigma=4; even-CF form: det=45, sigma=4; claimed Conway notation [2, 2, 1, 2, 2]: value 45/19, numerator 45, denominator class ok: True; claimed diagram: det=45, sigma=4
S(2857,652): p=2857, q=652; diagram C(4, 2, 1, 1, 1, 1, 1, 1, 1, 3, 3): crossings=19, alternating=True, det=2857, sigma(Traczyk)=-4; floor-sum sigma=4; even-CF form: det=2857, sigma=4; claimed Conway notation [4, 2, 1, 1, 1, 1, 1, 1, 1, 3, 3]: value 2857/652, numerator 2857, denominator class ok: True; claimed diagram: det=2857, sigma=-4
S(2953,877): p=2953, q=877; diagram C(3, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2): crossings=18, alternating=True, det=2953, sigma(Traczyk)=4; floor-sum sigma=4; even-CF form: det=2953, sigma=4; claimed Conway notation [3, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2]: value 2953/877, numerator 2953, denominator class ok: True; claimed diagram: det=2953, sigma=4
S(8d-3,4), d=50: p=397, q=4; diagram C(99, 3, 1): crossings=103, alternating=True, det=397, sigma(Traczyk)=-4; floor-sum sigma=4; even-CF form: det=397, sigma=4
