RESULT tight_exh n=5 k=4 part=0/1 {'root_tuples': 35, 'nodes': 482021, 'complete': 482021, 'no_arb': 0, 'max_families': 336, 'threeset_complete': 98665, 'crosschecked': 24101, 'seconds': 37.2}
