(1) winding number: 3200 random configurations (n=3..10), each with 3 random SL(2,Z) images: all checks passed
(2) freeness: random nontrivial g in SL(2,Z) with >= 3 fixed points found: 0
(3) non-separable pairs (n, [(m, m^2*|g_m f_m - f'|, m^2*|1/f_m(even)|, |f_m(odd)-f(odd)|)]):
    n=4: [(10, 4.5, 4.0, 0.0), (100, 4.5, 4.0, 0.0), (1000, 4.5, 4.0, 0.0)]
    n=6: [(10, 1.3333333333333333, 2.0, 0.0), (100, 1.3333333333333333, 2.0, 0.0), (1000, 1.3333333333333333, 2.0, 0.0)]
    n=8: [(10, 3.5, 5.0, 0.0), (100, 3.5, 5.0, 0.0), (1000, 3.5, 5.0, 0.0)]
    n=10: [(10, 4.0, 0.6666666666666666, 0.0), (100, 4.0, 0.6666666666666666, 0.0), (1000, 4.0, 0.6666666666666666, 0.0)]
(4) triangulation lemma (n: (#patterns with >=3 values, #without good triangulation)):
    {3: (1, 0), 4: (3, 0), 5: (11, 0), 6: (40, 0), 7: (162, 0), 8: (714, 0), 9: (3425, 0), 10: (17721, 0)}
(5) max multiplicity <= n/2, equality only for even/odd-constant patterns (n: (ok, #patterns with multiplicity n/2)):
    {3: (True, 0), 4: (True, 3), 5: (True, 0), 6: (True, 9), 7: (True, 0), 8: (True, 29), 9: (True, 0), 10: (True, 103)}
(6) friezes, n odd: 1200 random configurations: eps = (-1)^k, M(c) = eps*Id, c invariant under SL(2,Z): all passed; regular n-gon monodromy trace/2 by (n,k): {(5, 1): -1.0, (5, 2): 1.0, (5, 3): -1.0, (5, 4): 1.0, (7, 1): -1.0, (7, 2): 1.0, (7, 3): -1.0, (7, 4): 1.0, (7, 5): -1.0, (7, 6): 1.0}
