matrix := [
[Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[Z(16)^15,Z(16)^15,Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),Z(16)^15,0*Z(16),0*Z(16)],
[0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),Z(16)^15,
 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),
 0*Z(16),0*Z(16),0*Z(16),0*Z(16)],
[Z(16)^1,Z(16)^15,Z(16)^1,Z(16)^13,Z(16)^12,Z(16)^5,Z(16)^8,Z(16)^2,0*Z(16),Z(16)^3,
 Z(16)^11,0*Z(16),Z(16)^6,Z(16)^4,Z(16)^8,Z(16)^15,Z(16)^4,Z(16)^11,Z(16)^4,Z(16)^8,
 Z(16)^11,Z(16)^1,Z(16)^14,Z(16)^14],
[Z(16)^15,Z(16)^10,Z(16)^3,Z(16)^12,Z(16)^5,Z(16)^14,Z(16)^15,Z(16)^8,Z(16)^3,
 Z(16)^12,Z(16)^6,Z(16)^12,Z(16)^15,Z(16)^12,Z(16)^12,Z(16)^11,Z(16)^10,Z(16)^14,
 Z(16)^15,Z(16)^3,Z(16)^14,Z(16)^3,Z(16)^11,Z(16)^4],
[Z(16)^12,Z(16)^8,Z(16)^15,Z(16)^7,Z(16)^3,Z(16)^2,Z(16)^10,Z(16)^15,Z(16)^4,
 Z(16)^6,Z(16)^13,Z(16)^14,Z(16)^4,Z(16)^4,Z(16)^12,Z(16)^2,Z(16)^13,Z(16)^6,
 Z(16)^13,Z(16)^12,Z(16)^15,Z(16)^7,Z(16)^4,0*Z(16)],
[Z(16)^9,Z(16)^1,Z(16)^4,Z(16)^4,Z(16)^15,Z(16)^11,Z(16)^13,Z(16)^12,Z(16)^9,
 Z(16)^12,Z(16)^5,Z(16)^15,Z(16)^13,Z(16)^1,Z(16)^13,0*Z(16),Z(16)^1,Z(16)^13,
 Z(16)^3,Z(16)^9,Z(16)^4,Z(16)^3,Z(16)^6,Z(16)^9],
[Z(16)^4,Z(16)^13,Z(16)^1,Z(16)^1,Z(16)^11,Z(16)^15,Z(16)^6,Z(16)^4,Z(16)^7,Z(16)^13,
 Z(16)^3,Z(16)^7,Z(16)^15,Z(16)^5,Z(16)^4,Z(16)^15,Z(16)^5,0*Z(16),Z(16)^13,0*Z(16),
 Z(16)^4,Z(16)^1,Z(16)^4,Z(16)^15],
[Z(16)^15,Z(16)^1,Z(16)^2,Z(16)^4,Z(16)^12,Z(16)^3,Z(16)^6,Z(16)^5,Z(16)^9,Z(16)^9,
 Z(16)^12,Z(16)^13,Z(16)^8,Z(16)^3,Z(16)^14,Z(16)^3,0*Z(16),Z(16)^8,Z(16)^9,Z(16)^6,
 Z(16)^10,Z(16)^1,Z(16)^15,Z(16)^15]
];