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

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

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