/src/regtests/jedutil/eqns/pal12l6/
../
pal12l6.eqn