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),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)], [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),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)], [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),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),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),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),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), 0*Z(16),0*Z(16)], [0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),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),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),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),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),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),0*Z(16),0*Z(16), 0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),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), 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),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),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),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)], [Z(16)^10,0*Z(16),Z(16)^12,Z(16)^8,Z(16)^13,Z(16)^3,Z(16)^6,Z(16)^11,Z(16)^15, Z(16)^10,Z(16)^12,Z(16)^8,Z(16)^15,Z(16)^11,Z(16)^12,Z(16)^4,Z(16)^1,Z(16)^3, Z(16)^10,Z(16)^12,Z(16)^2,Z(16)^1,Z(16)^13,Z(16)^1,Z(16)^7,Z(16)^6,Z(16)^13, Z(16)^5,Z(16)^4,0*Z(16),Z(16)^11,Z(16)^3], [0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),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)], [Z(16)^2,Z(16)^8,Z(16)^15,Z(16)^5,Z(16)^14,Z(16)^14,Z(16)^4,Z(16)^5,Z(16)^10, Z(16)^15,Z(16)^13,Z(16)^4,Z(16)^14,Z(16)^15,Z(16)^1,Z(16)^14,Z(16)^2,Z(16)^7, 0*Z(16),Z(16)^7,Z(16)^5,Z(16)^5,Z(16)^4,Z(16)^4,Z(16)^11,Z(16)^1,Z(16)^5,Z(16)^7, Z(16)^13,Z(16)^12,Z(16)^4,Z(16)^2], [Z(16)^13,Z(16)^10,Z(16)^10,Z(16)^5,Z(16)^15,Z(16)^4,Z(16)^3,Z(16)^12,Z(16)^14, Z(16)^7,Z(16)^8,Z(16)^9,Z(16)^6,Z(16)^8,Z(16)^1,Z(16)^1,Z(16)^7,Z(16)^12,Z(16)^10, Z(16)^12,Z(16)^8,Z(16)^13,0*Z(16),Z(16)^15,Z(16)^10,Z(16)^6,Z(16)^6,Z(16)^5, 0*Z(16),Z(16)^10,Z(16)^10,Z(16)^9], [0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),0*Z(16),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)^5,Z(16)^3,Z(16)^6,Z(16)^1,Z(16)^6,Z(16)^10,Z(16)^10,Z(16)^10,Z(16)^14, Z(16)^12,0*Z(16),Z(16)^5,Z(16)^11,Z(16)^10,0*Z(16),Z(16)^1,Z(16)^1,Z(16)^14, Z(16)^13,Z(16)^4,Z(16)^2,Z(16)^1,Z(16)^1,Z(16)^1,Z(16)^14,Z(16)^5,Z(16)^9,Z(16)^12, Z(16)^12,Z(16)^1,Z(16)^12], [Z(16)^10,Z(16)^10,Z(16)^4,Z(16)^12,Z(16)^1,Z(16)^13,Z(16)^8,Z(16)^8,Z(16)^12, 0*Z(16),Z(16)^2,Z(16)^1,Z(16)^3,Z(16)^8,Z(16)^9,0*Z(16),Z(16)^13,Z(16)^14,Z(16)^14, Z(16)^6,Z(16)^10,Z(16)^11,Z(16)^13,Z(16)^13,Z(16)^9,Z(16)^6,Z(16)^15,Z(16)^3, Z(16)^14,Z(16)^14,Z(16)^13,Z(16)^2] ];