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)^22,Z(32)^31,Z(32)^18,Z(32)^19,Z(32)^1,Z(32)^9,Z(32)^3,Z(32)^6,Z(32)^27, Z(32)^17,Z(32)^4,Z(32)^12,Z(32)^9,Z(32)^19,Z(32)^3,Z(32)^8,Z(32)^4,Z(32)^23, Z(32)^27,Z(32)^22,Z(32)^4,Z(32)^14,Z(32)^1,Z(32)^21], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),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)^30,Z(32)^16,Z(32)^8,Z(32)^4,Z(32)^16,Z(32)^22,Z(32)^13, Z(32)^28,Z(32)^27,0*Z(32),Z(32)^27,Z(32)^17,Z(32)^12,Z(32)^18,Z(32)^25,Z(32)^1, Z(32)^2,Z(32)^31,Z(32)^26,Z(32)^22,0*Z(32),Z(32)^22], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),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)] ];