RESULT tight_exh n=5 k=3 part=0/1 {'root_tuples': 15, 'nodes': 31502, 'complete': 31502, 'no_arb': 0, 'max_families': 48, 'threeset_complete': 4091, 'crosschecked': 31502, 'seconds': 3.9}
