pp1 := P(19,19)*z^12+P(17,19)*z^11+P(15,19)*z^10+P(13,19)*z^9+P(11,19)*z^8+P(9
,19)*z^7+(P(7,19)-w)*z^6+(P(6,19)+P(18,19)*w)*z^5+(P(5,19)+P(16,19)*w)*z^4+(P(
14,19)*w+P(4,19))*z^3+(P(12,19)*w+P(3,19))*z^2+(P(10,19)*w+P(2,19))*z+P(8,19)*
w+P(1,19);

pp2 := -2*z^13+(-lambda[19]+P(18,19))*z^12+P(17,18)*z^11+P(15,18)*z^10+P(13,18
)*z^9+P(11,18)*z^8+P(9,18)*z^7+P(7,18)*z^6+(P(18,18)*w+P(6,18))*z^5+(P(16,18)*
w+P(5,18))*z^4+(P(14,18)*w+P(4,18))*z^3+(P(3,18)+P(12,18)*w)*z^2+(P(10,18)*w+P
(2,18))*z+P(1,18)+P(8,18)*w;

pp12 := 2*z^19+(-3*P(18,19)+lambda[19])*z^18+(-P(19,19)*P(18,18)+P(18,19)^2-P(
17,18)-2*P(16,19)-lambda[19]*P(18,19))*z^17+(P(18,19)*P(16,19)-2*P(14,19)-
lambda[19]*P(16,19)-P(15,18)-P(19,19)*P(16,18)+P(17,18)*P(18,19)-P(17,19)*P(18
,18))*z^16+(-P(13,18)-lambda[19]*P(14,19)+P(17,18)*P(16,19)-P(17,19)*P(16,18)+
P(15,18)*P(18,19)-P(15,19)*P(18,18)-2*P(12,19)-P(19,19)*P(14,18)+P(18,19)*P(14
,19))*z^15+(P(17,18)*P(14,19)-P(19,19)*P(12,18)+P(15,18)*P(16,19)+P(13,18)*P(
18,19)-P(17,19)*P(14,18)-P(13,19)*P(18,18)-P(15,19)*P(16,18)-lambda[19]*P(12,
19)-2*P(10,19)+P(18,19)*P(12,19)-P(11,18))*z^14+(-lambda[19]*P(10,19)-P(17,19)
*P(12,18)+P(11,18)*P(18,19)+P(18,19)*P(10,19)-P(15,19)*P(14,18)-P(19,19)*P(10,
18)-P(9,18)-P(13,19)*P(16,18)-2*P(8,19)+P(17,18)*P(12,19)-P(11,19)*P(18,18)+P(
15,18)*P(14,19)+P(13,18)*P(16,19))*z^13+(-P(7,18)-P(13,19)*P(14,18)-P(15,19)*P
(12,18)+P(18,19)*P(8,19)-P(11,19)*P(16,18)-P(9,19)*P(18,18)+P(9,18)*P(18,19)+P
(15,18)*P(12,19)-lambda[19]*P(8,19)+P(17,18)*P(10,19)+P(13,18)*P(14,19)-P(17,
19)*P(10,18)-P(19,19)*P(8,18)+P(11,18)*P(16,19))*z^12+(-P(7,19)*P(18,18)-P(17,
19)*P(8,18)+P(17,18)*P(8,19)-P(13,19)*P(12,18)-P(6,18)+P(11,18)*P(14,19)+P(9,
18)*P(16,19)+P(7,18)*P(18,19)+P(13,18)*P(12,19)+P(15,18)*P(10,19)-P(11,19)*P(
14,18)-P(15,19)*P(10,18)-P(9,19)*P(16,18))*z^11+(P(9,18)*P(14,19)-P(6,19)*P(18
,18)+P(15,18)*P(8,19)+P(13,18)*P(10,19)-P(13,19)*P(10,18)-P(11,19)*P(12,18)-P(
7,19)*P(16,18)+P(11,18)*P(12,19)+P(7,18)*P(16,19)-P(5,18)-P(15,19)*P(8,18)+P(6
,18)*P(18,19)-P(9,19)*P(14,18))*z^10+(-P(4,18)+P(7,18)*P(14,19)-P(9,19)*P(12,
18)+P(11,18)*P(10,19)+P(9,18)*P(12,19)+P(13,18)*P(8,19)-P(5,19)*P(18,18)-P(13,
19)*P(8,18)+P(6,18)*P(16,19)-P(11,19)*P(10,18)+P(5,18)*P(18,19)-P(7,19)*P(14,
18)-P(6,19)*P(16,18))*z^9+(-P(5,19)*P(16,18)-P(6,19)*P(14,18)+P(9,18)*P(10,19)
+P(5,18)*P(16,19)-P(4,19)*P(18,18)+P(4,18)*P(18,19)-P(11,19)*P(8,18)-P(9,19)*P
(10,18)+P(6,18)*P(14,19)+P(11,18)*P(8,19)+P(7,18)*P(12,19)-P(3,18)-P(7,19)*P(
12,18))*z^8+(-P(6,19)*P(12,18)+P(9,18)*P(8,19)-P(4,19)*P(16,18)+P(4,18)*P(16,
19)+P(7,18)*P(10,19)-P(2,18)-P(5,19)*P(14,18)-P(9,19)*P(8,18)+P(6,18)*P(12,19)
-P(7,19)*P(10,18)-P(3,19)*P(18,18)+P(3,18)*P(18,19)+P(5,18)*P(14,19))*z^7+(-P(
6,19)*P(10,18)-P(2,19)*P(18,18)+P(3,18)*P(16,19)-P(5,19)*P(12,18)+P(7,18)*P(8,
19)+P(5,18)*P(12,19)+P(6,18)*P(10,19)+P(2,18)*P(18,19)-P(4,19)*P(14,18)+P(4,18
)*P(14,19)-P(3,19)*P(16,18)-P(1,18)-P(7,19)*P(8,18))*z^6+(P(5,18)*P(10,19)-P(4
,19)*P(12,18)+P(3,18)*P(14,19)+P(4,18)*P(12,19)-P(2,19)*P(16,18)-P(3,19)*P(14,
18)-P(6,19)*P(8,18)-P(5,19)*P(10,18)+P(6,18)*P(8,19)+P(2,18)*P(16,19)+P(1,18)*
P(18,19)-P(1,19)*P(18,18))*z^5+(P(3,18)*P(12,19)-P(1,19)*P(16,18)-P(2,19)*P(14
,18)-P(3,19)*P(12,18)-P(5,19)*P(8,18)+P(5,18)*P(8,19)+P(4,18)*P(10,19)+P(2,18)
*P(14,19)-P(4,19)*P(10,18)+P(1,18)*P(16,19))*z^4+(-P(1,19)*P(14,18)+P(4,18)*P(
8,19)-P(4,19)*P(8,18)-P(3,19)*P(10,18)+P(1,18)*P(14,19)+P(2,18)*P(12,19)-P(2,
19)*P(12,18)+P(3,18)*P(10,19))*z^3+(P(1,18)*P(12,19)+P(3,18)*P(8,19)-P(1,19)*P
(12,18)-P(2,19)*P(10,18)+P(2,18)*P(10,19)-P(3,19)*P(8,18))*z^2+(P(2,18)*P(8,19
)-P(1,19)*P(10,18)-P(2,19)*P(8,18)+P(1,18)*P(10,19))*z+P(1,18)*P(8,19)-P(1,19)
*P(8,18);