K=4 M=80: sets without a dissociated 4-subset: size 5: 134158, size 6: 38006, size 7: 0
