RESULT tight_exh n=7 k=3 part=2/6 {'root_tuples': 28, 'nodes': 3995860, 'complete': 3865324, 'no_arb': 0, 'max_families': 648, 'threeset_complete': 1174626, 'crosschecked': 1932, 'seconds': 45.2}
