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)^13,Z(32)^31,Z(32)^5,Z(32)^7,Z(32)^2,Z(32)^18,Z(32)^6,Z(32)^12,Z(32)^23, Z(32)^3,Z(32)^8,Z(32)^24,Z(32)^18,Z(32)^7,Z(32)^6,Z(32)^16,Z(32)^8,Z(32)^15, Z(32)^23,Z(32)^13,Z(32)^8,Z(32)^28,Z(32)^2,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),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)^29,Z(32)^1,Z(32)^16,Z(32)^8,Z(32)^1,Z(32)^13,Z(32)^26, Z(32)^25,Z(32)^23,0*Z(32),Z(32)^23,Z(32)^3,Z(32)^24,Z(32)^5,Z(32)^19,Z(32)^2, Z(32)^4,Z(32)^31,Z(32)^21,Z(32)^13,0*Z(32),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),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)] ];