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