Warning: the following LRP representation does not follow the <a href="https://github.com/jgdumas/plinopt">plinopt</a> encoding convention
LRP:=[Matrix(32, 8, [[0,0,1/2,-1/2,0,0,-1/2,1/2],[1/2,1/2,-1/2,-1/2,0,0,0,0],[0,0,0,0,-1/2,1/2,1/2,-1/2],[1/2,1/2,1/2,-1/2,0,0,-1,0],[0,0,0,0,1/2,0,1/2,0],[0,0,1/2,-1/2,-1/2,1/2,0,0],[1/2,-1/2,-1/2,1/2,0,0,0,0],[0,0,0,-1/2,0,1/2,0,0],[-1/2,-1/2,0,0,0,0,-1/2,-1/2],[-1/2,0,-1/2,0,0,0,0,0],[0,0,0,1/2,0,1/2,0,0],[-1/2,1/2,0,0,1/2,-1/2,0,0],[0,0,-1/2,1/2,-1/2,1/2,0,0],[0,0,1/2,-1/2,0,-1/2,-1/2,0],[1/2,0,0,0,1/2,0,0,0],[0,0,1/2,0,0,0,1/2,0],[1/2,0,0,1/2,1/2,-1/2,0,0],[-1,0,0,0,-1/2,1/2,-1/2,-1/2],[-1/2,0,0,-1/2,1/2,-1/2,0,0],[0,0,-1/2,1/2,0,0,-1/2,1/2],[-1/2,0,0,0,0,0,-1/2,0],[0,0,0,0,-1/2,-1/2,1/2,1/2],[1/2,0,0,0,-1/2,0,0,0],[0,0,1/2,-1/2,0,1/2,1/2,0],[-1/2,-1/2,-1/2,1/2,0,0,-1,0],[1/2,-1/2,0,0,1/2,-1/2,0,0],[-1,0,0,0,1/2,-1/2,1/2,1/2],[0,1/2,0,1/2,0,0,0,0],[1/2,1/2,0,0,0,0,-1/2,-1/2],[0,0,0,0,0,-1/2,0,-1/2],[1/2,0,0,0,0,0,-1/2,0],[0,0,1/2,0,0,0,-1/2,0]]), Matrix(32, 20, [[1/2,1/2,0,0,1/2,1/2,0,-1,1/2,-1/2,0,1,-1/2,1/2,0,0,0,0,-1,-1],[0,-2,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,2,0,0,0,0],[0,1,-1/2,-1/2,1,0,1/2,-1/2,0,0,-1/2,1/2,0,0,1/2,1/2,1,-1,0,0],[0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1/2,-1/2,1/2,1/2,1/2,1/2,-1/2,-1/2,-1/2,-1/2,1/2,1/2,1/2,1/2,-1/2,-1/2,-1,-1,1,1],[0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,-1,1,-1,1,0,0,0,0,0,0,0,0],[1,1,1,1,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,2,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,1,-1,-1,1,0,0,0,0,0,0,0,0],[0,0,1/2,1/2,0,0,1/2,-1/2,1,0,-1/2,1/2,-1,0,1/2,1/2,-1,-1,0,0],[1/2,1/2,1/2,1/2,-1/2,-1/2,-1/2,-1/2,1/2,1/2,1/2,1/2,-1/2,-1/2,-1/2,-1/2,-1,-1,-1,-1],[-1/2,-1/2,0,0,1/2,1/2,1,0,-1/2,1/2,0,-1,1/2,-1/2,0,0,0,0,1,1],[1/2,1/2,1,0,-1/2,-1/2,0,0,-1/2,1/2,0,0,-1/2,1/2,-1,0,0,0,1,-1],[0,1,1/2,1/2,0,-1,1/2,-1/2,0,0,1/2,-1/2,0,0,-1/2,-1/2,-1,1,0,0],[0,0,1/2,1/2,0,0,1/2,-1/2,-1,0,-1/2,1/2,0,1,-1/2,-1/2,-1,-1,0,0],[-1/2,-1/2,-1,0,1/2,1/2,0,0,1/2,-1/2,0,0,-1/2,1/2,0,-1,0,0,-1,1],[0,0,1/2,1/2,0,0,1/2,-1/2,1,0,-1/2,1/2,0,-1,-1/2,-1/2,-1,-1,0,0],[1/2,1/2,0,0,1/2,1/2,0,1,1/2,-1/2,0,-1,-1/2,1/2,0,0,0,0,-1,-1],[-1/2,1/2,1/2,-1/2,1/2,-1/2,-1/2,1/2,-1/2,1/2,1/2,-1/2,1/2,-1/2,-1/2,1/2,-1,1,1,-1],[0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[-1/2,-1/2,1,0,1/2,1/2,0,0,1/2,-1/2,0,0,1/2,-1/2,-1,0,0,0,-1,1],[-1/2,-1/2,0,0,1/2,1/2,-1,0,-1/2,1/2,0,1,1/2,-1/2,0,0,0,0,1,1],[0,-1,-1/2,-1/2,-1,0,1/2,-1/2,0,0,-1/2,1/2,0,0,1/2,1/2,1,-1,0,0],[0,0,-1/2,-1/2,0,0,-1/2,1/2,1,0,1/2,-1/2,-1,0,-1/2,-1/2,1,1,0,0],[1/2,1/2,-1,0,-1/2,-1/2,0,0,-1/2,1/2,0,0,1/2,-1/2,0,-1,0,0,1,-1],[0,0,0,0,0,0,0,0,-2,0,0,0,0,0,0,0,0,0,0,0],[-1,-1,1,1,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,2,0,0,0,0,0,0,0,0],[1/2,-1/2,1/2,-1/2,-1/2,1/2,-1/2,1/2,1/2,-1/2,1/2,-1/2,-1/2,1/2,-1/2,1/2,-1,1,-1,1],[0,-1,1/2,1/2,0,1,1/2,-1/2,0,0,1/2,-1/2,0,0,-1/2,-1/2,-1,1,0,0]]), Matrix(10, 32, [[0,1/2,1/2,1/2,0,0,1/2,0,0,0,0,0,0,0,0,0,0,1/2,0,0,1,-1/2,0,0,1/2,0,-1/2,0,0,0,1,0],[0,1/2,0,1/2,1,0,1/2,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,1/2,0,0,0,0,0,0,1],[0,0,0,0,1,-1,0,-1,0,-1,-1,0,-1,1,0,0,-1,0,-1,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,0,1/2,0,0,0,0,0,0,-1,0,0,0,0,-1,0,0,1/2,0,0,0,-1/2,1,0,0,0,-1/2,0,0,0,0,0],[0,0,0,0,0,-1/2,0,-1/2,0,0,1/2,0,1/2,-1/2,1/2,1/2,-1/2,0,1/2,0,1/2,0,1/2,1/2,0,0,0,0,0,0,-1/2,1/2],[0,1/2,-1/2,-1/2,0,0,-1/2,0,-1,0,0,0,0,0,0,0,0,-1/2,0,0,-1,-1/2,0,0,-1/2,0,1/2,0,-1,0,-1,0],[-1,1/2,0,1/2,0,0,-1/2,0,0,0,0,0,0,-1,0,-1,0,0,0,1,0,0,0,-1,1/2,0,0,0,0,-1,0,1],[0,0,0,0,0,0,0,-1,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,-1,0,0],[0,0,-1/2,0,0,0,0,0,0,0,0,-1,0,0,-1,0,1,1/2,1,0,0,-1/2,1,0,0,1,-1/2,-1,0,0,0,0],[-1/2,0,0,1/2,0,0,0,-1/2,-1/2,0,1/2,-1/2,0,-1/2,1/2,1/2,-1/2,-1/2,1/2,-1/2,-1/2,0,1/2,1/2,-1/2,-1/2,-1/2,0,1/2,0,1/2,1/2]])]: