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