RESULT tight_exh n=6 k=4 part=1/6 {'root_tuples': 56, 'nodes': 3317396, 'complete': 3231602, 'no_arb': 0, 'max_families': 1008, 'threeset_complete': 976962, 'crosschecked': 1615, 'seconds': 57.3}
