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),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)], [Z(8)^7,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),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),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),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),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), 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),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)^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),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),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),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),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),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)], [Z(8)^4,Z(8)^7,Z(8)^4,0*Z(8),0*Z(8),Z(8)^2,Z(8)^6,Z(8)^3,0*Z(8),Z(8)^2,Z(8)^2, 0*Z(8),Z(8)^3,Z(8)^3,Z(8)^5,Z(8)^7,Z(8)^2,Z(8)^2,Z(8)^1,Z(8)^6], [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)], [Z(8)^2,Z(8)^3,Z(8)^2,Z(8)^6,0*Z(8),Z(8)^7,Z(8)^5,Z(8)^5,Z(8)^3,0*Z(8),Z(8)^4, Z(8)^1,Z(8)^4,Z(8)^5,Z(8)^3,Z(8)^5,Z(8)^3,Z(8)^5,Z(8)^7,Z(8)^6], [Z(8)^7,Z(8)^3,Z(8)^2,Z(8)^2,Z(8)^7,0*Z(8),Z(8)^4,Z(8)^4,Z(8)^3,0*Z(8),Z(8)^5, Z(8)^1,Z(8)^4,Z(8)^4,Z(8)^1,Z(8)^5,Z(8)^3,Z(8)^5,0*Z(8),Z(8)^2] ];