n=6 R=80.0: 3389 reachable points (69770 nodes), types: A0:1764, A1:591, A2:443, A3:591
Conj 2.6: 2519 (point, l, eps) instances tested, 0 failures, 0 parallel points not found (must be 0)
Conj 2.7: 2519 pairs of parallel short trajectories tested, 0 failures
pairs (u,v) of reachable points with det(u,v) = sin(2 pi/n): 3527
  their (type u, type v) distribution: {(0, 0): 1173, (0, 3): 1177, (1, 0): 1177}
Conj 2.3: 153 reachable n-gons inside radius R examined, 0 with wrong vertex types (3084 pairs undecided because a vertex leaves the disc)
  unitary pairs (types A0,A0): 153 span a reachable n-gon, 0 do not (must be 0); non-unitary pairs spanning a reachable n-gon: 0 (must be 0)
Conj 2.5 (corrected form: steps lambda^2, offsets 0 and lambda^2-1): 1173 unitary pairs, 9246 predicted points inside the disc, 0 missing, 0 reachable points on the lines not of the predicted form/type
Conj 2.5 literal (a): n even, lambda=2cos(pi/n) is not in Q(zeta_n), so u+m(lambda+1)v is never a vertex of the development for m != 0
Conj 2.4: examined all reachable points with |w| <= R0 = 10.0: 55 points; a-priori bound for the vertices of an n-gon through w: |v_i| <= 6.0000 |w|; search exhaustive for types != A0: True
  points by type: {0: 30, 1: 9, 2: 7, 3: 9}
  points lying on NO reachable n-gon, by type: {1: 4, 2: 4, 3: 4}
  maximal number of reachable n-gons through a point of type != A0: {1: 1, 2: 1, 3: 1}
  shortest points on no reachable n-gon (ring coordinates in Z[zeta_6], type, radius):
     (1, 4) type A3 |w| = 4.582576 (x,y) = (3.000000, 3.464102)
     (-1, 5) type A1 |w| = 4.582576 (x,y) = (1.500000, 4.330127)
     (2, 4) type A2 |w| = 5.291503 (x,y) = (4.000000, 3.464102)
     (-2, 6) type A2 |w| = 5.291503 (x,y) = (1.000000, 5.196152)
     (2, 5) type A1 |w| = 6.244998 (x,y) = (4.500000, 4.330127)
     (-2, 7) type A3 |w| = 6.244998 (x,y) = (1.500000, 6.062178)
total time 7.0s
