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