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)^21,Z(32)^31,Z(32)^20,Z(32)^28,Z(32)^8,Z(32)^10,Z(32)^24,Z(32)^17,Z(32)^30, Z(32)^12,Z(32)^1,Z(32)^3,Z(32)^10,Z(32)^28,Z(32)^24,Z(32)^2,Z(32)^1,Z(32)^29, Z(32)^30,Z(32)^21,Z(32)^1,Z(32)^19,Z(32)^8,Z(32)^13], [0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),0*Z(32),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)^23,Z(32)^4,Z(32)^2,Z(32)^1,Z(32)^4,Z(32)^21,Z(32)^11, Z(32)^7,Z(32)^30,0*Z(32),Z(32)^30,Z(32)^12,Z(32)^3,Z(32)^20,Z(32)^14,Z(32)^8, Z(32)^16,Z(32)^31,Z(32)^22,Z(32)^21,0*Z(32),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),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)] ];