n=39: 110 reachable points with |B|<=14, 21 direction classes
distinct patterns: class | (preclosed length / shortest , reduced factor) ... | unreduced factor tuples -> number of direction classes
  class -    | 1.00000:x3  1.99351:x3  2.97410:x1  3.93540:x3  4.87117:x3  5.77536:x1  6.64209:x3  7.46574:x3  8.24097:x1  8.96276:x3  9.62642:x3  10.22765:x1  10.76255:x3  11.22765:x3  11.61993:x1  11.93686:x3  12.17637:x3  12.33691:x1  12.41744:x3 | {(3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3, 3, 1, 3): 6} | n among reduced factors: False
  class -    | 1.00000:x13  1.99351:x13  2.97410:x13  3.93540:x13  4.87117:x13  5.77536:x13  6.64209:x13  7.46574:x13  8.24097:x13  8.96276:x13  9.62642:x13  10.22765:x13  10.76255:x1  11.22765:x13  11.61993:x13  11.93686:x13  12.17637:x13  12.33691:x13  12.41744:x13 | {(13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 13, 1, 13, 13, 13, 13, 13, 13): 4} | n among reduced factors: False
  class -    | 1.00000:x39  1.99351:x39  2.97410:x13  3.93540:x39  4.87117:x39  5.77536:x13  6.64209:x39  7.46574:x39  8.24097:x13  8.96276:x39  9.62642:x39  10.22765:x13  10.76255:x3  11.22765:x39  11.61993:x13  11.93686:x39  12.17637:x39  12.33691:x13  12.41744:x39 | {(39, 39, 13, 39, 39, 13, 39, 39, 13, 39, 39, 13, 3, 39, 13, 39, 39, 13, 39): 11} | n among reduced factors: True
longest closed trajectory met: 858 bounces
direction classes with a reduced factor equal to n: 11 of 21
Theorem 7(b) on these direction classes: classes 21 ; with exactly m=19 bands of distinct preclosed length: 21 ; preclosed lengths proportional to sin(2j pi/n): 21 ; factors = n/gcd(n, alpha*j) for some alpha: 21 ; gcd(alpha, n) -> number of classes: {1: 11, 3: 4, 13: 6}
exact decisions: 162434, time 9.1s
