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