/src/regtests/jedutil/eqns/pal12h6/