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