b      pairs  351  (family found, decided) -> count: {(False, True): 179, (True, True): 172}  max certificate K: 10
c      pairs  466  (family found, decided) -> count: {(False, True): 383, (True, True): 83}  max certificate K: 231
d      pairs  535  (family found, decided) -> count: {(False, True): 493, (True, True): 42}  max certificate K: 387
open   pairs 1155  (family found, decided) -> count: {(False, False): 6, (False, True): 603, (True, False): 7, (True, True): 539}  max certificate K: 2875
sumrat pairs  372  (family found, decided) -> count: {(True, True): 372}  max certificate K: 0
t5     pairs 1033  (family found, decided) -> count: {(True, True): 1033}  max certificate K: 0
(c) by n (n >= 3 pooled as 3): (n, family?) -> count [((1, False), 54), ((1, True), 37), ((2, False), 45), ((2, True), 46), ((3, False), 284)] ; violations of the refinement: 0
(d): (n == p, family?) -> count [((False, False), 431), ((True, False), 62), ((True, True), 42)] ; violations of "family => n = p, m2 = N, m1 = Np, v = 1": 0 ; p in [2, 3, 4, 5, 6, 7, 8]
sum rational, irrational parameters: 372 pairs ; number of families: [(2, 372)] ; m1 == m2 always: True ; g | m1 always: True ; largest chord-map period 162560
Theorem 5: 1033 pairs (789 irrational, 244 rational) ; number of families: [(1, 38), (2, 995)] ; max N 191
open class: relation types 168 ; pairs with q > (N+1)p: 89, of which with a family: 0 ; families: 546 ; v = 1: 156, v >= 2: 390, max v 1259 ; max G-period 15216 ; max q/((N+1)p) among families 0.8750
open class, relation types with a family for every sampled lam: 47 ; for none: 51 ; mixed: 66
open class, undecided pairs (rel, N, lam): [((3, 5, 1), 111, 0.00896, 'family found'), ((3, 6, 2), 191, 0.00523, 'family found'), ((4, 3, 1), 15, 0.0663, 'no family found'), ((4, 5, 5), 4, 0.21941, 'no family found'), ((5, 4, 6), 2, 0.36227, 'family found'), ((5, 6, 1), 95, 0.01046, 'family found'), ((6, 5, 1), 95, 0.01046, 'no family found'), ((6, 5, 1), 33, 0.02952, 'no family found'), ((6, 5, 3), 58, 0.01716, 'no family found'), ((6, 5, 7), 4, 0.20711, 'family found'), ((6, 5, 8), 2, 0.42426, 'family found'), ((6, 7, 1), 17, 0.05719, 'no family found'), ((6, 7, 8), 3, 0.29289, 'family found')]
sum = 1/2, N = 6 examples (lam, [(m1, v)]): [(0.16622, [(752, 125), (746, 124)]), (0.16036, [(56, 9), (50, 8)])]
