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