100644 blob 23fd0b1e845d0588329b9d3bd9420359fb224425	Makefile
040000 tree e0360e0c3dc192aecfe2b0c062d7301f81a77130	extraction_checking
100644 blob b7345b37f05854ade4e1936f25c0b1cbea566c50	run_regression.py
040000 tree 590c6efe522f506151819f3059ce2d7e17463643	testcases