t_w0 = x**10*y**2*z**8 - 4*x**10*y**2*z**6 + 6*x**10*y**2*z**4 - 4*x**10*y**2*z**2 + x**10*y**2 - 4*x**9*y**3*z**9 + 14*x**9*y**3*z**7 - 18*x**9*y**3*z**5 + 10*x**9*y**3*z**3 - 2*x**9*y**3*z + 6*x**8*y**4*z**10 - 12*x**8*y**4*z**8 - 3*x**8*y**4*z**6 + 22*x**8*y**4*z**4 - 17*x**8*y**4*z**2 + 4*x**8*y**4 + 2*x**8*y**2*z**10 - 20*x**8*y**2*z**8 + 62*x**8*y**2*z**6 - 84*x**8*y**2*z**4 + 52*x**8*y**2*z**2 - 12*x**8*y**2 - 4*x**7*y**5*z**11 - 8*x**7*y**5*z**9 + 48*x**7*y**5*z**7 - 60*x**7*y**5*z**5 + 28*x**7*y**5*z**3 - 4*x**7*y**5*z - 6*x**7*y**3*z**11 + 56*x**7*y**3*z**9 - 150*x**7*y**3*z**7 + 164*x**7*y**3*z**5 - 74*x**7*y**3*z**3 + 10*x**7*y**3*z - 2*x**7*y*z**7 + 6*x**7*y*z**5 - 6*x**7*y*z**3 + 2*x**7*y*z + x**6*y**6*z**12 + 16*x**6*y**6*z**10 - 30*x**6*y**6*z**8 - 12*x**6*y**6*z**6 + 51*x**6*y**6*z**4 - 32*x**6*y**6*z**2 + 6*x**6*y**6 + 6*x**6*y**4*z**12 - 42*x**6*y**4*z**10 + 20*x**6*y**4*z**8 + 182*x**6*y**4*z**6 - 314*x**6*y**4*z**4 + 184*x**6*y**4*z**2 - 36*x**6*y**4 + x**6*y**2*z**12 - 20*x**6*y**2*z**10 + 132*x**6*y**2*z**8 - 352*x**6*y**2*z**6 + 437*x**6*y**2*z**4 - 250*x**6*y**2*z**2 + 53*x**6*y**2 - 6*x**5*y**7*z**11 - 18*x**5*y**7*z**9 + 74*x**5*y**7*z**7 - 70*x**5*y**7*z**5 + 20*x**5*y**7*z**3 - 2*x**5*y**5*z**13 - 4*x**5*y**5*z**11 + 148*x**5*y**5*z**9 - 396*x**5*y**5*z**7 + 350*x**5*y**5*z**5 - 90*x**5*y**5*z**3 - 6*x**5*y**5*z - 2*x**5*y**3*z**13 + 38*x**5*y**3*z**11 - 220*x**5*y**3*z**9 + 464*x**5*y**3*z**7 - 372*x**5*y**3*z**5 + 63*x**5*y**3*z**3 + 25*x**5*y**3*z - 4*x**5*y*z**9 + 32*x**5*y*z**7 - 76*x**5*y*z**5 + 70*x**5*y*z**3 - 22*x**5*y*z + 15*x**4*y**8*z**10 - 10*x**4*y**8*z**8 - 45*x**4*y**8*z**6 + 64*x**4*y**8*z**4 - 28*x**4*y**8*z**2 + 4*x**4*y**8 + 10*x**4*y**6*z**12 - 60*x**4*y**6*z**10 - 44*x**4*y**6*z**8 + 416*x**4*y**6*z**6 - 520*x**4*y**6*z**4 + 234*x**4*y**6*z**2 - 36*x**4*y**6 + x**4*y**4*z**14 - 14*x**4*y**4*z**12 + 13*x**4*y**4*z**10 + 338*x**4*y**4*z**8 - 1120*x**4*y**4*z**6 + 1306*x**4*y**4*z**4 - 622*x**4*y**4*z**2 + 106*x**4*y**4 - 4*x**4*y**2*z**12 + 66*x**4*y**2*z**10 - 368*x**4*y**2*z**8 + 881*x**4*y**2*z**6 - 1000*x**4*y**2*z**4 + 522*x**4*y**2*z**2 - 102*x**4*y**2 + x**4*z**6 - 2*x**4*z**4 + x**4*z**2 - 20*x**3*y**9*z**9 + 40*x**3*y**9*z**7 - 16*x**3*y**9*z**5 - 8*x**3*y**9*z**3 + 4*x**3*y**9*z - 20*x**3*y**7*z**11 + 160*x**3*y**7*z**9 - 274*x**3*y**7*z**7 + 80*x**3*y**7*z**5 + 96*x**3*y**7*z**3 - 42*x**3*y**7*z - 4*x**3*y**5*z**13 + 72*x**3*y**5*z**11 - 362*x**3*y**5*z**9 + 532*x**3*y**5*z**7 - 23*x**3*y**5*z**5 - 375*x**3*y**5*z**3 + 150*x**3*y**5*z + 4*x**3*y**3*z**13 - 54*x**3*y**3*z**11 + 216*x**3*y**3*z**9 - 203*x**3*y**3*z**7 - 301*x**3*y**3*z**5 + 559*x**3*y**3*z**3 - 205*x**3*y**3*z - 2*x**3*y*z**11 + 30*x**3*y*z**9 - 150*x**3*y*z**7 + 306*x**3*y*z**5 - 263*x**3*y*z**3 + 77*x**3*y*z + 15*x**2*y**10*z**8 - 36*x**2*y**10*z**6 + 28*x**2*y**10*z**4 - 8*x**2*y**10*z**2 + x**2*y**10 + 20*x**2*y**8*z**10 - 170*x**2*y**8*z**8 + 362*x**2*y**8*z**6 - 288*x**2*y**8*z**4 + 88*x**2*y**8*z**2 - 12*x**2*y**8 + 6*x**2*y**6*z**12 - 112*x**2*y**6*z**10 + 619*x**2*y**6*z**8 - 1250*x**2*y**6*z**6 + 1042*x**2*y**6*z**4 - 350*x**2*y**6*z**2 + 53*x**2*y**6 - 12*x**2*y**4*z**12 + 174*x**2*y**4*z**10 - 852*x**2*y**4*z**8 + 1726*x**2*y**4*z**6 - 1549*x**2*y**4*z**4 + 593*x**2*y**4*z**2 - 102*x**2*y**4 + 6*x**2*y**2*z**12 - 80*x**2*y**2*z**10 + 378*x**2*y**2*z**8 - 788*x**2*y**2*z**6 + 777*x**2*y**2*z**4 - 355*x**2*y**2*z**2 + 72*x**2*y**2 + 2*x**2*z**8 - 12*x**2*z**6 + 20*x**2*z**4 - 10*x**2*z**2 + x**2 - 6*x*y**11*z**7 + 14*x*y**11*z**5 - 10*x*y**11*z**3 + 2*x*y**11*z - 10*x*y**9*z**9 + 84*x*y**9*z**7 - 172*x*y**9*z**5 + 124*x*y**9*z**3 - 26*x*y**9*z - 4*x*y**7*z**11 + 74*x*y**7*z**9 - 400*x*y**7*z**7 + 768*x*y**7*z**5 - 569*x*y**7*z**3 + 127*x*y**7*z + 12*x*y**5*z**11 - 170*x*y**5*z**9 + 804*x*y**5*z**7 - 1525*x*y**5*z**5 + 1181*x*y**5*z**3 - 285*x*y**5*z - 12*x*y**3*z**11 + 154*x*y**3*z**9 - 692*x*y**3*z**7 + 1322*x*y**3*z**5 - 1072*x*y**3*z**3 + 281*x*y**3*z + 4*x*y*z**11 - 48*x*y*z**9 + 206*x*y*z**7 - 387*x*y*z**5 + 315*x*y*z**3 - 85*x*y*z + y**12*z**6 - 2*y**12*z**4 + y**12*z**2 + 2*y**10*z**8 - 16*y**10*z**6 + 28*y**10*z**4 - 14*y**10*z**2 + y**8*z**10 - 18*y**8*z**8 + 91*y**8*z**6 - 148*y**8*z**4 + 75*y**8*z**2 - 4*y**6*z**10 + 54*y**6*z**8 - 234*y**6*z**6 + 370*y**6*z**4 - 192*y**6*z**2 + 6*y**4*z**10 - 72*y**4*z**8 + 290*y**4*z**6 - 452*y**4*z**4 + 239*y**4*z**2 - 4*y**2*z**10 + 44*y**2*z**8 - 166*y**2*z**6 + 250*y**2*z**4 - 130*y**2*z**2 + y**2 + z**10 - 10*z**8 + 35*z**6 - 50*z**4 + 25*z**2 - 2

