n=5: 1855 reachable points with |B|<=60, 528 direction classes
distinct patterns: class | (preclosed length / shortest , reduced factor) ... | unreduced factor tuples -> number of direction classes
  class -    | 1.00000:x1  1.61803:x1 | {(5, 5): 437, (1, 1): 91} | n among reduced factors: False
longest closed trajectory met: 740 bounces
direction classes with a reduced factor equal to n: 0 of 528
Theorem 7(b) on these direction classes: classes 528 ; with exactly m=2 bands of distinct preclosed length: 528 ; preclosed lengths proportional to sin(2j pi/n): 528 ; factors = n/gcd(n, alpha*j) for some alpha: 528 ; gcd(alpha, n) -> number of classes: {1: 437, 5: 91}
exact decisions: 87862, time 4.2s
