M := Matrix(7, 7, [[m11,m12,m13,m14,m15,m16,m17],[m21,m22,m23,m24,m25,m26,m27] ,[m31,m32,m33,m34,m35,m36,m37],[m41,m42,m43,m44,m45,m46,m47],[m51,m52,m53,m54, m55,m56,m57],[m61,m62,m63,m64,m65,m66,m67],[m71,m72,m73,m74,m75,m76,m77]]); N := Matrix(7, 7, [[n11,n12,n13,n14,n15,n16,n17],[n21,n22,n23,n24,n25,n26,n27] ,[n31,n32,n33,n34,n35,n36,n37],[n41,n42,n43,n44,n45,n46,n47],[n51,n52,n53,n54, n55,n56,n57],[n61,n62,n63,n64,n65,n66,n67],[n71,n72,n73,n74,n75,n76,n77]]); P := Matrix(7, 7, [[p11,p12,p13,p14,p15,p16,p17],[p21,p22,p23,p24,p25,p26,p27] ,[p31,p32,p33,p34,p35,p36,p37],[p41,p42,p43,p44,p45,p46,p47],[p51,p52,p53,p54, p55,p56,p57],[p61,p62,p63,p64,p65,p66,p67],[p71,p72,p73,p74,p75,p76,p77]]); [ r1=(-n34+n64-n15-n35+n45+n65)*(-m51-m54), r2=(n25+n35-n55-n65+n37-n67)*(m52+m55), r3=(-n25+n55+n26-n56)*(-m62+m43+m63-m65+m46+m66), r4=(n14-n44)*(m41+m71-m43+m44+m74-m46), r5=(-n14+n44+n17+n37-n47-n67)*(m71+m74), r6=(n24+n34-n54-n64-n27+n57)*(m42+m45), r7=(n27-n57)*(m42+m72-m73+m45+m75-m76), r8=(n37-n67)*(m52-m72+m55-m75), r9=(n34-n64)*(m41-m51+m44-m54), r10=(-n15+n45+n16-n46)*(-m61+m63+m73-m64+m66+m76), r11=(n15-n45+n17-n27-n47+n57)*(m71+m62+m72+m74+m65+m75), r12=(n14-n44-n27+n57)*(-m71+m42-m74+m45), r13=(n15-n45-n16+n46+n17-n47)*(m73+m76), r14=(-n14+n24+n44-n54+n25-n55+n16-n26+n36-n46+n56-n66)*(m61+m64), r15=(-n14+n24+n44-n54+n25-n55)*(m41+m61+m42+m44+m64+m45), r16=(n15-n45-n16+n26+n36+n46-n56-n66+n17-n27-n47+n57)*(m62+m65), r17=(n24-n54+n25-n55-n26+n56)*(m43+m46), r18=(n36-n66)*(m53+m63+m56+m66), r19=(n15-n45)*(-m51-m61+m71-m52+m72+m53+m63-m54-m64+m74-m55+m75+m56+m66), r20=(n25-n55)*(m41-m51+m42-m52-m62+m53+m63+m44-m54+m45-m55-m65+m56+m66), r21=(n15-n45+n36-n66)*(m61-m53-m63+m64-m56-m66), r22=(n25-n55+n36-n66)*(-m62+m53+m63-m65+m56+m66), r23=(n14-n24-n44+n54-n25+n55+n26-n56)*(m61+m43+m64+m46), r24=(-n15+n45+n37-n67)*(m71-m52+m72+m74-m55+m75), r25=(n34-n64-n25+n55)*(m41-m51+m42+m44-m54+m45), r26=(-n15+n45+n16-n46-n17+n27+n47-n57)*(m62+m73+m65+m76), r27=(-n21+l*n23-n54-1/l*n74+l*n56)*(m12+1/l*m32+m45+1/l*m65-l*m47), r28=(n11+1/l*n21+1/l*n31-l*n12-n32-l*n13-n23+n44+1/l*n54+1/l*n64+1/l^2*n74-l*n45-n65-l*n46-n56+l^2*n47)*(m11+1/l*m21+1/l*m31-l*m12-m32-l*m13-m23+m44+1/l*m54+1/l*m64+1/l^2*m74-l*m45-m65-l*m46-m56+l^2*m47), r29=(-n11-1/l*n21-1/l*n31+l*n13+n23-n44-1/l*n54-1/l*n64-1/l^2*n74+l*n46+n56)*(m11+1/l*m21+1/l*m31-l*m13-m23+m44+1/l*m54+1/l*m64+1/l^2*m74-l*m46-m56), r30=(-n22-n55-1/l*n75+l*n57)*(m22+m55+1/l*m75-l*m57), r31=(-n12-1/l*n32-n45-1/l*n65+l*n47)*(-m11-1/l*m21-1/l*m31+l*m12+m22+m32+l*m13+m23-m44-1/l*m54-1/l*m64-1/l^2*m74+l*m45+m55+m65+1/l*m75+l*m46+m56-l^2*m47-l*m57), r32=(n11+1/l*n21+1/l*n31-l*n12-n22-n32-l*n13-n23+n44+1/l*n54+1/l*n64+1/l^2*n74-l*n45-n55-n65-1/l*n75-l*n46-n56+l^2*n47+l*n57)*(m21-l*m23+m54+1/l*m74-l*m56), r33=(-n31+l*n32-n64-1/l*n74+l*n65)*(m13+1/l*m23+m46+1/l*m56-l*m47), r34=(-n11-1/l*n31+l*n12+n32+l*n13-n44-1/l*n64+l*n45+n65+l*n46-l^2*n47)*(m11+1/l*m31-l*m12-m32-l*m13+m44+1/l*m64-l*m45-m65-l*m46+l^2*m47), r35=(n31-l*n32+n64-l*n65)*(m13+m46-l*m47), r36=(n31+n64+1/l*n74)*(m13+1/l*m23+m46+1/l*m56), r37=(n75)*(m57), r38=(n32+n65)*(-m13-1/l*m23-m46-1/l*m56+l*m47+m57), r39=(-n31+l*n32-n64-1/l*n74+l*n65+n75)*(m23+m56), r40=(n74)*(m47), r41=(-n11-1/l*n21-1/l*n31+l*n13+n23+n33-n44-1/l*n54-1/l*n64-1/l^2*n74+l*n46+n56+n66+1/l*n76)*(m31+m64+1/l*m74), r42=(-n22-n55-1/l*n75+l*n57+n77)*(m75), r43=(-n12-1/l*n32-n45-1/l*n65+l*n47+n67)*(-m31+l*m32-m64-1/l*m74+l*m65+m75), r44=(-n55-n56-n65-n66+n77+n11-n22-n23-n32-n33+n44+1/l*n21+1/l*n31-l*n12-l*n13+1/l*n54+1/l*n64+1/l^2*n74-l*n45-l*n46+l^2*n47-1/l*n75-1/l*n76+l*n57+l*n67)*(m74), r45=(-n21+l*n23-n54-1/l*n74+l*n56+n76)*(m32+m65), r46=(n11+1/l*n21+1/l*n31-l*n12-n32-l*n13-n23-n33+n44+1/l*n54+1/l*n64+1/l^2*n74-l*n45-n65-l*n46-n56-n66-1/l*n76+l^2*n47+l*n67)*(m31-l*m32+m64+1/l*m74-l*m65), r47=(n23+n56)*(-m12-1/l*m32-m45-1/l*m65+l*m47+m67), r48=(-n13-1/l*n23-n46-1/l*n56+l*n47)*(-m11-1/l*m21-1/l*m31+l*m12+m32+l*m13+m23+m33-m44-1/l*m54-1/l*m64-1/l^2*m74+l*m45+m65+l*m46+m56+m66+1/l*m76-l^2*m47-l*m67), r49=(-n11-1/l*n31+l*n12+n32+l*n13+n33-n44-1/l*n64+l*n45+n65+l*n46+n66-l^2*n47-l*n67)*(m31-l*m32+m64-l*m65), r50=(n13+n46-l*n47)*(-m11-1/l*m31+l*m12+m32+l*m13+m33-m44-1/l*m64+l*m45+m65+l*m46+m66-l^2*m47-l*m67), r51=(n13+1/l*n23+n46+1/l*n56)*(-m11-1/l*m21-1/l*m31+l*m13+m23+m33-m44-1/l*m54-1/l*m64-1/l^2*m74+l*m46+m56+m66+1/l*m76), r52=(n57)*(-m22-m55-1/l*m75+l*m57+m77), r53=(n47)*(1/l*m31+1/l*m64-l*m45-l*m46-1/l*m75-1/l*m76+l*m67-m55-m56-m65-m66+m77+m11-m22-m23-m32-m33+m44+l*m57+1/l*m21-l*m12-l*m13+1/l*m54+1/l^2*m74+l^2*m47), r54=(-n13-1/l*n23-n46-1/l*n56+l*n47+n57)*(-m21+l*m23-m54-1/l*m74+l*m56+m76), r55=(n21+n54+1/l*n74)*(m12+1/l*m32+m45+1/l*m65), r56=(-n11-1/l*n21-1/l*n31+l*n12+n32-n44-1/l*n54-1/l*n64-1/l^2*n74+l*n45+n65)*(m11+1/l*m21+1/l*m31-l*m12-m32+m44+1/l*m54+1/l*m64+1/l^2*m74-l*m45-m65), r57=(n33+n66-l*n67)*(m33+m66-l*m67), r58=(n33+n66+1/l*n76)*(m33+m66+1/l*m76), r59=(n77)*(m77), r60=(n67)*(-m33-m66-1/l*m76+l*m67+m77), r61=(-n33-n66-1/l*n76+l*n67+n77)*(m76), r62=(n76)*(m67), r63=(-n33-n66-1/l*n76+l*n67)*(m33+m66+1/l*m76-l*m67), r64=(-n11-1/l*n21+l*n12+l*n13+n23-n44-1/l*n54+l*n45+l*n46+n56-l^2*n47)*(m11+1/l*m21-l*m12-l*m13-m23+m44+1/l*m54-l*m45-l*m46-m56+l^2*m47), r65=(n11+1/l*n31-l*n12-n32+n44+1/l*n64-l*n45-n65)*(m11+1/l*m31-l*m12-m32+m44+1/l*m64-l*m45-m65), r66=(n11+1/l*n21+1/l*n31+n44+1/l*n54+1/l*n64+1/l^2*n74)*(m11+1/l*m21+1/l*m31+m44+1/l*m54+1/l*m64+1/l^2*m74), r67=(n22+n55+1/l*n75)*(m22+m55+1/l*m75), r68=(n12+1/l*n32+n45+1/l*n65)*(-m11-1/l*m21-1/l*m31+l*m12+m22+m32-m44-1/l*m54-1/l*m64-1/l^2*m74+l*m45+m55+m65+1/l*m75), r69=(-n11-1/l*n21-1/l*n31+l*n12+n22+n32-n44-1/l*n54-1/l*n64-1/l^2*n74+l*n45+n55+n65+1/l*n75)*(m21+m54+1/l*m74), r70=(n12+n45-l*n47)*(-m11-1/l*m21+l*m12+m22+l*m13+m23-m44-1/l*m54+l*m45+m55+l*m46+m56-l^2*m47-l*m57), r71=(-n11-1/l*n21+l*n12+n22+l*n13+n23-n44-1/l*n54+l*n45+n55+l*n46+n56-l^2*n47-l*n57)*(m21-l*m23+m54-l*m56), r72=(n21-l*n23+n54-l*n56)*(m12+m45-l*m47), r73=(n11-l*n12-l*n13+n44-l*n45-l*n46+l^2*n47)*(m11-l*m12-l*m13+m44-l*m45-l*m46+l^2*m47), r74=(n11+1/l*n21-l*n13-n23+n44+1/l*n54-l*n46-n56)*(m11+1/l*m21-l*m13-m23+m44+1/l*m54-l*m46-m56), r75=(n22+n55-l*n57)*(m22+m55-l*m57), r76=(n73+n76)*(m33), r77=(n51+n54)*(m13), r78=(n52+n55)*(m23), r79=(n53+n56)*(m33), r80=(n43+n46)*(m33), r81=(n71+n74)*(m11-m21), r82=(n42+n72-n73+n45+n75-n76)*(m21+m22), r83=(-n62+n43+n63-n65+n46+n66)*(m32), r84=(n41+n71-n43+n44+n74-n46)*(m11+m12), r85=(-n61+n63+n73-n64+n66+n76)*(m31), r86=(n42+n45)*(-m12+m22), r87=(-n71+n42-n74+n45)*(m21+m12), r88=(n52-n72+n55-n75)*(-m11+m21+m13-m23), r89=(n41-n51+n44-n54)*(-m12+m22+m13-m23), r90=(n41+n61+n42+n44+n64+n45)*(m12), r91=(n71+n62+n72+n74+n65+n75)*(m21), r92=(n43+n46)*(m11+m31+m12+m32), r93=(n73+n76)*(m21+m31+m22+m32), r94=(n61+n64)*(m11+m31), r95=(n41-n51+n42-n52-n62+n53+n63+n44-n54+n45-n55-n65+n56+n66)*(-m22+m23), r96=(n62+n65)*(m22+m32), r97=(-n62+n53+n63-n65+n56+n66)*(m22+m32-m23), r98=(n53+n63+n56+n66)*(-m11-m31-m22-m32+m13+m23+m33), r99=(-n51-n61+n71-n52+n72+n53+n63-n54-n64+n74-n55+n75+n56+n66)*(-m11+m13), r100=(n41-n51+n42+n44-n54+n45)*(m12-m22+m23), r101=(n61-n53-n63+n64-n56-n66)*(-m11-m31+m13), r102=(n62+n73+n65+n76)*(m21+m22+m32), r103=(n61+n43+n64+n46)*(m11+m31+m12), r104=(n71-n52+n72+n74-n55+n75)*(-m11+m21+m13), r105=(n55-n46)*(-m22+m52), r106=(-n46+n77)*(m72), r107=(n64+n74-n65)*(-m11+m41), r108=(-n44+n64-n66)*(-m12+m42), r109=(n54-n64+n67)*(-m13+m43), r110=(n75+n67+n77)*(m71), r111=(-n54+n46+n56)*(-m32+m62-m33+m63), r112=(n46-n47+n67)*(m72), r113=(n45-n65+n46)*(-m22+m52), r114=(n75+n46)*(-m31+m61-m22+m52), r115=(n46+n57)*(m72+m33-m63), r116=(n74+n57-n77)*(m71-m73), r117=(-n74-n46+n76)*(-m31+m61-m32+m62), r118=(n46)*(m22-m32-m52+m62+m72), r119=(n75)*(-m21+m31+m51-m61-m71), r120=(n75+n66+n76)*(-m31+m61), r121=(n57)*(-m71-m33+m63+m73), r122=(n56-n66-n57)*(-m33+m63), r123=(n44-n45+n75)*(-m21+m51-m71-m22+m52), r124=(-n44+n47+n57)*(m72+m23-m53+m73), r125=(-n67)*(-m13+m43+m73), r126=(-n56+n66+n76)*(-m21+m31+m51-m61+m23-m33-m53+m63), r127=(-n44+n45+n47)*(m71), r128=(-n44+n45+n55-n65+n47+n57)*(-m23+m53), r129=(n54-n55+n75-n56+n66+n76)*(m21-m51-m23+m53), r130=(-n66)*(-m12-m32+m42+m62), r131=(n44)*(-m11-m21+m41+m51-m12-m22+m42+m52+m72-m13+m43+m73), r132=(n74)*(-m11-m31+m41+m61+m71-m12-m32+m42+m62+m13-m43-m73), r133=(n65)*(-m11-m21+m41+m51), r134=(n74+n66)*(-m31+m61-m12-m32+m42+m62), r135=(n54-n65)*(-m11-m21+m41+m51+m23-m53), r136=(n54)*(m11+m21-m41-m51-m12-m32+m42+m62-m13-m23-m33+m43+m53+m63), r137=(-n44+n67)*(m72-m13+m43+m73), r138=(-n44+n65)*(-m11-m21+m41+m51-m22+m52), r139=(n74+n67)*(-m71-m13+m43+m73), r140=(n75-n56+n66+n76)*(-m21+m31+m51-m61+m23-m53), r141=(-n44+n45+n47+n57)*(m71+m23-m53), r142=(-n54+n66)*(-m12-m32+m42+m62-m33+m63), r143=(n33)*(m37-m67), r144=(n33)*(m35-m65), r145=(n33)*(m34-m64), r146=(n11-n12)*(m17-m47), r147=(-n31)*(-m15+m45), r148=(n32)*(m25-m55), r149=(n23)*(m34-m64-m26+m36+m56-m66), r150=(n11+n21)*(m14-m34-m44+m64+m17-m47), r151=(n13)*(-m16+m36+m46-m66+m37-m67), r152=(-n21+n22)*(m24-m54), r153=(n12+n22)*(m24-m54+m27-m37-m57+m67), r154=(n21+n12)*(m24-m54-m17+m47), r155=(-n11+n31+n12-n32)*(m25-m55-m27+m57), r156=(-n21+n31+n22-n32)*(m14-m44-m15+m45), r157=(n21)*(m14+m24-m44-m54+m16-m46), r158=(n12)*(m26-m56+m17+m27-m47-m57), r159=(n11+n21+n13+n23)*(m34-m64), r160=(n12+n22+n13+n23)*(m37-m67), r161=(n11+n13)*(m16-m46), r162=(-n22+n32)*(m14+m24-m44-m54-m15-m25+m35+m45+m55-m65-m26+m36+m56-m66), r163=(n22+n23)*(m26-m56), r164=(n22-n32+n23)*(m35-m65-m26+m36+m56-m66), r165=(-n11+n31-n22+n32-n13-n23+n33)*(m35-m65+m36-m66), r166=(-n11+n31)*(-m15-m25+m35+m45+m55-m65-m16+m36+m46-m66+m17+m27-m47-m57), r167=(n21-n22+n32)*(m14+m24-m44-m54-m15+m45), r168=(-n11+n31-n13)*(-m35+m65+m16-m36-m46+m66), r169=(n12+n22+n23)*(m26-m56+m37-m67), r170=(n11+n21+n13)*(m34-m64+m16-m46), r171=(-n11+n31+n12)*(-m25+m55+m17+m27-m47-m57), r172=(n22+n25)*(-m64+m55), r173=(n27)*(-m64+m77), r174=(n11+n14)*(m46-m56+m47), r175=(n21+n24)*(-m44+m46-m66), r176=(n31+n34)*(m45-m46+m76), r177=(n17)*(m76+m57+m77), r178=(n23+n33+n26+n36)*(m64-m45+m65), r179=(n27)*(m64-m74+m76), r180=(n22+n25)*(m54+m64-m56), r181=(n22+n13+n25+n16)*(m64+m57), r182=(-n33-n36+n27)*(m64+m75), r183=(n17-n37)*(m75+m47-m77), r184=(n13+n23+n16+n26)*(-m64-m47+m67), r185=(-n32-n35+n27+n37)*(-m44+m74+m75), r186=(-n22+n23-n25+n26+n27)*(m64), r187=(n12-n13+n15-n16-n17)*(m57), r188=(n13+n16)*(m66+m57+m67), r189=(n33+n36-n17+n37)*(m75), r190=(n33+n36)*(m65-m75-m66), r191=(n12+n22+n15+n25-n17)*(m44-m54+m57), r192=(n12-n32-n13+n33+n15-n35-n16+n36)*(-m65+m66+m67), r193=(n17)*(-m44+m54+m74), r194=(n32+n35)*(-m44+m54+m74+m55+m75-m56), r195=(-n12+n32-n15+n35)*(m45-m55-m65+m66+m57+m67), r196=(n11+n21+n31+n12+n22+n14+n24+n34+n15+n25+n27+n37)*(m44), r197=(n11+n21-n31+n13+n23+n14+n24-n34+n16+n26+n17-n37)*(m47), r198=(n11+n12+n14+n15)*(m56), r199=(-n31-n34-n37)*(m76), r200=(n21+n13+n23+n24+n16+n26)*(m66+m47), r201=(n11+n12-n32+n14+n15-n35)*(m45-m56), r202=(-n11+n21+n31-n12+n32+n23+n33-n14+n24+n34-n15+n35+n26+n36)*(m45), r203=(-n21-n23-n24-n26)*(m66), r204=(n21+n23+n33+n24+n26+n36)*(-m45+m66), r205=(n31+n34+n27+n37)*(-m44+m76), r206=(n11+n12+n22+n14+n15+n25)*(-m44+m56), r207=(n31+n34-n17+n37)*(m76+m47), r208=(n12-n32-n13+n15-n35-n16)*(-m65+m66+m57+m67), r209=(-n32-n35+n17)*(-m44+m54+m74+m75), r210=(-n32+n62)*(m21+m24), r211=(n33-n63)*(m31+m34), r212=(-n22+n52)*(m22+m25), r213=(n72)*(m27), r214=(n12-n42-n13+n43)*(m27), r215=(n11-n41-n12+n42)*(m22+m25), r216=(-n31+n61)*(m11+m14), r217=(n73)*(m17-m37), r218=(n72)*(m13+m23+m16+m26), r219=(n71+n73)*(m17), r220=(-n22+n52)*(m23+m33+m26+m36), r221=(-n11+n41+n71+n73)*(m12-m13+m15-m16-m17), r222=(-n21+n51+n71-n72)*(m13+m16), r223=(-n11+n41+n72)*(m22+m13+m25+m16), r224=(-n22+n52+n13-n43)*(-m33-m36+m27), r225=(n22-n52-n23+n53+n73)*(m33+m36), r226=(n11-n41)*(m12+m22+m15+m25-m17), r227=(-n13+n43)*(-m32-m35+m27+m37), r228=(-n12+n22+n42-n52+n72)*(-m22+m23-m25+m26+m27), r229=(-n21+n51-n23+n53)*(m32+m35), r230=(-n21+n51)*(-m12+m32-m15+m35), r231=(n13-n23-n43+n53+n73)*(m33+m36-m17+m37), r232=(-n11-n21-n31+n41+n51+n61+n12+n32-n42-n62-n23-n33+n53+n63)*(m11+m12+m14+m15), r233=(-n31+n61-n71+n12+n32-n42-n62-n13-n33+n43+n63-n73)*(m31+m34+m37), r234=(n73)*(m12-m32-m13+m33+m15-m35-m16+m36), r235=(-n11+n21+n41-n51-n13+n23+n43-n53)*(m17), r236=(-n23-n33+n53+n63)*(-m11+m21+m31-m12+m32+m23+m33-m14+m24+m34-m15+m35+m26+m36), r237=(n31-n61+n71-n22-n32+n52+n62-n72+n23+n33-n53-n63)*(m21+m23+m24+m26), r238=(-n12-n32+n42+n62)*(m11+m21+m31+m12+m22+m14+m24+m34+m15+m25+m27+m37), r239=(n31-n61+n71)*(m11+m21-m31+m13+m23+m14+m24-m34+m16+m26+m17-m37), r240=(n11-n41-n12-n32+n42+n62)*(m11+m12+m22+m14+m15+m25), r241=(n31-n61+n71+n73)*(m31+m34-m17+m37), r242=(-n31+n61-n71+n72)*(m21+m13+m23+m24+m16+m26), r243=(-n21+n51-n23-n33+n53+n63)*(m11+m12-m32+m14+m15-m35), r244=(-n21+n51-n73)*(m12-m32-m13+m15-m35-m16), r245=(-n21+n51+n13-n23-n43+n53)*(-m32-m35+m17), r246=(n22-n52-n23-n33+n53+n63)*(m21+m23+m33+m24+m26+m36), r247=(-n12-n32+n42+n62+n13-n43)*(m31+m34+m27+m37), r248=(n35-n65-n36+n66)*(m53+m56), r249=(n34-n64)*(m43+m46), r250=(n37-n67)*(m73+m76) ]: [ p11=r56-r21-r55-r187+r133-r35+r127-r123+r119+r4-r19-r27-r193+r74+r34+r14+r66-r33-r181+r5-r198+r191-r18+r40+r73+r29-r8+r206+r65-r72+r114-r36+r180+r23+r28-r113+r64+r17-r138-r24, p12=-r27/l-r188-r194+r56/l-r55/l-r133+r70+r31+r118+r193+r12-r201-r112+r137-r38+r125-r33/l-r72/l+r29/l+r26+r40/l-r208+r66/l-r36/l+r64/l+r74/l-r5-r198+r11+r8+r13-r195+r68+r7+r131+r28/l+r113+r138-r209+r24, p13=-r27/l-r21-r121+r56/l-r55/l+r10-r203+r124+r127+r34/l+r112-r137+r199-r200+r65/l-r125-r33/l+r51+r14+r29/l-r115-r174+r40/l+r66/l+r48-r36/l-r198-r18+r207+r13-r35/l-r47+r197+r50+r28/l+r23+r17-r141, p14=r187-r191+r193+r198-r206-r161+r170-r180+r181-r146+r150+r154-r157, p15=r188-r193+r194+r195+r198+r201+r208+r209+r163+r166+r168-r169-r171+r147-r151+r158+r160, p16=-r197+r198-r199+r200+r203-r207+r161-r163+r169+r174+r151-r160, p17=r187+r188+r197+r199-r200-r203+r207+r163-r169+r177+r146+r158+r160, p21=r27*l+r120-r56*l-r186+r55*l+r128+r133-r127+r179-r34*l+r4+r71+r12-r199-r65*l-r9+r33*l+r69+r72*l-r6+r129-r40*l-r64*l+r198-r73*l+r140-r206+r25+r35*l+r32+r135-r180-r28*l+r23+r15-r39+r17-r205-r196+r141, p22=-r122+r55+r186+r203+r67+r190+r105+r75-r118+r27-r182+r9-r178+r30+r16+r115+r26+r6+r111-r37-r18-r40-r142+r72+r13-r25+r204+r22-r20+r7-r130-r172, p23=-r56+r122+r55+r121+r54+r128+r203+r133+r35-r127+r27-r175-r199-r34-r48*l-r50*l+r16+r26+r33+r47*l+r32/l+r69/l+r198+r3-r18-r39/l-r40+r142-r206-r65+r13+r22+r135+r136+r130-r28+r17-r205-r196+r141, p24=r196-r198+r199+r205+r206+r161-r170-r179+r180+r186+r152+r157+r159, p25=-r190-r203-r204+r161+r162+r164-r167-r170+r172+r178+r182-r186+r148-r149+r157+r159, p26=r196-r198+r199-r203+r205+r206-r161+r163+r170+r175+r149-r159, p27=-r188+r200+r203-r163+r169+r173+r181+r184+r186-r152+r153-r154-r158, p31=r27*l+r21+r134+r133+r46+r189-r179-r34*l+r19-r193+r49-r139+r182+r199-r125+r9+r33*l-r45+r41+r72*l-r132-r29*l-r40*l+r36*l-r185-r64*l-r74*l-r73*l+r107+r18+r8+r35*l-r28*l+r130+r1+r209+r205+r24, p32=-r194-r203-r133-r190-r189+r38*l+r27+r193-r74-r201+r41/l+r137-r45/l+r125+r108-r9+r33-r198+r18-r40-r29-r8+r72-r202-r70*l+r25-r204+r46/l-r22+r36+r20+r43+r131+r2-r130-r28-r64+r138-r31*l-r209, p33=-r203+r133+r35+r57+r249-r201+r199-r125+r63+r248-r62+r33-r198+r58+r18-r40+r142-r202-r204+r36+r250+r135+r176+r136+r130-r109, p34=-r189+r193-r199-r205-r209+r167+r179-r182+r185+r145+r147+r152+r156, p35=r189+r190-r193+r194+r198+r201+r202+r203+r204+r209+r144+r147+r148, p36=r198-r199+r201+r202+r203+r204+r161+r163+r164+r165+r168-r176-r144, p37=r187+r189+r190+r192+r199+r207-r208+r171+r177+r183+r143+r146+r148+r155, p41=-r138-r113+r114+r119-r123+r127+r133-r81+r84+r87-r90-r94+r103, p42=r137+r138-r112+r113+r118+r125+r131-r133+r86+r90+r92+r94-r103, p43=-r137-r141+r112-r115-r121+r124-r125+r127+r86+r89+r100+r77+r80, p44=r56-r55+r94-r35-r87-r227+r238-r27+r74+r150+r90-r245+r34+r226-r84+r66-r157-r210+r170-r33-r229+r154-r103-r240+r81+r40+r73-r247+r29+r65-r72-r36-r146-r235+r28+r64-r161, p45=-r27/l+r56/l-r55/l-r94+r168+r70+r31-r90+r160-r171+r245-r38-r33/l-r226-r72/l+r29/l+r163+r40/l+r147+r66/l+r215-r86-r36/l+r64/l+r229-r92+r74/l+r103+r166-r169-r151+r158+r68+r28/l+r235, p46=-r27/l+r56/l-r55/l-r80+r34/l-r218-r160+r65/l-r213-r33/l+r51-r100-r77+r29/l-r163+r40/l-r89+r66/l+r48+r215-r86-r36/l+r169+r151-r35/l-r47-r212+r228+r50+r223+r28/l+r220+r214+r224+r161, p47=-r27/l^2+r56/l^2-r55/l^2-r38/l+r227+r53+r160+r245+r48/l-r33/l^2+r29/l^2+r163+r40/l^2+r66/l^2-r36/l^2+r68/l+r229-r47/l+r28/l^2-r169+r158+r146-r214+r235+r51/l+r31/l, p51=r135+r140+r141+r120-r127+r128+r129+r133-r85+r91+r93+r96+r99+r101-r102-r104+r77, p52=-r142+r111+r115-r118-r122-r130-r83+r90+r92+r94+r95+r97-r100-r103+r105+r78, p53=r135+r136+r141+r142+r121+r122-r127+r128+r130+r133+r77+r78+r79, p54=r27*l-r56*l+r55*l-r34*l+r211+r71-r101+r152-r65*l+r230-r93+r33*l+r69+r72*l-r77+r104-r40*l+r157+r159-r170-r96-r64*l-r73*l+r236-r99+r35*l+r243+r32-r28*l-r39-r220-r91+r102-r246+r85+r161, p55=r148+r55-r94+r67+r75+r164+r27-r90-r97-r230-r167+r30+r100+r157+r159-r170-r37+r229-r149-r92+r103-r40+r72+r162+r83+r212-r95-r78+r161, p56=-r56+r55+r54+r35+r27-r234-r34-r230-r48*l-r50*l-r77+r163-r159-r79+r170-r244+r33+r149+r47*l+r32/l+r69/l+r225-r39/l-r40-r65-r78+r220-r28-r161, p57=r217+r224-r225+r227+r229+r231-r163+r169-r152+r153-r154-r158+r55/l+r67/l+r27/l+r30/l-r37/l-r40/l+r47+r52+r245, p61=r134-r139-r125+r130-r132+r133+r85-r93+r94-r96+r102+r107, p62=r137+r138+r108+r125-r130+r131-r133+r83-r92-r94+r96+r103, p63=r135+r136+r142-r109-r125+r130+r133+r94+r96+r97+r98+r101-r79, p64=r27*l-r94+r46+r216-r34*l-r211+r49+r152+r145+r93+r33*l-r45+r167+r41+r72*l-r29*l-r40*l+r147+r210+r96+r36*l-r64*l-r74*l-r73*l+r35*l+r156-r28*l-r102-r85, p65=r148+r94-r216+r38*l+r27-r74+r41/l-r45/l+r147-r96-r215+r33-r229+r92-r103+r240-r40+r144-r29+r72-r83-r70*l+r232-r243+r46/l+r36+r43-r28-r64-r31*l, p66=r242-r94+r35+r222+r57+r168+r164+r234-r101-r97+r230+r63+r237+r163+r79-r62-r210-r96+r244+r33-r225+r58-r40-r144+r36+r165+r246-r98+r161, p67=r214+r219+r233+r211+r171+r143+r146+r148+r155+r58/l+r60-r62/l+r63/l+r33/l+r36/l+r38-r40/l+r241+r247, p71=-r134+r139+r110+r119+r120+r125-r130+r132+r81+r91+r93+r96-r102, p72=r134+r114+r117+r118-r120+r130+r82-r86-r87-r91-r96+r102+r106, p73=r139-r140+r110+r116+r119+r121+r122+r125+r126+r81+r88+r104+r76+r78, p74=-r27*l^2+r242+r216+r34*l^2-r218+r45*l+r241-r93-r33*l^2-r72*l^2+r40*l^2-r96-r32*l+r73*l^2+r44-r81+r217+r39*l+r28*l^2-r71*l-r35*l^2-r46*l+r64*l^2-r49*l-r91+r239+r102, p75=r219+r221+r222+r223+r226+r230-r82+r86+r87+r91+r96-r102-r72*l-r75*l-r27*l-r30*l+r37*l+r40*l+r42+r45+r244, p76=r218+r222+r230+r234-r81-r88-r104-r57*l+r61+r62*l-r63*l-r76-r78-r33*l-r35*l+r39+r40*l+r244, p77=r213-r217+r219+r59+r62+r37+r40 ]: map(expand,N.M-subs(%%,subs(%,P)));