100644 blob 534ca26eee48843f1afa5a4a58042d3f36eda2bf	.gitignore
100644 blob 8f57f88ecadd632746d47365b62ac2896149f8fc	Makefile
100755 blob ac6e5a6e1d3ad331dc3bf4e39fece4e3062e3e15	phc.sh
100644 blob cfa9562f3cd8390ea977552f979276927a574558	testptp.c
100644 blob 4ef2d975542143bc53f014bab30e2074cc2b5c0e	testptp.mk