matrix := [ [0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31, 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), Z(32)^31,0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),Z(32)^31,0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),Z(32)^31], [Z(32)^11,Z(32)^31,Z(32)^9,Z(32)^25,Z(32)^16,Z(32)^20,Z(32)^17,Z(32)^3,Z(32)^29, Z(32)^24,Z(32)^2,Z(32)^6,Z(32)^20,Z(32)^25,Z(32)^17,Z(32)^4,Z(32)^2,Z(32)^27, Z(32)^29,Z(32)^11,Z(32)^2,Z(32)^7,Z(32)^16,Z(32)^26], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [Z(32)^31,0*Z(32),Z(32)^15,Z(32)^8,Z(32)^4,Z(32)^2,Z(32)^8,Z(32)^11,Z(32)^22, Z(32)^14,Z(32)^29,0*Z(32),Z(32)^29,Z(32)^24,Z(32)^6,Z(32)^9,Z(32)^28,Z(32)^16, Z(32)^1,Z(32)^31,Z(32)^13,Z(32)^11,0*Z(32),Z(32)^11], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),Z(32)^31,0*Z(32), 0*Z(32),0*Z(32),0*Z(32),0*Z(32)] ];