Delete aggfirstcoloring.mexa64