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