n=45: 136 reachable points with |B|<=16, 25 direction classes
distinct patterns: class | (preclosed length / shortest , reduced factor) ... | unreduced factor tuples -> number of direction classes
  class -    | 1.00000:x3  1.99513:x3  2.98054:x1  3.95142:x3  4.90306:x3  5.83081:x1  6.73015:x3  7.59670:x3  8.42625:x1  9.21474:x3  9.95834:x3  10.65342:x1  11.29660:x3  11.88474:x3  12.41498:x1  12.88474:x3  13.29172:x3  13.63395:x1  13.90976:x3  14.11780:x3  14.25706:x1  14.32685:x3 | {(3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3): 4} | n among reduced factors: False
  class -    | 1.00000:x5  1.99513:x5  2.98054:x5  3.95142:x5  4.90306:x1  5.83081:x5  6.73015:x5  7.59670:x5  8.42625:x5  9.21474:x1  9.95834:x5  10.65342:x5  11.29660:x5  11.88474:x5  12.41498:x1  12.88474:x5  13.29172:x5  13.63395:x5  13.90976:x5  14.11780:x1  14.25706:x5  14.32685:x5 | {(5, 5, 5, 5, 1, 5, 5, 5, 5, 1, 5, 5, 5, 5, 1, 5, 5, 5, 5, 1, 5, 5): 3} | n among reduced factors: False
  class -    | 1.00000:x9  1.99513:x9  2.98054:x3  3.95142:x9  4.90306:x9  5.83081:x3  6.73015:x9  7.59670:x9  8.42625:x1  9.21474:x9  9.95834:x9  10.65342:x3  11.29660:x9  11.88474:x9  12.41498:x3  12.88474:x9  13.29172:x9  13.63395:x1  13.90976:x9  14.11780:x9  14.25706:x3  14.32685:x9 | {(9, 9, 3, 9, 9, 3, 9, 9, 1, 9, 9, 3, 9, 9, 3, 9, 9, 1, 9, 9, 3, 9): 2} | n among reduced factors: False
  class -    | 1.00000:x15  1.99513:x15  2.98054:x5  3.95142:x15  4.90306:x3  5.83081:x5  6.73015:x15  7.59670:x15  8.42625:x5  9.21474:x3  9.95834:x15  10.65342:x5  11.29660:x15  11.88474:x15  12.41498:x1  12.88474:x15  13.29172:x15  13.63395:x5  13.90976:x15  14.11780:x3  14.25706:x5  14.32685:x15 | {(15, 15, 5, 15, 3, 5, 15, 15, 5, 3, 15, 5, 15, 15, 1, 15, 15, 5, 15, 3, 5, 15): 1} | n among reduced factors: False
  class -    | 1.00000:x45  1.99513:x45  2.98054:x15  3.95142:x45  4.90306:x9  5.83081:x15  6.73015:x45  7.59670:x45  8.42625:x5  9.21474:x9  9.95834:x45  10.65342:x15  11.29660:x45  11.88474:x45  12.41498:x3  12.88474:x45  13.29172:x45  13.63395:x5  13.90976:x45  14.11780:x9  14.25706:x15  14.32685:x45 | {(45, 45, 15, 45, 9, 15, 45, 45, 5, 9, 45, 15, 45, 45, 3, 45, 45, 5, 45, 9, 15, 45): 15} | n among reduced factors: True
longest closed trajectory met: 1170 bounces
direction classes with a reduced factor equal to n: 15 of 25
Theorem 7(b) on these direction classes: classes 25 ; with exactly m=22 bands of distinct preclosed length: 25 ; preclosed lengths proportional to sin(2j pi/n): 25 ; factors = n/gcd(n, alpha*j) for some alpha: 25 ; gcd(alpha, n) -> number of classes: {1: 15, 3: 1, 5: 2, 9: 3, 15: 4}
exact decisions: 239492, time 18.3s
