test:	edu25r.bin
	binsvcmp $< edu25.sv

edu25r.bin: edu25r.pal
	pal -d $<