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