RESULT tight_exh n=6 k=4 part=0/6 {'root_tuples': 56, 'nodes': 3334971, 'complete': 3248847, 'no_arb': 0, 'max_families': 3936, 'threeset_complete': 952281, 'crosschecked': 1624, 'seconds': 57.0}
