/math/reduce-psl/files/
../
redpsl.1
runpsl.sh