K1254 :

a^11 c x^2 y-a^10 b c x^2 y-3 a^9 b^2 c x^2 y+3 a^8 b^3 c x^2 y+2 a^7 b^4 c x^2 y-2 a^6 b^5 c x^2 y+2 a^5 b^6 c x^2 y-2 a^4 b^7 c x^2 y-3 a^3 b^8 c x^2 y+3 a^2 b^9 c x^2 y+a b^10 c x^2 y-b^11 c x^2 y-2 a^10 c^2 x^2 y+7 a^9 b c^2 x^2 y-2 a^8 b^2 c^2 x^2 y-12 a^7 b^3 c^2 x^2 y+16 a^6 b^4 c^2 x^2 y-6 a^5 b^5 c^2 x^2 y-16 a^4 b^6 c^2 x^2 y+20 a^3 b^7 c^2 x^2 y+2 a^2 b^8 c^2 x^2 y-9 a b^9 c^2 x^2 y+2 b^10 c^2 x^2 y-3 a^9 c^3 x^2 y-4 a^8 b c^3 x^2 y+21 a^7 b^2 c^3 x^2 y-13 a^6 b^3 c^3 x^2 y-21 a^5 b^4 c^3 x^2 y+39 a^4 b^5 c^3 x^2 y-9 a^3 b^6 c^3 x^2 y-23 a^2 b^7 c^3 x^2 y+12 a b^8 c^3 x^2 y+b^9 c^3 x^2 y+8 a^8 c^4 x^2 y-19 a^7 b c^4 x^2 y-4 a^6 b^2 c^4 x^2 y+35 a^5 b^3 c^4 x^2 y-20 a^4 b^4 c^4 x^2 y-21 a^3 b^5 c^4 x^2 y+20 a^2 b^6 c^4 x^2 y+5 a b^7 c^4 x^2 y-4 b^8 c^4 x^2 y+2 a^7 c^5 x^2 y+17 a^6 b c^5 x^2 y-27 a^5 b^2 c^5 x^2 y-4 a^4 b^3 c^5 x^2 y+28 a^3 b^4 c^5 x^2 y+a^2 b^5 c^5 x^2 y-19 a b^6 c^5 x^2 y+2 b^7 c^5 x^2 y-12 a^6 c^6 x^2 y+15 a^5 b c^6 x^2 y+12 a^4 b^2 c^6 x^2 y-14 a^3 b^3 c^6 x^2 y-16 a^2 b^4 c^6 x^2 y+15 a b^5 c^6 x^2 y+2 a^5 c^7 x^2 y-17 a^4 b c^7 x^2 y+3 a^3 b^2 c^7 x^2 y+15 a^2 b^3 c^7 x^2 y-a b^4 c^7 x^2 y-2 b^5 c^7 x^2 y+8 a^4 c^8 x^2 y-a^3 b c^8 x^2 y-4 a^2 b^2 c^8 x^2 y-9 a b^3 c^8 x^2 y+4 b^4 c^8 x^2 y-3 a^3 c^9 x^2 y+4 a^2 b c^9 x^2 y+6 a b^2 c^9 x^2 y-b^3 c^9 x^2 y-2 a^2 c^10 x^2 y-2 a b c^10 x^2 y-2 b^2 c^10 x^2 y+a c^11 x^2 y+b c^11 x^2 y+a^11 c x y^2-a^10 b c x y^2-3 a^9 b^2 c x y^2+3 a^8 b^3 c x y^2+2 a^7 b^4 c x y^2-2 a^6 b^5 c x y^2+2 a^5 b^6 c x y^2-2 a^4 b^7 c x y^2-3 a^3 b^8 c x y^2+3 a^2 b^9 c x y^2+a b^10 c x y^2-b^11 c x y^2-2 a^10 c^2 x y^2+9 a^9 b c^2 x y^2-2 a^8 b^2 c^2 x y^2-20 a^7 b^3 c^2 x y^2+16 a^6 b^4 c^2 x y^2+6 a^5 b^5 c^2 x y^2-16 a^4 b^6 c^2 x y^2+12 a^3 b^7 c^2 x y^2+2 a^2 b^8 c^2 x y^2-7 a b^9 c^2 x y^2+2 b^10 c^2 x y^2-a^9 c^3 x y^2-12 a^8 b c^3 x y^2+23 a^7 b^2 c^3 x y^2+9 a^6 b^3 c^3 x y^2-39 a^5 b^4 c^3 x y^2+21 a^4 b^5 c^3 x y^2+13 a^3 b^6 c^3 x y^2-21 a^2 b^7 c^3 x y^2+4 a b^8 c^3 x y^2+3 b^9 c^3 x y^2+4 a^8 c^4 x y^2-5 a^7 b c^4 x y^2-20 a^6 b^2 c^4 x y^2+21 a^5 b^3 c^4 x y^2+20 a^4 b^4 c^4 x y^2-35 a^3 b^5 c^4 x y^2+4 a^2 b^6 c^4 x y^2+19 a b^7 c^4 x y^2-8 b^8 c^4 x y^2-2 a^7 c^5 x y^2+19 a^6 b c^5 x y^2-a^5 b^2 c^5 x y^2-28 a^4 b^3 c^5 x y^2+4 a^3 b^4 c^5 x y^2+27 a^2 b^5 c^5 x y^2-17 a b^6 c^5 x y^2-2 b^7 c^5 x y^2-15 a^5 b c^6 x y^2+16 a^4 b^2 c^6 x y^2+14 a^3 b^3 c^6 x y^2-12 a^2 b^4 c^6 x y^2-15 a b^5 c^6 x y^2+12 b^6 c^6 x y^2+2 a^5 c^7 x y^2+a^4 b c^7 x y^2-15 a^3 b^2 c^7 x y^2-3 a^2 b^3 c^7 x y^2+17 a b^4 c^7 x y^2-2 b^5 c^7 x y^2-4 a^4 c^8 x y^2+9 a^3 b c^8 x y^2+4 a^2 b^2 c^8 x y^2+a b^3 c^8 x y^2-8 b^4 c^8 x y^2+a^3 c^9 x y^2-6 a^2 b c^9 x y^2-4 a b^2 c^9 x y^2+3 b^3 c^9 x y^2+2 a^2 c^10 x y^2+2 a b c^10 x y^2+2 b^2 c^10 x y^2-a c^11 x y^2-b c^11 x y^2-a^11 b x^2 z+2 a^10 b^2 x^2 z+3 a^9 b^3 x^2 z-8 a^8 b^4 x^2 z-2 a^7 b^5 x^2 z+12 a^6 b^6 x^2 z-2 a^5 b^7 x^2 z-8 a^4 b^8 x^2 z+3 a^3 b^9 x^2 z+2 a^2 b^10 x^2 z-a b^11 x^2 z+a^10 b c x^2 z-7 a^9 b^2 c x^2 z+4 a^8 b^3 c x^2 z+19 a^7 b^4 c x^2 z-17 a^6 b^5 c x^2 z-15 a^5 b^6 c x^2 z+17 a^4 b^7 c x^2 z+a^3 b^8 c x^2 z-4 a^2 b^9 c x^2 z+2 a b^10 c x^2 z-b^11 c x^2 z+3 a^9 b c^2 x^2 z+2 a^8 b^2 c^2 x^2 z-21 a^7 b^3 c^2 x^2 z+4 a^6 b^4 c^2 x^2 z+27 a^5 b^5 c^2 x^2 z-12 a^4 b^6 c^2 x^2 z-3 a^3 b^7 c^2 x^2 z+4 a^2 b^8 c^2 x^2 z-6 a b^9 c^2 x^2 z+2 b^10 c^2 x^2 z-3 a^8 b c^3 x^2 z+12 a^7 b^2 c^3 x^2 z+13 a^6 b^3 c^3 x^2 z-35 a^5 b^4 c^3 x^2 z+4 a^4 b^5 c^3 x^2 z+14 a^3 b^6 c^3 x^2 z-15 a^2 b^7 c^3 x^2 z+9 a b^8 c^3 x^2 z+b^9 c^3 x^2 z-2 a^7 b c^4 x^2 z-16 a^6 b^2 c^4 x^2 z+21 a^5 b^3 c^4 x^2 z+20 a^4 b^4 c^4 x^2 z-28 a^3 b^5 c^4 x^2 z+16 a^2 b^6 c^4 x^2 z+a b^7 c^4 x^2 z-4 b^8 c^4 x^2 z+2 a^6 b c^5 x^2 z+6 a^5 b^2 c^5 x^2 z-39 a^4 b^3 c^5 x^2 z+21 a^3 b^4 c^5 x^2 z-a^2 b^5 c^5 x^2 z-15 a b^6 c^5 x^2 z+2 b^7 c^5 x^2 z-2 a^5 b c^6 x^2 z+16 a^4 b^2 c^6 x^2 z+9 a^3 b^3 c^6 x^2 z-20 a^2 b^4 c^6 x^2 z+19 a b^5 c^6 x^2 z+2 a^4 b c^7 x^2 z-20 a^3 b^2 c^7 x^2 z+23 a^2 b^3 c^7 x^2 z-5 a b^4 c^7 x^2 z-2 b^5 c^7 x^2 z+3 a^3 b c^8 x^2 z-2 a^2 b^2 c^8 x^2 z-12 a b^3 c^8 x^2 z+4 b^4 c^8 x^2 z-3 a^2 b c^9 x^2 z+9 a b^2 c^9 x^2 z-b^3 c^9 x^2 z-a b c^10 x^2 z-2 b^2 c^10 x^2 z+b c^11 x^2 z+a^11 b y^2 z-2 a^10 b^2 y^2 z-3 a^9 b^3 y^2 z+8 a^8 b^4 y^2 z+2 a^7 b^5 y^2 z-12 a^6 b^6 y^2 z+2 a^5 b^7 y^2 z+8 a^4 b^8 y^2 z-3 a^3 b^9 y^2 z-2 a^2 b^10 y^2 z+a b^11 y^2 z+a^11 c y^2 z-2 a^10 b c y^2 z+4 a^9 b^2 c y^2 z-a^8 b^3 c y^2 z-17 a^7 b^4 c y^2 z+15 a^6 b^5 c y^2 z+17 a^5 b^6 c y^2 z-19 a^4 b^7 c y^2 z-4 a^3 b^8 c y^2 z+7 a^2 b^9 c y^2 z-a b^10 c y^2 z-2 a^10 c^2 y^2 z+6 a^9 b c^2 y^2 z-4 a^8 b^2 c^2 y^2 z+3 a^7 b^3 c^2 y^2 z+12 a^6 b^4 c^2 y^2 z-27 a^5 b^5 c^2 y^2 z-4 a^4 b^6 c^2 y^2 z+21 a^3 b^7 c^2 y^2 z-2 a^2 b^8 c^2 y^2 z-3 a b^9 c^2 y^2 z-a^9 c^3 y^2 z-9 a^8 b c^3 y^2 z+15 a^7 b^2 c^3 y^2 z-14 a^6 b^3 c^3 y^2 z-4 a^5 b^4 c^3 y^2 z+35 a^4 b^5 c^3 y^2 z-13 a^3 b^6 c^3 y^2 z-12 a^2 b^7 c^3 y^2 z+3 a b^8 c^3 y^2 z+4 a^8 c^4 y^2 z-a^7 b c^4 y^2 z-16 a^6 b^2 c^4 y^2 z+28 a^5 b^3 c^4 y^2 z-20 a^4 b^4 c^4 y^2 z-21 a^3 b^5 c^4 y^2 z+16 a^2 b^6 c^4 y^2 z+2 a b^7 c^4 y^2 z-2 a^7 c^5 y^2 z+15 a^6 b c^5 y^2 z+a^5 b^2 c^5 y^2 z-21 a^4 b^3 c^5 y^2 z+39 a^3 b^4 c^5 y^2 z-6 a^2 b^5 c^5 y^2 z-2 a b^6 c^5 y^2 z-19 a^5 b c^6 y^2 z+20 a^4 b^2 c^6 y^2 z-9 a^3 b^3 c^6 y^2 z-16 a^2 b^4 c^6 y^2 z+2 a b^5 c^6 y^2 z+2 a^5 c^7 y^2 z+5 a^4 b c^7 y^2 z-23 a^3 b^2 c^7 y^2 z+20 a^2 b^3 c^7 y^2 z-2 a b^4 c^7 y^2 z-4 a^4 c^8 y^2 z+12 a^3 b c^8 y^2 z+2 a^2 b^2 c^8 y^2 z-3 a b^3 c^8 y^2 z+a^3 c^9 y^2 z-9 a^2 b c^9 y^2 z+3 a b^2 c^9 y^2 z+2 a^2 c^10 y^2 z+a b c^10 y^2 z-a c^11 y^2 z-a^11 b x z^2+2 a^10 b^2 x z^2+a^9 b^3 x z^2-4 a^8 b^4 x z^2+2 a^7 b^5 x z^2-2 a^5 b^7 x z^2+4 a^4 b^8 x z^2-a^3 b^9 x z^2-2 a^2 b^10 x z^2+a b^11 x z^2+a^10 b c x z^2-9 a^9 b^2 c x z^2+12 a^8 b^3 c x z^2+5 a^7 b^4 c x z^2-19 a^6 b^5 c x z^2+15 a^5 b^6 c x z^2-a^4 b^7 c x z^2-9 a^3 b^8 c x z^2+6 a^2 b^9 c x z^2-2 a b^10 c x z^2+b^11 c x z^2+3 a^9 b c^2 x z^2+2 a^8 b^2 c^2 x z^2-23 a^7 b^3 c^2 x z^2+20 a^6 b^4 c^2 x z^2+a^5 b^5 c^2 x z^2-16 a^4 b^6 c^2 x z^2+15 a^3 b^7 c^2 x z^2-4 a^2 b^8 c^2 x z^2+4 a b^9 c^2 x z^2-2 b^10 c^2 x z^2-3 a^8 b c^3 x z^2+20 a^7 b^2 c^3 x z^2-9 a^6 b^3 c^3 x z^2-21 a^5 b^4 c^3 x z^2+28 a^4 b^5 c^3 x z^2-14 a^3 b^6 c^3 x z^2+3 a^2 b^7 c^3 x z^2-a b^8 c^3 x z^2-3 b^9 c^3 x z^2-2 a^7 b c^4 x z^2-16 a^6 b^2 c^4 x z^2+39 a^5 b^3 c^4 x z^2-20 a^4 b^4 c^4 x z^2-4 a^3 b^5 c^4 x z^2+12 a^2 b^6 c^4 x z^2-17 a b^7 c^4 x z^2+8 b^8 c^4 x z^2+2 a^6 b c^5 x z^2-6 a^5 b^2 c^5 x z^2-21 a^4 b^3 c^5 x z^2+35 a^3 b^4 c^5 x z^2-27 a^2 b^5 c^5 x z^2+15 a b^6 c^5 x z^2+2 b^7 c^5 x z^2-2 a^5 b c^6 x z^2+16 a^4 b^2 c^6 x z^2-13 a^3 b^3 c^6 x z^2-4 a^2 b^4 c^6 x z^2+17 a b^5 c^6 x z^2-12 b^6 c^6 x z^2+2 a^4 b c^7 x z^2-12 a^3 b^2 c^7 x z^2+21 a^2 b^3 c^7 x z^2-19 a b^4 c^7 x z^2+2 b^5 c^7 x z^2+3 a^3 b c^8 x z^2-2 a^2 b^2 c^8 x z^2-4 a b^3 c^8 x z^2+8 b^4 c^8 x z^2-3 a^2 b c^9 x z^2+7 a b^2 c^9 x z^2-3 b^3 c^9 x z^2-a b c^10 x z^2-2 b^2 c^10 x z^2+b c^11 x z^2-a^11 b y z^2+2 a^10 b^2 y z^2+a^9 b^3 y z^2-4 a^8 b^4 y z^2+2 a^7 b^5 y z^2-2 a^5 b^7 y z^2+4 a^4 b^8 y z^2-a^3 b^9 y z^2-2 a^2 b^10 y z^2+a b^11 y z^2-a^11 c y z^2+2 a^10 b c y z^2-6 a^9 b^2 c y z^2+9 a^8 b^3 c y z^2+a^7 b^4 c y z^2-15 a^6 b^5 c y z^2+19 a^5 b^6 c y z^2-5 a^4 b^7 c y z^2-12 a^3 b^8 c y z^2+9 a^2 b^9 c y z^2-a b^10 c y z^2+2 a^10 c^2 y z^2-4 a^9 b c^2 y z^2+4 a^8 b^2 c^2 y z^2-15 a^7 b^3 c^2 y z^2+16 a^6 b^4 c^2 y z^2-a^5 b^5 c^2 y z^2-20 a^4 b^6 c^2 y z^2+23 a^3 b^7 c^2 y z^2-2 a^2 b^8 c^2 y z^2-3 a b^9 c^2 y z^2+3 a^9 c^3 y z^2+a^8 b c^3 y z^2-3 a^7 b^2 c^3 y z^2+14 a^6 b^3 c^3 y z^2-28 a^5 b^4 c^3 y z^2+21 a^4 b^5 c^3 y z^2+9 a^3 b^6 c^3 y z^2-20 a^2 b^7 c^3 y z^2+3 a b^8 c^3 y z^2-8 a^8 c^4 y z^2+17 a^7 b c^4 y z^2-12 a^6 b^2 c^4 y z^2+4 a^5 b^3 c^4 y z^2+20 a^4 b^4 c^4 y z^2-39 a^3 b^5 c^4 y z^2+16 a^2 b^6 c^4 y z^2+2 a b^7 c^4 y z^2-2 a^7 c^5 y z^2-15 a^6 b c^5 y z^2+27 a^5 b^2 c^5 y z^2-35 a^4 b^3 c^5 y z^2+21 a^3 b^4 c^5 y z^2+6 a^2 b^5 c^5 y z^2-2 a b^6 c^5 y z^2+12 a^6 c^6 y z^2-17 a^5 b c^6 y z^2+4 a^4 b^2 c^6 y z^2+13 a^3 b^3 c^6 y z^2-16 a^2 b^4 c^6 y z^2+2 a b^5 c^6 y z^2-2 a^5 c^7 y z^2+19 a^4 b c^7 y z^2-21 a^3 b^2 c^7 y z^2+12 a^2 b^3 c^7 y z^2-2 a b^4 c^7 y z^2-8 a^4 c^8 y z^2+4 a^3 b c^8 y z^2+2 a^2 b^2 c^8 y z^2-3 a b^3 c^8 y z^2+3 a^3 c^9 y z^2-7 a^2 b c^9 y z^2+3 a b^2 c^9 y z^2+2 a^2 c^10 y z^2+a b c^10 y z^2-a c^11 y z^2=0