// $Id$

//
//


LIB "tst.lib";

LIB "poly.lib";

tst_init();
tst_ignore("CVS: $Id$");

proc char_out(ideal i){
  return(sort(simplify(lead(i),1))[1]);
}
ring r=0,x(1..44),dp;

ideal i=-x(1)*x(3)^3-2*x(2)*x(4)^3+x(3)^2,
-x(1)*x(3)*x(4)^2-x(2)*x(4)*x(8)^2-x(2)*x(4)*x(6)*x(13)+x(3)*x(4),
-x(1)*x(4)^2*x(8)-x(2)*x(8)^2*x(9)-x(2)*x(6)*x(13)*x(14)+x(3)*x(8),
-x(1)*x(4)^2*x(6)-2*x(2)*x(6)*x(8)*x(14)+x(3)*x(6),
-x(1)*x(4)^2*x(13)-2*x(2)*x(8)*x(13)*x(14)+x(3)*x(13),
-x(1)*x(8)^3-x(2)*x(9)^3-x(2)*x(14)^3+x(3)*x(9),
-x(1)*x(6)*x(8)*x(13)-x(2)*x(9)*x(14)^2-x(2)*x(14)^3+x(3)*x(14),
-x(1)*x(3)*x(6)*x(13)-x(2)*x(4)*x(7)*x(27)-x(2)*x(4)*x(25)*x(32)+x(4)^2,
-x(1)*x(3)*x(8)^2-2*x(2)*x(4)*x(25)*x(32)+x(4)^2,
-x(1)*x(4)^2*x(5)-x(2)*x(8)^2*x(11)-x(2)*x(6)*x(13)*x(15)+x(4)^2,
-x(1)*x(4)*x(10)*x(13)-x(2)*x(6)*x(20)*x(27)-x(2)*x(8)*x(25)*x(33)+x(4)*x(8),
-x(1)*x(4)*x(8)*x(10)-x(2)*x(6)*x(18)*x(25)-x(2)*x(8)*x(26)*x(32)+x(4)*x(6),
-x(1)*x(4)^2*x(5)-2*x(2)*x(8)*x(10)*x(13)+x(4)^2,
-x(1)*x(4)*x(13)*x(15)-x(2)*x(13)*x(18)*x(25)-x(2)*x(8)*x(20)*x(27)+x(4)*x(13),
-x(1)*x(4)*x(8)*x(11)-x(2)*x(13)*x(26)*x(32)-x(2)*x(8)*x(25)*x(33)+x(4)*x(8),
-x(1)*x(4)*x(6)*x(21)-x(2)*x(7)*x(13)*x(28)-x(2)*x(8)*x(32)*x(42)+x(4)*x(8),
-x(1)*x(4)*x(8)*x(21)-x(2)*x(8)*x(23)*x(25)-x(2)*x(13)*x(32)*x(34)+x(4)*x(13),
-x(1)*x(5)^2*x(8)-x(2)*x(9)*x(11)^2-x(2)*x(14)*x(15)^2+x(4)*x(8),
-x(1)*x(8)*x(10)*x(21)-x(2)*x(14)*x(20)*x(28)-x(2)*x(9)*x(33)*x(42)+x(4)*x(9),
-x(1)*x(8)*x(10)*x(21)-x(2)*x(9)*x(23)*x(26)-x(2)*x(14)*x(18)*x(34)+x(4)*x(14),
-x(1)*x(5)^2*x(6)-x(2)*x(10)*x(11)*x(14)-x(2)*x(10)*x(14)*x(15)+x(4)*x(6),
-x(1)*x(6)*x(15)*x(21)-x(2)*x(14)*x(20)*x(28)-x(2)*x(14)*x(18)*x(42)+x(4)*x(14),
-x(1)*x(6)*x(11)*x(21)-x(2)*x(14)*x(23)*x(26)-x(2)*x(14)*x(33)*x(34)+x(4)*x(14),
-x(1)*x(4)^2*x(5)-2*x(2)*x(6)*x(8)*x(21)+x(4)^2,
-x(1)*x(4)*x(6)*x(15)-x(2)*x(7)*x(8)*x(28)-x(2)*x(6)*x(32)*x(34)+x(4)*x(6),
-x(1)*x(4)*x(8)*x(11)-x(2)*x(6)*x(23)*x(25)-x(2)*x(8)*x(32)*x(42)+x(4)*x(8),
-x(1)*x(5)^2*x(13)-x(2)*x(11)*x(14)*x(21)-x(2)*x(14)*x(15)*x(21)+x(4)*x(13),
-x(1)*x(10)*x(13)*x(15)-x(2)*x(14)*x(20)*x(28)-x(2)*x(14)*x(33)*x(34)+x(4)*x(14),
-x(1)*x(10)*x(11)*x(13)-x(2)*x(14)*x(23)*x(26)-x(2)*x(14)*x(18)*x(42)+x(4)*x(14),
-x(1)*x(5)^2*x(8)-x(2)*x(9)*x(10)*x(21)-x(2)*x(10)*x(14)*x(21)+x(4)*x(8),
-x(1)*x(8)*x(15)^2-x(2)*x(9)*x(20)*x(28)-x(2)*x(14)*x(18)*x(34)+x(4)*x(14),
-x(1)*x(8)*x(11)^2-x(2)*x(14)*x(23)*x(26)-x(2)*x(9)*x(33)*x(42)+x(4)*x(9),
-x(1)*x(6)*x(13)*x(22)-x(2)*x(7)*x(27)*x(31)-x(2)*x(25)*x(32)*x(43)+x(8)^2,
-x(1)*x(6)*x(8)*x(16)-x(2)*x(7)*x(25)*x(29)-x(2)*x(32)^2*x(35)+x(6)*x(8),
-x(1)*x(8)*x(13)*x(16)-x(2)*x(24)*x(25)^2-x(2)*x(27)*x(32)*x(40)+x(8)*x(13),
-x(1)*x(8)^2*x(12)-2*x(2)*x(25)*x(32)*x(44)+x(8)^2,
-x(1)*x(5)*x(10)*x(21)-x(2)*x(15)*x(20)*x(28)-x(2)*x(11)*x(33)*x(42)+x(8)^2,
-x(1)*x(5)*x(11)*x(21)-x(2)*x(15)*x(23)*x(34)-x(2)*x(11)*x(23)*x(42)+x(8)*x(13),
-x(1)*x(10)*x(21)*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(33)*x(42)*x(43)+x(8)*x(9),
-x(1)*x(10)*x(16)*x(21)-x(2)*x(20)*x(29)*x(34)-x(2)*x(23)*x(33)*x(35)+x(8)*x(14),
-x(1)*x(5)*x(10)*x(11)-x(2)*x(15)*x(18)*x(26)-x(2)*x(11)*x(26)*x(33)+x(6)*x(8),
-x(1)*x(10)*x(16)*x(21)-x(2)*x(18)*x(28)*x(40)-x(2)*x(24)*x(26)*x(42)+x(8)*x(14),
-x(1)*x(10)*x(12)*x(21)-x(2)*x(23)*x(26)*x(44)-x(2)*x(18)*x(34)*x(44)+x(8)*x(14),
-x(1)*x(5)*x(10)*x(15)-x(2)*x(10)*x(20)*x(28)-x(2)*x(10)*x(33)*x(34)+x(6)*x(8),
-x(1)*x(5)*x(11)^2-2*x(2)*x(10)*x(23)*x(42)+x(8)^2,
-x(1)*x(5)*x(15)*x(21)-x(2)*x(20)*x(21)*x(28)-x(2)*x(18)*x(21)*x(42)+x(8)*x(13),
-x(1)*x(15)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(18)*x(34)*x(43)+x(8)*x(14),
-x(1)*x(11)*x(15)*x(16)-x(2)*x(18)*x(23)*x(35)-x(2)*x(20)*x(29)*x(42)+x(8)*x(14),
-x(1)*x(5)*x(11)^2-2*x(2)*x(21)*x(26)*x(33)+x(8)^2,
-x(1)*x(11)*x(15)*x(16)-x(2)*x(24)*x(26)*x(34)-x(2)*x(28)*x(33)*x(40)+x(8)*x(14),
-x(1)*x(11)^2*x(12)-x(2)*x(23)*x(26)*x(44)-x(2)*x(33)*x(42)*x(44)+x(8)*x(9),
-x(1)*x(6)^2*x(17)-2*x(2)*x(7)*x(32)*x(36)+x(6)^2,
-x(1)*x(8)^2*x(22)-2*x(2)*x(25)*x(32)*x(37)+x(6)*x(13),
-x(1)*x(5)*x(15)^2-x(2)*x(11)*x(20)*x(28)-x(2)*x(15)*x(18)*x(34)+x(6)*x(13),
-x(1)*x(10)*x(11)*x(16)-x(2)*x(20)*x(26)*x(29)-x(2)*x(33)^2*x(35)+x(6)*x(9),
-x(1)*x(10)*x(15)*x(17)-x(2)*x(18)*x(20)*x(36)-x(2)*x(20)*x(33)*x(36)+x(6)*x(14),
-x(1)*x(5)*x(10)^2-2*x(2)*x(10)*x(18)*x(26)+x(6)^2,
-x(1)*x(10)*x(11)*x(22)-x(2)*x(18)*x(26)*x(37)-x(2)*x(26)*x(33)*x(37)+x(6)*x(14),
-x(1)*x(10)*x(15)*x(16)-x(2)*x(20)*x(26)*x(29)-x(2)*x(18)^2*x(35)+x(6)*x(14),
-x(1)*x(13)^2*x(17)-2*x(2)*x(19)*x(25)*x(27)+x(13)^2,
-x(1)*x(5)*x(21)^2-2*x(2)*x(21)*x(23)*x(34)+x(13)^2,
-x(1)*x(11)*x(16)*x(21)-x(2)*x(23)*x(28)*x(40)-x(2)*x(24)*x(42)^2+x(9)*x(13),
-x(1)*x(11)*x(21)*x(22)-x(2)*x(23)*x(34)*x(37)-x(2)*x(23)*x(37)*x(42)+x(13)*x(14),
-x(1)*x(15)*x(17)*x(21)-x(2)*x(19)*x(28)*x(34)-x(2)*x(19)*x(28)*x(42)+x(13)*x(14),
-x(1)*x(15)*x(16)*x(21)-x(2)*x(24)*x(34)^2-x(2)*x(23)*x(28)*x(40)+x(13)*x(14),
-x(1)*x(22)^3-x(2)*x(31)^3-x(2)*x(43)^3+x(9)^2,
-x(1)*x(16)^2*x(22)-x(2)*x(29)*x(31)*x(40)-x(2)*x(24)*x(35)*x(43)+x(9)*x(14),
-x(1)*x(12)*x(16)^2-x(2)*x(24)*x(35)*x(44)-x(2)*x(29)*x(40)*x(44)+x(9)*x(14),
-x(1)*x(12)^3-2*x(2)*x(44)^3+x(9)^2,
-x(1)*x(17)^2*x(22)-x(2)*x(19)*x(31)*x(36)-x(2)*x(19)*x(36)*x(43)+x(14)^2,
-x(1)*x(16)^2*x(22)-x(2)*x(24)*x(35)*x(37)-x(2)*x(29)*x(37)*x(40)+x(14)^2,
-x(1)*x(16)^2*x(17)-2*x(2)*x(19)*x(29)*x(35)+x(14)^2,
-x(1)*x(16)^2*x(17)-2*x(2)*x(24)*x(36)*x(40)+x(14)^2,
-x(1)*x(12)*x(22)^2-2*x(2)*x(37)^2*x(44)+x(14)^2, -x(1)*x(3)^2*x(4)-2*x(2)*x(4)^2*x(5)+x(4)^2,
-x(1)*x(3)*x(4)*x(13)-x(2)*x(4)*x(13)*x(15)-x(2)*x(4)*x(8)*x(21)+x(4)*x(13),
-x(1)*x(3)*x(4)*x(8)-x(2)*x(4)*x(8)*x(11)-x(2)*x(4)*x(6)*x(21)+x(4)*x(8),
-x(1)*x(4)^2*x(25)-x(2)*x(6)*x(13)*x(34)-x(2)*x(8)^2*x(42)+x(4)*x(25),
-2*x(2)*x(6)*x(8)*x(23)-x(1)*x(4)^2*x(32)+x(4)*x(32),
-x(1)*x(4)^2*x(27)-2*x(2)*x(8)*x(13)*x(28)+x(4)*x(27),
-x(1)*x(4)^3-x(2)*x(5)*x(8)^2-x(2)*x(5)*x(6)*x(13)+x(4)*x(5),
-x(1)*x(4)*x(8)*x(13)-x(2)*x(13)*x(14)*x(15)-x(2)*x(8)*x(9)*x(21)+x(4)*x(21),
-x(1)*x(4)*x(8)*x(13)-x(2)*x(11)*x(13)*x(14)-x(2)*x(8)*x(14)*x(21)+x(4)*x(21),
-x(1)*x(4)*x(8)^2-x(2)*x(8)*x(9)*x(11)-x(2)*x(6)*x(14)*x(21)+x(4)*x(11),
-x(1)*x(8)^2*x(25)-x(2)*x(14)^2*x(34)-x(2)*x(9)^2*x(42)+x(4)*x(42),
-x(2)*x(9)*x(14)*x(23)-x(2)*x(14)^2*x(23)-x(1)*x(8)*x(13)*x(32)+x(4)*x(23),
-x(1)*x(4)*x(6)*x(13)-x(2)*x(8)*x(14)*x(15)-x(2)*x(6)*x(14)*x(21)+x(4)*x(15),
-x(1)*x(6)*x(8)*x(27)-x(2)*x(9)*x(14)*x(28)-x(2)*x(14)^2*x(28)+x(4)*x(28),
-x(1)*x(6)*x(13)*x(25)-x(2)*x(14)^2*x(34)-x(2)*x(14)^2*x(42)+x(4)*x(34),
-x(1)*x(3)*x(4)*x(8)-x(2)*x(4)*x(8)*x(11)-x(2)*x(4)*x(10)*x(13)+x(4)*x(8),
-x(1)*x(3)*x(13)*x(14)-x(2)*x(4)*x(23)*x(25)-x(2)*x(4)*x(20)*x(27)+x(8)*x(13),
-x(1)*x(3)*x(8)*x(9)-x(2)*x(4)*x(25)*x(33)-x(2)*x(4)*x(32)*x(42)+x(8)^2,
-x(1)*x(4)^2*x(11)-x(2)*x(8)^2*x(12)-x(2)*x(6)*x(13)*x(16)+x(8)^2,
-x(1)*x(4)*x(13)*x(26)-x(2)*x(6)*x(27)*x(40)-x(2)*x(8)*x(25)*x(44)+x(8)*x(25),
-x(2)*x(6)*x(24)*x(25)-x(1)*x(4)*x(8)*x(33)-x(2)*x(8)*x(32)*x(44)+x(8)*x(32),
-x(2)*x(8)*x(13)*x(16)-x(1)*x(4)^2*x(21)-x(2)*x(8)*x(13)*x(22)+x(8)*x(13),
-x(1)*x(4)*x(13)*x(28)-x(2)*x(13)*x(25)*x(29)-x(2)*x(8)*x(27)*x(31)+x(8)*x(27),
-x(2)*x(13)*x(32)*x(35)-x(1)*x(4)*x(8)*x(42)-x(2)*x(8)*x(25)*x(43)+x(8)*x(25),
-x(1)*x(4)*x(5)*x(8)-x(2)*x(8)*x(11)^2-x(2)*x(10)*x(13)*x(15)+x(5)*x(8),
-x(1)*x(4)*x(14)*x(21)-x(2)*x(13)*x(20)*x(28)-x(2)*x(8)*x(23)*x(42)+x(8)*x(21),
-x(1)*x(4)*x(9)*x(21)-x(2)*x(13)*x(33)*x(34)-x(2)*x(8)*x(23)*x(42)+x(8)*x(21),
-x(1)*x(5)*x(8)*x(11)-x(2)*x(9)*x(11)*x(12)-x(2)*x(14)*x(15)*x(16)+x(8)*x(11),
-x(1)*x(8)*x(21)*x(26)-x(2)*x(14)*x(28)*x(40)-x(2)*x(9)*x(42)*x(44)+x(8)*x(42),
-x(1)*x(8)*x(21)*x(33)-x(2)*x(14)*x(24)*x(34)-x(2)*x(9)*x(23)*x(44)+x(8)*x(23),
-x(2)*x(11)*x(14)*x(16)-x(1)*x(5)*x(6)*x(21)-x(2)*x(14)*x(15)*x(22)+x(8)*x(15),
-x(1)*x(6)*x(21)*x(28)-x(2)*x(14)*x(28)*x(31)-x(2)*x(14)*x(29)*x(42)+x(8)*x(28),
-x(2)*x(14)*x(23)*x(35)-x(1)*x(6)*x(21)*x(42)-x(2)*x(14)*x(34)*x(43)+x(8)*x(34),
-x(1)*x(4)*x(5)*x(8)-x(2)*x(8)*x(10)*x(21)-x(2)*x(6)*x(11)*x(21)+x(5)*x(8),
-x(1)*x(4)*x(14)*x(15)-x(2)*x(8)*x(20)*x(28)-x(2)*x(6)*x(23)*x(34)+x(8)*x(15),
-x(1)*x(4)*x(9)*x(11)-x(2)*x(6)*x(23)*x(42)-x(2)*x(8)*x(33)*x(42)+x(8)*x(11),
-x(1)*x(5)*x(11)*x(13)-x(2)*x(12)*x(14)*x(21)-x(2)*x(14)*x(16)*x(21)+x(8)*x(21),
-x(1)*x(13)*x(15)*x(26)-x(2)*x(14)*x(28)*x(40)-x(2)*x(14)*x(34)*x(44)+x(8)*x(34),
-x(1)*x(11)*x(13)*x(33)-x(2)*x(14)*x(24)*x(42)-x(2)*x(14)*x(23)*x(44)+x(8)*x(23),
-x(1)*x(5)*x(8)*x(21)-x(2)*x(14)*x(16)*x(21)-x(2)*x(9)*x(21)*x(22)+x(8)*x(21),
-x(1)*x(8)*x(15)*x(28)-x(2)*x(9)*x(28)*x(31)-x(2)*x(14)*x(29)*x(34)+x(8)*x(28),
-x(2)*x(14)*x(23)*x(35)-x(1)*x(8)*x(11)*x(42)-x(2)*x(9)*x(42)*x(43)+x(8)*x(42),
-x(1)*x(3)*x(4)*x(6)-x(2)*x(4)*x(8)*x(10)-x(2)*x(4)*x(6)*x(15)+x(4)*x(6),
-x(1)*x(3)*x(8)*x(14)-x(2)*x(4)*x(18)*x(25)-x(2)*x(4)*x(32)*x(34)+x(6)*x(13),
-x(1)*x(3)*x(6)*x(14)-x(2)*x(4)*x(7)*x(28)-x(2)*x(4)*x(26)*x(32)+x(6)*x(8),
-x(1)*x(4)^2*x(10)-x(2)*x(6)*x(8)*x(16)-x(2)*x(6)*x(8)*x(22)+x(6)*x(8),
-x(1)*x(4)*x(8)*x(26)-x(2)*x(8)*x(32)*x(35)-x(2)*x(6)*x(25)*x(37)+x(6)*x(25),
-x(1)*x(4)*x(6)*x(18)-x(2)*x(7)*x(8)*x(29)-x(2)*x(6)*x(32)*x(37)+x(6)*x(32),
-x(1)*x(4)^2*x(15)-x(2)*x(8)^2*x(16)-x(2)*x(6)*x(13)*x(17)+x(6)*x(13),
-x(1)*x(4)*x(8)*x(28)-x(2)*x(8)*x(25)*x(29)-x(2)*x(13)*x(32)*x(36)+x(6)*x(27),
-x(1)*x(4)*x(6)*x(34)-x(2)*x(8)*x(32)*x(35)-x(2)*x(7)*x(13)*x(36)+x(6)*x(25),
-x(1)*x(4)*x(5)*x(6)-x(2)*x(10)^2*x(13)-x(2)*x(8)*x(10)*x(15)+x(5)*x(6),
-x(1)*x(4)*x(11)*x(14)-x(2)*x(13)*x(18)*x(26)-x(2)*x(8)*x(33)*x(34)+x(6)*x(21),
-x(1)*x(4)*x(14)*x(15)-x(2)*x(13)*x(18)*x(26)-x(2)*x(8)*x(20)*x(28)+x(6)*x(21),
-x(1)*x(5)*x(8)*x(10)-x(2)*x(9)*x(10)*x(16)-x(2)*x(10)*x(14)*x(22)+x(6)*x(11),
-x(1)*x(8)*x(11)*x(26)-x(2)*x(9)*x(33)*x(35)-x(2)*x(14)*x(26)*x(37)+x(6)*x(42),
-x(1)*x(8)*x(15)*x(18)-x(2)*x(9)*x(20)*x(29)-x(2)*x(14)*x(18)*x(37)+x(6)*x(23),
-x(1)*x(5)*x(6)*x(15)-x(2)*x(10)*x(14)*x(16)-x(2)*x(10)*x(14)*x(17)+x(6)*x(15),
-x(1)*x(6)*x(11)*x(28)-x(2)*x(14)*x(26)*x(29)-x(2)*x(14)*x(33)*x(36)+x(6)*x(28),
-x(1)*x(6)*x(15)*x(34)-x(2)*x(14)*x(18)*x(35)-x(2)*x(14)*x(20)*x(36)+x(6)*x(34),
-x(1)*x(4)*x(5)*x(6)-x(2)*x(8)*x(10)*x(11)-x(2)*x(6)*x(15)^2+x(5)*x(6),
-x(1)*x(4)*x(10)*x(14)-x(2)*x(8)*x(18)*x(26)-x(2)*x(6)*x(18)*x(34)+x(6)*x(15),
-x(1)*x(4)*x(10)*x(14)-x(2)*x(6)*x(20)*x(28)-x(2)*x(8)*x(26)*x(33)+x(6)*x(11),
-x(1)*x(5)*x(10)*x(13)-x(2)*x(14)*x(15)*x(16)-x(2)*x(11)*x(14)*x(22)+x(6)*x(21),
-x(1)*x(10)*x(13)*x(26)-x(2)*x(14)*x(18)*x(35)-x(2)*x(14)*x(26)*x(37)+x(6)*x(34),
-x(1)*x(10)*x(13)*x(18)-x(2)*x(14)*x(20)*x(29)-x(2)*x(14)*x(33)*x(37)+x(6)*x(23),
-x(1)*x(5)*x(8)*x(15)-x(2)*x(9)*x(11)*x(16)-x(2)*x(14)*x(15)*x(17)+x(6)*x(21),
-x(1)*x(8)*x(10)*x(28)-x(2)*x(9)*x(26)*x(29)-x(2)*x(14)*x(18)*x(36)+x(6)*x(28),
-x(1)*x(8)*x(10)*x(34)-x(2)*x(9)*x(33)*x(35)-x(2)*x(14)*x(20)*x(36)+x(6)*x(42),
-x(2)*x(6)*x(13)*x(18)-x(1)*x(4)^2*x(32)-x(2)*x(8)^2*x(33)+x(4)*x(32),
-x(1)*x(4)*x(13)*x(18)-x(2)*x(8)*x(24)*x(25)-x(2)*x(6)*x(19)*x(27)+x(13)*x(32),
-x(2)*x(6)*x(24)*x(25)-x(1)*x(4)*x(8)*x(33)-x(2)*x(8)*x(32)*x(43)+x(8)*x(32),
-x(1)*x(4)*x(6)*x(23)-x(2)*x(7)*x(13)*x(29)-x(2)*x(8)*x(32)*x(44)+x(8)*x(32),
-x(1)*x(6)*x(13)*x(37)-x(2)*x(25)*x(32)*x(38)-x(2)*x(7)*x(27)*x(39)+x(25)*x(32),
-x(1)*x(6)*x(8)*x(24)-x(2)*x(7)*x(25)*x(30)-x(2)*x(32)^2*x(38)+x(32)^2,
-x(1)*x(4)*x(8)*x(23)-x(2)*x(8)*x(24)*x(25)-x(2)*x(13)*x(32)*x(37)+x(13)*x(32),
-x(1)*x(8)*x(13)*x(29)-x(2)*x(25)^2*x(30)-x(2)*x(27)*x(32)*x(39)+x(27)*x(32),
-2*x(2)*x(25)*x(32)*x(38)-x(1)*x(8)^2*x(44)+x(25)*x(32),
-x(2)*x(15)^2*x(18)-x(1)*x(5)^2*x(32)-x(2)*x(11)^2*x(33)+x(5)*x(32),
-x(1)*x(5)*x(18)*x(21)-x(2)*x(15)*x(19)*x(28)-x(2)*x(11)*x(24)*x(42)+x(21)*x(32),
-x(1)*x(5)*x(21)*x(33)-x(2)*x(15)*x(24)*x(34)-x(2)*x(11)*x(23)*x(43)+x(21)*x(32),
-x(1)*x(5)*x(10)*x(23)-x(2)*x(15)*x(20)*x(29)-x(2)*x(11)*x(33)*x(44)+x(11)*x(32),
-x(1)*x(10)*x(21)*x(37)-x(2)*x(20)*x(28)*x(39)-x(2)*x(33)*x(38)*x(42)+x(32)*x(42),
-x(1)*x(10)*x(21)*x(24)-x(2)*x(20)*x(30)*x(34)-x(2)*x(23)*x(33)*x(38)+x(23)*x(32),
-x(1)*x(5)*x(10)*x(23)-x(2)*x(11)*x(24)*x(26)-x(2)*x(15)*x(18)*x(37)+x(15)*x(32),
-x(1)*x(10)*x(21)*x(29)-x(2)*x(18)*x(28)*x(39)-x(2)*x(26)*x(30)*x(42)+x(28)*x(32),
-x(2)*x(23)*x(26)*x(38)-x(2)*x(18)*x(34)*x(38)-x(1)*x(10)*x(21)*x(44)+x(32)*x(34),
-x(2)*x(10)*x(18)*x(21)-x(1)*x(5)^2*x(32)-x(2)*x(10)*x(21)*x(33)+x(5)*x(32),
-x(1)*x(5)*x(15)*x(18)-x(2)*x(10)*x(19)*x(28)-x(2)*x(10)*x(24)*x(34)+x(15)*x(32),
-x(1)*x(5)*x(11)*x(33)-x(2)*x(10)*x(24)*x(42)-x(2)*x(10)*x(23)*x(43)+x(11)*x(32),
-x(1)*x(5)*x(15)*x(23)-x(2)*x(20)*x(21)*x(29)-x(2)*x(18)*x(21)*x(44)+x(21)*x(32),
-x(1)*x(15)^2*x(37)-x(2)*x(18)*x(34)*x(38)-x(2)*x(20)*x(28)*x(39)+x(32)*x(34),
-x(1)*x(11)*x(15)*x(24)-x(2)*x(18)*x(23)*x(38)-x(2)*x(20)*x(30)*x(42)+x(23)*x(32),
-x(1)*x(5)*x(11)*x(23)-x(2)*x(21)*x(24)*x(26)-x(2)*x(21)*x(33)*x(37)+x(21)*x(32),
-x(1)*x(11)*x(15)*x(29)-x(2)*x(26)*x(30)*x(34)-x(2)*x(28)*x(33)*x(39)+x(28)*x(32),
-x(2)*x(23)*x(26)*x(38)-x(2)*x(33)*x(38)*x(42)-x(1)*x(11)^2*x(44)+x(32)*x(42),
-x(1)*x(4)^2*x(7)-2*x(2)*x(6)*x(8)*x(20)+x(4)*x(7),
-x(1)*x(4)*x(8)*x(20)-x(2)*x(6)*x(19)*x(25)-x(2)*x(8)*x(32)*x(40)+x(7)*x(13),
-x(1)*x(4)*x(6)*x(20)-x(2)*x(7)*x(8)*x(31)-x(2)*x(6)*x(32)*x(40)+x(7)*x(8),
-x(2)*x(7)*x(25)*x(39)-x(1)*x(6)*x(8)*x(40)-x(2)*x(32)^2*x(41)+x(7)*x(25),
-x(1)*x(6)^2*x(19)-2*x(2)*x(7)*x(32)*x(39)+x(7)*x(32),
-x(1)*x(8)^2*x(31)-2*x(2)*x(25)*x(32)*x(39)+x(7)*x(27),
-x(1)*x(5)^2*x(7)-x(2)*x(10)*x(11)*x(20)-x(2)*x(10)*x(15)*x(20)+x(5)*x(7),
-x(1)*x(5)*x(11)*x(20)-x(2)*x(15)*x(19)*x(26)-x(2)*x(11)*x(33)*x(40)+x(7)*x(21),
-x(1)*x(5)*x(15)*x(20)-x(2)*x(11)*x(20)*x(31)-x(2)*x(15)*x(18)*x(40)+x(7)*x(21),
-x(1)*x(5)*x(10)*x(20)-x(2)*x(10)*x(20)*x(31)-x(2)*x(10)*x(33)*x(40)+x(7)*x(11),
-x(2)*x(20)*x(26)*x(39)-x(1)*x(10)*x(11)*x(40)-x(2)*x(33)^2*x(41)+x(7)*x(42),
-x(1)*x(10)*x(15)*x(19)-x(2)*x(18)*x(20)*x(39)-x(2)*x(20)*x(33)*x(39)+x(7)*x(23),
-x(1)*x(5)*x(10)*x(20)-x(2)*x(10)*x(19)*x(26)-x(2)*x(10)*x(18)*x(40)+x(7)*x(15),
-x(1)*x(10)*x(11)*x(31)-x(2)*x(18)*x(26)*x(39)-x(2)*x(26)*x(33)*x(39)+x(7)*x(28),
-x(2)*x(20)*x(26)*x(39)-x(1)*x(10)*x(15)*x(40)-x(2)*x(18)^2*x(41)+x(7)*x(34),
-x(1)*x(4)^2*x(25)-2*x(2)*x(8)*x(13)*x(26)+x(4)*x(25),
-x(1)*x(4)*x(13)*x(34)-x(2)*x(13)*x(25)*x(37)-x(2)*x(8)*x(27)*x(40)+x(13)*x(25),
-x(2)*x(13)*x(32)*x(35)-x(1)*x(4)*x(8)*x(42)-x(2)*x(8)*x(25)*x(44)+x(8)*x(25),
-x(1)*x(8)*x(13)*x(35)-x(2)*x(25)^2*x(38)-x(2)*x(27)*x(32)*x(41)+x(25)^2,
-2*x(2)*x(25)*x(32)*x(38)-x(1)*x(8)^2*x(43)+x(25)*x(32),
-x(1)*x(13)^2*x(36)-2*x(2)*x(25)*x(27)*x(39)+x(25)*x(27),
-x(1)*x(5)^2*x(25)-x(2)*x(11)*x(21)*x(26)-x(2)*x(15)*x(21)*x(26)+x(5)*x(25),
-x(1)*x(5)*x(21)*x(34)-x(2)*x(21)*x(28)*x(40)-x(2)*x(21)*x(37)*x(42)+x(21)*x(25),
-x(2)*x(21)*x(23)*x(35)-x(1)*x(5)*x(21)*x(42)-x(2)*x(21)*x(34)*x(44)+x(21)*x(25),
-x(2)*x(15)*x(23)*x(35)-x(1)*x(5)*x(11)*x(42)-x(2)*x(11)*x(42)*x(44)+x(11)*x(25),
-x(1)*x(11)*x(21)*x(35)-x(2)*x(23)*x(28)*x(41)-x(2)*x(38)*x(42)^2+x(25)*x(42),
-x(2)*x(23)*x(34)*x(38)-x(2)*x(23)*x(38)*x(42)-x(1)*x(11)*x(21)*x(43)+x(23)*x(25),
-x(1)*x(5)*x(15)*x(34)-x(2)*x(15)*x(34)*x(37)-x(2)*x(11)*x(28)*x(40)+x(15)*x(25),
-x(1)*x(15)*x(21)*x(36)-x(2)*x(28)*x(34)*x(39)-x(2)*x(28)*x(39)*x(42)+x(25)*x(28),
-x(1)*x(15)*x(21)*x(35)-x(2)*x(34)^2*x(38)-x(2)*x(23)*x(28)*x(41)+x(25)*x(34),
-x(1)*x(4)*x(5)*x(13)-x(2)*x(13)*x(15)^2-x(2)*x(8)*x(11)*x(21)+x(5)*x(13),
-x(1)*x(4)*x(5)*x(8)-x(2)*x(10)*x(11)*x(13)-x(2)*x(8)*x(10)*x(21)+x(5)*x(8),
-x(1)*x(4)*x(5)*x(8)-x(2)*x(8)*x(11)^2-x(2)*x(6)*x(15)*x(21)+x(5)*x(8),
-x(1)*x(5)^2*x(25)-x(2)*x(15)^2*x(34)-x(2)*x(11)^2*x(42)+x(5)*x(25),
-x(2)*x(10)*x(11)*x(23)-x(2)*x(10)*x(15)*x(23)-x(1)*x(5)^2*x(32)+x(5)*x(32),
-x(1)*x(4)*x(5)*x(13)-x(2)*x(8)*x(15)*x(21)-x(2)*x(6)*x(21)^2+x(5)*x(13),
-x(1)*x(5)^2*x(27)-x(2)*x(11)*x(21)*x(28)-x(2)*x(15)*x(21)*x(28)+x(5)*x(27),
-x(1)*x(5)^2*x(25)-x(2)*x(10)*x(21)*x(34)-x(2)*x(10)*x(21)*x(42)+x(5)*x(25),
-x(1)*x(4)*x(6)*x(13)-x(2)*x(5)*x(7)*x(27)-x(2)*x(5)*x(25)*x(32)+x(5)^2,
-x(1)*x(10)*x(13)^2-x(2)*x(15)*x(20)*x(27)-x(2)*x(21)*x(25)*x(33)+x(5)*x(21),
-x(1)*x(8)*x(13)*x(15)-x(2)*x(18)*x(21)*x(25)-x(2)*x(11)*x(20)*x(27)+x(5)*x(21),
-x(1)*x(6)*x(8)*x(21)-x(2)*x(7)*x(21)*x(28)-x(2)*x(11)*x(32)*x(42)+x(5)*x(11),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(20)*x(28)*x(34)-x(2)*x(33)*x(42)^2+x(5)*x(42),
-x(2)*x(20)*x(23)*x(28)-x(1)*x(15)*x(21)*x(32)-x(2)*x(18)*x(23)*x(42)+x(5)*x(23),
-x(1)*x(6)*x(13)*x(15)-x(2)*x(7)*x(21)*x(28)-x(2)*x(15)*x(32)*x(34)+x(5)*x(15),
-x(1)*x(10)*x(15)*x(27)-x(2)*x(20)*x(28)^2-x(2)*x(28)*x(33)*x(34)+x(5)*x(28),
-x(1)*x(15)^2*x(25)-x(2)*x(18)*x(34)^2-x(2)*x(20)*x(28)*x(42)+x(5)*x(34),
-x(1)*x(4)*x(8)^2-2*x(2)*x(5)*x(25)*x(32)+x(5)^2,
-x(1)*x(8)*x(10)*x(13)-x(2)*x(15)*x(18)*x(25)-x(2)*x(21)*x(26)*x(32)+x(5)*x(15),
-x(1)*x(8)^2*x(11)-x(2)*x(21)*x(26)*x(32)-x(2)*x(11)*x(25)*x(33)+x(5)*x(11),
-x(1)*x(8)^2*x(21)-x(2)*x(11)*x(23)*x(25)-x(2)*x(21)*x(32)*x(34)+x(5)*x(21),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(18)*x(34)^2-x(2)*x(23)*x(26)*x(42)+x(5)*x(34),
-x(2)*x(23)^2*x(26)-x(1)*x(11)*x(21)*x(32)-x(2)*x(23)*x(33)*x(34)+x(5)*x(23),
-x(1)*x(8)*x(11)*x(13)-x(2)*x(15)*x(23)*x(25)-x(2)*x(21)*x(32)*x(42)+x(5)*x(21),
-x(1)*x(10)*x(11)*x(27)-x(2)*x(23)*x(26)*x(28)-x(2)*x(18)*x(28)*x(42)+x(5)*x(28),
-x(1)*x(11)^2*x(25)-x(2)*x(23)*x(26)*x(34)-x(2)*x(33)*x(42)^2+x(5)*x(42),
-x(1)*x(4)*x(8)^2-x(2)*x(8)*x(9)*x(11)-x(2)*x(10)*x(13)*x(14)+x(4)*x(11),
-x(1)*x(4)*x(14)*x(21)-x(2)*x(13)*x(20)*x(28)-x(2)*x(8)*x(23)*x(42)+x(11)*x(13),
-x(1)*x(4)*x(9)*x(11)-x(2)*x(13)*x(26)*x(33)-x(2)*x(8)*x(33)*x(42)+x(8)*x(11),
-x(1)*x(5)*x(21)*x(26)-x(2)*x(15)*x(28)*x(40)-x(2)*x(11)*x(42)*x(44)+x(11)*x(25),
-x(2)*x(15)*x(24)*x(26)-x(1)*x(5)*x(11)*x(33)-x(2)*x(11)*x(33)*x(44)+x(11)*x(32),
-x(1)*x(5)*x(8)*x(21)-x(2)*x(9)*x(16)*x(21)-x(2)*x(14)*x(21)*x(22)+x(11)*x(13),
-x(1)*x(5)*x(21)*x(28)-x(2)*x(21)*x(28)*x(31)-x(2)*x(21)*x(29)*x(42)+x(11)*x(27),
-x(2)*x(21)*x(33)*x(35)-x(1)*x(5)*x(11)*x(42)-x(2)*x(21)*x(26)*x(43)+x(11)*x(25),
-x(1)*x(8)*x(10)*x(13)-x(2)*x(10)*x(20)*x(27)-x(2)*x(11)*x(25)*x(33)+x(5)*x(11),
-x(1)*x(13)*x(14)*x(22)-x(2)*x(20)*x(27)*x(31)-x(2)*x(23)*x(25)*x(43)+x(11)*x(21),
-x(1)*x(9)*x(13)*x(16)-x(2)*x(27)*x(33)*x(40)-x(2)*x(24)*x(25)*x(42)+x(11)*x(21),
-x(1)*x(10)*x(11)*x(21)-x(2)*x(16)*x(20)*x(28)-x(2)*x(12)*x(33)*x(42)+x(11)^2,
-x(1)*x(21)*x(22)*x(26)-x(2)*x(28)*x(31)*x(40)-x(2)*x(42)*x(43)*x(44)+x(11)*x(42),
-x(1)*x(16)*x(21)*x(33)-x(2)*x(24)*x(28)*x(40)-x(2)*x(24)*x(42)*x(44)+x(11)*x(23),
-x(1)*x(10)*x(15)*x(21)-x(2)*x(20)*x(22)*x(28)-x(2)*x(16)*x(33)*x(34)+x(11)*x(15),
-x(1)*x(15)*x(22)*x(28)-x(2)*x(28)*x(31)^2-x(2)*x(29)*x(34)*x(43)+x(11)*x(28),
-x(2)*x(24)*x(34)*x(35)-x(1)*x(15)*x(16)*x(42)-x(2)*x(28)*x(40)*x(43)+x(11)*x(34),
-x(1)*x(8)^2*x(11)-x(2)*x(10)*x(23)*x(25)-x(2)*x(11)*x(32)*x(42)+x(5)*x(11),
-x(1)*x(8)*x(14)*x(16)-x(2)*x(20)*x(25)*x(29)-x(2)*x(23)*x(32)*x(35)+x(11)*x(15),
-x(1)*x(8)*x(9)*x(12)-x(2)*x(25)*x(33)*x(44)-x(2)*x(32)*x(42)*x(44)+x(11)^2,
-x(1)*x(11)^2*x(21)-x(2)*x(16)*x(23)*x(34)-x(2)*x(12)*x(23)*x(42)+x(11)*x(21),
-x(1)*x(16)*x(21)*x(26)-x(2)*x(29)*x(34)*x(40)-x(2)*x(23)*x(35)*x(44)+x(11)*x(34),
-x(1)*x(12)*x(21)*x(33)-x(2)*x(24)*x(34)*x(44)-x(2)*x(23)*x(44)^2+x(11)*x(23),
-x(1)*x(11)^2*x(21)-x(2)*x(16)*x(23)*x(42)-x(2)*x(22)*x(23)*x(42)+x(11)*x(21),
-x(1)*x(11)*x(16)*x(28)-x(2)*x(23)*x(29)*x(35)-x(2)*x(29)*x(31)*x(42)+x(11)*x(28),
-x(1)*x(11)*x(12)*x(42)-x(2)*x(23)*x(35)*x(44)-x(2)*x(42)*x(43)*x(44)+x(11)*x(42),
-x(1)*x(4)*x(6)*x(13)-x(2)*x(10)*x(13)*x(14)-x(2)*x(8)*x(14)*x(15)+x(4)*x(15),
-x(1)*x(4)*x(14)*x(21)-x(2)*x(13)*x(18)*x(34)-x(2)*x(8)*x(23)*x(34)+x(13)*x(15),
-x(1)*x(4)*x(14)*x(15)-x(2)*x(13)*x(18)*x(26)-x(2)*x(8)*x(20)*x(28)+x(8)*x(15),
-x(1)*x(5)*x(10)*x(13)-x(2)*x(11)*x(14)*x(16)-x(2)*x(14)*x(15)*x(22)+x(8)*x(15),
-x(1)*x(5)*x(21)*x(26)-x(2)*x(11)*x(23)*x(35)-x(2)*x(15)*x(34)*x(37)+x(15)*x(25),
-x(1)*x(5)*x(15)*x(18)-x(2)*x(11)*x(20)*x(29)-x(2)*x(15)*x(18)*x(37)+x(15)*x(32),
-x(1)*x(5)*x(13)*x(15)-x(2)*x(14)*x(16)*x(21)-x(2)*x(14)*x(17)*x(21)+x(13)*x(15),
-x(1)*x(5)*x(21)*x(28)-x(2)*x(21)*x(29)*x(34)-x(2)*x(21)*x(23)*x(36)+x(15)*x(27),
-x(1)*x(5)*x(15)*x(34)-x(2)*x(18)*x(21)*x(35)-x(2)*x(20)*x(21)*x(36)+x(15)*x(25),
-x(1)*x(6)*x(13)*x(15)-x(2)*x(15)*x(18)*x(25)-x(2)*x(10)*x(20)*x(27)+x(5)*x(15),
-x(1)*x(13)*x(14)*x(16)-x(2)*x(24)*x(25)*x(34)-x(2)*x(18)*x(27)*x(40)+x(15)*x(21),
-x(1)*x(13)*x(14)*x(17)-x(2)*x(19)*x(26)*x(27)-x(2)*x(19)*x(25)*x(28)+x(15)*x(21),
-x(1)*x(10)*x(15)*x(21)-x(2)*x(20)*x(22)*x(28)-x(2)*x(16)*x(18)*x(42)+x(11)*x(15),
-x(1)*x(16)*x(21)*x(26)-x(2)*x(28)*x(37)*x(40)-x(2)*x(24)*x(35)*x(42)+x(15)*x(42),
-x(1)*x(17)*x(18)*x(21)-x(2)*x(19)*x(28)*x(37)-x(2)*x(19)*x(29)*x(42)+x(15)*x(23),
-x(1)*x(15)^3-x(2)*x(16)*x(20)*x(28)-x(2)*x(17)*x(18)*x(34)+x(15)^2,
-x(1)*x(15)*x(16)*x(28)-x(2)*x(24)*x(34)*x(36)-x(2)*x(28)*x(29)*x(40)+x(15)*x(28),
-x(1)*x(15)*x(17)*x(34)-x(2)*x(19)*x(28)*x(35)-x(2)*x(19)*x(34)*x(36)+x(15)*x(34),
-x(1)*x(6)*x(8)*x(21)-x(2)*x(10)*x(23)*x(25)-x(2)*x(15)*x(32)*x(34)+x(5)*x(15),
-x(1)*x(8)*x(14)*x(22)-x(2)*x(18)*x(25)*x(37)-x(2)*x(32)*x(34)*x(37)+x(15)^2,
-x(1)*x(8)*x(14)*x(16)-x(2)*x(24)*x(25)*x(26)-x(2)*x(28)*x(32)*x(40)+x(11)*x(15),
-x(1)*x(10)*x(21)^2-x(2)*x(16)*x(23)*x(34)-x(2)*x(22)*x(23)*x(34)+x(15)*x(21),
-x(1)*x(21)*x(22)*x(26)-x(2)*x(23)*x(35)*x(37)-x(2)*x(34)*x(37)^2+x(15)*x(34),
-x(1)*x(16)*x(18)*x(21)-x(2)*x(24)*x(34)*x(37)-x(2)*x(23)*x(29)*x(40)+x(15)*x(23),
-x(1)*x(11)*x(15)*x(21)-x(2)*x(17)*x(23)*x(34)-x(2)*x(16)*x(23)*x(42)+x(15)*x(21),
-x(1)*x(11)*x(22)*x(28)-x(2)*x(23)*x(36)*x(37)-x(2)*x(29)*x(37)*x(42)+x(15)*x(28),
-x(1)*x(11)*x(16)*x(34)-x(2)*x(23)*x(36)*x(40)-x(2)*x(24)*x(35)*x(42)+x(15)*x(42),
-x(1)*x(4)*x(6)*x(8)-x(2)*x(8)*x(9)*x(10)-x(2)*x(6)*x(14)*x(15)+x(4)*x(10),
-x(1)*x(5)*x(8)*x(15)-x(2)*x(9)*x(11)*x(16)-x(2)*x(14)*x(15)*x(17)+x(10)*x(13),
-x(1)*x(5)*x(8)*x(10)-x(2)*x(10)*x(14)*x(16)-x(2)*x(9)*x(10)*x(22)+x(8)*x(10),
-x(1)*x(4)*x(10)*x(14)-x(2)*x(6)*x(20)*x(28)-x(2)*x(8)*x(26)*x(33)+x(8)*x(10),
-x(1)*x(5)*x(10)*x(34)-x(2)*x(11)*x(33)*x(35)-x(2)*x(15)*x(20)*x(36)+x(10)*x(25),
-x(1)*x(5)*x(10)*x(18)-x(2)*x(10)*x(20)*x(29)-x(2)*x(10)*x(33)*x(37)+x(10)*x(32),
-x(1)*x(4)*x(11)*x(14)-x(2)*x(6)*x(23)*x(34)-x(2)*x(8)*x(18)*x(42)+x(10)*x(13),
-x(1)*x(5)*x(11)*x(28)-x(2)*x(15)*x(23)*x(36)-x(2)*x(11)*x(29)*x(42)+x(10)*x(27),
-x(1)*x(5)*x(11)*x(26)-x(2)*x(10)*x(23)*x(35)-x(2)*x(10)*x(37)*x(42)+x(10)*x(25),
-x(1)*x(6)^2*x(21)-x(2)*x(7)*x(15)*x(28)-x(2)*x(10)*x(32)*x(42)+x(5)*x(10),
-x(1)*x(10)*x(15)*x(21)-x(2)*x(17)*x(20)*x(28)-x(2)*x(16)*x(33)*x(42)+x(10)*x(21),
-x(1)*x(10)*x(15)*x(21)-x(2)*x(16)*x(20)*x(28)-x(2)*x(18)*x(22)*x(42)+x(10)*x(21),
-x(1)*x(6)*x(14)*x(22)-x(2)*x(7)*x(28)*x(31)-x(2)*x(26)*x(32)*x(43)+x(10)*x(11),
-x(1)*x(10)*x(22)*x(34)-x(2)*x(20)*x(31)*x(36)-x(2)*x(33)*x(35)*x(43)+x(10)*x(42),
-x(1)*x(15)*x(18)*x(22)-x(2)*x(20)*x(29)*x(31)-x(2)*x(18)*x(37)*x(43)+x(10)*x(23),
-x(1)*x(6)*x(14)*x(16)-x(2)*x(7)*x(29)*x(34)-x(2)*x(18)*x(32)*x(35)+x(10)*x(15),
-x(1)*x(10)*x(16)*x(28)-x(2)*x(29)*x(33)*x(35)-x(2)*x(20)*x(29)*x(36)+x(10)*x(28),
-x(1)*x(15)*x(16)*x(26)-x(2)*x(20)*x(29)*x(35)-x(2)*x(18)*x(35)*x(37)+x(10)*x(34),
-x(1)*x(6)*x(8)*x(11)-x(2)*x(15)*x(26)*x(32)-x(2)*x(10)*x(25)*x(33)+x(5)*x(10),
-x(1)*x(10)*x(11)*x(15)-x(2)*x(17)*x(18)*x(26)-x(2)*x(16)*x(26)*x(33)+x(10)*x(15),
-x(1)*x(10)*x(11)^2-x(2)*x(16)*x(26)*x(33)-x(2)*x(22)*x(26)*x(33)+x(10)*x(11),
-x(1)*x(8)*x(14)*x(16)-x(2)*x(24)*x(25)*x(26)-x(2)*x(28)*x(32)*x(40)+x(10)*x(21),
-x(1)*x(10)*x(16)*x(34)-x(2)*x(24)*x(26)*x(35)-x(2)*x(18)*x(36)*x(40)+x(10)*x(34),
-x(1)*x(11)*x(16)*x(18)-x(2)*x(24)*x(26)*x(37)-x(2)*x(29)*x(33)*x(40)+x(10)*x(23),
-x(1)*x(8)*x(12)*x(14)-x(2)*x(18)*x(25)*x(44)-x(2)*x(32)*x(34)*x(44)+x(10)*x(21),
-x(1)*x(10)*x(12)*x(28)-x(2)*x(26)*x(29)*x(44)-x(2)*x(18)*x(36)*x(44)+x(10)*x(28),
-x(1)*x(11)*x(12)*x(26)-x(2)*x(33)*x(35)*x(44)-x(2)*x(26)*x(37)*x(44)+x(10)*x(42),
-x(2)*x(14)^2*x(18)-x(1)*x(8)^2*x(32)-x(2)*x(9)^2*x(33)+x(4)*x(33),
-x(1)*x(8)*x(18)*x(21)-x(2)*x(14)*x(19)*x(28)-x(2)*x(9)*x(24)*x(42)+x(13)*x(33),
-x(2)*x(14)*x(24)*x(26)-x(1)*x(8)*x(11)*x(33)-x(2)*x(9)*x(33)*x(43)+x(8)*x(33),
-x(1)*x(8)*x(10)*x(23)-x(2)*x(14)*x(20)*x(29)-x(2)*x(9)*x(33)*x(44)+x(8)*x(33),
-x(1)*x(10)*x(21)*x(37)-x(2)*x(20)*x(28)*x(39)-x(2)*x(33)*x(38)*x(42)+x(25)*x(33),
-x(1)*x(10)*x(11)*x(24)-x(2)*x(20)*x(26)*x(30)-x(2)*x(33)^2*x(38)+x(32)*x(33),
-x(1)*x(8)*x(11)*x(23)-x(2)*x(14)*x(23)*x(37)-x(2)*x(9)*x(24)*x(42)+x(13)*x(33),
-x(1)*x(11)*x(21)*x(29)-x(2)*x(23)*x(28)*x(39)-x(2)*x(30)*x(42)^2+x(27)*x(33),
-x(2)*x(23)*x(26)*x(38)-x(2)*x(33)*x(38)*x(42)-x(1)*x(11)^2*x(44)+x(25)*x(33),
-x(2)*x(18)*x(20)*x(28)-x(1)*x(10)*x(21)*x(32)-x(2)*x(33)^2*x(42)+x(5)*x(33),
-x(1)*x(18)*x(21)*x(22)-x(2)*x(19)*x(28)*x(31)-x(2)*x(24)*x(42)*x(43)+x(21)*x(33),
-x(1)*x(16)*x(21)*x(33)-x(2)*x(24)*x(28)*x(40)-x(2)*x(24)*x(42)*x(43)+x(21)*x(33),
-x(1)*x(10)*x(22)*x(23)-x(2)*x(20)*x(29)*x(31)-x(2)*x(33)*x(43)*x(44)+x(11)*x(33),
-x(1)*x(22)^2*x(37)-x(2)*x(31)^2*x(39)-x(2)*x(38)*x(43)^2+x(33)*x(42),
-x(1)*x(16)*x(22)*x(24)-x(2)*x(30)*x(31)*x(40)-x(2)*x(24)*x(38)*x(43)+x(23)*x(33),
-x(1)*x(10)*x(16)*x(23)-x(2)*x(24)*x(33)*x(35)-x(2)*x(20)*x(29)*x(37)+x(15)*x(33),
-x(1)*x(16)*x(22)*x(29)-x(2)*x(29)*x(31)*x(39)-x(2)*x(30)*x(35)*x(43)+x(28)*x(33),
-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(44)+x(33)*x(34),
-x(2)*x(18)*x(23)*x(26)-x(1)*x(11)^2*x(32)-x(2)*x(33)^2*x(42)+x(5)*x(33),
-x(1)*x(11)*x(16)*x(18)-x(2)*x(19)*x(26)*x(29)-x(2)*x(24)*x(33)*x(35)+x(15)*x(33),
-x(1)*x(11)*x(12)*x(33)-x(2)*x(24)*x(26)*x(44)-x(2)*x(33)*x(43)*x(44)+x(11)*x(33),
-x(1)*x(11)*x(16)*x(23)-x(2)*x(23)*x(29)*x(40)-x(2)*x(24)*x(42)*x(44)+x(21)*x(33),
-x(1)*x(16)^2*x(37)-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(39)*x(40)+x(33)*x(34),
-x(1)*x(12)*x(16)*x(24)-x(2)*x(24)*x(38)*x(44)-x(2)*x(30)*x(40)*x(44)+x(23)*x(33),
-x(1)*x(11)*x(12)*x(23)-x(2)*x(23)*x(37)*x(44)-x(2)*x(24)*x(42)*x(44)+x(21)*x(33),
-x(1)*x(12)*x(16)*x(29)-x(2)*x(30)*x(35)*x(44)-x(2)*x(29)*x(39)*x(44)+x(28)*x(33),
-x(1)*x(12)^2*x(44)-2*x(2)*x(38)*x(44)^2+x(33)*x(42),
-x(1)*x(7)*x(8)*x(13)-x(2)*x(9)*x(14)*x(20)-x(2)*x(14)^2*x(20)+x(4)*x(20),
-x(1)*x(8)*x(20)*x(21)-x(2)*x(14)*x(19)*x(34)-x(2)*x(9)*x(23)*x(40)+x(13)*x(20),
-x(1)*x(8)*x(15)*x(20)-x(2)*x(9)*x(20)*x(31)-x(2)*x(14)*x(18)*x(40)+x(8)*x(20),
-x(1)*x(10)*x(13)*x(20)-x(2)*x(14)*x(20)*x(31)-x(2)*x(14)*x(33)*x(40)+x(8)*x(20),
-x(2)*x(20)*x(34)*x(39)-x(1)*x(10)*x(21)*x(40)-x(2)*x(23)*x(33)*x(41)+x(20)*x(25),
-x(1)*x(10)*x(15)*x(19)-x(2)*x(18)*x(20)*x(39)-x(2)*x(20)*x(33)*x(39)+x(20)*x(32),
-x(1)*x(11)*x(13)*x(20)-x(2)*x(14)*x(23)*x(40)-x(2)*x(14)*x(19)*x(42)+x(13)*x(20),
-x(1)*x(11)*x(21)*x(31)-x(2)*x(23)*x(34)*x(39)-x(2)*x(23)*x(39)*x(42)+x(20)*x(27),
-x(1)*x(11)*x(15)*x(40)-x(2)*x(18)*x(23)*x(41)-x(2)*x(20)*x(39)*x(42)+x(20)*x(25),
-x(1)*x(7)*x(15)*x(21)-x(2)*x(20)^2*x(28)-x(2)*x(18)*x(20)*x(42)+x(5)*x(20),
-x(1)*x(16)*x(20)*x(21)-x(2)*x(19)*x(28)*x(40)-x(2)*x(24)*x(40)*x(42)+x(20)*x(21),
-x(1)*x(17)*x(20)*x(21)-x(2)*x(19)*x(28)*x(40)-x(2)*x(19)*x(31)*x(42)+x(20)*x(21),
-x(1)*x(15)*x(20)*x(22)-x(2)*x(20)*x(31)^2-x(2)*x(18)*x(40)*x(43)+x(11)*x(20),
-x(1)*x(16)*x(22)*x(40)-x(2)*x(31)*x(39)*x(40)-x(2)*x(24)*x(41)*x(43)+x(20)*x(42),
-x(1)*x(17)*x(19)*x(22)-x(2)*x(19)*x(31)*x(39)-x(2)*x(19)*x(39)*x(43)+x(20)*x(23),
-x(1)*x(15)*x(16)*x(20)-x(2)*x(18)*x(19)*x(35)-x(2)*x(20)*x(29)*x(40)+x(15)*x(20),
-x(1)*x(16)^2*x(31)-x(2)*x(24)*x(35)*x(39)-x(2)*x(29)*x(39)*x(40)+x(20)*x(28),
-x(2)*x(19)*x(35)*x(39)-x(1)*x(16)*x(17)*x(40)-x(2)*x(19)*x(29)*x(41)+x(20)*x(34),
-x(1)*x(7)*x(11)*x(21)-x(2)*x(20)*x(23)*x(26)-x(2)*x(20)*x(33)*x(34)+x(5)*x(20),
-x(1)*x(11)*x(20)*x(22)-x(2)*x(19)*x(26)*x(37)-x(2)*x(33)*x(37)*x(40)+x(15)*x(20),
-x(1)*x(11)*x(16)*x(20)-x(2)*x(24)*x(26)*x(40)-x(2)*x(31)*x(33)*x(40)+x(11)*x(20),
-x(1)*x(16)*x(20)*x(21)-x(2)*x(23)*x(31)*x(40)-x(2)*x(24)*x(34)*x(40)+x(20)*x(21),
-x(1)*x(16)*x(22)*x(40)-x(2)*x(37)*x(39)*x(40)-x(2)*x(24)*x(37)*x(41)+x(20)*x(34),
-x(1)*x(16)^2*x(19)-2*x(2)*x(24)*x(39)*x(40)+x(20)*x(23),
-x(1)*x(12)*x(20)*x(21)-x(2)*x(19)*x(34)*x(44)-x(2)*x(23)*x(40)*x(44)+x(20)*x(21),
-x(1)*x(12)*x(22)*x(31)-2*x(2)*x(37)*x(39)*x(44)+x(20)*x(28),
-x(1)*x(12)*x(16)*x(40)-x(2)*x(39)*x(40)*x(44)-x(2)*x(24)*x(41)*x(44)+x(20)*x(42),
-x(1)*x(4)*x(6)*x(8)-x(2)*x(8)*x(10)*x(14)-x(2)*x(6)*x(11)*x(14)+x(4)*x(10),
-x(2)*x(14)*x(15)*x(16)-x(1)*x(5)*x(6)*x(21)-x(2)*x(11)*x(14)*x(22)+x(10)*x(13),
-x(1)*x(5)*x(6)*x(11)-x(2)*x(10)*x(12)*x(14)-x(2)*x(10)*x(14)*x(16)+x(8)*x(10),
-x(1)*x(4)*x(9)*x(10)-x(2)*x(8)*x(26)*x(33)-x(2)*x(6)*x(18)*x(42)+x(8)*x(10),
-x(2)*x(15)*x(18)*x(35)-x(1)*x(5)*x(10)*x(42)-x(2)*x(11)*x(26)*x(43)+x(10)*x(25),
-x(2)*x(10)*x(24)*x(26)-x(1)*x(5)*x(10)*x(33)-x(2)*x(10)*x(18)*x(44)+x(10)*x(32),
-x(1)*x(4)*x(14)*x(15)-x(2)*x(8)*x(20)*x(28)-x(2)*x(6)*x(23)*x(34)+x(10)*x(13),
-x(1)*x(5)*x(15)*x(28)-x(2)*x(11)*x(28)*x(31)-x(2)*x(15)*x(29)*x(34)+x(10)*x(27),
-x(1)*x(5)*x(15)*x(26)-x(2)*x(10)*x(28)*x(40)-x(2)*x(10)*x(34)*x(44)+x(10)*x(25),
-x(1)*x(6)*x(8)*x(15)-x(2)*x(7)*x(11)*x(28)-x(2)*x(10)*x(32)*x(34)+x(5)*x(10),
-x(1)*x(10)*x(15)*x(21)-x(2)*x(16)*x(20)*x(28)-x(2)*x(22)*x(33)*x(34)+x(10)*x(21),
-x(1)*x(11)*x(15)^2-x(2)*x(12)*x(20)*x(28)-x(2)*x(16)*x(18)*x(34)+x(10)*x(21),
-x(1)*x(6)*x(9)*x(16)-x(2)*x(32)*x(33)*x(35)-x(2)*x(7)*x(29)*x(42)+x(10)*x(11),
-x(2)*x(20)*x(29)*x(35)-x(1)*x(10)*x(16)*x(42)-x(2)*x(33)*x(35)*x(43)+x(10)*x(42),
-x(1)*x(15)*x(16)*x(33)-x(2)*x(18)*x(24)*x(35)-x(2)*x(20)*x(29)*x(44)+x(10)*x(23),
-x(1)*x(6)*x(14)*x(17)-x(2)*x(7)*x(23)*x(36)-x(2)*x(20)*x(32)*x(36)+x(10)*x(15),
-x(1)*x(10)*x(17)*x(28)-x(2)*x(20)*x(29)*x(36)-x(2)*x(31)*x(33)*x(36)+x(10)*x(28),
-x(1)*x(15)*x(17)*x(26)-x(2)*x(18)*x(36)*x(40)-x(2)*x(20)*x(36)*x(44)+x(10)*x(34),
-x(1)*x(8)^2*x(10)-x(2)*x(10)*x(18)*x(25)-x(2)*x(11)*x(26)*x(32)+x(5)*x(10),
-x(1)*x(10)^2*x(21)-x(2)*x(16)*x(18)*x(26)-x(2)*x(18)*x(22)*x(26)+x(10)*x(15),
-x(1)*x(10)*x(11)^2-x(2)*x(16)*x(18)*x(26)-x(2)*x(12)*x(26)*x(33)+x(10)*x(11),
-x(1)*x(8)*x(9)*x(22)-x(2)*x(25)*x(33)*x(37)-x(2)*x(32)*x(37)*x(42)+x(10)*x(21),
-x(2)*x(18)*x(35)*x(37)-x(1)*x(10)*x(22)*x(42)-x(2)*x(26)*x(37)*x(43)+x(10)*x(34),
-x(1)*x(11)*x(22)*x(33)-x(2)*x(24)*x(26)*x(37)-x(2)*x(33)*x(37)*x(44)+x(10)*x(23),
-x(1)*x(8)*x(14)*x(16)-x(2)*x(20)*x(25)*x(29)-x(2)*x(23)*x(32)*x(35)+x(10)*x(21),
-x(1)*x(10)*x(16)*x(28)-x(2)*x(26)*x(29)*x(31)-x(2)*x(18)*x(29)*x(35)+x(10)*x(28),
-x(1)*x(11)*x(16)*x(26)-x(2)*x(26)*x(29)*x(40)-x(2)*x(33)*x(35)*x(44)+x(10)*x(42),
-x(1)*x(6)*x(8)*x(25)-x(2)*x(9)*x(14)*x(26)-x(2)*x(14)^2*x(26)+x(4)*x(26),
-x(1)*x(6)*x(21)*x(34)-x(2)*x(14)*x(28)*x(40)-x(2)*x(14)*x(37)*x(42)+x(13)*x(26),
-x(2)*x(14)*x(33)*x(35)-x(1)*x(6)*x(11)*x(42)-x(2)*x(14)*x(26)*x(44)+x(8)*x(26),
-x(2)*x(14)*x(18)*x(35)-x(1)*x(8)*x(10)*x(42)-x(2)*x(9)*x(26)*x(44)+x(8)*x(26),
-x(1)*x(10)*x(21)*x(35)-x(2)*x(18)*x(28)*x(41)-x(2)*x(26)*x(38)*x(42)+x(25)*x(26),
-x(2)*x(18)*x(26)*x(38)-x(2)*x(26)*x(33)*x(38)-x(1)*x(10)*x(11)*x(43)+x(26)*x(32),
-x(1)*x(8)*x(15)*x(34)-x(2)*x(14)*x(34)*x(37)-x(2)*x(9)*x(28)*x(40)+x(13)*x(26),
-x(1)*x(15)*x(21)*x(36)-x(2)*x(28)*x(34)*x(39)-x(2)*x(28)*x(39)*x(42)+x(26)*x(27),
-x(1)*x(11)*x(15)*x(35)-x(2)*x(26)*x(34)*x(38)-x(2)*x(28)*x(33)*x(41)+x(25)*x(26),
-x(1)*x(10)*x(15)*x(25)-x(2)*x(20)*x(26)*x(28)-x(2)*x(26)*x(33)*x(34)+x(5)*x(26),
-x(1)*x(15)*x(22)*x(34)-x(2)*x(28)*x(31)*x(40)-x(2)*x(34)*x(37)*x(43)+x(21)*x(26),
-x(2)*x(24)*x(34)*x(35)-x(1)*x(15)*x(16)*x(42)-x(2)*x(28)*x(40)*x(44)+x(21)*x(26),
-x(2)*x(20)*x(29)*x(35)-x(1)*x(10)*x(16)*x(42)-x(2)*x(33)*x(35)*x(44)+x(11)*x(26),
-x(1)*x(16)*x(22)*x(35)-x(2)*x(29)*x(31)*x(41)-x(2)*x(35)*x(38)*x(43)+x(26)*x(42),
-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(43)+x(23)*x(26),
-x(1)*x(10)*x(17)*x(34)-x(2)*x(20)*x(36)*x(37)-x(2)*x(33)*x(36)*x(40)+x(15)*x(26),
-x(1)*x(17)*x(22)*x(36)-x(2)*x(31)*x(36)*x(39)-x(2)*x(36)*x(39)*x(43)+x(26)*x(28),
-x(1)*x(16)*x(17)*x(35)-x(2)*x(36)*x(38)*x(40)-x(2)*x(24)*x(36)*x(41)+x(26)*x(34),
-x(1)*x(10)*x(11)*x(25)-x(2)*x(23)*x(26)^2-x(2)*x(18)*x(26)*x(42)+x(5)*x(26),
-x(1)*x(10)*x(16)*x(34)-x(2)*x(18)*x(35)*x(37)-x(2)*x(26)*x(29)*x(40)+x(15)*x(26),
-x(1)*x(10)*x(12)*x(42)-x(2)*x(18)*x(35)*x(44)-x(2)*x(26)*x(44)^2+x(11)*x(26),
-x(2)*x(23)*x(35)*x(37)-x(1)*x(11)*x(22)*x(42)-x(2)*x(37)*x(42)*x(44)+x(21)*x(26),
-x(1)*x(16)*x(22)*x(35)-x(2)*x(35)*x(37)*x(38)-x(2)*x(29)*x(37)*x(41)+x(26)*x(34),
-x(1)*x(12)*x(22)*x(43)-2*x(2)*x(37)*x(38)*x(44)+x(23)*x(26),
-x(1)*x(11)*x(16)*x(34)-x(2)*x(23)*x(35)*x(37)-x(2)*x(29)*x(40)*x(42)+x(21)*x(26),
-x(1)*x(16)^2*x(36)-2*x(2)*x(29)*x(35)*x(39)+x(26)*x(28),
-x(1)*x(12)*x(16)*x(35)-x(2)*x(35)*x(38)*x(44)-x(2)*x(29)*x(41)*x(44)+x(26)*x(42),
-x(2)*x(14)^2*x(18)-x(1)*x(6)*x(13)*x(32)-x(2)*x(14)^2*x(33)+x(4)*x(18),
-x(1)*x(6)*x(21)*x(23)-x(2)*x(14)*x(24)*x(34)-x(2)*x(14)*x(23)*x(37)+x(13)*x(18),
-x(1)*x(6)*x(15)*x(23)-x(2)*x(14)*x(20)*x(29)-x(2)*x(14)*x(18)*x(44)+x(8)*x(18),
-x(2)*x(14)*x(24)*x(26)-x(1)*x(10)*x(13)*x(33)-x(2)*x(14)*x(18)*x(43)+x(8)*x(18),
-x(2)*x(23)*x(26)*x(38)-x(2)*x(18)*x(34)*x(38)-x(1)*x(10)*x(21)*x(44)+x(18)*x(25),
-x(1)*x(10)*x(15)*x(24)-x(2)*x(20)*x(26)*x(30)-x(2)*x(18)^2*x(38)+x(18)*x(32),
-x(1)*x(13)*x(15)*x(18)-x(2)*x(14)*x(19)*x(28)-x(2)*x(14)*x(24)*x(34)+x(13)*x(18),
-x(1)*x(15)*x(21)*x(29)-x(2)*x(30)*x(34)^2-x(2)*x(23)*x(28)*x(39)+x(18)*x(27),
-x(1)*x(15)^2*x(37)-x(2)*x(18)*x(34)*x(38)-x(2)*x(20)*x(28)*x(39)+x(18)*x(25),
-x(1)*x(15)^2*x(32)-x(2)*x(20)*x(28)*x(33)-x(2)*x(18)^2*x(34)+x(5)*x(18),
-x(1)*x(15)*x(16)*x(23)-x(2)*x(24)*x(34)*x(37)-x(2)*x(24)*x(28)*x(40)+x(18)*x(21),
-x(1)*x(15)*x(17)*x(23)-x(2)*x(19)*x(29)*x(34)-x(2)*x(19)*x(28)*x(44)+x(18)*x(21),
-x(1)*x(15)*x(16)*x(33)-x(2)*x(18)*x(24)*x(35)-x(2)*x(20)*x(29)*x(43)+x(11)*x(18),
-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(16)^2*x(44)+x(18)*x(42),
-x(1)*x(16)*x(17)*x(24)-x(2)*x(19)*x(30)*x(35)-x(2)*x(19)*x(29)*x(38)+x(18)*x(23),
-x(1)*x(15)*x(17)*x(18)-x(2)*x(18)*x(19)*x(36)-x(2)*x(20)*x(24)*x(36)+x(15)*x(18),
-x(1)*x(16)*x(17)*x(29)-x(2)*x(24)*x(36)*x(39)-x(2)*x(30)*x(36)*x(40)+x(18)*x(28),
-x(1)*x(17)^2*x(37)-x(2)*x(19)*x(36)*x(38)-x(2)*x(19)*x(36)*x(39)+x(18)*x(34),
-x(1)*x(10)*x(21)*x(32)-x(2)*x(23)*x(26)*x(33)-x(2)*x(18)^2*x(34)+x(5)*x(18),
-x(1)*x(10)*x(22)*x(23)-x(2)*x(24)*x(26)*x(37)-x(2)*x(18)*x(37)^2+x(15)*x(18),
-x(1)*x(10)*x(16)*x(23)-x(2)*x(18)*x(29)*x(40)-x(2)*x(24)*x(26)*x(44)+x(11)*x(18),
-x(1)*x(21)*x(22)*x(33)-x(2)*x(24)*x(34)*x(37)-x(2)*x(23)*x(37)*x(43)+x(18)*x(21),
-2*x(2)*x(37)^2*x(38)-x(1)*x(22)^2*x(44)+x(18)*x(34),
-x(1)*x(16)*x(22)*x(24)-x(2)*x(24)*x(37)*x(38)-x(2)*x(30)*x(37)*x(40)+x(18)*x(23),
-x(1)*x(16)*x(18)*x(21)-x(2)*x(19)*x(29)*x(34)-x(2)*x(23)*x(24)*x(35)+x(18)*x(21),
-x(1)*x(16)*x(22)*x(29)-x(2)*x(30)*x(35)*x(37)-x(2)*x(29)*x(37)*x(39)+x(18)*x(28),
-x(1)*x(16)^2*x(37)-x(2)*x(24)*x(35)*x(38)-x(2)*x(29)*x(39)*x(40)+x(18)*x(42),
-x(1)*x(3)*x(4)^2-2*x(2)*x(4)*x(5)^2+x(8)^2,
-x(1)*x(3)*x(6)*x(13)-x(2)*x(4)*x(15)^2-x(2)*x(4)*x(10)*x(21)+x(8)*x(14),
-x(1)*x(3)*x(8)^2-x(2)*x(4)*x(11)^2-x(2)*x(4)*x(10)*x(21)+x(8)*x(9),
-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(6)*x(21)+x(8)*x(11),
-x(1)*x(4)*x(6)*x(25)-x(2)*x(6)*x(15)*x(34)-x(2)*x(8)*x(10)*x(42)+x(8)*x(26),
-x(2)*x(8)*x(10)*x(23)-x(2)*x(6)*x(11)*x(23)-x(1)*x(4)*x(8)*x(32)+x(8)*x(33),
-x(1)*x(4)^2*x(13)-x(2)*x(5)*x(13)*x(15)-x(2)*x(5)*x(8)*x(21)+x(8)*x(21),
-x(1)*x(4)*x(6)*x(27)-x(2)*x(10)*x(13)*x(28)-x(2)*x(8)*x(15)*x(28)+x(8)*x(28),
-x(1)*x(4)*x(8)*x(25)-x(2)*x(10)*x(13)*x(34)-x(2)*x(8)*x(11)*x(42)+x(8)*x(42),
-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(10)*x(13)+x(8)*x(11),
-x(2)*x(13)*x(15)*x(18)-x(1)*x(4)*x(13)*x(32)-x(2)*x(8)*x(21)*x(33)+x(8)*x(23),
-x(1)*x(4)*x(8)*x(25)-x(2)*x(11)*x(13)*x(26)-x(2)*x(8)*x(21)*x(26)+x(8)*x(42),
-x(1)*x(8)^3-x(2)*x(9)*x(11)^2-x(2)*x(10)*x(14)*x(21)+x(8)*x(12),
-x(1)*x(8)*x(25)*x(32)-x(2)*x(14)*x(18)*x(34)-x(2)*x(9)*x(33)*x(42)+x(8)*x(44),
-x(2)*x(9)*x(23)*x(26)-x(2)*x(14)*x(23)*x(26)-x(1)*x(8)*x(25)*x(32)+x(8)*x(44),
-x(1)*x(6)*x(8)*x(13)-x(2)*x(11)*x(14)*x(15)-x(2)*x(10)*x(14)*x(21)+x(8)*x(16),
-x(2)*x(14)*x(18)*x(28)-x(1)*x(6)*x(27)*x(32)-x(2)*x(14)*x(28)*x(33)+x(8)*x(29),
-x(1)*x(6)*x(25)^2-x(2)*x(14)*x(26)*x(34)-x(2)*x(14)*x(26)*x(42)+x(8)*x(35),
-x(1)*x(4)^2*x(6)-x(2)*x(5)*x(8)*x(10)-x(2)*x(5)*x(6)*x(15)+x(8)*x(10),
-x(1)*x(4)*x(7)*x(13)-x(2)*x(8)*x(15)*x(20)-x(2)*x(6)*x(20)*x(21)+x(8)*x(20),
-x(2)*x(6)*x(18)*x(21)-x(1)*x(4)*x(8)*x(32)-x(2)*x(8)*x(11)*x(33)+x(8)*x(33),
-x(1)*x(7)*x(13)*x(25)-x(2)*x(14)*x(20)*x(34)-x(2)*x(14)*x(20)*x(42)+x(8)*x(40),
-x(2)*x(14)*x(18)*x(23)-x(1)*x(13)*x(32)^2-x(2)*x(14)*x(23)*x(33)+x(8)*x(24),
-x(1)*x(6)*x(8)*x(13)-x(2)*x(14)*x(15)^2-x(2)*x(9)*x(10)*x(21)+x(8)*x(22),
-x(1)*x(7)*x(8)*x(27)-x(2)*x(9)*x(20)*x(28)-x(2)*x(14)*x(20)*x(28)+x(8)*x(31),
-x(1)*x(8)*x(25)*x(32)-x(2)*x(14)*x(18)*x(34)-x(2)*x(9)*x(33)*x(42)+x(8)*x(43),
-x(1)*x(3)*x(14)^2-x(2)*x(4)*x(23)*x(26)-x(2)*x(4)*x(20)*x(28)+x(9)*x(14),
-x(1)*x(3)*x(9)^2-2*x(2)*x(4)*x(33)*x(42)+x(9)^2,
-x(1)*x(4)*x(8)*x(11)-x(2)*x(8)*x(11)*x(12)-x(2)*x(6)*x(16)*x(21)+x(9)*x(11),
-x(1)*x(4)*x(14)*x(26)-x(2)*x(6)*x(28)*x(40)-x(2)*x(8)*x(26)*x(44)+x(9)*x(26),
-x(1)*x(4)*x(9)*x(33)-x(2)*x(6)*x(24)*x(42)-x(2)*x(8)*x(33)*x(44)+x(9)*x(33),
-x(2)*x(11)*x(13)*x(16)-x(1)*x(4)*x(8)*x(21)-x(2)*x(8)*x(21)*x(22)+x(9)*x(21),
-x(1)*x(4)*x(14)*x(28)-x(2)*x(13)*x(26)*x(29)-x(2)*x(8)*x(28)*x(31)+x(9)*x(28),
-x(2)*x(13)*x(33)*x(35)-x(1)*x(4)*x(9)*x(42)-x(2)*x(8)*x(42)*x(43)+x(9)*x(42),
-x(1)*x(4)*x(8)*x(11)-x(2)*x(8)*x(11)*x(12)-x(2)*x(10)*x(13)*x(16)+x(9)*x(11),
-x(1)*x(4)*x(14)*x(23)-x(2)*x(13)*x(20)*x(29)-x(2)*x(8)*x(23)*x(44)+x(9)*x(23),
-x(2)*x(13)*x(33)*x(35)-x(1)*x(4)*x(9)*x(42)-x(2)*x(8)*x(42)*x(44)+x(9)*x(42),
-x(1)*x(8)*x(11)^2-x(2)*x(9)*x(12)^2-x(2)*x(14)*x(16)^2+x(9)*x(12),
-x(1)*x(8)*x(23)*x(26)-x(2)*x(14)*x(29)*x(40)-x(2)*x(9)*x(44)^2+x(9)*x(44),
-x(2)*x(14)*x(24)*x(35)-x(1)*x(8)*x(33)*x(42)-x(2)*x(9)*x(44)^2+x(9)*x(44),
-x(2)*x(12)*x(14)*x(16)-x(1)*x(6)*x(11)*x(21)-x(2)*x(14)*x(16)*x(22)+x(9)*x(16),
-x(1)*x(6)*x(23)*x(28)-x(2)*x(14)*x(29)*x(31)-x(2)*x(14)*x(29)*x(44)+x(9)*x(29),
-x(1)*x(6)*x(42)^2-x(2)*x(14)*x(35)*x(43)-x(2)*x(14)*x(35)*x(44)+x(9)*x(35),
-x(1)*x(4)*x(8)*x(10)-x(2)*x(6)*x(11)*x(16)-x(2)*x(8)*x(10)*x(22)+x(9)*x(10),
-x(1)*x(4)*x(14)*x(20)-x(2)*x(8)*x(20)*x(31)-x(2)*x(6)*x(23)*x(40)+x(9)*x(20),
-x(1)*x(4)*x(9)*x(33)-x(2)*x(6)*x(24)*x(42)-x(2)*x(8)*x(33)*x(43)+x(9)*x(33),
-x(1)*x(10)*x(11)*x(13)-x(2)*x(12)*x(14)*x(16)-x(2)*x(14)*x(16)*x(22)+x(9)*x(16),
-x(1)*x(13)*x(20)*x(26)-x(2)*x(14)*x(31)*x(40)-x(2)*x(14)*x(40)*x(44)+x(9)*x(40),
-x(1)*x(13)*x(33)^2-x(2)*x(14)*x(24)*x(43)-x(2)*x(14)*x(24)*x(44)+x(9)*x(24),
-x(2)*x(14)*x(16)^2-x(1)*x(8)*x(10)*x(21)-x(2)*x(9)*x(22)^2+x(9)*x(22),
-x(1)*x(8)*x(20)*x(28)-x(2)*x(9)*x(31)^2-x(2)*x(14)*x(29)*x(40)+x(9)*x(31),
-x(2)*x(14)*x(24)*x(35)-x(1)*x(8)*x(33)*x(42)-x(2)*x(9)*x(43)^2+x(9)*x(43),
-x(1)*x(3)*x(14)^2-2*x(2)*x(4)*x(18)*x(34)+x(14)^2,
-x(1)*x(4)*x(10)*x(13)-x(2)*x(8)*x(15)*x(16)-x(2)*x(6)*x(21)*x(22)+x(11)*x(14),
-x(1)*x(4)*x(14)*x(26)-x(2)*x(8)*x(18)*x(35)-x(2)*x(6)*x(34)*x(37)+x(14)*x(26),
-x(1)*x(4)*x(14)*x(18)-x(2)*x(8)*x(20)*x(29)-x(2)*x(6)*x(23)*x(37)+x(14)*x(33),
-x(1)*x(4)*x(13)*x(15)-x(2)*x(13)*x(15)*x(17)-x(2)*x(8)*x(16)*x(21)+x(14)*x(21),
-x(1)*x(4)*x(14)*x(28)-x(2)*x(8)*x(29)*x(34)-x(2)*x(13)*x(18)*x(36)+x(14)*x(28),
-x(1)*x(4)*x(14)*x(34)-x(2)*x(8)*x(23)*x(35)-x(2)*x(13)*x(20)*x(36)+x(14)*x(42),
-x(2)*x(8)*x(15)*x(16)-x(1)*x(4)*x(6)*x(21)-x(2)*x(10)*x(13)*x(22)+x(11)*x(14),
-x(1)*x(4)*x(14)*x(23)-x(2)*x(8)*x(24)*x(34)-x(2)*x(13)*x(18)*x(37)+x(14)*x(23),
-x(1)*x(4)*x(14)*x(34)-x(2)*x(13)*x(26)*x(37)-x(2)*x(8)*x(28)*x(40)+x(14)*x(42),
-x(2)*x(9)*x(16)^2-x(1)*x(8)*x(10)*x(21)-x(2)*x(14)*x(22)^2+x(12)*x(14),
-x(1)*x(8)*x(23)*x(26)-x(2)*x(9)*x(24)*x(35)-x(2)*x(14)*x(37)^2+x(14)*x(44),
-x(1)*x(8)*x(18)*x(34)-x(2)*x(14)*x(37)^2-x(2)*x(9)*x(29)*x(40)+x(14)*x(44),
-x(2)*x(14)*x(16)*x(17)-x(1)*x(6)*x(15)*x(21)-x(2)*x(14)*x(16)*x(22)+x(14)*x(16),
-x(1)*x(6)*x(23)*x(28)-x(2)*x(14)*x(24)*x(36)-x(2)*x(14)*x(29)*x(37)+x(14)*x(29),
-x(1)*x(6)*x(34)^2-x(2)*x(14)*x(35)*x(37)-x(2)*x(14)*x(36)*x(40)+x(14)*x(35),
-x(1)*x(4)*x(6)*x(15)-x(2)*x(8)*x(10)*x(16)-x(2)*x(6)*x(15)*x(17)+x(10)*x(14),
-x(1)*x(4)*x(14)*x(20)-x(2)*x(6)*x(19)*x(34)-x(2)*x(8)*x(18)*x(40)+x(14)*x(20),
-x(1)*x(4)*x(14)*x(18)-x(2)*x(8)*x(24)*x(26)-x(2)*x(6)*x(19)*x(28)+x(14)*x(33),
-x(1)*x(10)*x(13)*x(15)-x(2)*x(14)*x(16)*x(17)-x(2)*x(14)*x(16)*x(22)+x(14)*x(16),
-x(1)*x(13)*x(20)*x(26)-x(2)*x(14)*x(19)*x(35)-x(2)*x(14)*x(37)*x(40)+x(14)*x(40),
-x(1)*x(13)*x(18)^2-x(2)*x(14)*x(19)*x(29)-x(2)*x(14)*x(24)*x(37)+x(14)*x(24),
-x(1)*x(8)*x(15)^2-x(2)*x(9)*x(16)^2-x(2)*x(14)*x(17)^2+x(14)*x(22),
-x(1)*x(8)*x(20)*x(28)-x(2)*x(14)*x(19)*x(36)-x(2)*x(9)*x(29)*x(40)+x(14)*x(31),
-x(1)*x(8)*x(18)*x(34)-x(2)*x(9)*x(24)*x(35)-x(2)*x(14)*x(19)*x(36)+x(14)*x(43),
-x(1)*x(4)*x(6)*x(14)-x(2)*x(5)*x(7)*x(28)-x(2)*x(5)*x(26)*x(32)+x(10)*x(11),
-x(1)*x(6)^2*x(34)-x(2)*x(10)*x(32)*x(35)-x(2)*x(7)*x(15)*x(36)+x(10)*x(26),
-x(1)*x(6)*x(8)*x(18)-x(2)*x(7)*x(11)*x(29)-x(2)*x(10)*x(32)*x(37)+x(10)*x(33),
-x(1)*x(4)*x(8)*x(14)-x(2)*x(5)*x(18)*x(25)-x(2)*x(5)*x(32)*x(34)+x(10)*x(21),
-x(1)*x(6)*x(8)*x(28)-x(2)*x(10)*x(25)*x(29)-x(2)*x(15)*x(32)*x(36)+x(10)*x(28),
-x(1)*x(8)^2*x(26)-x(2)*x(11)*x(32)*x(35)-x(2)*x(10)*x(25)*x(37)+x(10)*x(42),
-x(1)*x(5)*x(6)*x(8)-x(2)*x(10)*x(11)^2-x(2)*x(10)*x(15)^2+x(10)*x(11),
-x(2)*x(15)*x(17)*x(18)-x(1)*x(5)*x(15)*x(32)-x(2)*x(11)*x(16)*x(33)+x(10)*x(23),
-x(1)*x(5)*x(10)*x(25)-x(2)*x(15)*x(16)*x(26)-x(2)*x(11)*x(22)*x(26)+x(10)*x(42),
-x(1)*x(8)*x(10)*x(14)-x(2)*x(10)*x(20)*x(28)-x(2)*x(11)*x(26)*x(33)+x(10)*x(12),
-x(1)*x(10)*x(32)*x(34)-x(2)*x(33)^2*x(35)-x(2)*x(18)*x(20)*x(36)+x(10)*x(44),
-x(1)*x(10)*x(18)*x(25)-x(2)*x(20)*x(26)*x(29)-x(2)*x(26)*x(33)*x(37)+x(10)*x(44),
-x(1)*x(8)*x(10)*x(14)-x(2)*x(11)*x(18)*x(26)-x(2)*x(10)*x(18)*x(34)+x(10)*x(16),
-x(1)*x(10)*x(28)*x(32)-x(2)*x(26)*x(29)*x(33)-x(2)*x(18)^2*x(36)+x(10)*x(29),
-x(1)*x(10)*x(25)*x(26)-x(2)*x(18)*x(26)*x(35)-x(2)*x(26)^2*x(37)+x(10)*x(35),
-x(1)*x(5)*x(6)^2-2*x(2)*x(10)^2*x(15)+x(10)^2,
-x(1)*x(5)*x(7)*x(15)-x(2)*x(10)*x(16)*x(20)-x(2)*x(10)*x(17)*x(20)+x(10)*x(20),
-x(2)*x(10)*x(18)*x(22)-x(1)*x(5)*x(10)*x(32)-x(2)*x(10)*x(16)*x(33)+x(10)*x(33),
-x(1)*x(6)*x(14)*x(15)-x(2)*x(15)*x(18)*x(26)-x(2)*x(10)*x(20)*x(28)+x(10)*x(16),
-x(1)*x(7)*x(15)*x(34)-x(2)*x(18)*x(20)*x(35)-x(2)*x(20)^2*x(36)+x(10)*x(40),
-x(1)*x(15)*x(18)*x(32)-x(2)*x(20)*x(29)*x(33)-x(2)*x(18)^2*x(37)+x(10)*x(24),
-x(1)*x(6)*x(11)*x(14)-x(2)*x(15)*x(18)*x(26)-x(2)*x(10)*x(33)*x(34)+x(10)*x(22),
-x(1)*x(7)*x(11)*x(28)-x(2)*x(20)*x(26)*x(29)-x(2)*x(20)*x(33)*x(36)+x(10)*x(31),
-x(1)*x(11)*x(26)*x(32)-x(2)*x(33)^2*x(35)-x(2)*x(18)*x(26)*x(37)+x(10)*x(43),
-x(1)*x(6)*x(8)*x(23)-x(2)*x(7)*x(21)*x(29)-x(2)*x(11)*x(32)*x(44)+x(11)*x(33),
-x(1)*x(6)*x(14)*x(37)-x(2)*x(26)*x(32)*x(38)-x(2)*x(7)*x(28)*x(39)+x(26)*x(33),
-x(1)*x(6)*x(9)*x(24)-x(2)*x(32)*x(33)*x(38)-x(2)*x(7)*x(30)*x(42)+x(33)^2,
-x(1)*x(8)^2*x(23)-x(2)*x(11)*x(24)*x(25)-x(2)*x(21)*x(32)*x(37)+x(21)*x(33),
-x(1)*x(8)*x(14)*x(29)-x(2)*x(25)*x(26)*x(30)-x(2)*x(28)*x(32)*x(39)+x(28)*x(33),
-x(2)*x(25)*x(33)*x(38)-x(2)*x(32)*x(38)*x(42)-x(1)*x(8)*x(9)*x(44)+x(33)*x(42),
-x(2)*x(15)*x(16)*x(18)-x(1)*x(5)*x(11)*x(32)-x(2)*x(11)*x(12)*x(33)+x(11)*x(33),
-x(1)*x(5)*x(18)*x(23)-x(2)*x(15)*x(19)*x(29)-x(2)*x(11)*x(24)*x(44)+x(23)*x(33),
-x(2)*x(15)*x(24)*x(35)-x(1)*x(5)*x(33)*x(42)-x(2)*x(11)*x(43)*x(44)+x(33)*x(42),
-x(1)*x(10)*x(11)*x(23)-x(2)*x(16)*x(20)*x(29)-x(2)*x(12)*x(33)*x(44)+x(12)*x(33),
-x(1)*x(10)*x(23)*x(37)-x(2)*x(20)*x(29)*x(39)-x(2)*x(33)*x(38)*x(44)+x(33)*x(44),
-x(2)*x(20)*x(30)*x(35)-x(1)*x(10)*x(24)*x(42)-x(2)*x(33)*x(38)*x(44)+x(33)*x(44),
-x(1)*x(10)*x(11)*x(23)-x(2)*x(12)*x(24)*x(26)-x(2)*x(16)*x(18)*x(37)+x(16)*x(33),
-x(1)*x(10)*x(23)*x(29)-x(2)*x(18)*x(29)*x(39)-x(2)*x(26)*x(30)*x(44)+x(29)*x(33),
-x(2)*x(18)*x(35)*x(38)-x(2)*x(26)*x(38)*x(44)-x(1)*x(10)*x(42)*x(44)+x(33)*x(35),
-x(1)*x(5)*x(18)*x(20)-x(2)*x(10)*x(19)*x(31)-x(2)*x(10)*x(24)*x(40)+x(20)*x(33),
-x(1)*x(5)*x(33)^2-2*x(2)*x(10)*x(24)*x(43)+x(33)^2,
-x(1)*x(10)*x(15)*x(23)-x(2)*x(20)*x(22)*x(29)-x(2)*x(16)*x(18)*x(44)+x(16)*x(33),
-x(1)*x(15)*x(20)*x(37)-x(2)*x(20)*x(31)*x(39)-x(2)*x(18)*x(38)*x(40)+x(33)*x(40),
-x(1)*x(15)*x(24)*x(33)-x(2)*x(18)*x(24)*x(38)-x(2)*x(20)*x(30)*x(43)+x(24)*x(33),
-x(1)*x(10)*x(11)*x(23)-x(2)*x(16)*x(24)*x(26)-x(2)*x(22)*x(33)*x(37)+x(22)*x(33),
-x(1)*x(11)*x(20)*x(29)-x(2)*x(31)*x(33)*x(39)-x(2)*x(26)*x(30)*x(40)+x(31)*x(33),
-x(2)*x(24)*x(26)*x(38)-x(2)*x(33)*x(38)*x(43)-x(1)*x(11)*x(33)*x(44)+x(33)*x(43),
-x(1)*x(6)*x(13)*x(20)-x(2)*x(7)*x(21)*x(31)-x(2)*x(15)*x(32)*x(40)+x(11)*x(20),
-x(2)*x(7)*x(34)*x(39)-x(1)*x(6)*x(14)*x(40)-x(2)*x(18)*x(32)*x(41)+x(20)*x(26),
-x(1)*x(6)*x(14)*x(19)-x(2)*x(7)*x(23)*x(39)-x(2)*x(20)*x(32)*x(39)+x(20)*x(33),
-x(1)*x(8)*x(13)*x(20)-x(2)*x(15)*x(19)*x(25)-x(2)*x(21)*x(32)*x(40)+x(20)*x(21),
-x(1)*x(8)*x(14)*x(31)-x(2)*x(18)*x(25)*x(39)-x(2)*x(32)*x(34)*x(39)+x(20)*x(28),
-x(2)*x(20)*x(25)*x(39)-x(1)*x(8)*x(14)*x(40)-x(2)*x(23)*x(32)*x(41)+x(20)*x(42),
-x(2)*x(11)*x(16)*x(20)-x(1)*x(5)*x(7)*x(21)-x(2)*x(15)*x(20)*x(22)+x(11)*x(20),
-x(1)*x(5)*x(20)*x(23)-x(2)*x(15)*x(19)*x(37)-x(2)*x(11)*x(24)*x(40)+x(20)*x(23),
-x(1)*x(5)*x(20)*x(34)-x(2)*x(11)*x(31)*x(40)-x(2)*x(15)*x(37)*x(40)+x(20)*x(42),
-x(1)*x(10)*x(20)*x(21)-x(2)*x(20)*x(22)*x(31)-x(2)*x(16)*x(33)*x(40)+x(12)*x(20),
-x(2)*x(20)*x(37)*x(39)-x(1)*x(10)*x(23)*x(40)-x(2)*x(24)*x(33)*x(41)+x(20)*x(44),
-x(1)*x(10)*x(19)*x(34)-x(2)*x(20)*x(37)*x(39)-x(2)*x(33)*x(39)*x(40)+x(20)*x(44),
-x(1)*x(10)*x(20)*x(21)-x(2)*x(16)*x(19)*x(26)-x(2)*x(18)*x(22)*x(40)+x(16)*x(20),
-x(1)*x(10)*x(23)*x(31)-x(2)*x(24)*x(26)*x(39)-x(2)*x(18)*x(37)*x(39)+x(20)*x(29),
-x(1)*x(10)*x(34)*x(40)-x(2)*x(26)*x(39)*x(40)-x(2)*x(18)*x(37)*x(41)+x(20)*x(35),
-x(1)*x(5)*x(20)^2-2*x(2)*x(10)*x(19)*x(40)+x(20)^2,
-x(1)*x(15)^2*x(20)-x(2)*x(16)*x(20)*x(31)-x(2)*x(17)*x(18)*x(40)+x(16)*x(20),
-x(1)*x(15)*x(20)*x(40)-x(2)*x(20)*x(39)*x(40)-x(2)*x(18)*x(19)*x(41)+x(20)*x(40),
-x(1)*x(15)*x(18)*x(19)-x(2)*x(18)*x(19)*x(39)-x(2)*x(20)*x(24)*x(39)+x(20)*x(24),
-x(1)*x(11)*x(15)*x(20)-x(2)*x(17)*x(19)*x(26)-x(2)*x(16)*x(33)*x(40)+x(20)*x(22),
-x(1)*x(11)*x(20)*x(31)-x(2)*x(19)*x(26)*x(39)-x(2)*x(33)*x(39)*x(40)+x(20)*x(31),
-x(2)*x(19)*x(26)*x(39)-x(1)*x(11)*x(18)*x(40)-x(2)*x(24)*x(33)*x(41)+x(20)*x(43),
-x(1)*x(4)*x(8)*x(9)-x(2)*x(5)*x(25)*x(33)-x(2)*x(5)*x(32)*x(42)+x(11)^2,
-x(2)*x(15)*x(32)*x(35)-x(1)*x(6)*x(8)*x(42)-x(2)*x(10)*x(25)*x(43)+x(11)*x(26),
-x(2)*x(10)*x(24)*x(25)-x(1)*x(8)^2*x(33)-x(2)*x(11)*x(32)*x(44)+x(11)*x(33),
-x(1)*x(4)*x(13)*x(14)-x(2)*x(5)*x(23)*x(25)-x(2)*x(5)*x(20)*x(27)+x(11)*x(21),
-x(1)*x(6)*x(13)*x(28)-x(2)*x(15)*x(25)*x(29)-x(2)*x(10)*x(27)*x(31)+x(11)*x(28),
-x(1)*x(8)*x(13)*x(26)-x(2)*x(10)*x(27)*x(40)-x(2)*x(11)*x(25)*x(44)+x(11)*x(42),
-x(1)*x(5)*x(8)^2-2*x(2)*x(10)*x(11)*x(21)+x(11)^2,
-x(2)*x(16)*x(18)*x(21)-x(1)*x(5)*x(21)*x(32)-x(2)*x(21)*x(22)*x(33)+x(11)*x(23),
-x(1)*x(5)*x(11)*x(25)-x(2)*x(12)*x(21)*x(26)-x(2)*x(16)*x(21)*x(26)+x(11)*x(42),
-x(1)*x(8)*x(9)*x(11)-x(2)*x(10)*x(23)*x(42)-x(2)*x(11)*x(33)*x(42)+x(11)*x(12),
-x(2)*x(18)*x(23)*x(35)-x(1)*x(11)*x(32)*x(42)-x(2)*x(33)*x(42)*x(43)+x(11)*x(44),
-x(1)*x(11)*x(25)*x(33)-x(2)*x(24)*x(26)*x(42)-x(2)*x(23)*x(26)*x(44)+x(11)*x(44),
-x(1)*x(8)*x(14)*x(15)-x(2)*x(11)*x(20)*x(28)-x(2)*x(10)*x(23)*x(34)+x(11)*x(16),
-x(1)*x(15)*x(28)*x(32)-x(2)*x(28)*x(31)*x(33)-x(2)*x(18)*x(29)*x(34)+x(11)*x(29),
-x(1)*x(15)*x(25)*x(26)-x(2)*x(26)*x(28)*x(40)-x(2)*x(26)*x(34)*x(44)+x(11)*x(35),
-x(1)*x(6)*x(9)*x(21)-x(2)*x(15)*x(33)*x(34)-x(2)*x(10)*x(23)*x(42)+x(11)*x(16),
-x(2)*x(20)*x(23)*x(35)-x(1)*x(7)*x(21)*x(42)-x(2)*x(20)*x(34)*x(43)+x(11)*x(40),
-x(1)*x(21)*x(32)*x(33)-x(2)*x(18)*x(24)*x(34)-x(2)*x(23)*x(33)*x(44)+x(11)*x(24),
-x(1)*x(6)*x(14)*x(21)-x(2)*x(15)*x(20)*x(28)-x(2)*x(10)*x(23)*x(42)+x(11)*x(22),
-x(1)*x(7)*x(21)*x(28)-x(2)*x(20)*x(28)*x(31)-x(2)*x(20)*x(29)*x(42)+x(11)*x(31),
-x(1)*x(21)*x(26)*x(32)-x(2)*x(18)*x(28)*x(40)-x(2)*x(33)*x(42)*x(44)+x(11)*x(43),
-x(2)*x(21)*x(32)*x(35)-x(1)*x(8)^2*x(42)-x(2)*x(11)*x(25)*x(44)+x(11)*x(42),
-x(1)*x(8)*x(14)*x(35)-x(2)*x(25)*x(26)*x(38)-x(2)*x(28)*x(32)*x(41)+x(26)*x(42),
-x(2)*x(25)*x(33)*x(38)-x(2)*x(32)*x(38)*x(42)-x(1)*x(8)*x(9)*x(43)+x(33)*x(42),
-x(1)*x(8)*x(13)*x(34)-x(2)*x(21)*x(25)*x(37)-x(2)*x(11)*x(27)*x(40)+x(21)*x(42),
-x(1)*x(13)*x(14)*x(36)-x(2)*x(26)*x(27)*x(39)-x(2)*x(25)*x(28)*x(39)+x(28)*x(42),
-x(1)*x(9)*x(13)*x(35)-x(2)*x(27)*x(33)*x(41)-x(2)*x(25)*x(38)*x(42)+x(42)^2,
-x(1)*x(5)*x(23)*x(34)-x(2)*x(21)*x(29)*x(40)-x(2)*x(21)*x(37)*x(44)+x(23)*x(42),
-x(1)*x(5)*x(42)^2-2*x(2)*x(21)*x(35)*x(44)+x(42)^2,
-x(2)*x(16)*x(23)*x(35)-x(1)*x(11)^2*x(42)-x(2)*x(12)*x(42)*x(44)+x(12)*x(42),
-x(1)*x(11)*x(23)*x(35)-x(2)*x(23)*x(29)*x(41)-x(2)*x(38)*x(42)*x(44)+x(42)*x(44),
-x(2)*x(23)*x(35)*x(38)-x(1)*x(11)*x(42)*x(43)-x(2)*x(38)*x(42)*x(44)+x(42)*x(44),
-x(1)*x(11)*x(15)*x(34)-x(2)*x(16)*x(34)*x(37)-x(2)*x(12)*x(28)*x(40)+x(16)*x(42),
-x(1)*x(15)*x(23)*x(36)-x(2)*x(29)*x(34)*x(39)-x(2)*x(28)*x(39)*x(44)+x(29)*x(42),
-x(2)*x(34)*x(35)*x(38)-x(1)*x(15)*x(35)*x(42)-x(2)*x(28)*x(41)*x(44)+x(35)*x(42),
-x(2)*x(22)*x(23)*x(35)-x(1)*x(10)*x(21)*x(42)-x(2)*x(16)*x(34)*x(44)+x(16)*x(42),
-x(1)*x(20)*x(21)*x(35)-x(2)*x(34)*x(38)*x(40)-x(2)*x(23)*x(31)*x(41)+x(40)*x(42),
-x(2)*x(24)*x(34)*x(38)-x(1)*x(21)*x(33)*x(43)-x(2)*x(23)*x(38)*x(43)+x(24)*x(42),
-x(1)*x(10)*x(21)*x(34)-x(2)*x(16)*x(28)*x(40)-x(2)*x(22)*x(37)*x(42)+x(22)*x(42),
-x(1)*x(20)*x(21)*x(36)-x(2)*x(28)*x(39)*x(40)-x(2)*x(31)*x(39)*x(42)+x(31)*x(42),
-x(1)*x(21)*x(33)*x(35)-x(2)*x(24)*x(28)*x(41)-x(2)*x(38)*x(42)*x(43)+x(42)*x(43),
-x(2)*x(15)*x(24)*x(25)-x(1)*x(8)*x(13)*x(33)-x(2)*x(21)*x(32)*x(43)+x(11)*x(23),
-x(2)*x(18)*x(25)*x(38)-x(2)*x(32)*x(34)*x(38)-x(1)*x(8)*x(14)*x(44)+x(23)*x(26),
-x(1)*x(8)*x(14)*x(24)-x(2)*x(20)*x(25)*x(30)-x(2)*x(23)*x(32)*x(38)+x(23)*x(33),
-x(1)*x(13)^2*x(18)-x(2)*x(21)*x(24)*x(25)-x(2)*x(15)*x(19)*x(27)+x(21)*x(23),
-x(1)*x(13)*x(14)*x(29)-x(2)*x(25)*x(30)*x(34)-x(2)*x(18)*x(27)*x(39)+x(23)*x(28),
-x(1)*x(13)*x(14)*x(37)-x(2)*x(23)*x(25)*x(38)-x(2)*x(20)*x(27)*x(39)+x(23)*x(42),
-x(1)*x(5)*x(23)^2-2*x(2)*x(21)*x(24)*x(37)+x(23)^2,
-x(1)*x(11)*x(21)*x(33)-x(2)*x(16)*x(24)*x(42)-x(2)*x(22)*x(23)*x(43)+x(12)*x(23),
-x(2)*x(23)*x(37)*x(38)-x(2)*x(24)*x(38)*x(42)-x(1)*x(11)*x(23)*x(44)+x(23)*x(44),
-x(1)*x(11)*x(24)*x(34)-x(2)*x(23)*x(37)*x(38)-x(2)*x(30)*x(40)*x(42)+x(23)*x(44),
-x(1)*x(15)*x(18)*x(21)-x(2)*x(16)*x(19)*x(28)-x(2)*x(22)*x(24)*x(34)+x(16)*x(23),
-x(1)*x(15)*x(23)*x(29)-x(2)*x(30)*x(34)*x(37)-x(2)*x(24)*x(28)*x(39)+x(23)*x(29),
-x(1)*x(15)*x(34)*x(37)-x(2)*x(34)*x(37)*x(38)-x(2)*x(28)*x(39)*x(40)+x(23)*x(35),
-x(1)*x(15)*x(21)*x(33)-x(2)*x(17)*x(24)*x(34)-x(2)*x(16)*x(23)*x(43)+x(16)*x(23),
-x(2)*x(19)*x(34)*x(38)-x(2)*x(23)*x(38)*x(40)-x(1)*x(20)*x(21)*x(44)+x(23)*x(40),
-x(1)*x(18)*x(21)*x(24)-x(2)*x(19)*x(30)*x(34)-x(2)*x(23)*x(24)*x(38)+x(23)*x(24),
-x(1)*x(15)*x(18)*x(21)-x(2)*x(17)*x(19)*x(28)-x(2)*x(16)*x(24)*x(42)+x(22)*x(23),
-x(1)*x(20)*x(21)*x(29)-x(2)*x(19)*x(28)*x(39)-x(2)*x(30)*x(40)*x(42)+x(23)*x(31),
-x(1)*x(18)*x(21)*x(37)-x(2)*x(19)*x(28)*x(39)-x(2)*x(24)*x(38)*x(42)+x(23)*x(43),
-x(1)*x(5)*x(8)*x(13)-x(2)*x(11)^2*x(21)-x(2)*x(15)^2*x(21)+x(11)*x(21),
-x(1)*x(5)*x(15)*x(25)-x(2)*x(15)*x(17)*x(34)-x(2)*x(11)*x(16)*x(42)+x(21)*x(26),
-x(2)*x(15)*x(16)*x(23)-x(2)*x(11)*x(22)*x(23)-x(1)*x(5)*x(21)*x(32)+x(21)*x(33),
-x(1)*x(5)*x(13)^2-2*x(2)*x(15)*x(21)^2+x(21)^2,
-x(1)*x(5)*x(15)*x(27)-x(2)*x(16)*x(21)*x(28)-x(2)*x(17)*x(21)*x(28)+x(21)*x(28),
-x(1)*x(5)*x(21)*x(25)-x(2)*x(21)*x(22)*x(34)-x(2)*x(16)*x(21)*x(42)+x(21)*x(42),
-x(1)*x(8)*x(14)*x(21)-x(2)*x(20)*x(21)*x(28)-x(2)*x(11)*x(23)*x(42)+x(12)*x(21),
-x(1)*x(18)*x(21)*x(25)-x(2)*x(19)*x(28)*x(34)-x(2)*x(24)*x(42)^2+x(21)*x(44),
-x(1)*x(21)*x(32)*x(34)-x(2)*x(23)*x(28)*x(40)-x(2)*x(23)*x(37)*x(42)+x(21)*x(44),
-x(1)*x(13)*x(14)*x(15)-x(2)*x(20)*x(21)*x(28)-x(2)*x(15)*x(23)*x(34)+x(16)*x(21),
-x(1)*x(15)*x(18)*x(27)-x(2)*x(19)*x(28)^2-x(2)*x(24)*x(28)*x(34)+x(21)*x(29),
-x(1)*x(15)*x(25)*x(34)-x(2)*x(34)^2*x(37)-x(2)*x(28)*x(40)*x(42)+x(21)*x(35),
-x(1)*x(8)*x(14)*x(21)-x(2)*x(18)*x(21)*x(34)-x(2)*x(11)*x(23)*x(34)+x(16)*x(21),
-x(1)*x(20)*x(21)*x(25)-x(2)*x(19)*x(34)^2-x(2)*x(23)*x(40)*x(42)+x(21)*x(40),
-x(1)*x(21)*x(23)*x(32)-x(2)*x(23)*x(24)*x(34)-x(2)*x(23)^2*x(37)+x(21)*x(24),
-x(1)*x(11)*x(13)*x(14)-x(2)*x(15)*x(23)*x(34)-x(2)*x(18)*x(21)*x(42)+x(21)*x(22),
-x(1)*x(11)*x(20)*x(27)-x(2)*x(23)*x(28)*x(40)-x(2)*x(19)*x(28)*x(42)+x(21)*x(31),
-x(1)*x(11)*x(23)*x(25)-x(2)*x(23)*x(34)*x(37)-x(2)*x(24)*x(42)^2+x(21)*x(43),
-x(1)*x(5)*x(11)*x(25)-x(2)*x(15)*x(16)*x(34)-x(2)*x(11)*x(12)*x(42)+x(11)*x(42),
-x(1)*x(5)*x(26)*x(34)-x(2)*x(15)*x(36)*x(40)-x(2)*x(11)*x(35)*x(44)+x(26)*x(42),
-x(1)*x(5)*x(28)*x(34)-x(2)*x(21)*x(29)*x(35)-x(2)*x(21)*x(31)*x(36)+x(28)*x(42),
-x(1)*x(5)*x(42)^2-2*x(2)*x(21)*x(35)*x(43)+x(42)^2,
-x(1)*x(11)*x(21)*x(26)-x(2)*x(16)*x(28)*x(40)-x(2)*x(12)*x(42)*x(44)+x(12)*x(42),
-x(1)*x(21)*x(26)*x(37)-x(2)*x(28)*x(39)*x(40)-x(2)*x(38)*x(42)*x(44)+x(42)*x(44),
-x(1)*x(21)*x(33)*x(35)-x(2)*x(24)*x(28)*x(41)-x(2)*x(38)*x(42)*x(44)+x(42)*x(44),
-x(1)*x(15)*x(21)*x(26)-x(2)*x(22)*x(28)*x(40)-x(2)*x(16)*x(34)*x(44)+x(16)*x(42),
-x(1)*x(15)*x(28)*x(37)-x(2)*x(29)*x(34)*x(38)-x(2)*x(28)*x(31)*x(39)+x(29)*x(42),
-x(2)*x(34)*x(35)*x(38)-x(1)*x(15)*x(35)*x(42)-x(2)*x(28)*x(41)*x(43)+x(35)*x(42),
-x(1)*x(11)*x(21)*x(26)-x(2)*x(12)*x(23)*x(35)-x(2)*x(16)*x(34)*x(37)+x(16)*x(42),
-x(1)*x(21)*x(26)*x(40)-x(2)*x(34)*x(39)*x(40)-x(2)*x(23)*x(41)*x(44)+x(40)*x(42),
-x(2)*x(24)*x(34)*x(38)-x(1)*x(21)*x(33)*x(44)-x(2)*x(23)*x(38)*x(44)+x(24)*x(42),
-x(1)*x(11)*x(21)*x(26)-x(2)*x(16)*x(23)*x(35)-x(2)*x(22)*x(37)*x(42)+x(22)*x(42),
-x(1)*x(11)*x(28)*x(40)-x(2)*x(23)*x(29)*x(41)-x(2)*x(31)*x(39)*x(42)+x(31)*x(42),
-x(2)*x(23)*x(35)*x(38)-x(2)*x(38)*x(42)*x(43)-x(1)*x(11)*x(42)*x(44)+x(42)*x(43),
-x(1)*x(5)*x(10)*x(27)-x(2)*x(11)*x(16)*x(28)-x(2)*x(15)*x(22)*x(28)+x(11)*x(28),
-x(1)*x(5)*x(26)*x(28)-x(2)*x(11)*x(29)*x(35)-x(2)*x(15)*x(36)*x(37)+x(26)*x(28),
-x(1)*x(5)*x(18)*x(28)-x(2)*x(11)*x(29)*x(31)-x(2)*x(15)*x(29)*x(37)+x(28)*x(33),
-x(1)*x(5)*x(28)^2-2*x(2)*x(21)*x(29)*x(36)+x(28)^2,
-x(1)*x(10)*x(21)*x(28)-x(2)*x(22)*x(28)*x(31)-x(2)*x(16)*x(29)*x(42)+x(12)*x(28),
-x(1)*x(21)*x(26)*x(29)-x(2)*x(28)*x(37)*x(39)-x(2)*x(30)*x(35)*x(42)+x(28)*x(44),
-x(1)*x(18)*x(21)*x(36)-x(2)*x(28)*x(37)*x(39)-x(2)*x(29)*x(39)*x(42)+x(28)*x(44),
-x(1)*x(15)^2*x(28)-x(2)*x(16)*x(28)*x(31)-x(2)*x(17)*x(29)*x(34)+x(16)*x(28),
-x(1)*x(15)*x(28)*x(29)-x(2)*x(30)*x(34)*x(36)-x(2)*x(28)*x(29)*x(39)+x(28)*x(29),
-x(1)*x(15)*x(34)*x(36)-x(2)*x(28)*x(35)*x(39)-x(2)*x(34)*x(36)*x(39)+x(28)*x(35),
-x(1)*x(10)*x(21)*x(28)-x(2)*x(22)*x(29)*x(34)-x(2)*x(16)*x(23)*x(36)+x(16)*x(28),
-x(1)*x(21)*x(26)*x(31)-x(2)*x(23)*x(35)*x(39)-x(2)*x(34)*x(37)*x(39)+x(28)*x(40),
-x(1)*x(18)*x(21)*x(29)-x(2)*x(30)*x(34)*x(37)-x(2)*x(23)*x(29)*x(39)+x(24)*x(28),
-x(1)*x(11)*x(15)*x(28)-x(2)*x(17)*x(23)*x(36)-x(2)*x(16)*x(29)*x(42)+x(22)*x(28),
-x(1)*x(11)*x(28)*x(31)-x(2)*x(23)*x(36)*x(39)-x(2)*x(29)*x(39)*x(42)+x(28)*x(31),
-x(1)*x(11)*x(29)*x(34)-x(2)*x(23)*x(36)*x(39)-x(2)*x(30)*x(35)*x(42)+x(28)*x(43),
-x(1)*x(10)*x(13)*x(14)-x(2)*x(15)*x(20)*x(28)-x(2)*x(21)*x(26)*x(33)+x(11)*x(22),
-x(1)*x(10)*x(15)*x(34)-x(2)*x(16)*x(33)*x(35)-x(2)*x(17)*x(20)*x(36)+x(22)*x(26),
-x(1)*x(10)*x(18)*x(21)-x(2)*x(16)*x(20)*x(29)-x(2)*x(22)*x(33)*x(37)+x(22)*x(33),
-x(1)*x(14)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(23)*x(26)*x(43)+x(12)*x(22),
-x(1)*x(18)*x(22)*x(34)-x(2)*x(19)*x(31)*x(36)-x(2)*x(24)*x(35)*x(43)+x(22)*x(44),
-x(1)*x(18)*x(22)*x(34)-x(2)*x(29)*x(31)*x(40)-x(2)*x(37)^2*x(43)+x(22)*x(44),
-x(1)*x(14)^2*x(16)-x(2)*x(20)*x(29)*x(34)-x(2)*x(18)*x(23)*x(35)+x(16)*x(22),
-x(1)*x(16)*x(18)*x(28)-x(2)*x(24)*x(29)*x(35)-x(2)*x(19)*x(29)*x(36)+x(22)*x(29),
-x(1)*x(16)*x(26)*x(34)-x(2)*x(35)*x(37)^2-x(2)*x(29)*x(35)*x(40)+x(22)*x(35),
-x(1)*x(14)^2*x(16)-x(2)*x(24)*x(26)*x(34)-x(2)*x(18)*x(28)*x(40)+x(16)*x(22),
-x(1)*x(16)*x(20)*x(34)-x(2)*x(24)*x(35)*x(40)-x(2)*x(19)*x(36)*x(40)+x(22)*x(40),
-x(1)*x(16)*x(18)*x(23)-x(2)*x(24)*x(37)^2-x(2)*x(24)*x(29)*x(40)+x(22)*x(24),
-x(1)*x(12)*x(14)^2-2*x(2)*x(18)*x(34)*x(44)+x(22)^2,
-x(1)*x(12)*x(20)*x(28)-x(2)*x(19)*x(36)*x(44)-x(2)*x(29)*x(40)*x(44)+x(22)*x(31),
-x(1)*x(12)*x(23)*x(26)-x(2)*x(24)*x(35)*x(44)-x(2)*x(37)^2*x(44)+x(22)*x(43),
-x(1)*x(10)*x(23)*x(25)-x(2)*x(20)*x(29)*x(34)-x(2)*x(33)*x(42)*x(44)+x(11)*x(43),
-x(1)*x(10)*x(34)*x(37)-x(2)*x(33)*x(35)*x(38)-x(2)*x(20)*x(36)*x(39)+x(26)*x(43),
-x(2)*x(20)*x(30)*x(35)-x(1)*x(10)*x(24)*x(42)-x(2)*x(33)*x(38)*x(43)+x(33)*x(43),
-x(1)*x(22)*x(23)*x(26)-x(2)*x(29)*x(31)*x(40)-x(2)*x(43)*x(44)^2+x(12)*x(43),
-x(1)*x(22)*x(37)^2-x(2)*x(31)*x(39)^2-x(2)*x(38)^2*x(43)+x(43)*x(44),
-x(1)*x(22)*x(24)*x(35)-x(2)*x(30)*x(31)*x(41)-x(2)*x(38)^2*x(43)+x(43)*x(44),
-x(1)*x(16)*x(23)*x(26)-x(2)*x(29)*x(37)*x(40)-x(2)*x(24)*x(35)*x(44)+x(16)*x(43),
-x(1)*x(16)*x(29)*x(37)-x(2)*x(30)*x(35)*x(38)-x(2)*x(29)*x(39)^2+x(29)*x(43),
-x(2)*x(35)*x(38)^2-x(2)*x(29)*x(38)*x(41)-x(1)*x(16)*x(35)*x(44)+x(35)*x(43),
-x(1)*x(16)*x(37)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(38)*x(41)+x(40)*x(43),
-x(2)*x(24)*x(38)^2-x(2)*x(30)*x(38)*x(40)-x(1)*x(16)*x(24)*x(44)+x(24)*x(43),
-x(1)*x(12)*x(29)*x(40)-x(2)*x(39)^2*x(44)-x(2)*x(30)*x(41)*x(44)+x(31)*x(43),
-2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(43)^2,
-x(1)*x(10)*x(20)*x(27)-x(2)*x(20)*x(28)*x(31)-x(2)*x(28)*x(33)*x(40)+x(11)*x(31),
-x(2)*x(20)*x(36)*x(39)-x(1)*x(10)*x(28)*x(40)-x(2)*x(29)*x(33)*x(41)+x(26)*x(31),
-x(1)*x(10)*x(19)*x(28)-x(2)*x(20)*x(29)*x(39)-x(2)*x(31)*x(33)*x(39)+x(31)*x(33),
-x(1)*x(20)*x(22)*x(28)-x(2)*x(31)^3-x(2)*x(29)*x(40)*x(43)+x(12)*x(31),
-x(2)*x(31)*x(39)^2-x(1)*x(22)*x(29)*x(40)-x(2)*x(30)*x(41)*x(43)+x(31)*x(44),
-x(1)*x(19)*x(22)*x(36)-x(2)*x(31)*x(39)^2-x(2)*x(39)^2*x(43)+x(31)*x(44),
-x(1)*x(16)*x(20)*x(28)-x(2)*x(19)*x(29)*x(35)-x(2)*x(29)*x(31)*x(40)+x(16)*x(31),
-x(1)*x(16)*x(29)*x(31)-x(2)*x(30)*x(35)*x(39)-x(2)*x(29)*x(39)^2+x(29)*x(31),
-x(2)*x(35)*x(39)^2-x(1)*x(16)*x(36)*x(40)-x(2)*x(29)*x(39)*x(41)+x(31)*x(35),
-x(1)*x(16)*x(20)*x(28)-x(2)*x(29)*x(31)*x(40)-x(2)*x(24)*x(36)*x(40)+x(16)*x(31),
-x(1)*x(16)*x(31)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(39)*x(41)+x(31)*x(40),
-x(1)*x(16)*x(19)*x(29)-x(2)*x(24)*x(39)^2-x(2)*x(30)*x(39)*x(40)+x(24)*x(31),
-x(1)*x(12)*x(31)^2-2*x(2)*x(39)^2*x(44)+x(31)^2,
-x(1)*x(9)*x(10)*x(13)-x(2)*x(21)*x(26)*x(33)-x(2)*x(15)*x(18)*x(42)+x(11)*x(16),
-x(2)*x(17)*x(18)*x(35)-x(1)*x(10)*x(15)*x(42)-x(2)*x(16)*x(26)*x(43)+x(16)*x(26),
-x(2)*x(22)*x(24)*x(26)-x(1)*x(10)*x(21)*x(33)-x(2)*x(16)*x(18)*x(44)+x(16)*x(33),
-x(1)*x(9)*x(14)*x(16)-x(2)*x(23)*x(33)*x(35)-x(2)*x(20)*x(29)*x(42)+x(12)*x(16),
-x(2)*x(19)*x(29)*x(35)-x(1)*x(16)*x(18)*x(42)-x(2)*x(24)*x(35)*x(43)+x(16)*x(44),
-x(1)*x(16)*x(33)*x(34)-x(2)*x(24)*x(35)*x(37)-x(2)*x(29)*x(40)*x(44)+x(16)*x(44),
-x(1)*x(14)^2*x(17)-2*x(2)*x(20)*x(23)*x(36)+x(16)^2,
-x(1)*x(17)*x(18)*x(28)-x(2)*x(19)*x(29)*x(36)-x(2)*x(24)*x(31)*x(36)+x(16)*x(29),
-x(1)*x(17)*x(26)*x(34)-x(2)*x(36)*x(37)*x(40)-x(2)*x(36)*x(40)*x(44)+x(16)*x(35),
-x(1)*x(9)*x(14)*x(22)-x(2)*x(33)*x(34)*x(37)-x(2)*x(18)*x(37)*x(42)+x(16)^2,
-x(2)*x(19)*x(35)*x(37)-x(1)*x(20)*x(22)*x(42)-x(2)*x(37)*x(40)*x(43)+x(16)*x(40),
-x(1)*x(22)*x(23)*x(33)-x(2)*x(24)*x(37)^2-x(2)*x(24)*x(37)*x(44)+x(16)*x(24),
-x(2)*x(18)*x(34)*x(35)-x(1)*x(10)*x(25)*x(42)-x(2)*x(26)*x(42)*x(44)+x(11)*x(35),
-x(1)*x(10)*x(34)*x(35)-x(2)*x(26)*x(35)*x(38)-x(2)*x(18)*x(36)*x(41)+x(26)*x(35),
-x(2)*x(18)*x(35)*x(38)-x(2)*x(26)*x(38)*x(43)-x(1)*x(10)*x(42)*x(43)+x(33)*x(35),
-x(2)*x(29)*x(35)*x(40)-x(1)*x(16)*x(26)*x(42)-x(2)*x(35)*x(44)^2+x(12)*x(35),
-x(1)*x(16)*x(35)*x(37)-x(2)*x(35)*x(38)^2-x(2)*x(29)*x(39)*x(41)+x(35)*x(44),
-x(2)*x(35)*x(38)^2-x(2)*x(29)*x(38)*x(41)-x(1)*x(16)*x(35)*x(43)+x(35)*x(44),
-x(1)*x(17)*x(36)*x(37)-x(2)*x(36)*x(38)*x(39)-x(2)*x(36)*x(39)^2+x(29)*x(35),
-x(1)*x(17)*x(35)^2-2*x(2)*x(36)*x(38)*x(41)+x(35)^2,
-x(2)*x(35)*x(37)^2-x(1)*x(22)*x(26)*x(42)-x(2)*x(35)*x(37)*x(44)+x(16)*x(35),
-x(1)*x(22)*x(35)*x(40)-x(2)*x(37)*x(38)*x(41)-x(2)*x(37)*x(39)*x(41)+x(35)*x(40),
-2*x(2)*x(37)*x(38)^2-x(1)*x(22)*x(43)*x(44)+x(24)*x(35),
-x(2)*x(24)*x(26)*x(28)-x(1)*x(10)*x(27)*x(33)-x(2)*x(18)*x(28)*x(43)+x(11)*x(29),
-x(2)*x(26)*x(29)*x(38)-x(2)*x(18)*x(36)*x(38)-x(1)*x(10)*x(28)*x(44)+x(26)*x(29),
-x(1)*x(10)*x(24)*x(28)-x(2)*x(26)*x(30)*x(31)-x(2)*x(18)*x(29)*x(38)+x(29)*x(33),
-x(1)*x(16)*x(28)*x(33)-x(2)*x(24)*x(29)*x(35)-x(2)*x(29)*x(31)*x(43)+x(12)*x(29),
-x(2)*x(30)*x(35)*x(38)-x(2)*x(29)*x(38)*x(39)-x(1)*x(16)*x(29)*x(44)+x(29)*x(44),
-x(1)*x(16)*x(24)*x(36)-x(2)*x(30)*x(35)*x(39)-x(2)*x(29)*x(38)*x(39)+x(29)*x(44),
-x(1)*x(17)*x(29)^2-2*x(2)*x(30)*x(36)*x(39)+x(29)^2,
-x(1)*x(22)*x(28)*x(33)-x(2)*x(24)*x(36)*x(37)-x(2)*x(29)*x(37)*x(43)+x(16)*x(29),
-2*x(2)*x(37)*x(38)*x(39)-x(1)*x(22)*x(31)*x(44)+x(29)*x(40),
-x(1)*x(22)*x(24)*x(29)-x(2)*x(30)*x(37)*x(38)-x(2)*x(30)*x(37)*x(39)+x(24)*x(29),
-x(1)*x(5)*x(10)*x(25)-x(2)*x(10)*x(16)*x(34)-x(2)*x(10)*x(22)*x(42)+x(11)*x(26),
-x(2)*x(10)*x(12)*x(23)-x(2)*x(10)*x(16)*x(23)-x(1)*x(5)*x(11)*x(32)+x(11)*x(33),
-x(1)*x(8)*x(9)*x(11)-x(2)*x(21)*x(26)*x(33)-x(2)*x(11)*x(33)*x(42)+x(11)*x(12),
-x(1)*x(11)*x(25)*x(33)-x(2)*x(24)*x(26)*x(34)-x(2)*x(33)*x(42)*x(43)+x(11)*x(44),
-x(2)*x(23)*x(33)*x(35)-x(1)*x(11)*x(32)*x(42)-x(2)*x(23)*x(26)*x(44)+x(11)*x(44),
-x(1)*x(8)*x(14)*x(15)-x(2)*x(18)*x(21)*x(26)-x(2)*x(11)*x(20)*x(28)+x(11)*x(16),
-x(1)*x(15)*x(20)*x(25)-x(2)*x(18)*x(34)*x(40)-x(2)*x(20)*x(31)*x(42)+x(11)*x(40),
-x(2)*x(20)*x(23)*x(29)-x(1)*x(15)*x(23)*x(32)-x(2)*x(18)*x(23)*x(44)+x(11)*x(24),
-x(1)*x(5)*x(18)*x(26)-x(2)*x(10)*x(29)*x(40)-x(2)*x(10)*x(37)*x(44)+x(26)*x(33),
-x(1)*x(5)*x(33)^2-2*x(2)*x(10)*x(24)*x(44)+x(33)^2,
-x(2)*x(16)*x(24)*x(26)-x(1)*x(11)^2*x(33)-x(2)*x(12)*x(33)*x(44)+x(12)*x(33),
-x(1)*x(11)*x(24)*x(26)-x(2)*x(26)*x(30)*x(40)-x(2)*x(33)*x(38)*x(44)+x(33)*x(44),
-x(2)*x(24)*x(26)*x(38)-x(1)*x(11)*x(33)*x(43)-x(2)*x(33)*x(38)*x(44)+x(33)*x(44),
-x(1)*x(11)*x(15)*x(18)-x(2)*x(12)*x(20)*x(29)-x(2)*x(16)*x(18)*x(37)+x(16)*x(33),
-x(1)*x(15)*x(19)*x(26)-x(2)*x(18)*x(39)*x(40)-x(2)*x(20)*x(39)*x(44)+x(33)*x(40),
-x(1)*x(15)*x(24)*x(33)-x(2)*x(18)*x(24)*x(38)-x(2)*x(20)*x(30)*x(44)+x(24)*x(33),
-x(1)*x(5)*x(26)^2-2*x(2)*x(10)*x(35)*x(37)+x(26)^2,
-x(2)*x(16)*x(33)*x(35)-x(1)*x(10)*x(11)*x(42)-x(2)*x(22)*x(26)*x(43)+x(12)*x(26),
-x(2)*x(33)*x(35)*x(38)-x(2)*x(26)*x(37)*x(38)-x(1)*x(11)*x(26)*x(44)+x(26)*x(44),
-x(1)*x(11)*x(18)*x(35)-x(2)*x(26)*x(37)*x(38)-x(2)*x(29)*x(33)*x(41)+x(26)*x(44),
-x(1)*x(10)*x(15)*x(34)-x(2)*x(18)*x(22)*x(35)-x(2)*x(16)*x(20)*x(36)+x(16)*x(26),
-x(2)*x(20)*x(35)*x(39)-x(1)*x(15)*x(26)*x(40)-x(2)*x(18)*x(37)*x(41)+x(26)*x(40),
-x(1)*x(15)*x(18)*x(37)-x(2)*x(18)*x(37)*x(38)-x(2)*x(20)*x(29)*x(39)+x(24)*x(26),
-x(1)*x(9)*x(14)*x(16)-x(2)*x(28)*x(33)*x(40)-x(2)*x(24)*x(26)*x(42)+x(12)*x(16),
-x(1)*x(16)*x(33)*x(34)-x(2)*x(24)*x(36)*x(40)-x(2)*x(24)*x(35)*x(43)+x(16)*x(44),
-x(2)*x(24)*x(35)*x(37)-x(1)*x(16)*x(18)*x(42)-x(2)*x(29)*x(40)*x(44)+x(16)*x(44),
-x(1)*x(14)^2*x(17)-2*x(2)*x(19)*x(26)*x(28)+x(16)^2,
-x(1)*x(17)*x(20)*x(34)-x(2)*x(19)*x(31)*x(35)-x(2)*x(19)*x(36)*x(40)+x(16)*x(40),
-x(1)*x(17)*x(18)*x(23)-x(2)*x(19)*x(29)*x(37)-x(2)*x(19)*x(29)*x(44)+x(16)*x(24),
-x(1)*x(16)*x(23)*x(33)-x(2)*x(24)*x(29)*x(40)-x(2)*x(24)*x(44)^2+x(12)*x(24),
-x(1)*x(16)*x(24)*x(37)-x(2)*x(24)*x(38)^2-x(2)*x(30)*x(39)*x(40)+x(24)*x(44),
-x(2)*x(24)*x(38)^2-x(2)*x(30)*x(38)*x(40)-x(1)*x(16)*x(24)*x(43)+x(24)*x(44),
-x(1)*x(17)*x(19)*x(37)-x(2)*x(19)*x(38)*x(39)-x(2)*x(19)*x(39)^2+x(24)*x(40),
-x(1)*x(17)*x(24)^2-2*x(2)*x(19)*x(30)*x(38)+x(24)^2,
-x(2)*x(24)*x(35)*x(40)-x(1)*x(16)*x(20)*x(42)-x(2)*x(31)*x(40)*x(43)+x(12)*x(40),
-x(2)*x(38)*x(39)*x(40)-x(2)*x(24)*x(38)*x(41)-x(1)*x(16)*x(40)*x(44)+x(40)*x(44),
-x(1)*x(16)*x(19)*x(35)-x(2)*x(38)*x(39)*x(40)-x(2)*x(24)*x(39)*x(41)+x(40)*x(44),
-x(1)*x(17)*x(40)^2-2*x(2)*x(19)*x(39)*x(41)+x(40)^2,
-x(1)*x(9)^2*x(12)-2*x(2)*x(33)*x(42)*x(44)+x(12)^2,
-x(1)*x(12)*x(33)*x(42)-x(2)*x(24)*x(35)*x(44)-x(2)*x(43)^2*x(44)+x(12)*x(44),
-x(1)*x(12)*x(33)*x(42)-x(2)*x(24)*x(35)*x(44)-x(2)*x(44)^3+x(12)*x(44),
-x(1)*x(12)*x(24)*x(35)-x(2)*x(38)^2*x(44)-x(2)*x(30)*x(41)*x(44)+x(44)^2,
-x(1)*x(12)*x(43)^2-2*x(2)*x(38)^2*x(44)+x(44)^2, -2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(44)^2,
-x(1)*x(3)*x(4)^2-2*x(2)*x(4)*x(5)^2+x(6)*x(13),
-x(1)*x(3)*x(6)*x(8)-x(2)*x(4)*x(10)*x(11)-x(2)*x(4)*x(10)*x(15)+x(6)*x(14),
-x(1)*x(4)^2*x(6)-x(2)*x(5)*x(8)*x(10)-x(2)*x(5)*x(6)*x(15)+x(6)*x(15),
-x(2)*x(6)*x(15)*x(18)-x(1)*x(4)*x(6)*x(32)-x(2)*x(8)*x(10)*x(33)+x(6)*x(18),
-x(1)*x(4)*x(7)*x(8)-x(2)*x(8)*x(10)*x(20)-x(2)*x(6)*x(11)*x(20)+x(6)*x(20),
-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(10)*x(13)+x(6)*x(21),
-x(1)*x(4)*x(6)*x(25)-x(2)*x(10)*x(13)*x(26)-x(2)*x(8)*x(15)*x(26)+x(6)*x(34),
-x(2)*x(10)*x(13)*x(18)-x(1)*x(4)*x(8)*x(32)-x(2)*x(8)*x(11)*x(33)+x(6)*x(23),
-x(1)*x(6)*x(8)^2-x(2)*x(9)*x(10)*x(11)-x(2)*x(10)*x(14)*x(15)+x(6)*x(16),
-x(2)*x(14)*x(18)^2-x(1)*x(8)*x(32)^2-x(2)*x(9)*x(33)^2+x(6)*x(24),
-x(1)*x(7)*x(8)*x(25)-x(2)*x(9)*x(20)*x(26)-x(2)*x(14)*x(20)*x(26)+x(6)*x(40),
-x(1)*x(6)*x(8)^2-2*x(2)*x(10)*x(11)*x(14)+x(6)*x(22),
-x(2)*x(14)*x(18)*x(26)-x(1)*x(6)*x(25)*x(32)-x(2)*x(14)*x(26)*x(33)+x(6)*x(37),
-x(1)*x(6)^2*x(13)-2*x(2)*x(10)*x(14)*x(15)+x(6)*x(17),
-x(2)*x(14)*x(18)*x(20)-x(1)*x(7)*x(13)*x(32)-x(2)*x(14)*x(20)*x(33)+x(6)*x(19),
-x(1)*x(3)*x(8)*x(13)-x(2)*x(4)*x(11)*x(21)-x(2)*x(4)*x(15)*x(21)+x(13)*x(14),
-x(1)*x(3)*x(14)^2-x(2)*x(4)*x(23)*x(26)-x(2)*x(4)*x(20)*x(28)+x(14)^2,
-x(1)*x(3)*x(9)*x(14)-x(2)*x(4)*x(33)*x(34)-x(2)*x(4)*x(18)*x(42)+x(14)^2,
-x(1)*x(4)*x(8)*x(15)-x(2)*x(8)*x(11)*x(16)-x(2)*x(6)*x(17)*x(21)+x(14)*x(15),
-x(1)*x(4)*x(14)*x(18)-x(2)*x(8)*x(24)*x(26)-x(2)*x(6)*x(19)*x(28)+x(14)*x(18),
-x(1)*x(4)*x(9)*x(20)-x(2)*x(8)*x(33)*x(40)-x(2)*x(6)*x(19)*x(42)+x(14)*x(20),
-x(1)*x(4)*x(8)*x(21)-x(2)*x(8)*x(16)*x(21)-x(2)*x(11)*x(13)*x(22)+x(14)*x(21),
-x(1)*x(4)*x(14)*x(34)-x(2)*x(13)*x(26)*x(37)-x(2)*x(8)*x(28)*x(40)+x(14)*x(34),
-x(1)*x(4)*x(9)*x(23)-x(2)*x(13)*x(33)*x(37)-x(2)*x(8)*x(24)*x(42)+x(14)*x(23),
-x(1)*x(4)*x(11)*x(13)-x(2)*x(13)*x(15)*x(16)-x(2)*x(8)*x(12)*x(21)+x(14)*x(21),
-x(1)*x(4)*x(14)*x(23)-x(2)*x(13)*x(20)*x(29)-x(2)*x(8)*x(23)*x(44)+x(14)*x(23),
-x(2)*x(13)*x(18)*x(35)-x(1)*x(4)*x(14)*x(42)-x(2)*x(8)*x(34)*x(44)+x(14)*x(34),
-x(1)*x(8)*x(11)*x(15)-x(2)*x(9)*x(12)*x(16)-x(2)*x(14)*x(16)*x(17)+x(14)*x(16),
-x(1)*x(8)*x(18)*x(23)-x(2)*x(14)*x(19)*x(29)-x(2)*x(9)*x(24)*x(44)+x(14)*x(24),
-x(2)*x(14)*x(19)*x(35)-x(1)*x(8)*x(20)*x(42)-x(2)*x(9)*x(40)*x(44)+x(14)*x(40),
-x(2)*x(14)*x(16)^2-x(1)*x(6)*x(11)*x(21)-x(2)*x(12)*x(14)*x(22)+x(14)*x(22),
-x(1)*x(6)*x(23)*x(34)-x(2)*x(14)*x(29)*x(40)-x(2)*x(14)*x(37)*x(44)+x(14)*x(37),
-x(2)*x(14)*x(24)*x(35)-x(1)*x(6)*x(23)*x(42)-x(2)*x(14)*x(37)*x(44)+x(14)*x(37),
-x(1)*x(4)*x(10)*x(13)-x(2)*x(6)*x(16)*x(21)-x(2)*x(8)*x(15)*x(22)+x(14)*x(15),
-x(1)*x(4)*x(14)*x(20)-x(2)*x(8)*x(20)*x(31)-x(2)*x(6)*x(23)*x(40)+x(14)*x(20),
-x(1)*x(4)*x(14)*x(33)-x(2)*x(6)*x(24)*x(34)-x(2)*x(8)*x(18)*x(43)+x(14)*x(18),
-x(1)*x(10)*x(13)*x(15)-x(2)*x(14)*x(16)^2-x(2)*x(14)*x(17)*x(22)+x(14)*x(17),
-x(1)*x(13)*x(18)*x(20)-x(2)*x(14)*x(19)*x(31)-x(2)*x(14)*x(24)*x(40)+x(14)*x(19),
-x(1)*x(13)*x(20)*x(33)-x(2)*x(14)*x(24)*x(40)-x(2)*x(14)*x(19)*x(43)+x(14)*x(19),
-x(1)*x(8)*x(10)*x(21)-x(2)*x(9)*x(16)*x(22)-x(2)*x(14)*x(16)*x(22)+x(14)*x(16),
-x(1)*x(8)*x(20)*x(34)-x(2)*x(9)*x(31)*x(40)-x(2)*x(14)*x(37)*x(40)+x(14)*x(40),
-x(1)*x(8)*x(23)*x(33)-x(2)*x(14)*x(24)*x(37)-x(2)*x(9)*x(24)*x(43)+x(14)*x(24),
-x(1)*x(4)^2*x(8)-x(2)*x(5)*x(8)*x(11)-x(2)*x(5)*x(6)*x(21)+x(10)*x(13),
-x(1)*x(4)*x(6)*x(11)-x(2)*x(8)*x(10)*x(12)-x(2)*x(6)*x(15)*x(16)+x(10)*x(14),
-x(1)*x(4)*x(8)*x(10)-x(2)*x(8)*x(10)*x(16)-x(2)*x(6)*x(11)*x(22)+x(10)*x(14),
-x(1)*x(4)*x(6)*x(14)-x(2)*x(5)*x(7)*x(28)-x(2)*x(5)*x(26)*x(32)+x(10)*x(15),
-x(1)*x(6)^2*x(23)-x(2)*x(7)*x(15)*x(29)-x(2)*x(10)*x(32)*x(44)+x(10)*x(18),
-x(1)*x(6)*x(8)*x(20)-x(2)*x(7)*x(11)*x(31)-x(2)*x(10)*x(32)*x(40)+x(10)*x(20),
-x(1)*x(4)*x(8)*x(9)-x(2)*x(5)*x(25)*x(33)-x(2)*x(5)*x(32)*x(42)+x(10)*x(21),
-x(2)*x(15)*x(32)*x(35)-x(1)*x(6)*x(8)*x(42)-x(2)*x(10)*x(25)*x(44)+x(10)*x(34),
-x(2)*x(10)*x(24)*x(25)-x(1)*x(8)^2*x(33)-x(2)*x(11)*x(32)*x(43)+x(10)*x(23),
-x(1)*x(5)*x(8)^2-x(2)*x(11)^3-x(2)*x(10)*x(15)*x(21)+x(10)*x(21),
-x(2)*x(15)*x(16)*x(18)-x(1)*x(5)*x(11)*x(32)-x(2)*x(11)*x(12)*x(33)+x(10)*x(23),
-x(1)*x(5)*x(10)*x(25)-x(2)*x(11)*x(16)*x(26)-x(2)*x(15)*x(22)*x(26)+x(10)*x(34),
-x(1)*x(8)*x(10)*x(14)-x(2)*x(10)*x(20)*x(28)-x(2)*x(11)*x(26)*x(33)+x(10)*x(16),
-x(2)*x(18)*x(20)*x(29)-x(1)*x(10)*x(23)*x(32)-x(2)*x(33)^2*x(44)+x(10)*x(24),
-x(1)*x(10)*x(20)*x(25)-x(2)*x(20)*x(26)*x(31)-x(2)*x(26)*x(33)*x(40)+x(10)*x(40),
-x(1)*x(8)*x(9)*x(10)-x(2)*x(11)*x(26)*x(33)-x(2)*x(10)*x(18)*x(42)+x(10)*x(22),
-x(2)*x(18)^2*x(35)-x(1)*x(10)*x(32)*x(42)-x(2)*x(26)*x(33)*x(44)+x(10)*x(37),
-x(2)*x(24)*x(26)^2-x(1)*x(10)*x(25)*x(33)-x(2)*x(18)*x(26)*x(43)+x(10)*x(37),
-x(1)*x(5)*x(6)*x(8)-x(2)*x(10)*x(11)*x(15)-x(2)*x(10)^2*x(21)+x(10)*x(15),
-x(1)*x(5)*x(7)*x(11)-x(2)*x(10)*x(12)*x(20)-x(2)*x(10)*x(16)*x(20)+x(10)*x(20),
-x(2)*x(10)*x(16)*x(18)-x(1)*x(5)*x(10)*x(32)-x(2)*x(10)*x(22)*x(33)+x(10)*x(18),
-x(1)*x(6)*x(14)*x(15)-x(2)*x(15)*x(18)*x(26)-x(2)*x(10)*x(20)*x(28)+x(10)*x(17),
-x(1)*x(7)*x(15)*x(23)-x(2)*x(20)^2*x(29)-x(2)*x(18)*x(20)*x(44)+x(10)*x(19),
-x(1)*x(15)*x(20)*x(32)-x(2)*x(20)*x(31)*x(33)-x(2)*x(18)^2*x(40)+x(10)*x(19),
-x(1)*x(6)*x(9)*x(11)-x(2)*x(15)*x(26)*x(33)-x(2)*x(10)*x(33)*x(42)+x(10)*x(16),
-x(2)*x(20)*x(33)*x(35)-x(1)*x(7)*x(11)*x(42)-x(2)*x(20)*x(26)*x(44)+x(10)*x(40),
-x(2)*x(18)*x(24)*x(26)-x(1)*x(11)*x(32)*x(33)-x(2)*x(33)^2*x(43)+x(10)*x(24),
-x(1)*x(4)*x(8)*x(25)-x(2)*x(6)*x(21)*x(34)-x(2)*x(8)*x(11)*x(42)+x(13)*x(26),
-x(1)*x(4)*x(14)*x(26)-x(2)*x(6)*x(28)*x(40)-x(2)*x(8)*x(26)*x(44)+x(14)*x(26),
-x(1)*x(4)*x(9)*x(26)-x(2)*x(8)*x(33)*x(35)-x(2)*x(6)*x(37)*x(42)+x(14)*x(26),
-x(1)*x(6)*x(8)*x(34)-x(2)*x(11)*x(32)*x(35)-x(2)*x(7)*x(21)*x(36)+x(15)*x(26),
-x(1)*x(6)*x(14)*x(37)-x(2)*x(26)*x(32)*x(38)-x(2)*x(7)*x(28)*x(39)+x(18)*x(26),
-x(1)*x(6)*x(9)*x(40)-x(2)*x(32)*x(33)*x(41)-x(2)*x(7)*x(39)*x(42)+x(20)*x(26),
-x(2)*x(21)*x(32)*x(35)-x(1)*x(8)^2*x(42)-x(2)*x(11)*x(25)*x(43)+x(21)*x(26),
-x(1)*x(8)*x(14)*x(35)-x(2)*x(25)*x(26)*x(38)-x(2)*x(28)*x(32)*x(41)+x(26)*x(34),
-x(2)*x(25)*x(33)*x(38)-x(2)*x(32)*x(38)*x(42)-x(1)*x(8)*x(9)*x(44)+x(23)*x(26),
-x(1)*x(5)*x(11)*x(25)-x(2)*x(15)*x(16)*x(34)-x(2)*x(11)*x(12)*x(42)+x(21)*x(26),
-x(1)*x(5)*x(23)*x(26)-x(2)*x(15)*x(29)*x(40)-x(2)*x(11)*x(44)^2+x(23)*x(26),
-x(2)*x(15)*x(35)*x(37)-x(1)*x(5)*x(26)*x(42)-x(2)*x(11)*x(35)*x(44)+x(26)*x(34),
-x(1)*x(10)*x(11)*x(34)-x(2)*x(12)*x(33)*x(35)-x(2)*x(16)*x(20)*x(36)+x(16)*x(26),
-x(1)*x(10)*x(23)*x(37)-x(2)*x(20)*x(29)*x(39)-x(2)*x(33)*x(38)*x(44)+x(24)*x(26),
-x(2)*x(20)*x(35)*x(39)-x(1)*x(10)*x(40)*x(42)-x(2)*x(33)*x(41)*x(44)+x(26)*x(40),
-x(2)*x(16)*x(18)*x(35)-x(1)*x(10)*x(11)*x(42)-x(2)*x(12)*x(26)*x(43)+x(22)*x(26),
-x(1)*x(10)*x(23)*x(35)-x(2)*x(18)*x(29)*x(41)-x(2)*x(26)*x(38)*x(44)+x(26)*x(37),
-x(2)*x(18)*x(35)*x(38)-x(2)*x(26)*x(38)*x(44)-x(1)*x(10)*x(42)*x(44)+x(26)*x(37),
-x(1)*x(5)*x(10)*x(25)-x(2)*x(10)*x(22)*x(34)-x(2)*x(10)*x(16)*x(42)+x(15)*x(26),
-x(1)*x(5)*x(20)*x(26)-x(2)*x(10)*x(31)*x(40)-x(2)*x(10)*x(40)*x(44)+x(20)*x(26),
-x(1)*x(5)*x(26)*x(33)-x(2)*x(10)*x(24)*x(35)-x(2)*x(10)*x(37)*x(43)+x(18)*x(26),
-x(1)*x(10)*x(15)*x(34)-x(2)*x(16)*x(18)*x(35)-x(2)*x(20)*x(22)*x(36)+x(17)*x(26),
-x(1)*x(15)*x(20)*x(37)-x(2)*x(20)*x(31)*x(39)-x(2)*x(18)*x(38)*x(40)+x(19)*x(26),
-x(1)*x(15)*x(33)*x(40)-x(2)*x(18)*x(24)*x(41)-x(2)*x(20)*x(39)*x(43)+x(19)*x(26),
-x(2)*x(22)*x(33)*x(35)-x(1)*x(10)*x(11)*x(42)-x(2)*x(16)*x(26)*x(43)+x(16)*x(26),
-x(1)*x(11)*x(20)*x(35)-x(2)*x(26)*x(38)*x(40)-x(2)*x(31)*x(33)*x(41)+x(26)*x(40),
-x(2)*x(24)*x(26)*x(38)-x(2)*x(33)*x(38)*x(43)-x(1)*x(11)*x(33)*x(44)+x(24)*x(26),
-x(2)*x(8)*x(15)*x(23)-x(2)*x(6)*x(21)*x(23)-x(1)*x(4)*x(13)*x(32)+x(13)*x(18),
-x(1)*x(4)*x(14)*x(33)-x(2)*x(6)*x(24)*x(34)-x(2)*x(8)*x(18)*x(44)+x(14)*x(18),
-x(1)*x(4)*x(14)*x(18)-x(2)*x(8)*x(20)*x(29)-x(2)*x(6)*x(23)*x(37)+x(14)*x(18),
-x(1)*x(6)*x(13)*x(18)-x(2)*x(7)*x(21)*x(29)-x(2)*x(15)*x(32)*x(37)+x(15)*x(18),
-x(1)*x(6)*x(14)*x(24)-x(2)*x(7)*x(30)*x(34)-x(2)*x(18)*x(32)*x(38)+x(18)^2,
-x(1)*x(6)*x(14)*x(19)-x(2)*x(7)*x(23)*x(39)-x(2)*x(20)*x(32)*x(39)+x(18)*x(20),
-x(2)*x(15)*x(24)*x(25)-x(1)*x(8)*x(13)*x(33)-x(2)*x(21)*x(32)*x(44)+x(18)*x(21),
-x(2)*x(18)*x(25)*x(38)-x(2)*x(32)*x(34)*x(38)-x(1)*x(8)*x(14)*x(43)+x(18)*x(34),
-x(1)*x(8)*x(14)*x(24)-x(2)*x(20)*x(25)*x(30)-x(2)*x(23)*x(32)*x(38)+x(18)*x(23),
-x(2)*x(11)*x(16)*x(23)-x(2)*x(15)*x(22)*x(23)-x(1)*x(5)*x(21)*x(32)+x(18)*x(21),
-x(1)*x(5)*x(23)*x(33)-x(2)*x(15)*x(24)*x(37)-x(2)*x(11)*x(24)*x(44)+x(18)*x(23),
-x(1)*x(5)*x(18)*x(34)-x(2)*x(15)*x(37)^2-x(2)*x(11)*x(29)*x(40)+x(18)*x(34),
-x(1)*x(10)*x(18)*x(21)-x(2)*x(20)*x(22)*x(29)-x(2)*x(16)*x(33)*x(37)+x(16)*x(18),
-x(1)*x(10)*x(23)*x(24)-x(2)*x(20)*x(30)*x(37)-x(2)*x(24)*x(33)*x(38)+x(18)*x(24),
-x(1)*x(10)*x(19)*x(34)-x(2)*x(20)*x(37)*x(39)-x(2)*x(33)*x(39)*x(40)+x(18)*x(40),
-x(2)*x(16)*x(24)*x(26)-x(1)*x(10)*x(21)*x(33)-x(2)*x(18)*x(22)*x(44)+x(18)*x(22),
-x(2)*x(24)*x(26)*x(38)-x(2)*x(18)*x(37)*x(38)-x(1)*x(10)*x(23)*x(43)+x(18)*x(37),
-x(1)*x(10)*x(24)*x(34)-x(2)*x(18)*x(37)*x(38)-x(2)*x(26)*x(30)*x(40)+x(18)*x(37),
-x(2)*x(10)*x(16)*x(23)-x(2)*x(10)*x(17)*x(23)-x(1)*x(5)*x(15)*x(32)+x(15)*x(18),
-x(1)*x(5)*x(20)*x(33)-x(2)*x(10)*x(24)*x(40)-x(2)*x(10)*x(19)*x(44)+x(18)*x(20),
-x(1)*x(5)*x(18)^2-x(2)*x(10)*x(19)*x(29)-x(2)*x(10)*x(24)*x(37)+x(18)^2,
-x(1)*x(15)^2*x(18)-x(2)*x(16)*x(20)*x(29)-x(2)*x(17)*x(18)*x(37)+x(17)*x(18),
-x(1)*x(15)*x(20)*x(24)-x(2)*x(18)*x(19)*x(38)-x(2)*x(20)*x(30)*x(40)+x(18)*x(19),
-x(1)*x(15)*x(18)*x(19)-x(2)*x(18)*x(19)*x(39)-x(2)*x(20)*x(24)*x(39)+x(18)*x(19),
-x(2)*x(17)*x(24)*x(26)-x(1)*x(11)*x(15)*x(33)-x(2)*x(16)*x(33)*x(44)+x(16)*x(18),
-x(2)*x(19)*x(26)*x(38)-x(2)*x(33)*x(38)*x(40)-x(1)*x(11)*x(20)*x(43)+x(18)*x(40),
-x(1)*x(11)*x(18)*x(24)-x(2)*x(19)*x(26)*x(30)-x(2)*x(24)*x(33)*x(38)+x(18)*x(24),
-x(1)*x(4)^2*x(13)-x(2)*x(5)*x(13)*x(15)-x(2)*x(5)*x(8)*x(21)+x(13)*x(15),
-x(2)*x(10)*x(13)*x(16)-x(1)*x(4)*x(6)*x(21)-x(2)*x(8)*x(15)*x(22)+x(14)*x(15),
-x(1)*x(4)*x(8)*x(15)-x(2)*x(8)*x(11)*x(16)-x(2)*x(10)*x(13)*x(17)+x(14)*x(15),
-x(1)*x(4)*x(8)*x(14)-x(2)*x(5)*x(18)*x(25)-x(2)*x(5)*x(32)*x(34)+x(15)^2,
-x(1)*x(6)*x(8)*x(23)-x(2)*x(10)*x(24)*x(25)-x(2)*x(15)*x(32)*x(37)+x(15)*x(18),
-x(1)*x(8)^2*x(20)-x(2)*x(10)*x(19)*x(25)-x(2)*x(11)*x(32)*x(40)+x(15)*x(20),
-x(1)*x(4)*x(13)*x(14)-x(2)*x(5)*x(23)*x(25)-x(2)*x(5)*x(20)*x(27)+x(15)*x(21),
-x(1)*x(6)*x(13)*x(34)-x(2)*x(15)*x(25)*x(37)-x(2)*x(10)*x(27)*x(40)+x(15)*x(34),
-x(1)*x(8)*x(13)*x(18)-x(2)*x(11)*x(24)*x(25)-x(2)*x(10)*x(19)*x(27)+x(15)*x(23),
-x(1)*x(5)*x(8)*x(13)-x(2)*x(11)*x(15)*x(21)-x(2)*x(10)*x(21)^2+x(15)*x(21),
-x(2)*x(18)*x(21)*x(22)-x(1)*x(5)*x(21)*x(32)-x(2)*x(16)*x(21)*x(33)+x(15)*x(23),
-x(1)*x(5)*x(15)*x(25)-x(2)*x(16)*x(21)*x(26)-x(2)*x(17)*x(21)*x(26)+x(15)*x(34),
-x(1)*x(8)*x(11)*x(14)-x(2)*x(10)*x(23)*x(34)-x(2)*x(11)*x(18)*x(42)+x(15)*x(16),
-x(1)*x(11)*x(23)*x(32)-x(2)*x(18)*x(23)*x(37)-x(2)*x(24)*x(33)*x(42)+x(15)*x(24),
-x(1)*x(11)*x(20)*x(25)-x(2)*x(23)*x(26)*x(40)-x(2)*x(19)*x(26)*x(42)+x(15)*x(40),
-x(1)*x(8)*x(14)*x(15)-x(2)*x(11)*x(20)*x(28)-x(2)*x(10)*x(23)*x(34)+x(15)*x(22),
-x(1)*x(15)*x(32)*x(34)-x(2)*x(18)*x(34)*x(37)-x(2)*x(28)*x(33)*x(40)+x(15)*x(37),
-x(1)*x(15)*x(18)*x(25)-x(2)*x(19)*x(26)*x(28)-x(2)*x(24)*x(26)*x(34)+x(15)*x(37),
-x(1)*x(5)*x(6)*x(13)-x(2)*x(15)^3-x(2)*x(10)*x(11)*x(21)+x(15)^2,
-x(2)*x(15)*x(16)*x(20)-x(1)*x(5)*x(7)*x(21)-x(2)*x(11)*x(20)*x(22)+x(15)*x(20),
-x(2)*x(15)*x(17)*x(18)-x(1)*x(5)*x(15)*x(32)-x(2)*x(11)*x(16)*x(33)+x(15)*x(18),
-x(1)*x(6)*x(14)*x(21)-x(2)*x(15)*x(18)*x(34)-x(2)*x(10)*x(23)*x(34)+x(15)*x(17),
-x(1)*x(7)*x(21)*x(23)-x(2)*x(20)*x(24)*x(34)-x(2)*x(20)*x(23)*x(37)+x(15)*x(19),
-x(1)*x(20)*x(21)*x(32)-x(2)*x(18)*x(19)*x(34)-x(2)*x(23)*x(33)*x(40)+x(15)*x(19),
-x(1)*x(6)*x(14)*x(21)-x(2)*x(15)*x(20)*x(28)-x(2)*x(10)*x(23)*x(42)+x(15)*x(16),
-x(1)*x(7)*x(21)*x(34)-x(2)*x(20)*x(28)*x(40)-x(2)*x(20)*x(37)*x(42)+x(15)*x(40),
-x(2)*x(18)*x(19)*x(28)-x(1)*x(18)*x(21)*x(32)-x(2)*x(24)*x(33)*x(42)+x(15)*x(24),
-x(1)*x(4)*x(8)*x(27)-x(2)*x(11)*x(13)*x(28)-x(2)*x(8)*x(21)*x(28)+x(13)*x(28),
-x(1)*x(4)*x(14)*x(28)-x(2)*x(13)*x(26)*x(29)-x(2)*x(8)*x(28)*x(31)+x(14)*x(28),
-x(1)*x(4)*x(9)*x(28)-x(2)*x(13)*x(33)*x(36)-x(2)*x(8)*x(29)*x(42)+x(14)*x(28),
-x(1)*x(8)^2*x(28)-x(2)*x(11)*x(25)*x(29)-x(2)*x(21)*x(32)*x(36)+x(15)*x(28),
-x(1)*x(8)*x(14)*x(29)-x(2)*x(25)*x(26)*x(30)-x(2)*x(28)*x(32)*x(39)+x(18)*x(28),
-x(1)*x(8)*x(9)*x(31)-x(2)*x(25)*x(33)*x(39)-x(2)*x(32)*x(39)*x(42)+x(20)*x(28),
-x(1)*x(8)*x(13)*x(28)-x(2)*x(21)*x(25)*x(29)-x(2)*x(11)*x(27)*x(31)+x(21)*x(28),
-x(1)*x(13)*x(14)*x(36)-x(2)*x(26)*x(27)*x(39)-x(2)*x(25)*x(28)*x(39)+x(28)*x(34),
-x(1)*x(9)*x(13)*x(29)-x(2)*x(27)*x(33)*x(39)-x(2)*x(25)*x(30)*x(42)+x(23)*x(28),
-x(1)*x(5)*x(11)*x(27)-x(2)*x(12)*x(21)*x(28)-x(2)*x(16)*x(21)*x(28)+x(21)*x(28),
-x(1)*x(5)*x(23)*x(28)-x(2)*x(21)*x(29)*x(31)-x(2)*x(21)*x(29)*x(44)+x(23)*x(28),
-x(2)*x(21)*x(29)*x(35)-x(1)*x(5)*x(28)*x(42)-x(2)*x(21)*x(36)*x(44)+x(28)*x(34),
-x(1)*x(11)^2*x(28)-x(2)*x(16)*x(23)*x(36)-x(2)*x(12)*x(29)*x(42)+x(16)*x(28),
-x(1)*x(11)*x(23)*x(29)-x(2)*x(23)*x(29)*x(39)-x(2)*x(30)*x(42)*x(44)+x(24)*x(28),
-x(2)*x(23)*x(35)*x(39)-x(1)*x(11)*x(31)*x(42)-x(2)*x(39)*x(42)*x(44)+x(28)*x(40),
-x(1)*x(11)*x(15)*x(28)-x(2)*x(12)*x(28)*x(31)-x(2)*x(16)*x(29)*x(34)+x(22)*x(28),
-x(1)*x(15)*x(23)*x(36)-x(2)*x(29)*x(34)*x(39)-x(2)*x(28)*x(39)*x(44)+x(28)*x(37),
-x(2)*x(30)*x(34)*x(35)-x(1)*x(15)*x(29)*x(42)-x(2)*x(28)*x(39)*x(44)+x(28)*x(37),
-x(1)*x(5)*x(10)*x(27)-x(2)*x(15)*x(16)*x(28)-x(2)*x(11)*x(22)*x(28)+x(15)*x(28),
-x(1)*x(5)*x(20)*x(28)-x(2)*x(11)*x(31)^2-x(2)*x(15)*x(29)*x(40)+x(20)*x(28),
-x(1)*x(5)*x(28)*x(33)-x(2)*x(15)*x(24)*x(36)-x(2)*x(11)*x(29)*x(43)+x(18)*x(28),
-x(1)*x(10)*x(21)*x(28)-x(2)*x(16)*x(29)*x(34)-x(2)*x(22)*x(23)*x(36)+x(17)*x(28),
-x(1)*x(20)*x(21)*x(29)-x(2)*x(23)*x(31)*x(39)-x(2)*x(30)*x(34)*x(40)+x(19)*x(28),
-x(1)*x(21)*x(31)*x(33)-x(2)*x(24)*x(34)*x(39)-x(2)*x(23)*x(39)*x(43)+x(19)*x(28),
-x(1)*x(10)*x(21)*x(28)-x(2)*x(16)*x(28)*x(31)-x(2)*x(22)*x(29)*x(42)+x(16)*x(28),
-x(1)*x(20)*x(21)*x(36)-x(2)*x(28)*x(39)*x(40)-x(2)*x(31)*x(39)*x(42)+x(28)*x(40),
-x(1)*x(21)*x(29)*x(33)-x(2)*x(24)*x(28)*x(39)-x(2)*x(30)*x(42)*x(43)+x(24)*x(28),
-x(1)*x(4)*x(13)*x(25)-x(2)*x(13)*x(15)*x(34)-x(2)*x(8)*x(21)*x(42)+x(13)*x(34),
-x(2)*x(13)*x(18)*x(35)-x(1)*x(4)*x(14)*x(42)-x(2)*x(8)*x(34)*x(43)+x(14)*x(34),
-x(1)*x(4)*x(14)*x(34)-x(2)*x(8)*x(23)*x(35)-x(2)*x(13)*x(20)*x(36)+x(14)*x(34),
-x(1)*x(8)*x(13)*x(26)-x(2)*x(21)*x(32)*x(35)-x(2)*x(15)*x(25)*x(37)+x(15)*x(34),
-x(2)*x(18)*x(25)*x(38)-x(2)*x(32)*x(34)*x(38)-x(1)*x(8)*x(14)*x(44)+x(18)*x(34),
-x(2)*x(20)*x(25)*x(39)-x(1)*x(8)*x(14)*x(40)-x(2)*x(23)*x(32)*x(41)+x(20)*x(34),
-x(1)*x(13)^2*x(26)-x(2)*x(15)*x(27)*x(40)-x(2)*x(21)*x(25)*x(44)+x(21)*x(34),
-x(1)*x(13)*x(14)*x(35)-x(2)*x(25)*x(34)*x(38)-x(2)*x(18)*x(27)*x(41)+x(34)^2,
-x(1)*x(13)*x(14)*x(37)-x(2)*x(23)*x(25)*x(38)-x(2)*x(20)*x(27)*x(39)+x(23)*x(34),
-x(1)*x(5)*x(21)*x(25)-x(2)*x(16)*x(21)*x(34)-x(2)*x(21)*x(22)*x(42)+x(21)*x(34),
-x(2)*x(21)*x(24)*x(35)-x(1)*x(5)*x(23)*x(42)-x(2)*x(21)*x(37)*x(43)+x(23)*x(34),
-x(1)*x(5)*x(34)^2-x(2)*x(21)*x(35)*x(37)-x(2)*x(21)*x(36)*x(40)+x(34)^2,
-x(1)*x(11)*x(21)*x(26)-x(2)*x(22)*x(23)*x(35)-x(2)*x(16)*x(37)*x(42)+x(16)*x(34),
-x(2)*x(23)*x(37)*x(38)-x(2)*x(24)*x(38)*x(42)-x(1)*x(11)*x(23)*x(44)+x(24)*x(34),
-x(1)*x(11)*x(34)*x(40)-x(2)*x(23)*x(37)*x(41)-x(2)*x(39)*x(40)*x(42)+x(34)*x(40),
-x(1)*x(15)*x(21)*x(26)-x(2)*x(16)*x(28)*x(40)-x(2)*x(22)*x(34)*x(44)+x(22)*x(34),
-x(1)*x(15)*x(23)*x(35)-x(2)*x(34)*x(37)*x(38)-x(2)*x(24)*x(28)*x(41)+x(34)*x(37),
-x(1)*x(15)*x(34)*x(37)-x(2)*x(34)*x(37)*x(38)-x(2)*x(28)*x(39)*x(40)+x(34)*x(37),
-x(1)*x(5)*x(15)*x(25)-x(2)*x(15)*x(17)*x(34)-x(2)*x(11)*x(16)*x(42)+x(15)*x(34),
-x(2)*x(15)*x(19)*x(35)-x(1)*x(5)*x(20)*x(42)-x(2)*x(11)*x(40)*x(43)+x(20)*x(34),
-x(1)*x(5)*x(18)*x(34)-x(2)*x(11)*x(24)*x(35)-x(2)*x(15)*x(19)*x(36)+x(18)*x(34),
-x(1)*x(15)*x(21)*x(26)-x(2)*x(16)*x(23)*x(35)-x(2)*x(17)*x(34)*x(37)+x(17)*x(34),
-x(2)*x(19)*x(34)*x(38)-x(2)*x(23)*x(38)*x(40)-x(1)*x(20)*x(21)*x(44)+x(19)*x(34),
-x(2)*x(19)*x(34)*x(39)-x(1)*x(18)*x(21)*x(40)-x(2)*x(23)*x(24)*x(41)+x(19)*x(34),
-x(1)*x(15)*x(21)*x(26)-x(2)*x(17)*x(28)*x(40)-x(2)*x(16)*x(42)*x(44)+x(16)*x(34),
-x(1)*x(20)*x(21)*x(35)-x(2)*x(19)*x(28)*x(41)-x(2)*x(38)*x(40)*x(42)+x(34)*x(40),
-x(1)*x(18)*x(21)*x(37)-x(2)*x(19)*x(28)*x(39)-x(2)*x(24)*x(38)*x(42)+x(24)*x(34),
-x(1)*x(8)^2*x(13)-x(2)*x(9)*x(11)*x(21)-x(2)*x(14)*x(15)*x(21)+x(13)*x(16),
-x(1)*x(10)*x(13)*x(14)-x(2)*x(15)*x(20)*x(28)-x(2)*x(21)*x(26)*x(33)+x(15)*x(16),
-x(1)*x(10)*x(15)*x(23)-x(2)*x(17)*x(20)*x(29)-x(2)*x(16)*x(33)*x(44)+x(16)*x(18),
-x(1)*x(10)*x(20)*x(21)-x(2)*x(16)*x(20)*x(31)-x(2)*x(22)*x(33)*x(40)+x(16)*x(20),
-x(1)*x(9)*x(11)*x(13)-x(2)*x(15)*x(23)*x(42)-x(2)*x(21)*x(33)*x(42)+x(16)*x(21),
-x(2)*x(17)*x(23)*x(35)-x(1)*x(11)*x(15)*x(42)-x(2)*x(16)*x(42)*x(44)+x(16)*x(34),
-x(1)*x(11)*x(21)*x(33)-x(2)*x(22)*x(24)*x(42)-x(2)*x(16)*x(23)*x(43)+x(16)*x(23),
-x(1)*x(8)*x(14)*x(21)-x(2)*x(20)*x(21)*x(28)-x(2)*x(11)*x(23)*x(42)+x(16)*x(21),
-x(1)*x(11)*x(18)*x(21)-x(2)*x(16)*x(19)*x(28)-x(2)*x(12)*x(24)*x(42)+x(16)*x(23),
-x(1)*x(10)*x(21)*x(34)-x(2)*x(22)*x(28)*x(40)-x(2)*x(16)*x(37)*x(42)+x(16)*x(34),
-x(1)*x(14)^2*x(22)-x(2)*x(20)*x(28)*x(31)-x(2)*x(23)*x(26)*x(43)+x(16)^2,
-x(1)*x(18)*x(22)*x(23)-x(2)*x(19)*x(29)*x(31)-x(2)*x(24)*x(43)*x(44)+x(16)*x(24),
-x(1)*x(20)*x(22)*x(34)-x(2)*x(31)^2*x(40)-x(2)*x(37)*x(40)*x(43)+x(16)*x(40),
-x(1)*x(9)*x(14)*x(16)-x(2)*x(23)*x(33)*x(35)-x(2)*x(20)*x(29)*x(42)+x(16)*x(22),
-x(2)*x(19)*x(29)*x(35)-x(1)*x(16)*x(18)*x(42)-x(2)*x(24)*x(35)*x(44)+x(16)*x(37),
-x(1)*x(16)*x(33)*x(34)-x(2)*x(24)*x(35)*x(37)-x(2)*x(29)*x(40)*x(43)+x(16)*x(37),
-x(1)*x(8)*x(11)*x(14)-x(2)*x(18)*x(21)*x(26)-x(2)*x(11)*x(33)*x(34)+x(15)*x(16),
-x(1)*x(11)^2*x(20)-x(2)*x(16)*x(19)*x(26)-x(2)*x(12)*x(33)*x(40)+x(16)*x(20),
-x(1)*x(10)*x(11)*x(23)-x(2)*x(22)*x(24)*x(26)-x(2)*x(16)*x(33)*x(37)+x(16)*x(18),
-x(1)*x(14)^2*x(16)-x(2)*x(24)*x(26)*x(34)-x(2)*x(18)*x(28)*x(40)+x(16)*x(17),
-x(1)*x(16)*x(20)*x(23)-x(2)*x(19)*x(29)*x(40)-x(2)*x(24)*x(40)*x(44)+x(16)*x(19),
-x(1)*x(16)*x(20)*x(23)-x(2)*x(24)*x(31)*x(40)-x(2)*x(24)*x(37)*x(40)+x(16)*x(19),
-x(1)*x(9)*x(12)*x(14)-x(2)*x(33)*x(34)*x(44)-x(2)*x(18)*x(42)*x(44)+x(16)^2,
-x(1)*x(12)*x(20)*x(42)-x(2)*x(19)*x(35)*x(44)-x(2)*x(40)*x(44)^2+x(16)*x(40),
-x(1)*x(12)*x(23)*x(33)-x(2)*x(24)*x(37)*x(44)-x(2)*x(24)*x(43)*x(44)+x(16)*x(24),
-x(1)*x(8)*x(25)^2-x(2)*x(14)*x(34)^2-x(2)*x(9)*x(42)^2+x(13)*x(35),
-x(1)*x(8)*x(26)*x(34)-x(2)*x(14)*x(36)*x(40)-x(2)*x(9)*x(35)*x(44)+x(14)*x(35),
-x(2)*x(14)*x(35)*x(37)-x(1)*x(8)*x(26)*x(42)-x(2)*x(9)*x(35)*x(43)+x(14)*x(35),
-x(1)*x(10)*x(25)*x(34)-x(2)*x(20)*x(34)*x(36)-x(2)*x(33)*x(35)*x(42)+x(15)*x(35),
-x(1)*x(10)*x(34)*x(37)-x(2)*x(33)*x(35)*x(38)-x(2)*x(20)*x(36)*x(39)+x(18)*x(35),
-x(2)*x(20)*x(35)*x(39)-x(1)*x(10)*x(40)*x(42)-x(2)*x(33)*x(41)*x(43)+x(20)*x(35),
-x(2)*x(23)*x(34)*x(35)-x(1)*x(11)*x(25)*x(42)-x(2)*x(42)^2*x(43)+x(21)*x(35),
-x(1)*x(11)*x(34)*x(35)-x(2)*x(23)*x(36)*x(41)-x(2)*x(35)*x(38)*x(42)+x(34)*x(35),
-x(2)*x(23)*x(35)*x(38)-x(2)*x(38)*x(42)*x(43)-x(1)*x(11)*x(42)*x(44)+x(23)*x(35),
-x(1)*x(21)*x(25)*x(26)-x(2)*x(28)*x(34)*x(40)-x(2)*x(42)^2*x(44)+x(21)*x(35),
-x(1)*x(21)*x(26)*x(37)-x(2)*x(28)*x(39)*x(40)-x(2)*x(38)*x(42)*x(44)+x(23)*x(35),
-x(1)*x(21)*x(26)*x(35)-x(2)*x(28)*x(37)*x(41)-x(2)*x(35)*x(38)*x(42)+x(34)*x(35),
-x(1)*x(22)*x(26)*x(34)-x(2)*x(31)*x(36)*x(40)-x(2)*x(35)*x(43)*x(44)+x(16)*x(35),
-x(1)*x(22)*x(37)^2-x(2)*x(31)*x(39)^2-x(2)*x(38)^2*x(43)+x(24)*x(35),
-x(1)*x(22)*x(35)*x(40)-x(2)*x(31)*x(39)*x(41)-x(2)*x(38)*x(41)*x(43)+x(35)*x(40),
-x(2)*x(29)*x(35)*x(40)-x(1)*x(16)*x(26)*x(42)-x(2)*x(35)*x(43)*x(44)+x(22)*x(35),
-x(1)*x(16)*x(35)*x(37)-x(2)*x(35)*x(38)^2-x(2)*x(29)*x(39)*x(41)+x(35)*x(37),
-x(2)*x(35)*x(38)^2-x(2)*x(29)*x(38)*x(41)-x(1)*x(16)*x(35)*x(44)+x(35)*x(37),
-x(1)*x(11)*x(25)*x(26)-x(2)*x(26)*x(34)*x(37)-x(2)*x(33)*x(35)*x(42)+x(15)*x(35),
-x(1)*x(11)*x(26)*x(40)-x(2)*x(26)*x(39)*x(40)-x(2)*x(33)*x(41)*x(44)+x(20)*x(35),
-x(2)*x(33)*x(35)*x(38)-x(2)*x(26)*x(37)*x(38)-x(1)*x(11)*x(26)*x(44)+x(18)*x(35),
-x(1)*x(16)*x(26)*x(34)-x(2)*x(24)*x(35)^2-x(2)*x(36)*x(37)*x(40)+x(17)*x(35),
-x(1)*x(16)*x(37)*x(40)-x(2)*x(39)^2*x(40)-x(2)*x(24)*x(38)*x(41)+x(19)*x(35),
-x(2)*x(38)*x(39)*x(40)-x(2)*x(24)*x(38)*x(41)-x(1)*x(16)*x(40)*x(44)+x(19)*x(35),
-x(1)*x(12)*x(26)*x(42)-x(2)*x(35)*x(37)*x(44)-x(2)*x(35)*x(43)*x(44)+x(16)*x(35),
-x(1)*x(12)*x(35)*x(40)-x(2)*x(38)*x(41)*x(44)-x(2)*x(39)*x(41)*x(44)+x(35)*x(40),
-2*x(2)*x(38)^2*x(44)-x(1)*x(12)*x(44)^2+x(24)*x(35),
-x(2)*x(9)*x(23)*x(28)-x(2)*x(14)*x(23)*x(28)-x(1)*x(8)*x(27)*x(32)+x(13)*x(29),
-x(1)*x(8)*x(28)*x(33)-x(2)*x(14)*x(24)*x(36)-x(2)*x(9)*x(29)*x(44)+x(14)*x(29),
-x(1)*x(8)*x(18)*x(28)-x(2)*x(9)*x(29)*x(31)-x(2)*x(14)*x(29)*x(37)+x(14)*x(29),
-x(1)*x(10)*x(18)*x(27)-x(2)*x(20)*x(28)*x(29)-x(2)*x(28)*x(33)*x(37)+x(15)*x(29),
-x(1)*x(10)*x(24)*x(28)-x(2)*x(20)*x(30)*x(36)-x(2)*x(29)*x(33)*x(38)+x(18)*x(29),
-x(1)*x(10)*x(19)*x(28)-x(2)*x(20)*x(29)*x(39)-x(2)*x(31)*x(33)*x(39)+x(20)*x(29),
-x(1)*x(11)*x(27)*x(33)-x(2)*x(24)*x(28)*x(42)-x(2)*x(23)*x(28)*x(44)+x(21)*x(29),
-x(2)*x(23)*x(36)*x(38)-x(2)*x(29)*x(38)*x(42)-x(1)*x(11)*x(28)*x(43)+x(29)*x(34),
-x(1)*x(11)*x(24)*x(28)-x(2)*x(23)*x(29)*x(38)-x(2)*x(30)*x(31)*x(42)+x(23)*x(29),
-x(2)*x(23)*x(28)*x(31)-x(1)*x(21)*x(28)*x(32)-x(2)*x(23)*x(29)*x(42)+x(21)*x(29),
-x(1)*x(21)*x(29)*x(33)-x(2)*x(24)*x(28)*x(39)-x(2)*x(30)*x(42)*x(44)+x(23)*x(29),
-x(1)*x(18)*x(21)*x(36)-x(2)*x(28)*x(37)*x(39)-x(2)*x(29)*x(39)*x(42)+x(29)*x(34),
-x(1)*x(18)*x(22)*x(28)-x(2)*x(29)*x(31)^2-x(2)*x(29)*x(37)*x(43)+x(16)*x(29),
-x(1)*x(22)*x(24)*x(29)-x(2)*x(30)*x(31)*x(39)-x(2)*x(30)*x(38)*x(43)+x(24)*x(29),
-x(1)*x(19)*x(22)*x(36)-x(2)*x(31)*x(39)^2-x(2)*x(39)^2*x(43)+x(29)*x(40),
-x(1)*x(16)*x(28)*x(33)-x(2)*x(24)*x(29)*x(35)-x(2)*x(29)*x(31)*x(44)+x(22)*x(29),
-x(2)*x(30)*x(35)*x(38)-x(2)*x(29)*x(38)*x(39)-x(1)*x(16)*x(29)*x(43)+x(29)*x(37),
-x(1)*x(16)*x(24)*x(36)-x(2)*x(30)*x(35)*x(39)-x(2)*x(29)*x(38)*x(39)+x(29)*x(37),
-x(2)*x(23)*x(26)*x(29)-x(1)*x(11)*x(28)*x(32)-x(2)*x(23)*x(33)*x(36)+x(15)*x(29),
-x(1)*x(11)*x(31)*x(33)-x(2)*x(24)*x(26)*x(39)-x(2)*x(33)*x(39)*x(44)+x(20)*x(29),
-x(1)*x(11)*x(18)*x(29)-x(2)*x(26)*x(30)*x(37)-x(2)*x(29)*x(33)*x(39)+x(18)*x(29),
-x(1)*x(16)*x(18)*x(28)-x(2)*x(24)*x(36)*x(37)-x(2)*x(29)^2*x(40)+x(17)*x(29),
-x(1)*x(16)*x(24)*x(31)-x(2)*x(24)*x(38)*x(39)-x(2)*x(30)*x(39)*x(40)+x(19)*x(29),
-x(1)*x(16)*x(19)*x(29)-x(2)*x(24)*x(39)^2-x(2)*x(30)*x(39)*x(40)+x(19)*x(29),
-x(1)*x(12)*x(28)*x(33)-x(2)*x(24)*x(36)*x(44)-x(2)*x(29)*x(44)^2+x(16)*x(29),
-x(1)*x(12)*x(31)*x(43)-2*x(2)*x(38)*x(39)*x(44)+x(29)*x(40),
-x(1)*x(12)*x(24)*x(29)-x(2)*x(30)*x(38)*x(44)-x(2)*x(30)*x(39)*x(44)+x(24)*x(29),
-x(1)*x(6)*x(13)^2-2*x(2)*x(14)*x(15)*x(21)+x(13)*x(17),
-x(2)*x(14)*x(16)^2-x(1)*x(6)*x(15)*x(21)-x(2)*x(14)*x(17)*x(22)+x(14)*x(17),
-x(1)*x(10)*x(13)*x(14)-x(2)*x(18)*x(21)*x(26)-x(2)*x(15)*x(18)*x(34)+x(15)*x(17),
-x(1)*x(10)*x(15)*x(23)-x(2)*x(16)*x(24)*x(26)-x(2)*x(17)*x(18)*x(37)+x(17)*x(18),
-x(1)*x(10)*x(20)*x(21)-x(2)*x(19)*x(22)*x(26)-x(2)*x(16)*x(18)*x(40)+x(17)*x(20),
-x(1)*x(13)*x(14)*x(15)-x(2)*x(20)*x(21)*x(28)-x(2)*x(15)*x(23)*x(34)+x(17)*x(21),
-x(1)*x(15)^2*x(34)-x(2)*x(17)*x(34)*x(37)-x(2)*x(16)*x(28)*x(40)+x(17)*x(34),
-x(1)*x(15)*x(18)*x(21)-x(2)*x(19)*x(22)*x(28)-x(2)*x(16)*x(24)*x(34)+x(17)*x(23),
-x(1)*x(14)^2*x(16)-x(2)*x(20)*x(29)*x(34)-x(2)*x(18)*x(23)*x(35)+x(16)*x(17),
-x(1)*x(16)*x(18)*x(23)-x(2)*x(24)^2*x(35)-x(2)*x(19)*x(29)*x(37)+x(17)*x(24),
-x(1)*x(16)*x(20)*x(34)-x(2)*x(19)*x(35)*x(37)-x(2)*x(29)*x(40)^2+x(17)*x(40),
-x(1)*x(14)^2*x(17)-2*x(2)*x(20)*x(23)*x(36)+x(17)*x(22),
-x(1)*x(17)*x(18)*x(34)-x(2)*x(19)*x(36)*x(37)-x(2)*x(24)*x(36)*x(40)+x(17)*x(37),
-x(1)*x(14)^2*x(22)-2*x(2)*x(18)*x(34)*x(37)+x(17)^2,
-x(1)*x(20)*x(22)*x(23)-x(2)*x(19)*x(37)^2-x(2)*x(24)*x(37)*x(40)+x(17)*x(19),
-x(1)*x(6)*x(25)*x(27)-x(2)*x(14)*x(28)*x(34)-x(2)*x(14)*x(28)*x(42)+x(13)*x(36),
-x(1)*x(6)*x(28)*x(34)-x(2)*x(14)*x(29)*x(35)-x(2)*x(14)*x(31)*x(36)+x(14)*x(36),
-x(2)*x(14)*x(29)*x(35)-x(1)*x(6)*x(28)*x(42)-x(2)*x(14)*x(36)*x(43)+x(14)*x(36),
-x(1)*x(10)*x(25)*x(28)-x(2)*x(18)*x(34)*x(36)-x(2)*x(26)*x(29)*x(42)+x(15)*x(36),
-x(1)*x(10)*x(29)*x(34)-x(2)*x(26)*x(30)*x(35)-x(2)*x(18)*x(36)*x(39)+x(18)*x(36),
-x(2)*x(18)*x(35)*x(39)-x(1)*x(10)*x(31)*x(42)-x(2)*x(26)*x(39)*x(43)+x(20)*x(36),
-x(1)*x(15)*x(25)*x(28)-x(2)*x(29)*x(34)^2-x(2)*x(28)*x(31)*x(42)+x(21)*x(36),
-x(1)*x(15)*x(34)*x(36)-x(2)*x(28)*x(35)*x(39)-x(2)*x(34)*x(36)*x(39)+x(34)*x(36),
-x(2)*x(30)*x(34)*x(35)-x(1)*x(15)*x(29)*x(42)-x(2)*x(28)*x(39)*x(43)+x(23)*x(36),
-x(1)*x(15)*x(26)*x(27)-x(2)*x(28)^2*x(40)-x(2)*x(28)*x(34)*x(44)+x(21)*x(36),
-x(1)*x(15)*x(28)*x(37)-x(2)*x(29)*x(34)*x(38)-x(2)*x(28)*x(31)*x(39)+x(23)*x(36),
-x(1)*x(15)*x(28)*x(35)-x(2)*x(34)*x(36)*x(38)-x(2)*x(28)*x(29)*x(41)+x(34)*x(36),
-x(1)*x(16)*x(26)*x(28)-x(2)*x(29)*x(36)*x(40)-x(2)*x(29)*x(35)*x(44)+x(16)*x(36),
-x(1)*x(16)*x(29)*x(37)-x(2)*x(30)*x(35)*x(38)-x(2)*x(29)*x(39)^2+x(24)*x(36),
-x(1)*x(16)*x(31)*x(35)-x(2)*x(35)*x(38)*x(39)-x(2)*x(29)*x(39)*x(41)+x(36)*x(40),
-x(1)*x(17)*x(26)*x(28)-x(2)*x(29)*x(36)*x(40)-x(2)*x(31)*x(36)*x(44)+x(22)*x(36),
-x(1)*x(17)*x(36)*x(37)-x(2)*x(36)*x(38)*x(39)-x(2)*x(36)*x(39)^2+x(36)*x(37),
-x(1)*x(17)*x(29)*x(35)-x(2)*x(36)*x(38)*x(39)-x(2)*x(30)*x(36)*x(41)+x(36)*x(37),
-x(1)*x(10)*x(26)*x(27)-x(2)*x(18)*x(28)*x(35)-x(2)*x(26)*x(28)*x(37)+x(15)*x(36),
-x(2)*x(26)*x(31)*x(39)-x(1)*x(10)*x(28)*x(40)-x(2)*x(18)*x(29)*x(41)+x(20)*x(36),
-x(2)*x(26)*x(29)*x(38)-x(2)*x(18)*x(36)*x(38)-x(1)*x(10)*x(28)*x(44)+x(18)*x(36),
-x(1)*x(22)*x(26)*x(28)-x(2)*x(29)*x(35)*x(37)-x(2)*x(36)*x(37)^2+x(17)*x(36),
-x(2)*x(37)*x(39)^2-x(1)*x(22)*x(29)*x(40)-x(2)*x(30)*x(37)*x(41)+x(19)*x(36),
-2*x(2)*x(37)*x(38)*x(39)-x(1)*x(22)*x(31)*x(44)+x(19)*x(36),
-x(1)*x(16)*x(26)*x(28)-x(2)*x(29)*x(31)*x(35)-x(2)*x(29)*x(35)*x(37)+x(16)*x(36),
-x(2)*x(35)*x(39)^2-x(1)*x(16)*x(36)*x(40)-x(2)*x(29)*x(39)*x(41)+x(36)*x(40),
-x(2)*x(30)*x(35)*x(38)-x(2)*x(29)*x(38)*x(39)-x(1)*x(16)*x(29)*x(44)+x(24)*x(36),
-x(1)*x(8)^2*x(13)-2*x(2)*x(11)*x(14)*x(21)+x(13)*x(22),
-x(1)*x(10)*x(11)*x(13)-x(2)*x(14)*x(16)^2-x(2)*x(12)*x(14)*x(22)+x(14)*x(22),
-x(1)*x(8)*x(14)*x(15)-x(2)*x(18)*x(21)*x(26)-x(2)*x(11)*x(20)*x(28)+x(15)*x(22),
-x(1)*x(10)*x(15)*x(23)-x(2)*x(16)*x(20)*x(29)-x(2)*x(18)*x(22)*x(44)+x(18)*x(22),
-x(1)*x(11)*x(15)*x(20)-x(2)*x(12)*x(20)*x(31)-x(2)*x(16)*x(18)*x(40)+x(20)*x(22),
-x(1)*x(8)*x(9)*x(21)-x(2)*x(21)*x(33)*x(34)-x(2)*x(11)*x(23)*x(42)+x(21)*x(22),
-x(2)*x(16)*x(23)*x(35)-x(1)*x(10)*x(21)*x(42)-x(2)*x(22)*x(34)*x(44)+x(22)*x(34),
-x(1)*x(11)*x(21)*x(33)-x(2)*x(16)*x(24)*x(34)-x(2)*x(12)*x(23)*x(43)+x(22)*x(23),
-x(1)*x(9)*x(14)*x(16)-x(2)*x(28)*x(33)*x(40)-x(2)*x(24)*x(26)*x(42)+x(16)*x(22),
-x(1)*x(16)*x(23)*x(33)-x(2)*x(24)*x(29)*x(40)-x(2)*x(24)*x(43)*x(44)+x(22)*x(24),
-x(2)*x(24)*x(35)*x(40)-x(1)*x(16)*x(20)*x(42)-x(2)*x(31)*x(40)*x(44)+x(22)*x(40),
-x(1)*x(9)^2*x(22)-2*x(2)*x(33)*x(37)*x(42)+x(22)^2,
-x(2)*x(24)*x(35)*x(37)-x(1)*x(22)*x(33)*x(42)-x(2)*x(37)*x(43)*x(44)+x(22)*x(37),
-x(1)*x(14)^2*x(17)-2*x(2)*x(19)*x(26)*x(28)+x(17)*x(22),
-x(1)*x(17)*x(20)*x(23)-x(2)*x(19)*x(29)*x(40)-x(2)*x(19)*x(31)*x(44)+x(19)*x(22),
-x(1)*x(13)*x(25)*x(32)-x(2)*x(14)*x(23)*x(34)-x(2)*x(14)*x(23)*x(42)+x(13)*x(37),
-x(1)*x(13)*x(18)*x(26)-x(2)*x(14)*x(29)*x(40)-x(2)*x(14)*x(37)*x(44)+x(14)*x(37),
-x(1)*x(13)*x(26)*x(33)-x(2)*x(14)*x(24)*x(35)-x(2)*x(14)*x(37)*x(44)+x(14)*x(37),
-x(1)*x(15)*x(32)*x(34)-x(2)*x(18)*x(23)*x(35)-x(2)*x(20)*x(23)*x(36)+x(15)*x(37),
-x(1)*x(15)*x(18)*x(37)-x(2)*x(18)*x(37)*x(38)-x(2)*x(20)*x(29)*x(39)+x(18)*x(37),
-x(1)*x(15)*x(33)*x(40)-x(2)*x(18)*x(24)*x(41)-x(2)*x(20)*x(39)*x(44)+x(20)*x(37),
-x(2)*x(23)^2*x(35)-x(1)*x(21)*x(32)*x(42)-x(2)*x(23)*x(34)*x(43)+x(21)*x(37),
-x(1)*x(18)*x(21)*x(35)-x(2)*x(34)*x(37)*x(38)-x(2)*x(23)*x(29)*x(41)+x(34)*x(37),
-x(2)*x(24)*x(34)*x(38)-x(1)*x(21)*x(33)*x(44)-x(2)*x(23)*x(38)*x(44)+x(23)*x(37),
-x(1)*x(21)*x(25)*x(33)-x(2)*x(24)*x(34)^2-x(2)*x(23)*x(42)*x(44)+x(21)*x(37),
-x(1)*x(21)*x(24)*x(26)-x(2)*x(30)*x(34)*x(40)-x(2)*x(23)*x(38)*x(44)+x(23)*x(37),
-x(2)*x(23)*x(35)*x(38)-x(2)*x(34)*x(37)*x(38)-x(1)*x(21)*x(26)*x(43)+x(34)*x(37),
-x(1)*x(16)*x(33)*x(34)-x(2)*x(24)*x(36)*x(40)-x(2)*x(24)*x(35)*x(44)+x(16)*x(37),
-x(1)*x(16)*x(24)*x(37)-x(2)*x(24)*x(38)^2-x(2)*x(30)*x(39)*x(40)+x(24)*x(37),
-x(2)*x(38)*x(39)*x(40)-x(2)*x(24)*x(38)*x(41)-x(1)*x(16)*x(40)*x(43)+x(37)*x(40),
-x(1)*x(22)*x(24)*x(35)-x(2)*x(37)*x(38)^2-x(2)*x(30)*x(37)*x(41)+x(37)^2,
-2*x(2)*x(37)*x(38)^2-x(1)*x(22)*x(43)*x(44)+x(37)^2,
-x(1)*x(15)*x(18)*x(25)-x(2)*x(18)*x(34)*x(37)-x(2)*x(20)*x(29)*x(42)+x(15)*x(37),
-x(1)*x(15)*x(19)*x(26)-x(2)*x(18)*x(39)*x(40)-x(2)*x(20)*x(39)*x(44)+x(20)*x(37),
-x(1)*x(15)*x(24)*x(26)-x(2)*x(20)*x(30)*x(35)-x(2)*x(18)*x(37)*x(38)+x(18)*x(37),
-x(1)*x(17)*x(18)*x(34)-x(2)*x(19)*x(29)*x(35)-x(2)*x(19)*x(36)*x(37)+x(17)*x(37),
-x(1)*x(17)*x(19)*x(37)-x(2)*x(19)*x(38)*x(39)-x(2)*x(19)*x(39)^2+x(19)*x(37),
-x(2)*x(19)*x(38)*x(39)-x(1)*x(17)*x(24)*x(40)-x(2)*x(19)*x(30)*x(41)+x(19)*x(37),
-x(2)*x(24)*x(35)*x(37)-x(1)*x(16)*x(18)*x(42)-x(2)*x(29)*x(40)*x(43)+x(16)*x(37),
-x(1)*x(16)*x(19)*x(35)-x(2)*x(38)*x(39)*x(40)-x(2)*x(24)*x(39)*x(41)+x(37)*x(40),
-x(2)*x(24)*x(38)^2-x(2)*x(30)*x(38)*x(40)-x(1)*x(16)*x(24)*x(44)+x(24)*x(37),
-x(1)*x(4)^3-2*x(2)*x(5)^3+x(25)*x(32),
-x(1)*x(4)*x(6)*x(13)-x(2)*x(5)*x(15)^2-x(2)*x(5)*x(10)*x(21)+x(18)*x(25),
-x(1)*x(4)*x(8)^2-x(2)*x(5)*x(11)^2-x(2)*x(5)*x(10)*x(21)+x(25)*x(33),
-x(1)*x(4)*x(8)*x(13)-x(2)*x(5)*x(11)*x(21)-x(2)*x(5)*x(15)*x(21)+x(23)*x(25),
-x(1)*x(6)*x(13)*x(25)-x(2)*x(15)^2*x(34)-x(2)*x(10)*x(21)*x(42)+x(25)*x(37),
-x(2)*x(11)*x(15)*x(23)-x(2)*x(10)*x(21)*x(23)-x(1)*x(8)*x(13)*x(32)+x(24)*x(25),
-x(1)*x(6)*x(8)*x(27)-x(2)*x(11)*x(15)*x(28)-x(2)*x(10)*x(21)*x(28)+x(25)*x(29),
-x(1)*x(8)^2*x(25)-x(2)*x(10)*x(21)*x(34)-x(2)*x(11)^2*x(42)+x(25)*x(44),
-x(2)*x(15)*x(18)*x(21)-x(1)*x(8)*x(13)*x(32)-x(2)*x(11)*x(21)*x(33)+x(24)*x(25),
-x(1)*x(8)^2*x(25)-2*x(2)*x(11)*x(21)*x(26)+x(25)*x(43),
-x(1)*x(25)^2*x(32)-x(2)*x(18)*x(34)^2-x(2)*x(33)*x(42)^2+x(25)*x(38),
-x(1)*x(25)^2*x(32)-x(2)*x(23)*x(26)*x(34)-x(2)*x(23)*x(26)*x(42)+x(25)*x(38),
-x(2)*x(18)*x(23)*x(28)-x(1)*x(27)*x(32)^2-x(2)*x(23)*x(28)*x(33)+x(25)*x(30),
-x(1)*x(7)*x(13)^2-2*x(2)*x(15)*x(20)*x(21)+x(19)*x(25),
-x(1)*x(7)*x(25)*x(27)-x(2)*x(20)*x(28)*x(34)-x(2)*x(20)*x(28)*x(42)+x(25)*x(39),
-x(1)*x(4)*x(8)^2-x(2)*x(5)*x(11)^2-x(2)*x(5)*x(10)*x(21)+x(32)*x(42),
-x(1)*x(4)*x(14)^2-x(2)*x(5)*x(23)*x(26)-x(2)*x(5)*x(20)*x(28)+x(18)*x(42),
-x(1)*x(4)*x(9)^2-2*x(2)*x(5)*x(33)*x(42)+x(33)*x(42),
-x(1)*x(8)*x(11)*x(13)-x(2)*x(11)*x(12)*x(21)-x(2)*x(15)*x(16)*x(21)+x(23)*x(42),
-x(1)*x(13)*x(14)*x(26)-x(2)*x(15)*x(28)*x(40)-x(2)*x(21)*x(26)*x(44)+x(37)*x(42),
-x(1)*x(9)*x(13)*x(33)-x(2)*x(15)*x(24)*x(42)-x(2)*x(21)*x(33)*x(44)+x(24)*x(42),
-x(1)*x(8)^2*x(21)-x(2)*x(11)*x(16)*x(21)-x(2)*x(11)*x(21)*x(22)+x(23)*x(42),
-x(1)*x(8)*x(14)*x(28)-x(2)*x(21)*x(26)*x(29)-x(2)*x(11)*x(28)*x(31)+x(29)*x(42),
-x(2)*x(21)*x(33)*x(35)-x(1)*x(8)*x(9)*x(42)-x(2)*x(11)*x(42)*x(43)+x(42)*x(44),
-x(1)*x(8)^2*x(11)-x(2)*x(11)^2*x(12)-x(2)*x(10)*x(16)*x(21)+x(33)*x(42),
-x(1)*x(8)*x(14)*x(23)-x(2)*x(20)*x(21)*x(29)-x(2)*x(11)*x(23)*x(44)+x(24)*x(42),
-x(2)*x(21)*x(33)*x(35)-x(1)*x(8)*x(9)*x(42)-x(2)*x(11)*x(42)*x(44)+x(42)*x(43),
-x(1)*x(11)^2*x(25)-x(2)*x(16)^2*x(34)-x(2)*x(12)^2*x(42)+x(42)*x(44),
-x(1)*x(23)*x(25)*x(26)-x(2)*x(29)*x(34)*x(40)-x(2)*x(42)*x(44)^2+x(38)*x(42),
-x(2)*x(24)*x(34)*x(35)-x(1)*x(25)*x(33)*x(42)-x(2)*x(42)*x(44)^2+x(38)*x(42),
-x(2)*x(12)*x(16)*x(23)-x(2)*x(16)*x(22)*x(23)-x(1)*x(11)*x(21)*x(32)+x(24)*x(42),
-x(2)*x(23)*x(29)*x(31)-x(1)*x(23)*x(28)*x(32)-x(2)*x(23)*x(29)*x(44)+x(30)*x(42),
-x(1)*x(32)*x(42)^2-x(2)*x(23)*x(35)*x(43)-x(2)*x(23)*x(35)*x(44)+x(38)*x(42),
-x(1)*x(8)*x(10)*x(13)-x(2)*x(11)*x(15)*x(16)-x(2)*x(10)*x(21)*x(22)+x(18)*x(42),
-x(1)*x(13)*x(14)*x(20)-x(2)*x(20)*x(21)*x(31)-x(2)*x(15)*x(23)*x(40)+x(19)*x(42),
-x(1)*x(9)*x(13)*x(33)-x(2)*x(15)*x(24)*x(42)-x(2)*x(21)*x(33)*x(43)+x(24)*x(42),
-x(1)*x(10)*x(11)*x(27)-x(2)*x(12)*x(16)*x(28)-x(2)*x(16)*x(22)*x(28)+x(29)*x(42),
-x(1)*x(20)*x(26)*x(27)-x(2)*x(28)*x(31)*x(40)-x(2)*x(28)*x(40)*x(44)+x(39)*x(42),
-x(1)*x(27)*x(33)^2-x(2)*x(24)*x(28)*x(43)-x(2)*x(24)*x(28)*x(44)+x(30)*x(42),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(16)^2*x(34)-x(2)*x(22)^2*x(42)+x(37)*x(42),
-x(1)*x(20)*x(25)*x(28)-x(2)*x(29)*x(34)*x(40)-x(2)*x(31)^2*x(42)+x(39)*x(42),
-x(2)*x(24)*x(34)*x(35)-x(1)*x(25)*x(33)*x(42)-x(2)*x(42)*x(43)^2+x(38)*x(42),
-x(1)*x(4)*x(6)*x(13)-x(2)*x(5)*x(15)^2-x(2)*x(5)*x(10)*x(21)+x(32)*x(34),
-x(1)*x(4)*x(14)^2-2*x(2)*x(5)*x(18)*x(34)+x(18)*x(34),
-x(1)*x(4)*x(14)^2-x(2)*x(5)*x(23)*x(26)-x(2)*x(5)*x(20)*x(28)+x(33)*x(34),
-x(1)*x(10)*x(13)^2-x(2)*x(15)*x(16)*x(21)-x(2)*x(15)*x(21)*x(22)+x(23)*x(34),
-x(1)*x(13)*x(14)*x(26)-x(2)*x(18)*x(21)*x(35)-x(2)*x(15)*x(34)*x(37)+x(34)*x(37),
-x(1)*x(13)*x(14)*x(18)-x(2)*x(20)*x(21)*x(29)-x(2)*x(15)*x(23)*x(37)+x(24)*x(34),
-x(1)*x(8)*x(13)*x(15)-x(2)*x(11)*x(16)*x(21)-x(2)*x(15)*x(17)*x(21)+x(23)*x(34),
-x(1)*x(8)*x(14)*x(28)-x(2)*x(11)*x(29)*x(34)-x(2)*x(18)*x(21)*x(36)+x(29)*x(34),
-x(1)*x(8)*x(14)*x(34)-x(2)*x(11)*x(23)*x(35)-x(2)*x(20)*x(21)*x(36)+x(34)*x(44),
-x(2)*x(11)*x(15)*x(16)-x(1)*x(6)*x(8)*x(21)-x(2)*x(10)*x(21)*x(22)+x(33)*x(34),
-x(1)*x(8)*x(14)*x(23)-x(2)*x(11)*x(24)*x(34)-x(2)*x(18)*x(21)*x(37)+x(24)*x(34),
-x(1)*x(8)*x(14)*x(34)-x(2)*x(21)*x(26)*x(37)-x(2)*x(11)*x(28)*x(40)+x(34)*x(43),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(22)^2*x(34)-x(2)*x(16)^2*x(42)+x(34)*x(44),
-x(1)*x(23)*x(25)*x(26)-x(2)*x(34)*x(37)^2-x(2)*x(24)*x(35)*x(42)+x(34)*x(38),
-x(1)*x(18)*x(25)*x(34)-x(2)*x(34)*x(37)^2-x(2)*x(29)*x(40)*x(42)+x(34)*x(38),
-x(2)*x(16)*x(17)*x(23)-x(2)*x(16)*x(22)*x(23)-x(1)*x(15)*x(21)*x(32)+x(24)*x(34),
-x(1)*x(23)*x(28)*x(32)-x(2)*x(23)*x(24)*x(36)-x(2)*x(23)*x(29)*x(37)+x(30)*x(34),
-x(1)*x(32)*x(34)^2-x(2)*x(23)*x(35)*x(37)-x(2)*x(23)*x(36)*x(40)+x(34)*x(38),
-x(1)*x(6)*x(13)*x(15)-x(2)*x(15)^2*x(17)-x(2)*x(10)*x(16)*x(21)+x(18)*x(34),
-x(1)*x(13)*x(14)*x(20)-x(2)*x(15)*x(19)*x(34)-x(2)*x(18)*x(21)*x(40)+x(19)*x(34),
-x(1)*x(13)*x(14)*x(18)-x(2)*x(21)*x(24)*x(26)-x(2)*x(15)*x(19)*x(28)+x(24)*x(34),
-x(1)*x(10)*x(15)*x(27)-x(2)*x(16)*x(17)*x(28)-x(2)*x(16)*x(22)*x(28)+x(29)*x(34),
-x(1)*x(20)*x(26)*x(27)-x(2)*x(19)*x(28)*x(35)-x(2)*x(28)*x(37)*x(40)+x(34)*x(39),
-x(1)*x(18)^2*x(27)-x(2)*x(19)*x(28)*x(29)-x(2)*x(24)*x(28)*x(37)+x(30)*x(34),
-x(1)*x(15)^2*x(25)-x(2)*x(17)^2*x(34)-x(2)*x(16)^2*x(42)+x(34)*x(37),
-x(1)*x(20)*x(25)*x(28)-x(2)*x(19)*x(34)*x(36)-x(2)*x(29)*x(40)*x(42)+x(34)*x(39),
-x(1)*x(18)*x(25)*x(34)-x(2)*x(19)*x(34)*x(36)-x(2)*x(24)*x(35)*x(42)+x(34)*x(38),
-x(1)*x(4)*x(6)*x(8)-x(2)*x(5)*x(10)*x(11)-x(2)*x(5)*x(10)*x(15)+x(26)*x(32),
-x(1)*x(6)*x(8)*x(15)-x(2)*x(10)*x(11)*x(16)-x(2)*x(10)*x(15)*x(17)+x(18)*x(26),
-x(1)*x(8)^2*x(10)-x(2)*x(10)*x(11)*x(16)-x(2)*x(10)*x(11)*x(22)+x(26)*x(33),
-x(1)*x(4)*x(14)^2-x(2)*x(5)*x(23)*x(26)-x(2)*x(5)*x(20)*x(28)+x(23)*x(26),
-x(1)*x(6)*x(14)*x(34)-x(2)*x(10)*x(23)*x(35)-x(2)*x(15)*x(20)*x(36)+x(26)*x(37),
-x(1)*x(8)*x(14)*x(18)-x(2)*x(11)*x(20)*x(29)-x(2)*x(10)*x(23)*x(37)+x(24)*x(26),
-x(1)*x(4)*x(9)*x(14)-x(2)*x(5)*x(33)*x(34)-x(2)*x(5)*x(18)*x(42)+x(23)*x(26),
-x(1)*x(6)*x(9)*x(28)-x(2)*x(15)*x(33)*x(36)-x(2)*x(10)*x(29)*x(42)+x(26)*x(29),
-x(1)*x(8)*x(9)*x(26)-x(2)*x(11)*x(33)*x(35)-x(2)*x(10)*x(37)*x(42)+x(26)*x(44),
-x(1)*x(6)*x(8)*x(11)-x(2)*x(10)*x(11)*x(12)-x(2)*x(10)*x(15)*x(16)+x(26)*x(33),
-x(2)*x(16)*x(17)*x(18)-x(1)*x(11)*x(15)*x(32)-x(2)*x(12)*x(16)*x(33)+x(24)*x(26),
-x(1)*x(10)*x(11)*x(25)-x(2)*x(16)^2*x(26)-x(2)*x(12)*x(22)*x(26)+x(26)*x(43),
-x(1)*x(8)*x(14)*x(26)-x(2)*x(10)*x(28)*x(40)-x(2)*x(11)*x(26)*x(44)+x(26)*x(44),
-x(1)*x(26)*x(32)*x(34)-x(2)*x(18)*x(36)*x(40)-x(2)*x(33)*x(35)*x(44)+x(26)*x(38),
-x(1)*x(18)*x(25)*x(26)-x(2)*x(26)*x(29)*x(40)-x(2)*x(26)*x(37)*x(44)+x(26)*x(38),
-x(1)*x(8)*x(14)*x(33)-x(2)*x(10)*x(24)*x(34)-x(2)*x(11)*x(18)*x(44)+x(24)*x(26),
-x(1)*x(28)*x(32)*x(33)-x(2)*x(18)*x(24)*x(36)-x(2)*x(29)*x(33)*x(44)+x(26)*x(30),
-x(1)*x(25)*x(26)*x(33)-x(2)*x(24)*x(26)*x(35)-x(2)*x(26)*x(37)*x(44)+x(26)*x(38),
-x(2)*x(10)*x(15)*x(16)-x(1)*x(6)^2*x(21)-x(2)*x(10)*x(15)*x(22)+x(18)*x(26),
-x(2)*x(16)^2*x(20)-x(1)*x(7)*x(15)*x(21)-x(2)*x(17)*x(20)*x(22)+x(19)*x(26),
-x(2)*x(16)*x(18)*x(22)-x(1)*x(10)*x(21)*x(32)-x(2)*x(16)*x(22)*x(33)+x(24)*x(26),
-x(1)*x(6)*x(14)*x(28)-x(2)*x(15)*x(26)*x(29)-x(2)*x(10)*x(28)*x(31)+x(26)*x(29),
-x(1)*x(7)*x(28)*x(34)-x(2)*x(20)*x(29)*x(35)-x(2)*x(20)*x(31)*x(36)+x(26)*x(39),
-x(1)*x(18)*x(28)*x(32)-x(2)*x(29)*x(31)*x(33)-x(2)*x(18)*x(29)*x(37)+x(26)*x(30),
-x(2)*x(15)*x(18)*x(35)-x(1)*x(6)*x(14)*x(42)-x(2)*x(10)*x(34)*x(43)+x(26)*x(37),
-x(2)*x(20)*x(29)*x(35)-x(1)*x(7)*x(28)*x(42)-x(2)*x(20)*x(36)*x(43)+x(26)*x(39),
-x(2)*x(18)*x(35)*x(37)-x(1)*x(26)*x(32)*x(42)-x(2)*x(33)*x(35)*x(43)+x(26)*x(38),
-x(2)*x(10)*x(18)*x(21)-x(1)*x(8)^2*x(32)-x(2)*x(11)^2*x(33)+x(32)*x(44),
-x(1)*x(8)*x(14)*x(18)-x(2)*x(11)*x(24)*x(26)-x(2)*x(10)*x(19)*x(28)+x(18)*x(44),
-x(1)*x(8)*x(9)*x(33)-x(2)*x(10)*x(24)*x(42)-x(2)*x(11)*x(33)*x(43)+x(33)*x(44),
-x(1)*x(8)*x(14)*x(23)-x(2)*x(20)*x(21)*x(29)-x(2)*x(11)*x(23)*x(44)+x(23)*x(44),
-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(37)*x(44),
-x(1)*x(9)*x(14)*x(24)-x(2)*x(23)*x(33)*x(38)-x(2)*x(20)*x(30)*x(42)+x(24)*x(44),
-x(1)*x(8)*x(9)*x(23)-x(2)*x(21)*x(33)*x(37)-x(2)*x(11)*x(24)*x(42)+x(23)*x(44),
-x(1)*x(9)*x(14)*x(29)-x(2)*x(28)*x(33)*x(39)-x(2)*x(26)*x(30)*x(42)+x(29)*x(44),
-2*x(2)*x(33)*x(38)*x(42)-x(1)*x(9)^2*x(44)+x(44)^2,
-x(2)*x(16)^2*x(18)-x(1)*x(11)^2*x(32)-x(2)*x(12)^2*x(33)+x(33)*x(44),
-x(1)*x(11)*x(18)*x(23)-x(2)*x(16)*x(19)*x(29)-x(2)*x(12)*x(24)*x(44)+x(24)*x(44),
-x(2)*x(16)*x(24)*x(35)-x(1)*x(11)*x(33)*x(42)-x(2)*x(12)*x(43)*x(44)+x(43)*x(44),
-x(1)*x(11)*x(23)*x(26)-x(2)*x(16)*x(29)*x(40)-x(2)*x(12)*x(44)^2+x(44)^2,
-x(1)*x(23)*x(26)*x(37)-x(2)*x(29)*x(39)*x(40)-x(2)*x(38)*x(44)^2+x(38)*x(44),
-x(2)*x(30)*x(35)*x(40)-x(1)*x(24)*x(26)*x(42)-x(2)*x(38)*x(44)^2+x(38)*x(44),
-x(1)*x(11)*x(23)*x(33)-x(2)*x(16)*x(24)*x(37)-x(2)*x(12)*x(24)*x(44)+x(24)*x(44),
-x(1)*x(23)*x(29)*x(33)-x(2)*x(24)*x(29)*x(39)-x(2)*x(30)*x(44)^2+x(30)*x(44),
-x(2)*x(24)*x(35)*x(38)-x(1)*x(33)*x(42)*x(44)-x(2)*x(38)*x(44)^2+x(38)*x(44),
-x(2)*x(18)*x(22)^2-x(1)*x(10)*x(21)*x(32)-x(2)*x(16)^2*x(33)+x(18)*x(44),
-x(1)*x(18)*x(20)*x(21)-x(2)*x(19)*x(22)*x(31)-x(2)*x(16)*x(24)*x(40)+x(19)*x(44),
-x(1)*x(21)*x(33)^2-x(2)*x(16)*x(24)*x(43)-x(2)*x(22)*x(24)*x(43)+x(24)*x(44),
-x(1)*x(10)*x(23)*x(28)-x(2)*x(22)*x(29)*x(31)-x(2)*x(16)*x(29)*x(44)+x(29)*x(44),
-x(1)*x(20)*x(28)*x(37)-x(2)*x(31)^2*x(39)-x(2)*x(29)*x(38)*x(40)+x(39)*x(44),
-x(1)*x(24)*x(28)*x(33)-x(2)*x(24)*x(29)*x(38)-x(2)*x(30)*x(31)*x(43)+x(30)*x(44),
-x(2)*x(16)*x(24)*x(35)-x(1)*x(10)*x(23)*x(42)-x(2)*x(22)*x(37)*x(43)+x(37)*x(44),
-x(2)*x(30)*x(35)*x(40)-x(1)*x(20)*x(29)*x(42)-x(2)*x(31)*x(39)*x(43)+x(39)*x(44),
-x(2)*x(24)*x(35)*x(38)-x(2)*x(38)*x(43)^2-x(1)*x(33)*x(42)*x(44)+x(38)*x(44),
-x(1)*x(7)*x(8)*x(13)-x(2)*x(11)*x(15)*x(20)-x(2)*x(10)*x(20)*x(21)+x(32)*x(40),
-x(1)*x(8)*x(14)*x(20)-x(2)*x(10)*x(19)*x(34)-x(2)*x(11)*x(18)*x(40)+x(18)*x(40),
-x(1)*x(8)*x(14)*x(20)-x(2)*x(11)*x(20)*x(31)-x(2)*x(10)*x(23)*x(40)+x(33)*x(40),
-x(1)*x(13)*x(14)*x(20)-x(2)*x(20)*x(21)*x(31)-x(2)*x(15)*x(23)*x(40)+x(23)*x(40),
-x(2)*x(20)*x(34)*x(39)-x(1)*x(14)^2*x(40)-x(2)*x(18)*x(23)*x(41)+x(37)*x(40),
-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(24)*x(40),
-x(1)*x(9)*x(13)*x(20)-x(2)*x(21)*x(33)*x(40)-x(2)*x(15)*x(19)*x(42)+x(23)*x(40),
-x(1)*x(9)*x(14)*x(31)-x(2)*x(33)*x(34)*x(39)-x(2)*x(18)*x(39)*x(42)+x(29)*x(40),
-x(1)*x(9)*x(14)*x(40)-x(2)*x(23)*x(33)*x(41)-x(2)*x(20)*x(39)*x(42)+x(40)*x(44),
-x(2)*x(12)*x(16)*x(20)-x(1)*x(7)*x(11)*x(21)-x(2)*x(16)*x(20)*x(22)+x(33)*x(40),
-x(1)*x(11)*x(20)*x(23)-x(2)*x(16)*x(19)*x(37)-x(2)*x(12)*x(24)*x(40)+x(24)*x(40),
-x(1)*x(11)*x(20)*x(34)-x(2)*x(12)*x(31)*x(40)-x(2)*x(16)*x(37)*x(40)+x(40)*x(43),
-x(1)*x(20)*x(21)*x(26)-x(2)*x(22)*x(31)*x(40)-x(2)*x(16)*x(40)*x(44)+x(40)*x(44),
-x(1)*x(23)*x(26)*x(40)-x(2)*x(37)*x(39)*x(40)-x(2)*x(24)*x(41)*x(44)+x(38)*x(40),
-x(1)*x(19)*x(26)*x(34)-x(2)*x(37)*x(39)*x(40)-x(2)*x(39)*x(40)*x(44)+x(38)*x(40),
-x(1)*x(20)*x(21)*x(33)-x(2)*x(22)*x(24)*x(40)-x(2)*x(16)*x(19)*x(44)+x(24)*x(40),
-x(1)*x(23)*x(31)*x(33)-x(2)*x(24)*x(37)*x(39)-x(2)*x(24)*x(39)*x(44)+x(30)*x(40),
-x(1)*x(33)*x(34)*x(40)-x(2)*x(24)*x(37)*x(41)-x(2)*x(39)*x(40)*x(44)+x(38)*x(40),
-x(2)*x(16)*x(17)*x(20)-x(1)*x(7)*x(15)*x(21)-x(2)*x(16)*x(20)*x(22)+x(18)*x(40),
-x(1)*x(20)^2*x(21)-x(2)*x(16)*x(19)*x(40)-x(2)*x(19)*x(22)*x(40)+x(19)*x(40),
-x(1)*x(18)*x(20)*x(21)-x(2)*x(16)*x(19)*x(31)-x(2)*x(22)*x(24)*x(40)+x(24)*x(40),
-x(1)*x(15)*x(20)*x(28)-x(2)*x(16)*x(31)^2-x(2)*x(17)*x(29)*x(40)+x(29)*x(40),
-x(1)*x(20)*x(28)*x(40)-x(2)*x(31)*x(39)*x(40)-x(2)*x(19)*x(29)*x(41)+x(39)*x(40),
-x(1)*x(18)*x(19)*x(28)-x(2)*x(19)*x(29)*x(39)-x(2)*x(24)*x(31)*x(39)+x(30)*x(40),
-x(2)*x(17)*x(19)*x(35)-x(1)*x(15)*x(20)*x(42)-x(2)*x(16)*x(40)*x(43)+x(37)*x(40),
-x(2)*x(19)*x(35)*x(39)-x(1)*x(20)*x(31)*x(42)-x(2)*x(39)*x(40)*x(43)+x(39)*x(40),
-x(2)*x(19)*x(35)*x(39)-x(1)*x(18)*x(40)*x(42)-x(2)*x(24)*x(41)*x(43)+x(38)*x(40),
-x(1)*x(6)*x(8)*x(25)-x(2)*x(11)*x(15)*x(26)-x(2)*x(10)*x(21)*x(26)+x(32)*x(35),
-x(1)*x(6)*x(14)*x(34)-x(2)*x(15)*x(26)*x(37)-x(2)*x(10)*x(28)*x(40)+x(18)*x(35),
-x(2)*x(15)*x(33)*x(35)-x(1)*x(6)*x(9)*x(42)-x(2)*x(10)*x(42)*x(44)+x(33)*x(35),
-x(2)*x(18)*x(21)*x(35)-x(1)*x(8)*x(14)*x(42)-x(2)*x(11)*x(34)*x(44)+x(23)*x(35),
-x(1)*x(14)^2*x(35)-x(2)*x(26)*x(34)*x(38)-x(2)*x(18)*x(28)*x(41)+x(35)*x(37),
-x(2)*x(33)*x(34)*x(38)-x(2)*x(18)*x(38)*x(42)-x(1)*x(9)*x(14)*x(43)+x(24)*x(35),
-x(1)*x(8)*x(14)*x(34)-x(2)*x(21)*x(26)*x(37)-x(2)*x(11)*x(28)*x(40)+x(23)*x(35),
-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(29)*x(35),
-x(1)*x(9)*x(14)*x(35)-x(2)*x(28)*x(33)*x(41)-x(2)*x(26)*x(38)*x(42)+x(35)*x(44),
-x(1)*x(10)*x(11)*x(25)-x(2)*x(12)*x(16)*x(26)-x(2)*x(16)*x(22)*x(26)+x(33)*x(35),
-x(1)*x(10)*x(23)*x(34)-x(2)*x(22)*x(29)*x(40)-x(2)*x(16)*x(37)*x(44)+x(24)*x(35),
-x(1)*x(10)*x(42)^2-x(2)*x(16)*x(35)*x(44)-x(2)*x(22)*x(35)*x(44)+x(35)*x(43),
-x(2)*x(16)*x(35)*x(37)-x(1)*x(11)*x(26)*x(42)-x(2)*x(12)*x(35)*x(44)+x(35)*x(44),
-x(1)*x(23)*x(26)*x(35)-x(2)*x(29)*x(37)*x(41)-x(2)*x(35)*x(38)*x(44)+x(35)*x(38),
-x(2)*x(35)*x(37)*x(38)-x(1)*x(26)*x(42)*x(43)-x(2)*x(35)*x(38)*x(44)+x(35)*x(38),
-x(1)*x(11)*x(18)*x(34)-x(2)*x(16)*x(37)^2-x(2)*x(12)*x(29)*x(40)+x(24)*x(35),
-x(1)*x(18)*x(23)*x(36)-x(2)*x(29)*x(37)*x(39)-x(2)*x(29)*x(39)*x(44)+x(30)*x(35),
-x(2)*x(35)*x(37)*x(38)-x(1)*x(18)*x(35)*x(42)-x(2)*x(29)*x(41)*x(44)+x(35)*x(38),
-x(1)*x(10)*x(15)*x(25)-x(2)*x(16)*x(17)*x(26)-x(2)*x(16)*x(22)*x(26)+x(18)*x(35),
-x(1)*x(15)*x(20)*x(34)-x(2)*x(16)*x(31)*x(40)-x(2)*x(17)*x(37)*x(40)+x(19)*x(35),
-x(2)*x(17)*x(24)*x(35)-x(1)*x(15)*x(33)*x(42)-x(2)*x(16)*x(43)*x(44)+x(24)*x(35),
-x(2)*x(22)*x(29)*x(35)-x(1)*x(10)*x(28)*x(42)-x(2)*x(16)*x(36)*x(44)+x(29)*x(35),
-x(1)*x(20)*x(28)*x(35)-x(2)*x(36)*x(38)*x(40)-x(2)*x(29)*x(31)*x(41)+x(35)*x(39),
-x(2)*x(24)*x(36)*x(38)-x(1)*x(28)*x(33)*x(43)-x(2)*x(29)*x(38)*x(43)+x(30)*x(35),
-x(1)*x(10)*x(34)^2-x(2)*x(22)*x(35)*x(37)-x(2)*x(16)*x(36)*x(40)+x(35)*x(37),
-x(1)*x(20)*x(34)*x(36)-x(2)*x(31)*x(35)*x(39)-x(2)*x(36)*x(39)*x(40)+x(35)*x(39),
-x(1)*x(33)*x(34)*x(35)-x(2)*x(24)*x(36)*x(41)-x(2)*x(35)*x(38)*x(43)+x(35)*x(38),
-x(2)*x(15)^2*x(18)-x(1)*x(6)*x(13)*x(32)-x(2)*x(10)*x(21)*x(33)+x(32)*x(37),
-x(1)*x(6)*x(14)*x(23)-x(2)*x(10)*x(24)*x(34)-x(2)*x(15)*x(18)*x(37)+x(18)*x(37),
-x(1)*x(6)*x(14)*x(23)-x(2)*x(15)*x(20)*x(29)-x(2)*x(10)*x(23)*x(44)+x(33)*x(37),
-x(1)*x(13)*x(14)*x(33)-x(2)*x(15)*x(24)*x(34)-x(2)*x(18)*x(21)*x(43)+x(23)*x(37),
-2*x(2)*x(18)*x(34)*x(38)-x(1)*x(14)^2*x(44)+x(37)^2,
-x(1)*x(14)^2*x(24)-x(2)*x(20)*x(30)*x(34)-x(2)*x(18)*x(23)*x(38)+x(24)*x(37),
-x(1)*x(13)*x(14)*x(18)-x(2)*x(21)*x(24)*x(26)-x(2)*x(15)*x(19)*x(28)+x(23)*x(37),
-x(1)*x(14)^2*x(29)-x(2)*x(26)*x(30)*x(34)-x(2)*x(18)*x(28)*x(39)+x(29)*x(37),
-x(2)*x(16)^2*x(18)-x(1)*x(10)*x(21)*x(32)-x(2)*x(22)^2*x(33)+x(33)*x(37),
-x(1)*x(10)*x(23)^2-x(2)*x(16)*x(24)*x(37)-x(2)*x(22)*x(24)*x(37)+x(24)*x(37),
-x(1)*x(10)*x(23)*x(34)-x(2)*x(16)*x(29)*x(40)-x(2)*x(22)*x(37)*x(44)+x(37)*x(43),
-x(1)*x(21)*x(26)*x(33)-x(2)*x(16)*x(24)*x(35)-x(2)*x(22)*x(37)*x(43)+x(37)*x(44),
-x(2)*x(24)*x(35)*x(38)-x(2)*x(37)^2*x(38)-x(1)*x(23)*x(26)*x(44)+x(37)*x(38),
-x(1)*x(24)*x(26)*x(34)-x(2)*x(37)^2*x(38)-x(2)*x(30)*x(35)*x(40)+x(37)*x(38),
-x(1)*x(18)^2*x(21)-x(2)*x(16)*x(19)*x(29)-x(2)*x(22)*x(24)*x(37)+x(24)*x(37),
-x(1)*x(18)*x(23)*x(29)-x(2)*x(30)*x(37)^2-x(2)*x(24)*x(29)*x(39)+x(30)*x(37),
-x(1)*x(18)*x(34)*x(37)-x(2)*x(37)^2*x(38)-x(2)*x(29)*x(39)*x(40)+x(37)*x(38),
-x(2)*x(17)^2*x(18)-x(1)*x(15)^2*x(32)-x(2)*x(16)^2*x(33)+x(18)*x(37),
-x(1)*x(15)*x(20)*x(23)-x(2)*x(17)*x(19)*x(37)-x(2)*x(16)*x(24)*x(40)+x(19)*x(37),
-x(1)*x(15)*x(18)*x(23)-x(2)*x(17)*x(19)*x(29)-x(2)*x(16)*x(24)*x(44)+x(24)*x(37),
-x(1)*x(15)*x(28)*x(33)-x(2)*x(17)*x(24)*x(36)-x(2)*x(16)*x(29)*x(43)+x(29)*x(37),
-x(2)*x(19)*x(36)*x(38)-x(2)*x(29)*x(38)*x(40)-x(1)*x(20)*x(28)*x(44)+x(37)*x(39),
-x(1)*x(18)*x(24)*x(28)-x(2)*x(19)*x(30)*x(36)-x(2)*x(24)*x(29)*x(38)+x(30)*x(37),
-x(1)*x(15)*x(18)*x(34)-x(2)*x(16)*x(24)*x(35)-x(2)*x(17)*x(19)*x(36)+x(37)^2,
-x(1)*x(20)*x(29)*x(34)-x(2)*x(19)*x(36)*x(39)-x(2)*x(30)*x(35)*x(40)+x(37)*x(39),
-x(1)*x(18)*x(34)*x(37)-x(2)*x(24)*x(35)*x(38)-x(2)*x(19)*x(36)*x(39)+x(37)*x(38),
-x(1)*x(6)*x(8)*x(25)-x(2)*x(10)*x(15)*x(34)-x(2)*x(10)*x(11)*x(42)+x(32)*x(35),
-x(1)*x(6)*x(14)*x(34)-x(2)*x(10)*x(23)*x(35)-x(2)*x(15)*x(20)*x(36)+x(18)*x(35),
-x(2)*x(15)*x(33)*x(35)-x(1)*x(6)*x(9)*x(42)-x(2)*x(10)*x(42)*x(43)+x(33)*x(35),
-x(1)*x(11)*x(15)*x(25)-x(2)*x(16)*x(17)*x(34)-x(2)*x(12)*x(16)*x(42)+x(23)*x(35),
-x(1)*x(15)*x(26)*x(34)-x(2)*x(17)*x(36)*x(40)-x(2)*x(16)*x(35)*x(44)+x(35)*x(37),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(16)*x(22)*x(34)-x(2)*x(16)*x(22)*x(42)+x(23)*x(35),
-x(1)*x(10)*x(28)*x(34)-x(2)*x(22)*x(29)*x(35)-x(2)*x(16)*x(31)*x(36)+x(29)*x(35),
-x(1)*x(10)*x(42)^2-x(2)*x(16)*x(35)*x(43)-x(2)*x(22)*x(35)*x(43)+x(35)*x(44),
-x(1)*x(8)*x(14)*x(26)-x(2)*x(10)*x(28)*x(40)-x(2)*x(11)*x(26)*x(44)+x(33)*x(35),
-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(24)*x(35),
-x(1)*x(9)*x(14)*x(35)-x(2)*x(28)*x(33)*x(41)-x(2)*x(26)*x(38)*x(42)+x(35)*x(43),
-x(1)*x(11)*x(26)*x(34)-x(2)*x(16)*x(36)*x(40)-x(2)*x(12)*x(35)*x(44)+x(35)*x(44),
-x(1)*x(26)*x(34)*x(37)-x(2)*x(36)*x(39)*x(40)-x(2)*x(35)*x(38)*x(44)+x(35)*x(38),
-x(1)*x(33)*x(34)*x(35)-x(2)*x(24)*x(36)*x(41)-x(2)*x(35)*x(38)*x(44)+x(35)*x(38),
-x(1)*x(18)*x(21)*x(26)-x(2)*x(22)*x(29)*x(40)-x(2)*x(16)*x(37)*x(44)+x(24)*x(35),
-x(1)*x(18)*x(28)*x(37)-x(2)*x(29)*x(37)*x(38)-x(2)*x(29)*x(31)*x(39)+x(30)*x(35),
-x(2)*x(35)*x(37)*x(38)-x(1)*x(18)*x(35)*x(42)-x(2)*x(29)*x(41)*x(43)+x(35)*x(38),
-x(1)*x(8)*x(14)*x(26)-x(2)*x(11)*x(18)*x(35)-x(2)*x(10)*x(34)*x(37)+x(18)*x(35),
-x(2)*x(20)*x(34)*x(39)-x(1)*x(14)^2*x(40)-x(2)*x(18)*x(23)*x(41)+x(19)*x(35),
-x(2)*x(33)*x(34)*x(38)-x(2)*x(18)*x(38)*x(42)-x(1)*x(9)*x(14)*x(44)+x(24)*x(35),
-x(1)*x(11)*x(26)*x(28)-x(2)*x(12)*x(29)*x(35)-x(2)*x(16)*x(36)*x(37)+x(29)*x(35),
-x(1)*x(26)*x(28)*x(40)-x(2)*x(36)*x(39)*x(40)-x(2)*x(29)*x(41)*x(44)+x(35)*x(39),
-x(2)*x(24)*x(36)*x(38)-x(1)*x(28)*x(33)*x(44)-x(2)*x(29)*x(38)*x(44)+x(30)*x(35),
-x(1)*x(21)*x(26)^2-x(2)*x(16)*x(35)*x(37)-x(2)*x(22)*x(35)*x(37)+x(35)*x(37),
-x(2)*x(31)*x(35)*x(39)-x(1)*x(26)*x(28)*x(40)-x(2)*x(29)*x(37)*x(41)+x(35)*x(39),
-x(2)*x(35)*x(37)*x(38)-x(2)*x(35)*x(38)*x(43)-x(1)*x(26)*x(42)*x(44)+x(35)*x(38),
-x(1)*x(6)^2*x(27)-2*x(2)*x(10)*x(15)*x(28)+x(32)*x(36),
-x(1)*x(6)*x(14)*x(28)-x(2)*x(10)*x(29)*x(34)-x(2)*x(15)*x(18)*x(36)+x(18)*x(36),
-x(1)*x(6)*x(14)*x(28)-x(2)*x(15)*x(26)*x(29)-x(2)*x(10)*x(28)*x(31)+x(33)*x(36),
-x(1)*x(10)*x(15)*x(27)-x(2)*x(16)^2*x(28)-x(2)*x(17)*x(22)*x(28)+x(23)*x(36),
-x(1)*x(15)*x(26)*x(28)-x(2)*x(16)*x(29)*x(35)-x(2)*x(17)*x(36)*x(37)+x(36)*x(37),
-x(1)*x(15)*x(18)*x(28)-x(2)*x(16)*x(29)*x(31)-x(2)*x(17)*x(29)*x(37)+x(24)*x(36),
-x(1)*x(10)*x(28)^2-x(2)*x(16)*x(29)*x(36)-x(2)*x(22)*x(29)*x(36)+x(29)*x(36),
-x(1)*x(10)*x(28)*x(34)-x(2)*x(16)*x(29)*x(35)-x(2)*x(22)*x(31)*x(36)+x(36)*x(44),
-x(1)*x(14)^2*x(29)-x(2)*x(26)*x(30)*x(34)-x(2)*x(18)*x(28)*x(39)+x(24)*x(36),
-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(36)*x(43),
-x(1)*x(26)*x(29)*x(34)-x(2)*x(30)*x(35)^2-x(2)*x(36)*x(37)*x(39)+x(36)*x(38),
-x(1)*x(18)*x(34)*x(36)-x(2)*x(29)*x(35)*x(39)-x(2)*x(36)*x(37)*x(39)+x(36)*x(38),
-x(1)*x(18)*x(28)*x(29)-x(2)*x(30)*x(36)*x(37)-x(2)*x(29)^2*x(39)+x(30)*x(36),
-x(1)*x(14)^2*x(31)-2*x(2)*x(18)*x(34)*x(39)+x(19)*x(36),
-x(1)*x(26)*x(28)*x(31)-x(2)*x(29)*x(35)*x(39)-x(2)*x(36)*x(37)*x(39)+x(36)*x(39),
-x(1)*x(25)*x(32)^2-x(2)*x(18)^2*x(34)-x(2)*x(33)^2*x(42)+x(32)*x(38),
-x(1)*x(18)*x(32)*x(34)-x(2)*x(24)*x(33)*x(35)-x(2)*x(18)*x(19)*x(36)+x(18)*x(38),
-x(2)*x(18)*x(24)*x(35)-x(1)*x(32)*x(33)*x(42)-x(2)*x(33)*x(43)^2+x(33)*x(38),
-x(1)*x(18)*x(23)*x(25)-x(2)*x(19)*x(29)*x(34)-x(2)*x(24)*x(42)*x(44)+x(23)*x(38),
-x(2)*x(19)*x(30)*x(35)-x(1)*x(18)*x(24)*x(42)-x(2)*x(24)*x(38)*x(43)+x(24)*x(38),
-x(1)*x(23)*x(25)*x(33)-x(2)*x(24)*x(34)*x(37)-x(2)*x(24)*x(42)*x(43)+x(23)*x(38),
-x(1)*x(29)*x(33)*x(34)-x(2)*x(24)*x(36)*x(39)-x(2)*x(30)*x(35)*x(43)+x(29)*x(38),
-x(1)*x(23)*x(26)*x(32)-x(2)*x(18)*x(29)*x(40)-x(2)*x(33)*x(44)^2+x(33)*x(38),
-x(1)*x(18)*x(23)*x(37)-x(2)*x(19)*x(29)*x(39)-x(2)*x(24)*x(38)*x(44)+x(24)*x(38),
-x(1)*x(23)*x(33)*x(35)-x(2)*x(24)*x(29)*x(41)-x(2)*x(38)*x(43)*x(44)+x(38)*x(43),
-x(1)*x(37)^3-x(2)*x(38)^3-x(2)*x(39)^3+x(38)^2,
-x(1)*x(24)*x(35)*x(37)-x(2)*x(38)^3-x(2)*x(30)*x(39)*x(41)+x(38)^2,
-x(1)*x(23)*x(24)*x(26)-x(2)*x(30)*x(37)*x(40)-x(2)*x(24)*x(38)*x(44)+x(24)*x(38),
-x(1)*x(24)*x(29)*x(37)-x(2)*x(30)*x(38)^2-x(2)*x(30)*x(39)^2+x(30)*x(38),
-x(2)*x(38)^3-x(2)*x(30)*x(38)*x(41)-x(1)*x(24)*x(35)*x(44)+x(38)^2,
-x(1)*x(23)*x(26)*x(32)-x(2)*x(24)*x(33)*x(35)-x(2)*x(18)*x(37)^2+x(18)*x(38),
-x(2)*x(19)*x(37)*x(39)-x(1)*x(18)*x(23)*x(40)-x(2)*x(24)^2*x(41)+x(19)*x(38),
-x(2)*x(24)*x(37)*x(38)-x(2)*x(24)*x(38)*x(43)-x(1)*x(23)*x(33)*x(44)+x(24)*x(38),
-x(1)*x(23)*x(26)*x(29)-x(2)*x(29)*x(37)*x(39)-x(2)*x(30)*x(35)*x(44)+x(29)*x(38),
-x(2)*x(39)^3-x(1)*x(29)*x(37)*x(40)-x(2)*x(30)*x(38)*x(41)+x(38)*x(39),
-x(2)*x(30)*x(38)^2-x(2)*x(30)*x(38)*x(39)-x(1)*x(24)*x(29)*x(44)+x(30)*x(38),
-x(2)*x(38)*x(39)^2-x(2)*x(30)*x(38)*x(41)-x(1)*x(29)*x(40)*x(44)+x(38)*x(39),
-2*x(2)*x(38)^3-x(1)*x(44)^3+x(38)^2,
-x(2)*x(18)*x(20)*x(28)-x(1)*x(7)*x(27)*x(32)-x(2)*x(20)*x(28)*x(33)+x(32)*x(39),
-x(1)*x(20)*x(28)*x(32)-x(2)*x(18)*x(19)*x(36)-x(2)*x(29)*x(33)*x(40)+x(18)*x(39),
-x(1)*x(20)*x(28)*x(32)-x(2)*x(31)^2*x(33)-x(2)*x(18)*x(29)*x(40)+x(33)*x(39),
-x(1)*x(18)*x(20)*x(27)-x(2)*x(19)*x(28)*x(31)-x(2)*x(24)*x(28)*x(40)+x(23)*x(39),
-x(2)*x(19)*x(36)*x(39)-x(1)*x(18)*x(28)*x(40)-x(2)*x(24)*x(29)*x(41)+x(37)*x(39),
-x(1)*x(18)*x(19)*x(28)-x(2)*x(19)*x(29)*x(39)-x(2)*x(24)*x(31)*x(39)+x(24)*x(39),
-x(1)*x(20)*x(27)*x(33)-x(2)*x(24)*x(28)*x(40)-x(2)*x(19)*x(28)*x(43)+x(23)*x(39),
-x(1)*x(28)*x(31)*x(33)-x(2)*x(24)*x(36)*x(39)-x(2)*x(29)*x(39)*x(43)+x(29)*x(39),
-x(1)*x(28)*x(33)*x(40)-x(2)*x(24)*x(29)*x(41)-x(2)*x(31)*x(39)*x(43)+x(39)*x(44),
-x(1)*x(7)*x(23)*x(28)-x(2)*x(20)*x(29)*x(31)-x(2)*x(20)*x(29)*x(44)+x(33)*x(39),
-x(1)*x(20)*x(23)*x(29)-x(2)*x(19)*x(29)*x(39)-x(2)*x(30)*x(40)*x(44)+x(24)*x(39),
-x(1)*x(20)*x(23)*x(36)-x(2)*x(29)*x(39)*x(40)-x(2)*x(31)*x(39)*x(44)+x(39)*x(43),
-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(38)*x(39),
-x(1)*x(20)*x(24)*x(28)-x(2)*x(19)*x(29)*x(38)-x(2)*x(30)*x(31)*x(40)+x(24)*x(39),
-x(1)*x(24)*x(29)*x(31)-x(2)*x(30)*x(38)*x(39)-x(2)*x(30)*x(39)^2+x(30)*x(39),
-x(2)*x(38)*x(39)^2-x(1)*x(24)*x(36)*x(40)-x(2)*x(30)*x(39)*x(41)+x(38)*x(39),
-x(1)*x(7)*x(23)*x(28)-x(2)*x(20)*x(24)*x(36)-x(2)*x(20)*x(29)*x(37)+x(18)*x(39),
-x(1)*x(20)*x(23)*x(31)-x(2)*x(19)*x(37)*x(39)-x(2)*x(24)*x(39)*x(40)+x(19)*x(39),
-x(1)*x(20)*x(23)*x(29)-x(2)*x(24)*x(31)*x(39)-x(2)*x(30)*x(37)*x(40)+x(24)*x(39),
-x(1)*x(20)*x(28)*x(29)-x(2)*x(29)*x(31)*x(39)-x(2)*x(30)*x(36)*x(40)+x(29)*x(39),
-x(2)*x(39)^3-x(1)*x(29)*x(31)*x(40)-x(2)*x(30)*x(39)*x(41)+x(39)^2,
-x(1)*x(19)*x(29)^2-2*x(2)*x(30)*x(39)^2+x(30)*x(39),
-2*x(2)*x(38)*x(39)^2-x(1)*x(31)^2*x(44)+x(39)^2,
-x(1)*x(7)*x(25)^2-x(2)*x(20)*x(26)*x(34)-x(2)*x(20)*x(26)*x(42)+x(32)*x(41),
-x(1)*x(7)*x(34)^2-x(2)*x(20)*x(35)*x(37)-x(2)*x(20)*x(36)*x(40)+x(18)*x(41),
-x(1)*x(7)*x(42)^2-x(2)*x(20)*x(35)*x(43)-x(2)*x(20)*x(35)*x(44)+x(33)*x(41),
-x(2)*x(19)*x(34)*x(35)-x(1)*x(20)*x(25)*x(42)-x(2)*x(40)*x(42)*x(44)+x(23)*x(41),
-x(1)*x(20)*x(34)*x(35)-x(2)*x(35)*x(38)*x(40)-x(2)*x(19)*x(36)*x(41)+x(37)*x(41),
-x(2)*x(19)*x(35)*x(38)-x(2)*x(38)*x(40)*x(43)-x(1)*x(20)*x(42)*x(43)+x(24)*x(41),
-x(1)*x(20)*x(25)*x(34)-x(2)*x(34)*x(37)*x(40)-x(2)*x(31)*x(40)*x(42)+x(23)*x(41),
-x(1)*x(20)*x(34)*x(36)-x(2)*x(31)*x(35)*x(39)-x(2)*x(36)*x(39)*x(40)+x(29)*x(41),
-x(2)*x(35)*x(38)*x(40)-x(1)*x(20)*x(35)*x(42)-x(2)*x(31)*x(41)*x(43)+x(41)*x(44),
-x(1)*x(20)*x(25)*x(26)-x(2)*x(26)*x(31)*x(40)-x(2)*x(26)*x(40)*x(44)+x(33)*x(41),
-x(1)*x(20)*x(34)*x(37)-x(2)*x(37)*x(38)*x(40)-x(2)*x(31)*x(39)*x(40)+x(24)*x(41),
-x(2)*x(35)*x(38)*x(40)-x(1)*x(20)*x(35)*x(42)-x(2)*x(31)*x(41)*x(44)+x(41)*x(43),
-x(2)*x(35)*x(39)*x(40)-x(1)*x(26)*x(40)*x(42)-x(2)*x(41)*x(44)^2+x(41)*x(44),
-x(1)*x(35)*x(37)*x(40)-x(2)*x(38)^2*x(41)-x(2)*x(39)^2*x(41)+x(38)*x(41),
-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(43)+x(38)*x(41),
-x(1)*x(19)*x(26)*x(34)-x(2)*x(37)*x(39)*x(40)-x(2)*x(39)*x(40)*x(44)+x(24)*x(41),
-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(30)*x(41),
-x(1)*x(19)*x(35)^2-2*x(2)*x(38)*x(39)*x(41)+x(38)*x(41),
-x(1)*x(20)*x(25)*x(26)-x(2)*x(19)*x(26)*x(35)-x(2)*x(26)*x(37)*x(40)+x(18)*x(41),
-x(1)*x(20)*x(34)*x(40)-x(2)*x(39)*x(40)^2-x(2)*x(19)*x(37)*x(41)+x(19)*x(41),
-x(2)*x(19)*x(35)*x(38)-x(2)*x(38)*x(40)*x(44)-x(1)*x(20)*x(42)*x(44)+x(24)*x(41),
-x(2)*x(35)*x(37)*x(39)-x(1)*x(26)*x(31)*x(42)-x(2)*x(35)*x(39)*x(44)+x(29)*x(41),
-x(1)*x(31)*x(35)*x(40)-x(2)*x(38)*x(39)*x(41)-x(2)*x(39)^2*x(41)+x(39)*x(41),
-2*x(2)*x(38)^2*x(39)-x(1)*x(31)*x(43)*x(44)+x(30)*x(41),
-x(1)*x(26)*x(34)*x(40)-x(2)*x(35)*x(39)*x(40)-x(2)*x(37)^2*x(41)+x(37)*x(41),
-x(1)*x(36)*x(40)^2-2*x(2)*x(39)^2*x(41)+x(39)*x(41),
-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(44)+x(38)*x(41),
-2*x(2)*x(10)*x(11)*x(23)-x(1)*x(8)^2*x(32)+x(32)*x(43),
-x(1)*x(8)*x(14)*x(18)-x(2)*x(11)*x(20)*x(29)-x(2)*x(10)*x(23)*x(37)+x(18)*x(43),
-x(1)*x(8)*x(9)*x(33)-x(2)*x(10)*x(24)*x(42)-x(2)*x(11)*x(33)*x(44)+x(33)*x(43),
-x(2)*x(16)^2*x(23)-x(2)*x(12)*x(22)*x(23)-x(1)*x(11)*x(21)*x(32)+x(23)*x(43),
-x(1)*x(18)*x(21)*x(26)-x(2)*x(16)*x(29)*x(40)-x(2)*x(22)*x(37)*x(44)+x(37)*x(43),
-x(1)*x(21)*x(33)^2-x(2)*x(16)*x(24)*x(44)-x(2)*x(22)*x(24)*x(44)+x(24)*x(43),
-x(1)*x(11)*x(18)*x(28)-x(2)*x(12)*x(29)*x(31)-x(2)*x(16)*x(29)*x(37)+x(29)*x(43),
-x(1)*x(9)*x(14)*x(24)-x(2)*x(23)*x(33)*x(38)-x(2)*x(20)*x(30)*x(42)+x(24)*x(43),
-2*x(2)*x(33)*x(38)*x(42)-x(1)*x(9)^2*x(43)+x(43)^2,
-x(2)*x(30)*x(35)*x(40)-x(1)*x(24)*x(26)*x(42)-x(2)*x(38)*x(43)*x(44)+x(38)*x(43),
-x(2)*x(24)*x(35)*x(38)-x(1)*x(33)*x(42)*x(43)-x(2)*x(38)*x(43)*x(44)+x(38)*x(43),
-x(1)*x(24)*x(28)*x(33)-x(2)*x(24)*x(29)*x(38)-x(2)*x(30)*x(31)*x(44)+x(30)*x(43),
-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(19)*x(43),
-x(1)*x(19)*x(26)*x(28)-x(2)*x(29)*x(39)*x(40)-x(2)*x(31)*x(39)*x(44)+x(39)*x(43),
-x(2)*x(18)*x(23)*x(26)-x(1)*x(25)*x(32)^2-x(2)*x(23)*x(26)*x(33)+x(32)*x(38),
-x(1)*x(18)^2*x(25)-x(2)*x(19)*x(26)*x(29)-x(2)*x(24)*x(26)*x(37)+x(18)*x(38),
-x(1)*x(25)*x(33)^2-x(2)*x(24)*x(26)*x(43)-x(2)*x(24)*x(26)*x(44)+x(33)*x(38),
-x(1)*x(23)*x(32)*x(34)-x(2)*x(23)*x(29)*x(40)-x(2)*x(23)*x(37)*x(44)+x(23)*x(38),
-x(1)*x(24)*x(33)*x(34)-x(2)*x(24)*x(37)*x(38)-x(2)*x(30)*x(40)*x(44)+x(24)*x(38),
-x(2)*x(23)*x(24)*x(35)-x(1)*x(23)*x(32)*x(42)-x(2)*x(23)*x(37)*x(44)+x(23)*x(38),
-x(2)*x(30)*x(35)*x(37)-x(1)*x(18)*x(29)*x(42)-x(2)*x(29)*x(39)*x(44)+x(29)*x(38),
-x(2)*x(18)*x(24)*x(35)-x(1)*x(32)*x(33)*x(42)-x(2)*x(33)*x(44)^2+x(33)*x(38),
-x(2)*x(19)*x(30)*x(35)-x(1)*x(18)*x(24)*x(42)-x(2)*x(24)*x(38)*x(44)+x(24)*x(38),
-x(1)*x(23)*x(33)*x(35)-x(2)*x(24)*x(29)*x(41)-x(2)*x(38)*x(44)^2+x(38)*x(44),
-x(2)*x(38)^3-x(2)*x(30)*x(38)*x(41)-x(1)*x(24)*x(35)*x(43)+x(38)^2,
-x(2)*x(24)*x(37)*x(38)-x(1)*x(23)*x(33)*x(43)-x(2)*x(24)*x(38)*x(44)+x(24)*x(38),
-x(2)*x(30)*x(38)^2-x(2)*x(30)*x(38)*x(39)-x(1)*x(24)*x(29)*x(43)+x(30)*x(38),
-2*x(2)*x(38)^3-x(1)*x(43)^2*x(44)+x(38)^2,
-x(1)*x(18)*x(32)*x(34)-x(2)*x(18)*x(37)^2-x(2)*x(29)*x(33)*x(40)+x(18)*x(38),
-x(1)*x(18)*x(19)*x(34)-x(2)*x(19)*x(37)*x(39)-x(2)*x(24)*x(39)*x(40)+x(19)*x(38),
-x(1)*x(24)*x(33)*x(34)-x(2)*x(24)*x(37)*x(38)-x(2)*x(30)*x(40)*x(43)+x(24)*x(38),
-x(1)*x(18)*x(23)*x(36)-x(2)*x(29)*x(37)*x(39)-x(2)*x(29)*x(39)*x(44)+x(29)*x(38),
-x(1)*x(24)^2*x(36)-2*x(2)*x(30)*x(38)*x(39)+x(30)*x(38),
-x(1)*x(18)*x(23)*x(35)-x(2)*x(37)^2*x(38)-x(2)*x(24)*x(29)*x(41)+x(37)*x(38),
-x(1)*x(19)*x(29)*x(35)-x(2)*x(38)*x(39)^2-x(2)*x(30)*x(39)*x(41)+x(38)*x(39),
-x(1)*x(4)^3-2*x(2)*x(5)^3+x(7)*x(27),
-x(1)*x(4)*x(8)*x(13)-x(2)*x(5)*x(11)*x(21)-x(2)*x(5)*x(15)*x(21)+x(20)*x(27),
-x(1)*x(8)*x(13)*x(25)-x(2)*x(15)*x(21)*x(34)-x(2)*x(11)*x(21)*x(42)+x(27)*x(40),
-2*x(2)*x(15)*x(21)*x(23)-x(1)*x(13)^2*x(32)+x(19)*x(27),
-x(1)*x(8)^2*x(27)-2*x(2)*x(11)*x(21)*x(28)+x(27)*x(31),
-x(1)*x(25)^3-x(2)*x(34)^3-x(2)*x(42)^3+x(27)*x(41),
-x(1)*x(25)*x(27)*x(32)-x(2)*x(23)*x(28)*x(34)-x(2)*x(23)*x(28)*x(42)+x(27)*x(39),
-x(1)*x(4)*x(6)*x(8)-x(2)*x(5)*x(10)*x(11)-x(2)*x(5)*x(10)*x(15)+x(7)*x(28),
-x(1)*x(4)*x(14)^2-x(2)*x(5)*x(23)*x(26)-x(2)*x(5)*x(20)*x(28)+x(20)*x(28),
-x(1)*x(4)*x(9)*x(14)-x(2)*x(5)*x(33)*x(34)-x(2)*x(5)*x(18)*x(42)+x(20)*x(28),
-x(1)*x(6)*x(11)*x(13)-x(2)*x(15)^2*x(16)-x(2)*x(10)*x(12)*x(21)+x(20)*x(28),
-x(1)*x(13)*x(14)*x(26)-x(2)*x(15)*x(28)*x(40)-x(2)*x(21)*x(26)*x(44)+x(28)*x(40),
-x(1)*x(13)*x(14)*x(33)-x(2)*x(15)*x(24)*x(34)-x(2)*x(18)*x(21)*x(44)+x(19)*x(28),
-x(1)*x(6)*x(8)*x(21)-x(2)*x(10)*x(16)*x(21)-x(2)*x(11)*x(15)*x(22)+x(20)*x(28),
-x(1)*x(8)*x(14)*x(28)-x(2)*x(21)*x(26)*x(29)-x(2)*x(11)*x(28)*x(31)+x(28)*x(31),
-x(2)*x(18)*x(21)*x(35)-x(1)*x(8)*x(14)*x(42)-x(2)*x(11)*x(34)*x(43)+x(28)*x(40),
-x(1)*x(8)^2*x(15)-x(2)*x(11)^2*x(16)-x(2)*x(10)*x(17)*x(21)+x(20)*x(28),
-x(1)*x(8)*x(14)*x(34)-x(2)*x(11)*x(23)*x(35)-x(2)*x(20)*x(21)*x(36)+x(28)*x(40),
-x(1)*x(8)*x(9)*x(28)-x(2)*x(21)*x(33)*x(36)-x(2)*x(11)*x(29)*x(42)+x(28)*x(31),
-x(1)*x(11)*x(15)*x(25)-x(2)*x(16)*x(17)*x(34)-x(2)*x(12)*x(16)*x(42)+x(28)*x(40),
-x(1)*x(25)*x(26)*x(34)-x(2)*x(34)*x(36)*x(40)-x(2)*x(35)*x(42)*x(44)+x(28)*x(41),
-x(1)*x(25)*x(28)*x(33)-x(2)*x(24)*x(34)*x(36)-x(2)*x(29)*x(42)*x(44)+x(28)*x(39),
-x(2)*x(16)^2*x(23)-x(2)*x(17)*x(22)*x(23)-x(1)*x(15)*x(21)*x(32)+x(19)*x(28),
-x(1)*x(28)*x(32)*x(34)-x(2)*x(23)*x(29)*x(35)-x(2)*x(23)*x(31)*x(36)+x(28)*x(39),
-x(2)*x(23)*x(29)*x(35)-x(1)*x(28)*x(32)*x(42)-x(2)*x(23)*x(36)*x(43)+x(28)*x(39),
-x(1)*x(8)*x(10)*x(13)-x(2)*x(10)*x(16)*x(21)-x(2)*x(11)*x(15)*x(22)+x(20)*x(28),
-x(1)*x(13)*x(14)*x(18)-x(2)*x(20)*x(21)*x(29)-x(2)*x(15)*x(23)*x(37)+x(19)*x(28),
-x(1)*x(9)*x(13)*x(26)-x(2)*x(21)*x(33)*x(35)-x(2)*x(15)*x(37)*x(42)+x(28)*x(40),
-x(1)*x(10)*x(11)*x(27)-x(2)*x(16)^2*x(28)-x(2)*x(12)*x(22)*x(28)+x(28)*x(31),
-x(1)*x(18)*x(26)*x(27)-x(2)*x(28)*x(29)*x(40)-x(2)*x(28)*x(37)*x(44)+x(28)*x(39),
-x(1)*x(26)*x(27)*x(33)-x(2)*x(24)*x(28)*x(35)-x(2)*x(28)*x(37)*x(44)+x(28)*x(39),
-x(1)*x(10)*x(21)*x(25)-x(2)*x(16)*x(22)*x(34)-x(2)*x(16)*x(22)*x(42)+x(28)*x(40),
-x(1)*x(18)*x(25)*x(28)-x(2)*x(29)*x(34)*x(37)-x(2)*x(29)*x(31)*x(42)+x(28)*x(39),
-x(2)*x(34)*x(35)*x(37)-x(1)*x(25)*x(26)*x(42)-x(2)*x(35)*x(42)*x(43)+x(28)*x(41),
-x(2)*x(10)*x(15)*x(18)-x(1)*x(6)*x(8)*x(32)-x(2)*x(10)*x(11)*x(33)+x(7)*x(29),
-x(1)*x(8)*x(14)*x(18)-x(2)*x(11)*x(24)*x(26)-x(2)*x(10)*x(19)*x(28)+x(20)*x(29),
-x(1)*x(8)*x(14)*x(33)-x(2)*x(10)*x(24)*x(34)-x(2)*x(11)*x(18)*x(43)+x(20)*x(29),
-x(1)*x(6)*x(14)*x(23)-x(2)*x(15)*x(20)*x(29)-x(2)*x(10)*x(23)*x(44)+x(20)*x(29),
-x(1)*x(14)^2*x(37)-x(2)*x(23)*x(26)*x(38)-x(2)*x(20)*x(28)*x(39)+x(29)*x(40),
-x(1)*x(14)^2*x(24)-x(2)*x(20)*x(30)*x(34)-x(2)*x(18)*x(23)*x(38)+x(19)*x(29),
-x(1)*x(6)*x(9)*x(23)-x(2)*x(15)*x(33)*x(37)-x(2)*x(10)*x(24)*x(42)+x(20)*x(29),
-x(1)*x(9)*x(14)*x(29)-x(2)*x(28)*x(33)*x(39)-x(2)*x(26)*x(30)*x(42)+x(29)*x(31),
-x(2)*x(33)*x(34)*x(38)-x(2)*x(18)*x(38)*x(42)-x(1)*x(9)*x(14)*x(44)+x(29)*x(40),
-x(2)*x(16)*x(17)*x(18)-x(1)*x(11)*x(15)*x(32)-x(2)*x(12)*x(16)*x(33)+x(20)*x(29),
-x(1)*x(11)*x(18)*x(34)-x(2)*x(12)*x(24)*x(35)-x(2)*x(16)*x(19)*x(36)+x(29)*x(40),
-x(1)*x(11)*x(28)*x(33)-x(2)*x(16)*x(24)*x(36)-x(2)*x(12)*x(29)*x(43)+x(29)*x(31),
-x(1)*x(15)*x(23)*x(26)-x(2)*x(17)*x(29)*x(40)-x(2)*x(16)*x(44)^2+x(29)*x(40),
-x(1)*x(26)*x(34)*x(37)-x(2)*x(36)*x(39)*x(40)-x(2)*x(35)*x(38)*x(44)+x(29)*x(41),
-x(1)*x(24)*x(26)*x(28)-x(2)*x(30)*x(36)*x(40)-x(2)*x(29)*x(38)*x(44)+x(29)*x(39),
-x(1)*x(15)*x(23)*x(33)-x(2)*x(17)*x(24)*x(37)-x(2)*x(16)*x(24)*x(44)+x(19)*x(29),
-x(1)*x(29)*x(33)*x(34)-x(2)*x(24)*x(36)*x(39)-x(2)*x(30)*x(35)*x(44)+x(29)*x(39),
-x(2)*x(24)*x(36)*x(38)-x(1)*x(28)*x(33)*x(44)-x(2)*x(29)*x(38)*x(44)+x(29)*x(39),
-x(2)*x(16)*x(18)*x(22)-x(1)*x(10)*x(21)*x(32)-x(2)*x(16)*x(22)*x(33)+x(20)*x(29),
-x(1)*x(18)^2*x(21)-x(2)*x(19)*x(22)*x(29)-x(2)*x(16)*x(24)*x(37)+x(19)*x(29),
-x(1)*x(21)*x(26)*x(33)-x(2)*x(22)*x(24)*x(35)-x(2)*x(16)*x(37)*x(43)+x(29)*x(40),
-x(1)*x(10)*x(23)*x(28)-x(2)*x(16)*x(29)*x(31)-x(2)*x(22)*x(29)*x(44)+x(29)*x(31),
-x(1)*x(18)*x(28)*x(37)-x(2)*x(29)*x(37)*x(38)-x(2)*x(29)*x(31)*x(39)+x(29)*x(39),
-x(1)*x(24)*x(26)*x(28)-x(2)*x(30)*x(31)*x(35)-x(2)*x(29)*x(37)*x(38)+x(29)*x(39),
-x(2)*x(22)*x(24)*x(35)-x(1)*x(10)*x(23)*x(42)-x(2)*x(16)*x(37)*x(43)+x(29)*x(40),
-x(2)*x(30)*x(35)*x(37)-x(1)*x(18)*x(29)*x(42)-x(2)*x(29)*x(39)*x(43)+x(29)*x(39),
-x(2)*x(35)*x(37)*x(38)-x(2)*x(35)*x(38)*x(43)-x(1)*x(26)*x(42)*x(44)+x(29)*x(41),
-x(1)*x(7)*x(8)^2-2*x(2)*x(10)*x(11)*x(20)+x(7)*x(31),
-x(1)*x(8)*x(9)*x(20)-x(2)*x(11)*x(33)*x(40)-x(2)*x(10)*x(19)*x(42)+x(20)*x(31),
-x(1)*x(8)*x(14)*x(20)-x(2)*x(11)*x(20)*x(31)-x(2)*x(10)*x(23)*x(40)+x(20)*x(31),
-x(1)*x(9)*x(14)*x(40)-x(2)*x(23)*x(33)*x(41)-x(2)*x(20)*x(39)*x(42)+x(31)*x(40),
-x(1)*x(14)^2*x(19)-2*x(2)*x(20)*x(23)*x(39)+x(19)*x(31),
-x(1)*x(9)^2*x(31)-2*x(2)*x(33)*x(39)*x(42)+x(31)^2,
-x(2)*x(16)^2*x(20)-x(1)*x(7)*x(11)*x(21)-x(2)*x(12)*x(20)*x(22)+x(20)*x(31),
-x(2)*x(16)*x(19)*x(35)-x(1)*x(11)*x(20)*x(42)-x(2)*x(12)*x(40)*x(43)+x(31)*x(40),
-x(1)*x(11)*x(20)*x(28)-x(2)*x(12)*x(31)^2-x(2)*x(16)*x(29)*x(40)+x(31)^2,
-x(1)*x(20)*x(21)*x(26)-x(2)*x(16)*x(31)*x(40)-x(2)*x(22)*x(40)*x(44)+x(31)*x(40),
-x(2)*x(35)*x(39)*x(40)-x(1)*x(26)*x(40)*x(42)-x(2)*x(41)*x(43)*x(44)+x(31)*x(41),
-x(1)*x(19)*x(26)*x(28)-x(2)*x(29)*x(39)*x(40)-x(2)*x(31)*x(39)*x(44)+x(31)*x(39),
-x(1)*x(20)*x(21)*x(33)-x(2)*x(16)*x(24)*x(40)-x(2)*x(19)*x(22)*x(44)+x(19)*x(31),
-x(2)*x(24)*x(35)*x(39)-x(1)*x(31)*x(33)*x(42)-x(2)*x(39)*x(43)*x(44)+x(31)*x(39),
-x(1)*x(28)*x(33)*x(40)-x(2)*x(24)*x(29)*x(41)-x(2)*x(31)*x(39)*x(44)+x(31)*x(39),
-x(1)*x(6)^2*x(25)-2*x(2)*x(10)*x(15)*x(26)+x(7)*x(36),
-x(1)*x(6)*x(14)*x(34)-x(2)*x(15)*x(26)*x(37)-x(2)*x(10)*x(28)*x(40)+x(20)*x(36),
-x(2)*x(15)*x(18)*x(35)-x(1)*x(6)*x(14)*x(42)-x(2)*x(10)*x(34)*x(44)+x(20)*x(36),
-x(1)*x(14)^2*x(35)-x(2)*x(26)*x(34)*x(38)-x(2)*x(18)*x(28)*x(41)+x(36)*x(40),
-2*x(2)*x(18)*x(34)*x(38)-x(1)*x(14)^2*x(43)+x(19)*x(36),
-x(1)*x(14)^2*x(36)-2*x(2)*x(26)*x(28)*x(39)+x(31)*x(36),
-x(1)*x(10)*x(15)*x(25)-x(2)*x(16)^2*x(26)-x(2)*x(17)*x(22)*x(26)+x(20)*x(36),
-x(1)*x(10)*x(34)^2-x(2)*x(16)*x(35)*x(37)-x(2)*x(22)*x(36)*x(40)+x(36)*x(40),
-x(2)*x(16)*x(29)*x(35)-x(1)*x(10)*x(28)*x(42)-x(2)*x(22)*x(36)*x(44)+x(31)*x(36),
-x(2)*x(17)*x(35)*x(37)-x(1)*x(15)*x(26)*x(42)-x(2)*x(16)*x(35)*x(44)+x(36)*x(40),
-x(1)*x(26)*x(34)*x(35)-x(2)*x(35)^2*x(38)-x(2)*x(36)*x(37)*x(41)+x(36)*x(41),
-x(2)*x(29)*x(35)*x(38)-x(2)*x(36)*x(37)*x(38)-x(1)*x(26)*x(28)*x(43)+x(36)*x(39),
-x(1)*x(15)*x(18)*x(34)-x(2)*x(17)*x(37)^2-x(2)*x(16)*x(29)*x(40)+x(19)*x(36),
-x(1)*x(18)*x(34)*x(36)-x(2)*x(29)*x(35)*x(39)-x(2)*x(36)*x(37)*x(39)+x(36)*x(39),
-x(1)*x(18)*x(28)*x(35)-x(2)*x(36)*x(37)*x(38)-x(2)*x(29)^2*x(41)+x(36)*x(39),
-x(2)*x(18)^3-x(1)*x(32)^3-x(2)*x(33)^3+x(7)*x(30),
-x(2)*x(18)*x(19)*x(29)-x(1)*x(18)*x(23)*x(32)-x(2)*x(24)*x(33)*x(44)+x(20)*x(30),
-x(1)*x(23)*x(32)*x(33)-x(2)*x(18)*x(24)*x(37)-x(2)*x(24)*x(33)*x(43)+x(20)*x(30),
-x(1)*x(18)*x(23)*x(37)-x(2)*x(19)*x(29)*x(39)-x(2)*x(24)*x(38)*x(44)+x(30)*x(40),
-x(1)*x(18)*x(23)*x(24)-x(2)*x(19)*x(30)*x(37)-x(2)*x(24)^2*x(38)+x(19)*x(30),
-x(1)*x(23)*x(29)*x(33)-x(2)*x(24)*x(29)*x(39)-x(2)*x(30)*x(43)*x(44)+x(30)*x(31),
-x(2)*x(24)*x(37)*x(38)-x(2)*x(24)*x(38)*x(43)-x(1)*x(23)*x(33)*x(44)+x(30)*x(40),
-x(1)*x(37)^3-x(2)*x(38)^3-x(2)*x(39)^3+x(30)*x(41),
-x(1)*x(24)*x(29)*x(37)-x(2)*x(30)*x(38)^2-x(2)*x(30)*x(39)^2+x(30)*x(39),
-x(2)*x(30)*x(38)^2-x(2)*x(30)*x(38)*x(39)-x(1)*x(24)*x(29)*x(44)+x(30)*x(39),
-2*x(2)*x(38)^3-x(1)*x(44)^3+x(30)*x(41),
-x(2)*x(18)*x(20)*x(26)-x(1)*x(7)*x(25)*x(32)-x(2)*x(20)*x(26)*x(33)+x(7)*x(39),
-x(2)*x(18)*x(19)*x(35)-x(1)*x(20)*x(32)*x(42)-x(2)*x(33)*x(40)*x(44)+x(20)*x(39),
-x(1)*x(20)*x(32)*x(34)-x(2)*x(31)*x(33)*x(40)-x(2)*x(18)*x(37)*x(40)+x(20)*x(39),
-x(1)*x(18)*x(20)*x(25)-x(2)*x(19)*x(26)*x(31)-x(2)*x(24)*x(26)*x(40)+x(20)*x(39),
-x(2)*x(19)*x(35)*x(39)-x(1)*x(18)*x(40)*x(42)-x(2)*x(24)*x(41)*x(44)+x(39)*x(40),
-x(1)*x(18)*x(19)*x(34)-x(2)*x(19)*x(37)*x(39)-x(2)*x(24)*x(39)*x(40)+x(19)*x(39),
-x(1)*x(20)*x(25)*x(33)-x(2)*x(24)*x(26)*x(40)-x(2)*x(19)*x(26)*x(43)+x(20)*x(39),
-x(1)*x(33)*x(34)*x(40)-x(2)*x(24)*x(37)*x(41)-x(2)*x(39)*x(40)*x(43)+x(39)*x(40),
-x(1)*x(7)*x(23)*x(34)-x(2)*x(20)*x(29)*x(40)-x(2)*x(20)*x(37)*x(44)+x(20)*x(39),
-x(1)*x(20)*x(23)*x(35)-x(2)*x(19)*x(29)*x(41)-x(2)*x(38)*x(40)*x(44)+x(39)*x(40),
-x(1)*x(20)*x(23)*x(36)-x(2)*x(29)*x(39)*x(40)-x(2)*x(31)*x(39)*x(44)+x(31)*x(39),
-x(1)*x(20)*x(34)*x(37)-x(2)*x(37)*x(38)*x(40)-x(2)*x(31)*x(39)*x(40)+x(39)*x(40),
-x(1)*x(35)*x(37)*x(40)-x(2)*x(38)^2*x(41)-x(2)*x(39)^2*x(41)+x(39)*x(41),
-x(1)*x(19)*x(36)*x(37)-x(2)*x(38)*x(39)^2-x(2)*x(39)^3+x(39)^2,
-x(1)*x(20)*x(24)*x(34)-x(2)*x(19)*x(37)*x(38)-x(2)*x(30)*x(40)^2+x(19)*x(39),
-x(1)*x(24)*x(31)*x(35)-x(2)*x(38)^2*x(39)-x(2)*x(30)*x(39)*x(41)+x(39)^2,
-x(2)*x(38)*x(39)^2-x(1)*x(24)*x(36)*x(40)-x(2)*x(30)*x(39)*x(41)+x(39)^2,
-x(2)*x(20)*x(24)*x(35)-x(1)*x(7)*x(23)*x(42)-x(2)*x(20)*x(37)*x(44)+x(20)*x(39),
-x(2)*x(19)*x(37)*x(38)-x(2)*x(24)*x(38)*x(40)-x(1)*x(20)*x(23)*x(43)+x(19)*x(39),
-x(1)*x(20)*x(23)*x(35)-x(2)*x(37)*x(38)*x(40)-x(2)*x(24)*x(31)*x(41)+x(39)*x(40),
-x(2)*x(30)*x(35)*x(40)-x(1)*x(20)*x(29)*x(42)-x(2)*x(31)*x(39)*x(44)+x(31)*x(39),
-x(2)*x(38)*x(39)^2-x(2)*x(30)*x(38)*x(41)-x(1)*x(29)*x(40)*x(43)+x(39)^2,
-x(1)*x(19)*x(29)*x(35)-x(2)*x(38)*x(39)^2-x(2)*x(30)*x(39)*x(41)+x(39)^2,
-x(2)*x(19)*x(35)*x(38)-x(2)*x(38)*x(40)*x(44)-x(1)*x(20)*x(42)*x(44)+x(39)*x(40),
-2*x(2)*x(38)^2*x(39)-x(1)*x(31)*x(43)*x(44)+x(39)^2,
-x(2)*x(38)^2*x(41)-x(2)*x(38)*x(39)*x(41)-x(1)*x(35)*x(40)*x(44)+x(39)*x(41);
i=slimgb(i);
char_out(i);

tst_status(1);$