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