pp1 := -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
(5,15)+P(15,15)*w)*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(7,15)*w+P(1,15);

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

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