RESULT tight_exh n=8 k=3 part=4/24 {'root_tuples': 36, 'nodes': 36090696, 'complete': 35204569, 'no_arb': 0, 'max_families': 2976, 'threeset_complete': 16500624, 'crosschecked': 1760, 'seconds': 618.2}
