K=6 M=28: stopped_by_time_limit=True time=1500.0s
number of sets (no dissociated K-subset) by size: {0: 1, 1: 1, 2: 1, 3: 1, 4: 2, 5: 27, 6: 321, 7: 2485, 8: 13670, 9: 56729, 10: 184006, 11: 475883, 12: 990073, 13: 1657756, 14: 2220672, 15: 2355643, 16: 1953707, 17: 1248937, 18: 605290, 19: 217666, 20: 56307, 21: 9986, 22: 1118, 23: 66, 24: 1}
max size 24; 1 sets of max size; first few: [(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 24, 25, 27)]
