counter_examples.v 10.6 KB