RESULT tight_exh n=6 k=4 part=3/6 {'root_tuples': 56, 'nodes': 3318451, 'complete': 3232514, 'no_arb': 0, 'max_families': 1296, 'threeset_complete': 940385, 'crosschecked': 1616, 'seconds': 55.3}
