RESULT tight_exh n=6 k=4 part=2/6 {'root_tuples': 56, 'nodes': 3302118, 'complete': 3216398, 'no_arb': 0, 'max_families': 1512, 'threeset_complete': 963137, 'crosschecked': 1608, 'seconds': 60.6}
