# r2_table2_high.py (independent verification run 2, AI-assisted, own code); p = 2147463641
n=5 V=[(9, 8), (-8, -23), (-1, 31), (8, 16), (-10, -38)] (no three collinear, no four concyclic) d=12: monomials 1820, rank 1761, dim ker E_d = 59 (11s)
n=5 V=[(9, 8), (-8, -23), (-1, 31), (8, 16), (-10, -38)] (no three collinear, no four concyclic) d=13: monomials 2380, rank 2230, dim ker E_d = 150 (28s)
n=5 V=[(9, 8), (-8, -23), (-1, 31), (8, 16), (-10, -38)] (no three collinear, no four concyclic) d=14: monomials 3060, rank 2751, dim ker E_d = 309 (61s)
n=6 V=[(32, -21), (-23, -29), (34, 10), (-12, 9), (40, -33), (-31, -6)] (no three collinear, no four concyclic) d=8: monomials 1287, rank 1266, dim ker E_d = 21 (11s)
n=6 V=[(32, -21), (-23, -29), (34, 10), (-12, 9), (40, -33), (-31, -6)] (no three collinear, no four concyclic) d=9: monomials 2002, rank 1946, dim ker E_d = 56 (22s)
n=6 V=[(32, -21), (-23, -29), (34, 10), (-12, 9), (40, -33), (-31, -6)] (no three collinear, no four concyclic) d=10: monomials 3003, rank 2874, dim ker E_d = 129 (52s)
n=6 V=[(32, -21), (-23, -29), (34, 10), (-12, 9), (40, -33), (-31, -6)] (no three collinear, no four concyclic) d=11: monomials 4368, rank 4023, dim ker E_d = 345 (140s)
n=7 V=[(40, 36), (-22, -11), (-35, -27), (-12, -7), (37, 36), (-38, -9), (-12, 35)] (no three collinear, no four concyclic) d=8: monomials 3003, rank 2954, dim ker E_d = 49 (42s)
