circle exchanges tested (M <= 26): 52650
histogram (number of genuine discontinuities, number of families): count
    (3, 1) 20994
    (3, 2) 31656
counterexample to Lemma C (3 discontinuities, more than 2 families): None
