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