h = x**8*y**2*z**8 - 4*x**8*y**2*z**6 + 6*x**8*y**2*z**4 - 4*x**8*y**2*z**2 + x**8*y**2 - 3*x**7*y**3*z**9 + 10*x**7*y**3*z**7 - 12*x**7*y**3*z**5 + 6*x**7*y**3*z**3 - x**7*y**3*z + 3*x**6*y**4*z**10 - 3*x**6*y**4*z**8 - 11*x**6*y**4*z**6 + 22*x**6*y**4*z**4 - 14*x**6*y**4*z**2 + 3*x**6*y**4 + x**6*y**2*z**10 - 12*x**6*y**2*z**8 + 40*x**6*y**2*z**6 - 56*x**6*y**2*z**4 + 35*x**6*y**2*z**2 - 8*x**6*y**2 - x**5*y**5*z**11 - 8*x**5*y**5*z**9 + 27*x**5*y**5*z**7 - 26*x**5*y**5*z**5 + 8*x**5*y**5*z**3 - 2*x**5*y**3*z**11 + 22*x**5*y**3*z**9 - 58*x**5*y**3*z**7 + 54*x**5*y**3*z**5 - 14*x**5*y**3*z**3 - 2*x**5*y**3*z - 2*x**5*y*z**7 + 6*x**5*y*z**5 - 6*x**5*y*z**3 + 2*x**5*y*z + 5*x**4*y**6*z**10 - 27*x**4*y**6*z**6 + 37*x**4*y**6*z**4 - 18*x**4*y**6*z**2 + 3*x**4*y**6 + x**4*y**4*z**12 - 6*x**4*y**4*z**10 - 27*x**4*y**4*z**8 + 130*x**4*y**4*z**6 - 170*x**4*y**4*z**4 + 88*x**4*y**4*z**2 - 16*x**4*y**4 - 4*x**4*y**2*z**10 + 42*x**4*y**2*z**8 - 130*x**4*y**2*z**6 + 172*x**4*y**2*z**4 - 100*x**4*y**2*z**2 + 21*x**4*y**2 - 10*x**3*y**7*z**9 + 20*x**3*y**7*z**7 - 7*x**3*y**7*z**5 - 6*x**3*y**7*z**3 + 3*x**3*y**7*z - 4*x**3*y**5*z**11 + 40*x**3*y**5*z**9 - 74*x**3*y**5*z**7 + 14*x**3*y**5*z**5 + 44*x**3*y**5*z**3 - 20*x**3*y**5*z + 4*x**3*y**3*z**11 - 32*x**3*y**3*z**9 + 50*x**3*y**3*z**7 + 24*x**3*y**3*z**5 - 85*x**3*y**3*z**3 + 36*x**3*y**3*z - 2*x**3*y*z**9 + 18*x**3*y*z**7 - 46*x**3*y*z**5 + 44*x**3*y*z**3 - 14*x**3*y*z + 10*x**2*y**8*z**8 - 25*x**2*y**8*z**6 + 21*x**2*y**8*z**4 - 7*x**2*y**8*z**2 + x**2*y**8 + 6*x**2*y**6*z**10 - 64*x**2*y**6*z**8 + 155*x**2*y**6*z**6 - 140*x**2*y**6*z**4 + 51*x**2*y**6*z**2 - 8*x**2*y**6 - 12*x**2*y**4*z**10 + 108*x**2*y**4*z**8 - 276*x**2*y**4*z**6 + 281*x**2*y**4*z**4 - 118*x**2*y**4*z**2 + 21*x**2*y**4 + 6*x**2*y**2*z**10 - 52*x**2*y**2*z**8 + 143*x**2*y**2*z**6 - 168*x**2*y**2*z**4 + 87*x**2*y**2*z**2 - 18*x**2*y**2 + x**2*z**6 - 2*x**2*z**4 + x**2*z**2 - 5*x*y**9*z**7 + 12*x*y**9*z**5 - 9*x*y**9*z**3 + 2*x*y**9*z - 4*x*y**7*z**9 + 42*x*y**7*z**7 - 96*x*y**7*z**5 + 76*x*y**7*z**3 - 18*x*y**7*z + 12*x*y**5*z**9 - 104*x*y**5*z**7 + 246*x*y**5*z**5 - 212*x*y**5*z**3 + 55*x*y**5*z - 12*x*y**3*z**9 + 98*x*y**3*z**7 - 242*x*y**3*z**5 + 226*x*y**3*z**3 - 65*x*y**3*z + 4*x*y*z**9 - 31*x*y*z**7 + 76*x*y*z**5 - 72*x*y*z**3 + 21*x*y*z + y**10*z**6 - 2*y**10*z**4 + y**10*z**2 + y**8*z**8 - 10*y**8*z**6 + 19*y**8*z**4 - 10*y**8*z**2 - 4*y**6*z**8 + 32*y**6*z**6 - 62*y**6*z**4 + 35*y**6*z**2 + 6*y**4*z**8 - 44*y**4*z**6 + 87*y**4*z**4 - 52*y**4*z**2 - 4*y**2*z**8 + 27*y**2*z**6 - 52*y**2*z**4 + 31*y**2*z**2 + z**8 - 6*z**6 + 11*z**4 - 6*z**2 + 1
