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