100644 blob 9fd290d4bf439bd39a918371d00617d0bfb75d8a	.gitignore
100644 blob 33f4a51d715ec10745e6195f9ad7ee96648ad633	Build
100644 blob b2c2946f44c9f3320188692353a160853cc4f05d	Makefile
100644 blob be55287b950f44ffc42a0c5f56f788b0c3653817	counter_example.c