RESULT tight_exh n=7 k=3 part=1/6 {'root_tuples': 28, 'nodes': 3721797, 'complete': 3596361, 'no_arb': 0, 'max_families': 528, 'threeset_complete': 1167373, 'crosschecked': 1798, 'seconds': 35.3}
