/regtests/jedutil/jeds/pal22v10/
../
pal22v10-combinatorial.jed
pal22v10-registered.jed