# r2_hexagon.py (independent verification run 2, AI-assisted, own code); p = 2147476619
[paper_H1] V=[(0, 0), (6, -1), (10, 3), (9, 8), (3, 10), (-2, 5)]: deg Br=[12], terms(Br)=3212, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 1; K6 = 0 exactly on all 64 branches at x=(-26, -1): True; K6 = 0 at 1450 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461), 7: (792, 786), 8: (1287, 1266)}  => OK (6.7s)
[paper_H2] V=[(11, 19), (-14, 16), (-15, 12), (-10, -14), (-7, -22), (12, -16)]: deg Br=[12], terms(Br)=3212, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 1; K6 = 0 exactly on all 64 branches at x=(-18, -20): True; K6 = 0 at 560 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461)}  => OK (0.9s)
[paper_H3] V=[(2, 0), (1, 1), (-1, 1), (-2, 0), (-1, -1), (1, -1)]: deg Br=[12], terms(Br)=3172, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 4; K6 = 0 exactly on all 64 branches at x=(17, -34): True; K6 = 0 at 560 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461)}  => OK (0.9s)
[paper_H4] V=[(0, 0), (8, 0), (8, 6), (4, 2), (0, 6), (-3, 3)]: deg Br=[12], terms(Br)=3203, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 4; K6 = 0 exactly on all 64 branches at x=(-28, 20): True; K6 = 0 at 560 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461)}  => OK (0.8s)
[random1] V=[(15, 14), (13, 20), (22, 21), (1, -16), (14, -29), (29, -12)]: deg Br=[12], terms(Br)=3212, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 4; K6 = 0 exactly on all 64 branches at x=(-36, -31): True; K6 = 0 at 560 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461)}  => OK (0.8s)
[random2] V=[(-15, 11), (-25, -26), (-19, 4), (-1, 4), (12, -2), (24, -30)]: deg Br=[12], terms(Br)=3212, exact s-power = 6, K6 = Br/s^6: deg [6], 50 terms, content 1; K6 = 0 exactly on all 64 branches at x=(-2, 12): True; K6 = 0 at 560 F_p-points: True; (monomials, rank) {5: (252, 252), 6: (462, 461)}  => OK (0.8s)
ALL OK: True (11.0s)
