/regtests/jedutil/eqns/AMAZE/