-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathKLYZ13-31.txt
11 lines (11 loc) · 3.29 KB
/
KLYZ13-31.txt
1
2
3
4
5
6
7
8
9
10
11
l, a, b, c, d, e, f, x, y
2147483647
12*a^4*d^4+14*a^2*b^2*d^4+4*b^4*d^4+4*a^2*c^2*d^4+2*b^2*c^2*d^4+14*a^4*d^2*e^2+12*a^2*b^2*d^2*e^2+2*b^4*d^2*e^2+4*a^2*c^2*d^2*e^2+b^2*c^2*d^2*e^2+4*a^4*e^4+2*a^2*b^2*e^4+a^2*c^2*e^4+4*a^4*d^2*f^2+4*a^2*b^2*d^2*f^2+b^4*d^2*f^2+2*a^4*e^2*f^2+a^2*b^2*e^2*f^2+24*a^2*d^4*x+12*b^2*d^4*x+28*a^2*d^2*e^2*x+8*b^2*d^2*e^2*x+8*a^2*e^4*x+8*a^2*d^2*f^2*x+4*b^2*d^2*f^2*x+4*a^2*e^2*f^2*x+24*a^4*d^2*y+28*a^2*b^2*d^2*y+8*b^4*d^2*y+8*a^2*c^2*d^2*y+4*b^2*c^2*d^2*y+12*a^4*e^2*y+8*a^2*b^2*e^2*y+4*a^2*c^2*e^2*y+12*d^4*x^2+14*d^2*e^2*x^2+4*e^4*x^2+4*d^2*f^2*x^2+2*e^2*f^2*x^2+48*a^2*d^2*x*y+24*b^2*d^2*x*y+24*a^2*e^2*x*y+4*b^2*e^2*x*y+12*a^4*y^2+14*a^2*b^2*y^2+4*b^4*y^2+4*a^2*c^2*y^2+2*b^2*c^2*y^2+24*d^2*x^2*y+12*e^2*x^2*y+24*a^2*x*y^2+12*b^2*x*y^2+12*x^2*y^2,
48*l*a^3*d^4+28*l*a*b^2*d^4+8*l*a*c^2*d^4+56*l*a^3*d^2*e^2+24*l*a*b^2*d^2*e^2+8*l*a*c^2*d^2*e^2+16*l*a^3*e^4+4*l*a*b^2*e^4+2*l*a*c^2*e^4+16*l*a^3*d^2*f^2+8*l*a*b^2*d^2*f^2+8*l*a^3*e^2*f^2+2*l*a*b^2*e^2*f^2+48*l*a*d^4*x+56*l*a*d^2*e^2*x+16*l*a*e^4*x+16*l*a*d^2*f^2*x+8*l*a*e^2*f^2*x+96*l*a^3*d^2*y+56*l*a*b^2*d^2*y+16*l*a*c^2*d^2*y+48*l*a^3*e^2*y+16*l*a*b^2*e^2*y+8*l*a*c^2*e^2*y+96*l*a*d^2*x*y+48*l*a*e^2*x*y+48*l*a^3*y^2+28*l*a*b^2*y^2+8*l*a*c^2*y^2+48*l*a*x*y^2-1,
28*l*a^2*b*d^4+16*l*b^3*d^4+4*l*b*c^2*d^4+24*l*a^2*b*d^2*e^2+8*l*b^3*d^2*e^2+2*l*b*c^2*d^2*e^2+4*l*a^2*b*e^4+8*l*a^2*b*d^2*f^2+4*l*b^3*d^2*f^2+2*l*a^2*b*e^2*f^2+24*l*b*d^4*x+16*l*b*d^2*e^2*x+8*l*b*d^2*f^2*x+56*l*a^2*b*d^2*y+32*l*b^3*d^2*y+8*l*b*c^2*d^2*y+16*l*a^2*b*e^2*y+48*l*b*d^2*x*y+8*l*b*e^2*x*y+28*l*a^2*b*y^2+16*l*b^3*y^2+4*l*b*c^2*y^2+24*l*b*x*y^2-2,
8*l*a^2*c*d^4+4*l*b^2*c*d^4+8*l*a^2*c*d^2*e^2+2*l*b^2*c*d^2*e^2+2*l*a^2*c*e^4+16*l*a^2*c*d^2*y+8*l*b^2*c*d^2*y+8*l*a^2*c*e^2*y+8*l*a^2*c*y^2+4*l*b^2*c*y^2-3,
48*l*a^4*d^3+56*l*a^2*b^2*d^3+16*l*b^4*d^3+16*l*a^2*c^2*d^3+8*l*b^2*c^2*d^3+28*l*a^4*d*e^2+24*l*a^2*b^2*d*e^2+4*l*b^4*d*e^2+8*l*a^2*c^2*d*e^2+2*l*b^2*c^2*d*e^2+8*l*a^4*d*f^2+8*l*a^2*b^2*d*f^2+2*l*b^4*d*f^2+96*l*a^2*d^3*x+48*l*b^2*d^3*x+56*l*a^2*d*e^2*x+16*l*b^2*d*e^2*x+16*l*a^2*d*f^2*x+8*l*b^2*d*f^2*x+48*l*a^4*d*y+56*l*a^2*b^2*d*y+16*l*b^4*d*y+16*l*a^2*c^2*d*y+8*l*b^2*c^2*d*y+48*l*d^3*x^2+28*l*d*e^2*x^2+8*l*d*f^2*x^2+96*l*a^2*d*x*y+48*l*b^2*d*x*y+48*l*d*x^2*y-4,
28*l*a^4*d^2*e+24*l*a^2*b^2*d^2*e+4*l*b^4*d^2*e+8*l*a^2*c^2*d^2*e+2*l*b^2*c^2*d^2*e+16*l*a^4*e^3+8*l*a^2*b^2*e^3+4*l*a^2*c^2*e^3+4*l*a^4*e*f^2+2*l*a^2*b^2*e*f^2+56*l*a^2*d^2*e*x+16*l*b^2*d^2*e*x+32*l*a^2*e^3*x+8*l*a^2*e*f^2*x+24*l*a^4*e*y+16*l*a^2*b^2*e*y+8*l*a^2*c^2*e*y+28*l*d^2*e*x^2+16*l*e^3*x^2+4*l*e*f^2*x^2+48*l*a^2*e*x*y+8*l*b^2*e*x*y+24*l*e*x^2*y-5,
8*l*a^4*d^2*f+8*l*a^2*b^2*d^2*f+2*l*b^4*d^2*f+4*l*a^4*e^2*f+2*l*a^2*b^2*e^2*f+16*l*a^2*d^2*f*x+8*l*b^2*d^2*f*x+8*l*a^2*e^2*f*x+8*l*d^2*f*x^2+4*l*e^2*f*x^2-6,
24*l*a^2*d^4+12*l*b^2*d^4+28*l*a^2*d^2*e^2+8*l*b^2*d^2*e^2+8*l*a^2*e^4+8*l*a^2*d^2*f^2+4*l*b^2*d^2*f^2+4*l*a^2*e^2*f^2+24*l*d^4*x+28*l*d^2*e^2*x+8*l*e^4*x+8*l*d^2*f^2*x+4*l*e^2*f^2*x+48*l*a^2*d^2*y+24*l*b^2*d^2*y+24*l*a^2*e^2*y+4*l*b^2*e^2*y+48*l*d^2*x*y+24*l*e^2*x*y+24*l*a^2*y^2+12*l*b^2*y^2+24*l*x*y^2-7,
24*l*a^4*d^2+28*l*a^2*b^2*d^2+8*l*b^4*d^2+8*l*a^2*c^2*d^2+4*l*b^2*c^2*d^2+12*l*a^4*e^2+8*l*a^2*b^2*e^2+4*l*a^2*c^2*e^2+48*l*a^2*d^2*x+24*l*b^2*d^2*x+24*l*a^2*e^2*x+4*l*b^2*e^2*x+24*l*a^4*y+28*l*a^2*b^2*y+8*l*b^4*y+8*l*a^2*c^2*y+4*l*b^2*c^2*y+24*l*d^2*x^2+12*l*e^2*x^2+48*l*a^2*x*y+24*l*b^2*x*y+24*l*x^2*y-8