pp1 := -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(3,12)+P(10,12)*w)*z^2+(P(8,12)*w+P(2,12))*z+P(6,12)*w+P(1,12);

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

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