quatver := [Matrix([[1,-1/2,-1/2,1/2],[-1/2,1,1/2,-1/2],[-1/2,1/2,1,0],[1/2,-1/2,0,7]]) ,Matrix([[1,0,-1/2,1/2],[0,1,-1/2,1/2],[-1/2,-1/2,3,1/2],[1/2,1/2,1/2,3]]) ,Matrix([[1,0,0,-1/2],[0,1,0,1/2],[0,0,3,0],[-1/2,1/2,0,4]]) ,Matrix([[1,0,-1/2,1/2],[0,1,-1/2,1/2],[-1/2,-1/2,3,-1/2],[1/2,1/2,-1/2,5]]) ,Matrix([[1,0,0,-1/2],[0,1,0,1/2],[0,0,2,-1],[-1/2,1/2,-1,7]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,2,-1],[0,0,-1,7]]) ,Matrix([[1,0,0,-1/2],[0,1,0,1/2],[0,0,2,0],[-1/2,1/2,0,7]]) ,Matrix([[1,0,-1/2,1/2],[0,1,-1/2,1/2],[-1/2,-1/2,3,-3/2],[1/2,1/2,-3/2,7]]) ,Matrix([[1,0,-1/2,0],[0,1,-1/2,0],[-1/2,-1/2,3,1/2],[0,0,1/2,7]]) ,Matrix([[1,0,-1/2,1/2],[0,1,-1/2,1/2],[-1/2,-1/2,5,-3/2],[1/2,1/2,-3/2,5]]) ,Matrix([[1,0,0,-1/2],[0,2,0,1],[0,0,3,3/2],[-1/2,1,3/2,5]]) ,Matrix([[1,0,-1/2,0],[0,1,-1/2,0],[-1/2,-1/2,4,-1],[0,0,-1,7]]) ,Matrix([[1,0,-1/2,0],[0,1,-1/2,0],[-1/2,-1/2,4,0],[0,0,0,7]]) ,Matrix([[1,0,0,-1/2],[0,2,0,1],[0,0,3,-1/2],[-1/2,1,-1/2,5]]) ,Matrix([[1,0,-1/2,1/2],[0,1,-1/2,1/2],[-1/2,-1/2,5,-5/2],[1/2,1/2,-5/2,7]]) ,Matrix([[1,0,-1/2,0],[0,1,-1/2,0],[-1/2,-1/2,5,3/2],[0,0,3/2,7]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-2],[-1/2,-1,-2,5]]) ,Matrix([[1,0,-1/2,0],[0,1,-1/2,0],[-1/2,-1/2,5,1/2],[0,0,1/2,7]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-7/2],[-1/2,-1/2,-7/2,7]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[-1/2,-1/2,5/2,7]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-3/2],[0,0,-3/2,5]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-5/2],[-1/2,-1/2,-5/2,7]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-1/2],[0,0,-1/2,5]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-3],[0,0,-3,8]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3/2],[-1/2,-1/2,-3/2,7]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-7/2],[0,0,-7/2,8]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1/2],[-1/2,-1/2,-1/2,7]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,9]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,7]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-7/2],[-1/2,0,-7/2,9]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,8]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,9]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,8]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1/2],[-1/2,0,-1/2,9]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-1/2],[0,-1,-1/2,8]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-7/2],[0,0,-7/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-5/2],[-1/2,-1/2,-5/2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1/2],[-1/2,-1/2,1/2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-1],[-1/2,-1,-1,9]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,0],[-1/2,-1,0,9]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1],[0,0,-1,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3/2],[-1/2,-1/2,-3/2,11]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,0],[-1/2,0,0,9]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3/2],[0,0,-3/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,13]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1],[0,0,-1,11]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,11]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,11]]) ,Matrix([[1,0,-1/2,1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[1/2,-1/2,1,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[-1/2,-1/2,-1,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[-1/2,-1/2,-1/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-2],[-1/2,-1,-2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,5/2],[-1/2,1/2,5/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,13]]) ,Matrix([[1,0,-1/2,1/2],[0,2,1,-1],[-1/2,1,5,-2],[1/2,-1,-2,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-2],[0,-1,-2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-2],[0,0,-2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,2],[-1/2,1/2,2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-1],[-1/2,-1,-1,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,-3/2],[0,1/2,-3/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,13]]) ,Matrix([[1,0,-1/2,1/2],[0,2,1,-1],[-1/2,1,5,-1],[1/2,-1,-1,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,13]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,-1],[-1/2,0,-1,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,3/2],[-1/2,1/2,3/2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3],[-1/2,0,3,15]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-3],[0,0,-3,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-1],[0,-1,-1,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,3/2],[0,0,3/2,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,-3/2],[0,-1/2,-3/2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,3/2],[-1/2,-1,3/2,12]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-5/2],[0,-1,-5/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,1],[-1/2,1/2,1,11]]) ,Matrix([[1,0,-1/2,1/2],[0,2,1,0],[-1/2,1,5,-1],[1/2,0,-1,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-2],[-1/2,-1/2,-2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,1/2],[-1/2,1/2,1/2,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,2],[-1/2,-1/2,2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,5/2],[-1/2,0,5/2,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,-1/2],[0,1/2,-1/2,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1],[0,0,1,11]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3],[-1/2,-1/2,3,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3/2],[-1/2,-1/2,-3/2,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,0],[0,1/2,0,11]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,1],[-1/2,-1,1,12]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,2],[-1/2,0,2,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1/2],[0,0,1/2,11]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,0],[0,0,0,11]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-2],[0,0,-2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,2],[-1/2,0,2,12]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,2],[0,0,2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[-1/2,-1/2,-1/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3/2],[-1/2,0,3/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,3/2],[-1/2,-1/2,3/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,1/2],[-1/2,-1,1/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[-1/2,-1/2,5/2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3],[-1/2,0,3,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,2],[0,1/2,2,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[-1/2,0,-1/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-1/2],[-1/2,-1,-1/2,12]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-3/2],[0,-1,-3/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,15]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,15]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1],[0,0,-1,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,3/2],[-1/2,0,3/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[-1/2,-1/2,2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,1],[-1/2,-1/2,1,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,5/2],[-1/2,0,5/2,16]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,15]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-3/2],[0,0,-3/2,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,15]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-5/2],[0,0,-5/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,3/2],[0,1/2,3/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,-2],[-1/2,-1,-2,13]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,3/2],[0,-1,3/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3],[-1/2,-1/2,-3,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,-1/2],[-1/2,-1/2,-1/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[-1/2,-1/2,3/2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,-1/2],[-1/2,0,-1/2,12]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,0],[-1/2,-1/2,0,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,-3/2],[-1/2,1/2,-3/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,2],[-1/2,0,2,16]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,0],[-1/2,0,0,12]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-7/2],[0,0,-7/2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[-1/2,-1/2,-1,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,1],[0,1/2,1,12]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1],[0,0,1,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[-1/2,-1/2,-1/2,16]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1/2],[-1/2,1,5,1/2],[0,1/2,1/2,12]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-1],[-1/2,0,-1,16]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,15]]) ,Matrix([[1,0,-1/2,1/2],[0,2,1,-1],[-1/2,1,5,-2],[1/2,-1,-2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-5/2],[-1/2,-1/2,-5/2,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,15]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3],[0,-1/2,-3,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-5/2],[-1/2,0,-5/2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-1/2],[0,0,-1/2,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,15]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3],[0,0,3,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-3/2],[0,0,-3/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,1],[0,-1,1,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[-1/2,0,-1/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,0],[0,0,0,12]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,15]]) ,Matrix([[1,0,-1/2,1/2],[0,2,1,0],[-1/2,1,5,-2],[1/2,0,-2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,2],[0,0,2,13]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,2],[-1/2,1/2,2,13]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,15]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,16]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,3/2],[0,-1/2,3/2,13]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[0,0,-1/2,16]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-5/2],[0,-1/2,-5/2,17]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,15]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,16]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,5/2],[0,0,5/2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,1/2],[0,-1,1/2,13]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,16]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,15]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3],[-1/2,-1/2,-3,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,3],[0,-1/2,3,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3/2],[-1/2,-1/2,-3/2,17]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,15]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,3/2],[-1/2,1/2,3/2,13]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,0],[0,-1,0,13]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-2],[0,-1/2,-2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,3/2],[0,0,3/2,13]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-1/2],[0,-1,-1/2,13]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-2],[0,-1/2,-2,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[-1/2,-1/2,-1,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,1],[0,-1/2,1,13]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,2],[0,0,2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,3/2],[-1/2,-1,3/2,14]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,-5/2],[0,-1,-5/2,14]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,1/2],[-1/2,1,5,1],[-1/2,1/2,1,13]]) ,Matrix([[1,0,-1/2,1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[1/2,-1/2,-1,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,0],[-1/2,-1/2,0,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-1],[-1/2,0,-1,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[-1/2,-1/2,5/2,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,2],[-1/2,-1/2,2,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[0,-1/2,5/2,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3],[0,0,3,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-2],[0,0,-2,16]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3/2],[0,-1/2,-3/2,16]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3/2],[0,0,3/2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,1/2],[0,-1/2,1/2,13]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[0,-1/2,-1,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1],[0,0,1,13]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,-1/2],[0,-1/2,-1/2,13]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,1],[-1/2,-1,1,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1],[0,0,1,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[-1/2,-1/2,2,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,16]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1/2],[-1/2,0,-1/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,-1/2],[0,0,-1/2,13]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,1],[0,-1,1,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[0,0,-1/2,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,16]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[0,-1/2,2,18]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,0],[0,0,0,13]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,2],[-1/2,0,2,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,5/2],[0,0,5/2,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,17]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,2],[0,0,2,14]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,16]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,3/2],[-1/2,-1/2,3/2,14]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,1/2],[-1/2,-1,1/2,14]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[-1/2,-1/2,3/2,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,16]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,3/2],[0,-1/2,3/2,14]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-7/2],[-1/2,0,-7/2,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[0,-1/2,3/2,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1],[-1/2,1,5,0],[-1/2,-1,0,14]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,1/2],[0,-1,1/2,14]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[-1/2,-1/2,1,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,2],[0,0,2,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,17]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1/2],[-1/2,-1/2,1/2,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,3/2],[-1/2,0,3/2,14]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[0,-1/2,1,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,1],[-1/2,-1/2,1,14]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-5/2],[-1/2,-1/2,-5/2,19]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1],[-1/2,1,5,0],[0,-1,0,14]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3],[-1/2,0,3,19]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,3/2],[0,0,3/2,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-3],[0,0,-3,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3/2],[0,0,3/2,18]]) ,Matrix([[1,0,-1/2,0],[0,2,1,1],[-1/2,1,5,1/2],[0,1,1/2,14]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,1],[0,-1/2,1,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-1],[0,-1/2,-1,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,17]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,17]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3],[0,-1/2,-3,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[0,-1/2,-1/2,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,1/2],[-1/2,-1/2,1/2,14]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,1],[-1/2,0,1,14]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,-1/2],[-1/2,1,5,0],[-1/2,-1/2,0,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1],[0,0,-1,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-2],[-1/2,-1/2,-2,19]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,2,1,0],[-1/2,1,5,0],[-1/2,0,0,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[0,0,-1/2,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,5/2],[-1/2,0,5/2,19]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,1/2],[0,-1/2,1/2,14]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1],[0,0,1,14]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,17]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-7/2],[-1/2,-1/2,-7/2,19]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3],[-1/2,-1/2,3,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,20]]) ,Matrix([[1,0,-1/2,0],[0,2,1,-1/2],[-1/2,1,5,0],[0,-1/2,0,14]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,17]]) ,Matrix([[1,0,-1/2,1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-2],[1/2,-1/2,-2,19]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-5/2],[0,-1/2,-5/2,18]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,1/2],[0,0,1/2,14]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,17]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,2],[-1/2,0,2,19]]) ,Matrix([[1,0,-1/2,0],[0,2,1,0],[-1/2,1,5,0],[0,0,0,14]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,19]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,17]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-2],[0,0,-2,19]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3/2],[-1/2,0,3/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[-1/2,-1/2,5/2,20]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,19]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3],[-1/2,0,3,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3],[0,0,3,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,1],[-1/2,0,1,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-3/2],[-1/2,0,-3/2,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[-1/2,-1/2,2,20]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1],[-1/2,0,-1,18]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-5/2],[-1/2,-1/2,-5/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,5/2],[-1/2,0,5/2,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,5/2],[0,0,5/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-1/2],[0,-1/2,-1/2,18]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3],[-1/2,-1/2,-3,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,18]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,3],[0,-1/2,3,21]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[-1/2,-1/2,3/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,2],[-1/2,0,2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,18]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[-1/2,-1/2,1,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,18]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,2],[0,0,2,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[-1/2,-1/2,-1/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3/2],[-1/2,0,3/2,20]]) ,Matrix([[1,0,-1/2,1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,-3],[1/2,-1/2,-3,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3/2],[-1/2,-1/2,-3/2,19]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,19]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[0,-1/2,5/2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3],[0,0,3,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3/2],[0,0,3/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-7/2],[0,0,-7/2,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[-1/2,0,-1/2,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1],[0,0,1,20]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,19]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,19]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,20]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,19]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1/2],[0,0,1/2,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[0,-1/2,2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,5/2],[0,0,5/2,21]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3],[-1/2,-1/2,3,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,19]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,7/2],[-1/2,0,7/2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,20]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,19]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[0,-1/2,3/2,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-5/2],[-1/2,0,-5/2,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,2],[0,0,2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,19]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-7/2],[-1/2,0,-7/2,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,19]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[0,-1/2,1,21]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,5/2],[-1/2,-1/2,5/2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3],[-1/2,0,3,22]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3],[0,0,3,22]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3/2],[0,0,3/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-2],[-1/2,0,-2,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,1/2],[0,-1/2,1/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-7/2],[0,0,-7/2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,-1/2],[-1/2,1/2,7,-1/2],[0,-1/2,-1/2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1],[0,0,1,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,2],[-1/2,-1/2,2,22]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,20]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-3],[-1/2,0,-3,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,-1/2],[0,0,-1/2,21]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,5/2],[-1/2,0,5/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,20]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,5/2],[0,0,5/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,21]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,3/2],[-1/2,-1/2,3/2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,21]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,20]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,2],[-1/2,0,2,22]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1],[-1/2,-1/2,1,22]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,2],[0,0,2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1],[0,0,-1,20]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-5/2],[-1/2,0,-5/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,21]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,1/2],[-1/2,-1/2,1/2,22]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,-1/2],[-1/2,1/2,7,0],[-1/2,-1/2,0,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,20]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,3/2],[-1/2,0,3/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,20]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,3/2],[0,0,3/2,22]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,1],[-1/2,0,1,22]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-2],[0,-1/2,-2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,21]]) ,Matrix([[1,0,-1/2,-1/2],[0,1,1/2,0],[-1/2,1/2,7,0],[-1/2,0,0,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,22]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1],[0,0,1,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,21]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,1/2],[0,0,1/2,22]]) ,Matrix([[1,0,-1/2,0],[0,1,1/2,0],[-1/2,1/2,7,0],[0,0,0,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-3/2],[-1/2,0,-3/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,21]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-1],[0,-1/2,-1,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3/2],[0,0,-3/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,21]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1],[0,0,-1,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,21]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,22]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,22]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,22]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-2],[0,0,-2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,24]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3/2],[0,0,-3/2,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,24]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,23]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,24]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,23]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,23]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-2],[0,0,-2,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3],[0,-1/2,-3,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,24]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-5/2],[-1/2,-1/2,-5/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,25]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,24]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,24]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,24]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3/2],[-1/2,-1/2,-3/2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1/2],[-1/2,-1/2,-1/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,25]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,25]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,25]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,27]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,26]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-3],[-1/2,0,-3,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,27]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,27]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-5/2],[-1/2,0,-5/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,27]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,26]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,26]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,27]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,27]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3/2],[0,-1/2,-3/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1],[-1/2,0,-1,27]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1/2],[-1/2,0,-1/2,27]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,27]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,27]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,29]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-2],[0,0,-2,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,29]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1],[0,0,-1,28]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,29]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,28]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,29]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3],[0,-1/2,-3,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,29]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3/2],[0,0,-3/2,29]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-5/2],[-1/2,0,-5/2,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1],[0,0,-1,29]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-1/2],[0,0,-1/2,29]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-2],[-1/2,0,-2,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-1],[-1/2,-1/2,-1,30]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,-3/2],[0,-1/2,-3/2,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,30]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,-1],[-1/2,0,-1,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,31]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,30]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,30]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,32]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,31]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,31]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-3],[0,0,-3,32]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-2],[-1/2,-1/2,-2,32]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,31]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,31]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-5/2],[0,0,-5/2,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,-2],[0,0,-2,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,32]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,32]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,33]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,7/2],[0,-1/2,7/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,-3],[-1/2,-1/2,-3,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,33]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3],[0,-1/2,3,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,7/2],[-1/2,-1/2,7/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,33]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,5/2],[0,-1/2,5/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,33]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,33]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,7/2],[-1/2,0,7/2,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,2],[0,-1/2,2,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3],[-1/2,-1/2,3,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,7/2],[0,0,7/2,35]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,3/2],[0,-1/2,3/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3],[-1/2,0,3,35]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1],[0,-1/2,1,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,5/2],[-1/2,-1/2,5/2,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,1/2],[0,-1/2,1/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3],[0,0,3,35]]) ,Matrix([[1,0,0,0],[0,1,0,-1/2],[0,0,7,0],[0,-1/2,0,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,34]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,5/2],[-1/2,0,5/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,2],[-1/2,-1/2,2,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,34]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,5/2],[0,0,5/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,3/2],[-1/2,-1/2,3/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,2],[-1/2,0,2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1],[-1/2,-1/2,1,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,2],[0,0,2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,3/2],[-1/2,0,3/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,1/2],[-1/2,-1/2,1/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,-1/2],[0,0,7,0],[-1/2,-1/2,0,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1],[-1/2,0,1,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,3/2],[0,0,3/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,1/2],[-1/2,0,1/2,35]]) ,Matrix([[1,0,0,-1/2],[0,1,0,0],[0,0,7,0],[-1/2,0,0,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1],[0,0,1,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,1/2],[0,0,1/2,35]]) ,Matrix([[1,0,0,0],[0,1,0,0],[0,0,7,0],[0,0,0,35]]) ];