n=4 k=3: by filtering the full enumeration: 827 instances; by tight_exh.py: 827; identical sets: True
