RESULT tight_exh n=8 k=3 part=13/24 {'root_tuples': 36, 'nodes': 40982550, 'complete': 40023242, 'no_arb': 0, 'max_families': 1984, 'threeset_complete': 15011636, 'crosschecked': 2001, 'seconds': 822.4}
