n=35: 192 reachable points with |B|<=20, 44 direction classes
distinct patterns: class | (preclosed length / shortest , reduced factor) ... | unreduced factor tuples -> number of direction classes
  class -    | 1.00000:x5  1.99195:x5  2.96786:x5  3.91987:x5  4.84033:x1  5.72181:x5  6.55723:x5  7.33985:x5  8.06337:x5  8.72197:x1  9.31035:x5  9.82377:x5  10.25809:x5  10.60982:x5  10.87612:x1  11.05486:x5  11.14459:x5 | {(5, 5, 5, 5, 1, 5, 5, 5, 5, 1, 5, 5, 5, 5, 1, 5, 5): 4} | n among reduced factors: False
  class -    | 1.00000:x7  1.99195:x7  2.96786:x7  3.91987:x7  4.84033:x7  5.72181:x7  6.55723:x1  7.33985:x7  8.06337:x7  8.72197:x7  9.31035:x7  9.82377:x7  10.25809:x7  10.60982:x1  10.87612:x7  11.05486:x7  11.14459:x7 | {(7, 7, 7, 7, 7, 7, 1, 7, 7, 7, 7, 7, 7, 1, 7, 7, 7): 6} | n among reduced factors: False
  class -    | 1.00000:x35  1.99195:x35  2.96786:x35  3.91987:x35  4.84033:x7  5.72181:x35  6.55723:x5  7.33985:x35  8.06337:x35  8.72197:x7  9.31035:x35  9.82377:x35  10.25809:x35  10.60982:x5  10.87612:x7  11.05486:x35  11.14459:x35 | {(35, 35, 35, 35, 7, 35, 5, 35, 35, 7, 35, 35, 35, 5, 7, 35, 35): 34} | n among reduced factors: True
longest closed trajectory met: 1610 bounces
direction classes with a reduced factor equal to n: 34 of 44
Theorem 7(b) on these direction classes: classes 44 ; with exactly m=17 bands of distinct preclosed length: 44 ; preclosed lengths proportional to sin(2j pi/n): 44 ; factors = n/gcd(n, alpha*j) for some alpha: 44 ; gcd(alpha, n) -> number of classes: {1: 34, 5: 6, 7: 4}
exact decisions: 373420, time 29.0s
