matrix := [
[0,6,0,0,0,0],
[0,0,7,0,0,0],
[6,0,0,0,0,0],
[0,0,0,0,7,0],
[8,9,7,11,3,12],
[1,10,6,10,8,10]
]*Z(13);