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

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

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