matrix := [ [Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7, 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,Z(8)^7, Z(8)^7,0*Z(8),0*Z(8),0*Z(8),Z(8)^2,Z(8)^3,Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^2,Z(8)^3,Z(8)^3,0*Z(8),0*Z(8), 0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,0*Z(8),0*Z(8),Z(8)^7,0*Z(8), 0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^6,0*Z(8),0*Z(8),Z(8)^7, 0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8), 0*Z(8),0*Z(8)], [Z(8)^2,Z(8)^3,Z(8)^3,0*Z(8),0*Z(8),0*Z(8),Z(8)^5,Z(8)^6,Z(8)^6,Z(8)^6,Z(8)^7, Z(8)^7,0*Z(8),0*Z(8),0*Z(8),Z(8)^2,Z(8)^3,Z(8)^3,Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8), 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8),0*Z(8), 0*Z(8),Z(8)^7,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^7, 0*Z(8),0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),Z(8)^3,0*Z(8),0*Z(8),0*Z(8), 0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),Z(8)^7,0*Z(8),0*Z(8),0*Z(8),0*Z(8),0*Z(8), Z(8)^7,0*Z(8)], [0*Z(8),0*Z(8),0*Z(8),Z(8)^2,Z(8)^3,Z(8)^3,Z(8)^2,Z(8)^3,Z(8)^3,0*Z(8),0*Z(8), 0*Z(8),Z(8)^6,Z(8)^7,Z(8)^7,Z(8)^6,Z(8)^7,Z(8)^7,0*Z(8),0*Z(8),0*Z(8),Z(8)^6, Z(8)^7,Z(8)^7] ];