RESULT tight_exh n=6 k=4 part=4/6 {'root_tuples': 56, 'nodes': 3296770, 'complete': 3211067, 'no_arb': 0, 'max_families': 2928, 'threeset_complete': 916289, 'crosschecked': 1605, 'seconds': 59.3}
