RESULT tight_exh n=8 k=3 part=22/24 {'root_tuples': 36, 'nodes': 34026796, 'complete': 33138353, 'no_arb': 0, 'max_families': 1488, 'threeset_complete': 15841379, 'crosschecked': 1656, 'seconds': 373.5}
