n=11 R=80.0: 3349 reachable points (39183 nodes), types: A0:1537, A1:426, A2:214, A3:142, A4:124, A5:124, A6:142, A7:214, A8:426
Conj 2.6: 4657 (point, l, eps) instances tested, 0 failures, 0 parallel points not found (must be 0)
Conj 2.7: 4657 pairs of parallel short trajectories tested, 0 failures
pairs (u,v) of reachable points with det(u,v) = sin(2 pi/n): 2537
  their (type u, type v) distribution: {(0, 0): 843, (0, 8): 847, (1, 0): 847}
Conj 2.3: 11 reachable n-gons inside radius R examined, 0 with wrong vertex types (2504 pairs undecided because a vertex leaves the disc)
  unitary pairs (types A0,A0): 11 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): 843 unitary pairs, 5842 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: 152 unitary pairs tested, 152 failures (= not a reachable point of type A0)
Conj 2.4: examined all reachable points with |w| <= R0 = 3.0: 8 points; a-priori bound for the vertices of an n-gon through w: |v_i| <= 30.6530 |w|; search exhaustive for types != A0: False
  points by type: {0: 4, 1: 1, 2: 1, 7: 1, 8: 1}
  points lying on NO reachable n-gon, by type: {}
  maximal number of reachable n-gons through a point of type != A0: {1: 1, 2: 1, 7: 1, 8: 1}
  shortest points on no reachable n-gon (ring coordinates in Z[zeta_22], type, radius):
total time 28.1s
