rational pairs (alpha, lam) = (A/M, B/M), M <= 14: cases=325 failures=0
  (families, b, symmetric elements, regular points among them, on connections, connections S): cases
  (1, 0, 4, 2, 2, 2): 86
  (1, 0, 5, 2, 3, 3): 52
  (2, 0, 4, 4, 0, 2): 43
  (2, 0, 5, 4, 1, 3): 144
irrational pairs with a relation p*alpha + q*lam = n (in Q(sqrt 2)): cases=88 failures=0
  (families, b, symmetric elements, regular within 4000 steps, on connections, connections S): cases
  (0, 1, 4, 4, 0, 0): 9
  (0, 1, 5, 3, 2, 2): 6
  (0, 1, 5, 4, 1, 1): 10
  (0, 1, 5, 5, 0, 0): 5
  (1, 1, 5, 5, 0, 2): 42
  (2, 0, 5, 4, 1, 3): 16
TOTAL failures: 0
