/src/regtests/jedutil/eqns/pal12h6/
../
pal12h6.eqn