RESULT tight_exh n=7 k=3 part=3/6 {'root_tuples': 28, 'nodes': 4089327, 'complete': 3956184, 'no_arb': 0, 'max_families': 1398, 'threeset_complete': 1162266, 'crosschecked': 1978, 'seconds': 52.5}
