/.DS_Store
/4_exp.txt
/4_input.txt
/NULL
/ProvProg.sh
/prog
/prov.txt