matrix := [
[0*Z(32),Z(32)^31],
[Z(32)^31,Z(32)^31]
];