Warning: the following LRP representation does not follow the <a href="https://github.com/jgdumas/plinopt">plinopt</a> encoding convention
LRP:=[Matrix(25, 6, [[0,1,0,0,0,0],[0,0,1,0,0,0],[0,0,0,0,0,1],[1,0,1,0,0,0],[1,-1,0,0,0,0],[0,1,1,0,0,0],[0,1,0,1,0,0],[0,0,1,-1,0,0],[0,0,0,1,0,1],[0,0,1,0,1,0],[0,0,0,0,1,-1],[0,0,1,0,0,1],[a11,0,-a21,0,a31,0],[-a12,0,a22,0,-a32,0],[0,-a12,0,a22,0,-a32],[a11,0,-a21,0,a31+1,0],[-a12+1,0,a22,0,-a32,0],[0,1,0,-a21/a11,0,1/a11*(a31+1)],[a11,0,-a21,0,a31,1],[-a12+1,-1,a22,0,-a32,0],[a11,-a11,-a21,a21,a31,-a31],[0,a11-a12,0,-a21+a22,0,a31-a32],[a11,-a11+a12,-a21,a21-a22,a31,-a31+a32],[a11-a12,-a11+a12,-a21+a22,a21-a22,a31-a32,-a31+a32],[(-a12+1)/a32,(a12-1)/a32,a22/a32,-a22/a32,-1,1]]), Matrix(25, 15, [[1,-1,-(a12+a22)/a32,0,0,0,0,0,0,0,0,0,-1,-(a11*a32-a12*a31)/(a21*a32-a22*a31),-(a11*a22-a12*a21)/(a21*a32-a22*a31)],[0,0,0,-1,1,-1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,-(a21+a31+1)/a11,-1,1,0,0,0,0,0,0],[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],[1,0,-(a12-1)/a32,-1,0,0,0,0,0,0,0,0,0,0,0],[0,1,a22/a32,-1,0,0,0,0,0,0,0,0,0,0,0],[0,1,a22/a32,0,0,0,0,0,0,0,0,0,0,0,0],[0,1,a22/a32,0,-1,0,a21/a11,1,0,0,0,0,0,0,0],[0,0,0,0,0,0,a21/a11,1,0,0,0,0,0,0,0],[0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,-1,-a31/a11,0,1,-(a21*a32-a22*a31)/(a11*a22-a12*a21),-(a11*a32-a12*a31)/(a11*a22-a12*a21),-1,0,0,0],[0,0,0,0,0,-1,a21/a11,1,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,-(a21*a32-a22*a31-a22)/(a11*a22-a12*a21),-(a11*a32-a12*a31-a12)/(a11*a22-a12*a21),-1,0,a32/(a21*a32-a22*a31),a22/(a21*a32-a22*a31)],[0,0,0,0,0,0,0,0,0,-a21/(a11*a22-a12*a21),-1/(a11*a22-a12*a21)*a11,0,-1,-(a11*a32-a12*a31+a31)/(a21*a32-a22*a31),-(a11*a22-a12*a21+a21)/(a21*a32-a22*a31)],[0,0,1/a32,0,0,0,0,0,0,0,0,0,0,-(a31-a32)/(a21*a32-a22*a31),-(a21-a22)/(a21*a32-a22*a31)],[0,0,0,0,0,0,0,0,0,(a21*a32-a22*a31)/(a11*a22-a12*a21),(a11*a32-a12*a31)/(a11*a22-a12*a21),1,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,1,(a11*a32-a12*a31)/(a21*a32-a22*a31),(a11*a22-a12*a21)/(a21*a32-a22*a31)],[0,0,0,0,0,0,1,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,1/a11,0,0,-(a21*a32-a22*a31)/(a11*a22-a12*a21),-(a11*a32-a12*a31)/(a11*a22-a12*a21),-1,0,0,0],[0,0,-1/a32,0,0,0,0,0,0,0,0,0,-1,-(a11*a32-a12*a31)/(a21*a32-a22*a31),-(a11*a22-a12*a21)/(a21*a32-a22*a31)],[0,0,0,0,0,0,1/a11,0,0,(a21-a22)/(a11*a22-a12*a21),(a11-a12)/(a11*a22-a12*a21),0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,-a32/(a21*a32-a22*a31),-a22/(a21*a32-a22*a31)],[0,0,0,0,0,0,0,0,0,-a21/(a11*a22-a12*a21),-1/(a11*a22-a12*a21)*a11,0,0,-a32/(a21*a32-a22*a31),-a22/(a21*a32-a22*a31)],[0,0,0,0,0,0,0,0,0,a21/(a11*a22-a12*a21),1/(a11*a22-a12*a21)*a11,0,0,0,0],[0,0,1,0,0,0,0,0,0,0,0,0,0,0,0]]), Matrix(10, 25, [[1,0,0,1,1,1,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0],[0,1,0,1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,1,0,0,0,0,0,0,1,1,1,0,0,0,1,0,0,1,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,0,1,1,1,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1,1,1,0],[1,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,1,0,0,0,0,1],[0,1,0,0,0,-1,1,1,1,0,0,-1,0,0,0,0,0,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,1,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,-1,0,1,1,1,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,0,0,1,0,1,0,0,1]])]: