R = 60.0 mine: 1905 Fuchs' description: 1905
same point sets: True
type mismatches: 0 []
n=4: points 427 427 same sets: True type mismatches: 0
Conj 2.6 for n=4 (l=2, eps=-1): failures 0 ; Conj 2.7 for n=4: parallel trajectories from O have equal types up to sign and equal lengths (trivial)
n=5: 321 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
n=6: 327 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
n=7: 343 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
n=8: 343 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
n=9: 319 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
n=12: 331 enumerated points re-traced, mismatches: 0; doubles of the first 200 points not reachable: 200/200
