matrix := [ [Z(25)^12,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24, 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [Z(25)^10,Z(25)^24,Z(25)^12,Z(25)^1,Z(25)^13,Z(25)^22,Z(25)^10,Z(25)^10,Z(25)^24, Z(25)^22,Z(25)^24,Z(25)^3,Z(25)^12,Z(25)^3,Z(25)^12,Z(25)^12,0*Z(25),Z(25)^15, Z(25)^24,0*Z(25),Z(25)^15,Z(25)^24,Z(25)^24,0*Z(25),0*Z(25),Z(25)^12,0*Z(25), 0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24, 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25)], [0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25), 0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),0*Z(25),Z(25)^24,0*Z(25),0*Z(25)] ];