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