Current corpus of HC counterexamples