100644 blob b3c1479773a7f18fd6e6eb53b1d2747f6b23546f	Makefile
040000 tree bf5460b8ff5db78484a648b5feed0bb1f3b7a100	extraction_checking
100644 blob 71a5540f2a99f0ef4b31e0cd9cd80c5cb7f9cfb2	run_regression.py
040000 tree a6fcd01decf53bbf16534d450d781b2e166b860c	testcases