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+(-w+P(7,19))*z^6+(P(18,19)*w+P(6,19))*z^5+(P(5,19)+P(16,19)*w)*z^4+(P
(14,19)*w+P(4,19))*z^3+(P(3,19)+P(12,19)*w)*z^2+(P(10,19)*w+P(2,19))*z+P(8,19)
*w+P(1,19);

pp2 := -2*z^13+(P(18,19)-lambda[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(5,18)+P(
16,18)*w)*z^4+(P(14,18)*w+P(4,18))*z^3+(P(12,18)*w+P(3,18))*z^2+(P(10,18)*w+P(
2,18))*z+P(1,18)+P(8,18)*w;

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