removed identity matrix (which is now generated automatically from the symbol matrix by the converter script)