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