n=7 R=80.0: 3397 reachable points (58995 nodes), types: A0:1681, A1:516, A2:342, A3:342, A4:516
Conj 2.6: 5831 (point, l, eps) instances tested, 0 failures, 0 parallel points not found (must be 0)
Conj 2.7: 5831 pairs of parallel short trajectories tested, 0 failures
pairs (u,v) of reachable points with det(u,v) = sin(2 pi/n): 3109
  their (type u, type v) distribution: {(0, 0): 1039, (0, 4): 1035, (1, 0): 1035}
Conj 2.3: 75 reachable n-gons inside radius R examined, 0 with wrong vertex types (2892 pairs undecided because a vertex leaves the disc)
  unitary pairs (types A0,A0): 75 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): 1039 unitary pairs, 7754 predicted points inside the disc, 0 missing, 0 reachable points on the lines not of the predicted form/type
Conj 2.5 literal (a), m=1, point u+(lambda+1)v: 184 unitary pairs tested, 184 failures (= not a reachable point of type A0)
Conj 2.4: examined all reachable points with |w| <= R0 = 10.0: 57 points; a-priori bound for the vertices of an n-gon through w: |v_i| <= 8.7626 |w|; search exhaustive for types != A0: False
  points by type: {0: 29, 1: 8, 2: 6, 3: 6, 4: 8}
  points lying on NO reachable n-gon, by type: {1: 4, 2: 3, 3: 3, 4: 4}
  maximal number of reachable n-gons through a point of type != A0: {1: 1, 2: 1, 3: 1, 4: 1}
  shortest points on no reachable n-gon (ring coordinates in Z[zeta_14], type, radius):
     (2, 0, 3, 0, 1, 0) type A4 |w| = 4.932822 (x,y) = (3.647948, 3.320422)
     (0, 1, 0, 3, 0, 2) type A1 |w| = 4.932822 (x,y) = (0.321552, 4.922330)
     (1, 2, 1, 2, 1, 1) type A2 |w| = 6.151128 (x,y) = (3.024459, 5.356214)
     (3, 0, 3, 0, 2, -1) type A3 |w| = 6.151128 (x,y) = (5.048917, 3.513519)
     (1, 1, 2, 1, 2, 1) type A3 |w| = 6.151128 (x,y) = (2.301938, 5.704162)
     (-1, 2, 0, 3, 0, 3) type A2 |w| = 6.151128 (x,y) = (-0.400969, 6.138046)
total time 17.9s
