RESULT tight_exh n=7 k=3 part=5/6 {'root_tuples': 28, 'nodes': 3894834, 'complete': 3765113, 'no_arb': 0, 'max_families': 1170, 'threeset_complete': 1198503, 'crosschecked': 1882, 'seconds': 42.3}
