RESULT tight_exh n=7 k=3 part=4/6 {'root_tuples': 28, 'nodes': 3748000, 'complete': 3621561, 'no_arb': 0, 'max_families': 1488, 'threeset_complete': 1145431, 'crosschecked': 1810, 'seconds': 46.0}
