matrix := [ [0,7], [6,6] ]*Z(13);